問題一覧 > 通常問題

No.1813 Magical Stones

レベル : / 実行時間制限 : 1ケース 2.000秒 / メモリ制限 : 512 MB / 標準ジャッジ問題
タグ : / 解いたユーザー数 46
作問者 : MasKoaTS / テスター : 👑 ygussany nebocco
4 ProblemId : 7023 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2024-11-28 18:48:28

問題文

魔法使いのコアさんは、1,2,,N1,2,\dots,N の番号が付いた NN 個の魔石を研究しています。

魔石 ii (1iN)(1 \leq i \leq N) は大きさ mim_{i} の魔力を持っており、次の MM 個の条件(以下「前提」と呼ぶ)をすべて満たします。

  • mAjmBjm_{A_{j} } \geq m_{B_{j} } (1jM)(1 \leq j \leq M)

ただし、M=0M=0 の場合、前提は何も与えられません。

これから、コアさんは次の操作(以下「鑑定」と呼ぶ)を 00 回以上好きな回数だけ行います。

  • 1x,yN1 \leq x,y \leq N を満たす異なる整数の組 (x,y)(x,y)11 つ選び、鑑定魔法を使う。
    mxmym_{x} \geq m_{y} ならば「mxmym_{x} \geq m_{y} 」という情報、そうでなければ「mx<mym_{x} < m_{y} 」という情報が得られる。

コアさんが鑑定を nn 回行い、そこで得た nn 個の情報と先の前提を照らし合わせたところ、
m1=m2==mNm_{1} = m_{2} = \dots = m_{N}確実に成り立つことが証明されました。

このとき、nn の値としてあり得るものの最小値を求めてください。

制約

  • 2N1052 \leq N \leq 10^{5}

  • 0Mmin(2×105,N×(N1))\displaystyle 0 \leq M \leq \min ( 2 \times 10^{5}, N \times (N-1) )

  • 1Aj,BjN1 \leq A_{j},B_{j} \leq N (1jM)(1 \leq j \leq M)

  • AjBjA_{j} \neq B_{j} (1jM)(1 \leq j \leq M)

  • (Ai,Bi)(Aj,Bj)(A_{i},B_{i}) \neq (A_{j},B_{j}) (1i<jM)(1 \leq i < j \leq M)

  • 入力はすべて整数

入力

入力は次の形式で与えられます。

NN MM
A1A_{1} B1B_{1}
A2A_{2} B2B_{2}
   \vdots
AMA_{M} BMB_{M}
  • 11 行目には NNMM がこの順に半角スペース区切りで与えられる

  • (1+j)(1+j) (1jM)(1 \leq j \leq M) 行目には AjA_{j}BjB_{j} がこの順に半角スペース区切りで与えられる

出力

答えを 11 行に出力し、最後に改行してください。

サンプル

サンプル1
入力
3 2
1 2
2 3
出力
1

前提のみを見た場合、m1>m2>m3m_{1} > m_{2} > m_{3} であると考えても矛盾しません。

しかし、この後に (x,y)=(3,1)(x,y)=(3,1) として鑑定を行った場合、「m3m1m_{3} \geq m_{1} 」という情報が得られ、
m1=m2=m3m_{1} = m_{2} = m_{3} が確実に成り立つことが証明できます。

よって、答えは 11 となります。

サンプル2
入力
4 0
出力
4

例えば、

  • (x,y)=(1,2)(x,y)=(1,2) として 11 回目の鑑定を行う

  • (x,y)=(2,3)(x,y)=(2,3) として 22 回目の鑑定を行う

  • (x,y)=(3,4)(x,y)=(3,4) として 33 回目の鑑定を行う

  • (x,y)=(4,1)(x,y)=(4,1) として 44 回目の鑑定を行う

とすれば、m1=m2=m3=m4m_{1} = m_{2} = m_{3} = m_{4} が確実に成り立つことが証明できます。

鑑定回数が 44 回未満の場合、m1=m2=m3=m4m_{1} = m_{2} = m_{3} = m_{4} であることは証明できません。

サンプル3
入力
4 6
1 2
2 1
1 3
3 4
4 3
4 2
出力
0

m1=m2=m3=m4m_{1} = m_{2} = m_{3} = m_{4} でなければ前提に矛盾するので、鑑定を行う必要はありません。

サンプル4
入力
100000 2
1 2
2 1
出力
99999

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。