2020年,世は大グラフ時代.世界は「グラフは辺から先に生まれた」と主張する辺派と,「グラフは頂点から先に生まれた」と主張する頂点派に大きく二分され,混沌を極めていた.主張をぶつけあう両派が行き着いた戦いの究極形が,グラフを用いたとある 2 人ゲームである.今日も辺派のエッジ男さんと頂点派のヴァーテックス子さんが,これからこのゲームで競い合う予定だ.
このゲームではまず N 頂点 M 辺の有向グラフが与えられる.このゲームは 3 つのフェイズからなり,先手フェイズ,後手フェイズ,評価フェイズの順に進行する.
このゲームにおいて後手の頂点派のヴァーテックス子さんはスコアの期待値を最小化するように確率を割り振る.これはもちろん,頂点が辺よりも先に来るべきだと考えているからだ.一方先手の辺派のエッジ男さんは,後手のヴァーテックス子さんがスコアの期待値を最小化する戦略を取ることを踏まえた上で,スコアの期待値を最大化するように確率を割り振る.これは言わずもがな,辺が頂点よりも先に来るべきだと考えているからだ.与えられたグラフにおいて 2 人が上記の戦略に基づいて辺・頂点に確率を割り当てるとき,スコアの期待値を求めよ.
入力は 50 個以下のデータセットからなる. 各データセットは次の形式で表される.
N M
a1 b1
…
aM bM
1 行目はゲームで用いる有向グラフの頂点数 N (2 ≤ N ≤ 104) と辺数 M (1 ≤ M ≤ 104) からなる. 続く M 行はグラフの有向辺の情報を表す.M 行のうちの i 行目は,i 番目の辺の始点が ai (1 ≤ ai ≤ N) 番目の頂点であり,終点が bi (1 ≤ bi ≤ N) 番目の頂点であることを表す. 与えられるグラフには自己ループがない.すなわち,すべての1 ≤ i ≤ M について,ai ≠ bi を満たす. 与えられるグラフには多重辺がない.すなわち,すべての 1 ≤ i < j ≤ M について,ai ≠ aj または bi ≠ bj のいずれかを満たす.
入力の終わりは 2 つのゼロからなる行で表される.
与えられたグラフにおいて,両者が上記の各々の最適な戦略を取ったときの,ゲームのスコアの期待値を 1 行に出力せよ.結果は 10−10 以上の誤差を含んではいけない.
4 4 1 2 1 3 2 4 3 4 3 3 1 2 1 3 2 3 4 4 1 2 2 3 3 4 4 1 4 3 1 2 1 4 2 3 5 2 1 2 5 4 0 0
-0.25 -0.333333333333333 0 -0.333333333333333 -0.5