問題一覧 >
通常問題
No.1813 Magical Stones
レベル :
/ 実行時間制限 : 1ケース 2.000秒 / メモリ制限
: 512 MB / 標準ジャッジ問題
タグ :
/
解いたユーザー数 46
作問者 :
MasKoaTS
/ テスター :
👑
ygussany
nebocco
問題文最終更新日: 2024-11-28 18:48:28
問題文
魔法使いのコアさんは、1,2,…,N の番号が付いた N 個の魔石を研究しています。
魔石 i (1≤i≤N) は大きさ mi の魔力を持っており、次の
M 個の条件(以下「前提」と呼ぶ)をすべて満たします。
ただし、M=0 の場合、前提は何も与えられません。
これから、コアさんは次の操作(以下「鑑定」と呼ぶ)を 0 回以上好きな回数だけ行います。
1≤x,y≤N を満たす異なる整数の組 (x,y) を 1 つ選び、鑑定魔法を使う。
mx≥my ならば「mx≥my 」という情報、そうでなければ「mx<my 」という情報が得られる。
コアさんが鑑定を n 回行い、そこで得た n 個の情報と先の前提を照らし合わせたところ、
m1=m2=⋯=mN が確実に成り立つことが証明されました。
このとき、n の値としてあり得るものの最小値を求めてください。
制約
2≤N≤105
0≤M≤min(2×105,N×(N−1))
1≤Aj,Bj≤N (1≤j≤M)
Aj=Bj (1≤j≤M)
(Ai,Bi)=(Aj,Bj) (1≤i<j≤M)
入力はすべて整数
入力
入力は次の形式で与えられます。
N M
A1 B1
A2 B2
⋮
AM BM
出力
答えを 1 行に出力し、最後に改行してください。
サンプル
サンプル1
入力
3 2
1 2
2 3
出力
1
前提のみを見た場合、m1>m2>m3 であると考えても矛盾しません。
しかし、この後に (x,y)=(3,1) として鑑定を行った場合、「m3≥m1 」という情報が得られ、
m1=m2=m3 が確実に成り立つことが証明できます。
よって、答えは 1 となります。
サンプル2
入力
4 0
出力
4
例えば、
(x,y)=(1,2) として 1 回目の鑑定を行う
(x,y)=(2,3) として 2 回目の鑑定を行う
(x,y)=(3,4) として 3 回目の鑑定を行う
(x,y)=(4,1) として 4 回目の鑑定を行う
とすれば、m1=m2=m3=m4 が確実に成り立つことが証明できます。
鑑定回数が 4 回未満の場合、m1=m2=m3=m4 であることは証明できません。
サンプル3
入力
4 6
1 2
2 1
1 3
3 4
4 3
4 2
出力
0
m1=m2=m3=m4 でなければ前提に矛盾するので、鑑定を行う必要はありません。
サンプル4
入力
100000 2
1 2
2 1
出力
99999
提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。