#abc187f. [abc187_f]Close Group

[abc187_f]Close Group

問題文

NN 頂点 MM 辺の単純無向グラフが与えられます。 このグラフの頂点には 1,2,dots,N1, 2, \\dots, N の番号が付けられており、ii 番目の辺は頂点 AiA_i と頂点 BiB_i を結びます。

以下の条件を満たすように辺を 00 本以上取り除いたときの、グラフの連結成分の個数としてあり得る最小値を求めてください。

条件
1lea<bleN1 \\le a < b \\le N を満たす任意の頂点の組 (a,b)(a, b) について、 頂点 aa と頂点 bb が同じ連結成分に属するならば、頂点 aa と頂点 bb を直接結ぶ辺が存在する。

制約

  • 入力は全て整数
  • 1leNle181 \\le N \\le 18
  • 0leMlefracN(N1)20 \\le M \\le \\frac{N(N - 1)}{2}
  • 1leAi<BileN1 \\le A_i < B_i \\le N
  • ineqji \\neq j ならば (Ai,Bi)neq(Aj,Bj)(A_i, B_i) \\neq (A_j, B_j)

入力

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

NN MM A1A_1 B1B_1 vdots\\vdots AMA_M BMB_M

出力

答えを出力せよ。


入力例 1

3 2
1 2
1 3

出力例 1

2

辺を取り除かないと、 (2,3)(2, 3) の組が条件を満たしません。
どちらかの辺を取り除くと、頂点 22 と頂点 33 が非連結になり、条件を満たします。


入力例 2

4 6
1 2
1 3
1 4
2 3
2 4
3 4

出力例 2

1

入力例 3

10 11
9 10
2 10
8 9
3 4
5 8
1 8
5 6
2 5
3 6
6 9
1 9

出力例 3

5

入力例 4

18 0

出力例 4

18