atcoder#ARC099C. [ARC099E] Independence

[ARC099E] Independence

题目描述

AtCoder 連邦の高橋州には,N N 個の都市があります.都市は 1, 2, ..., N 1,\ 2,\ ...,\ N と番号付けされています. これらの都市の間は,M M 本の両方向に行き来可能な道で結ばれています. i i 番目の道は都市 Ai A_i と都市 Bi B_i の間を結んでいます. どの道も,異なる都市間を結んでいます. また,どの都市間にも,それらを直接結ぶ道は高々 1 1 本しか存在しません.

ある時,高橋州は高州と橋州の 2 2 つの州に分かれることになりました. 高橋州の各都市は,分離後は高州もしくは橋州のいずれか片方に属することになります. ここで,すべての都市が高州,または橋州の一方のみに属してしまっても構わないことにします. このとき,次の条件を満たすようにしたいです:

  • 高州,橋州のいずれにおいても,同じ州内では,どの 2 2 つの都市も 直接 道で結ばれている.

両端の都市が同じ州内に属しているような道の本数として考えられるもののうち,最小のものを求めてください. ただし,条件を満たすように都市を高州,橋州に分けることが不可能なら,-1 を出力してください.

输入格式

入力は以下の形式で標準入力から与えられる.

N N M M A1 A_1 B1 B_1 A2 A_2 B2 B_2 : : AM A_M BM B_M

输出格式

答えを出力せよ.

题目大意

给定一张图。求将这张图分成两个完全子图后,最少会有多少条边的端点属于同一个完全子图。

n700n\leq 700

5 5
1 2
1 3
3 4
3 5
4 5
4
5 1
1 2
-1
4 3
1 2
1 3
2 3
3
10 39
7 2
7 1
5 6
5 8
9 10
2 8
8 7
3 10
10 1
8 10
2 3
7 4
3 9
4 10
3 4
6 1
6 7
9 5
9 7
6 9
9 4
4 6
7 5
8 3
2 5
9 2
10 7
8 6
8 9
7 3
5 3
4 5
6 3
2 10
5 10
4 2
6 2
8 4
10 6
21

提示

制約

  • 2  N  700 2\ \leq\ N\ \leq\ 700
  • 0  M  N(N1)/2 0\ \leq\ M\ \leq\ N(N-1)/2
  • 1  Ai  N 1\ \leq\ A_i\ \leq\ N
  • 1  Bi  N 1\ \leq\ B_i\ \leq\ N
  • Ai  Bi A_i\ \neq\ B_i
  • i  j i\ \neq\ j のとき,Ai  Aj A_i\ \neq\ A_j または Bi  Bj B_i\ \neq\ B_j の少なくとも片方が成立
  • i  j i\ \neq\ j のとき,Ai  Bj A_i\ \neq\ B_j または Bi  Aj B_i\ \neq\ A_j の少なくとも片方が成立

Sample Explanation 1

例えば,高州に都市 1, 2 1,\ 2 を,橋州に都市 3, 4, 5 3,\ 4,\ 5 を割り当てると,条件を満たします. このとき,両端の都市が同じ州内に属しているような道の本数は 4 4 になります.

Sample Explanation 2

この例では,どのように都市を割り当てても,条件を満たすことができません.