結果

問題 No.3615 Ge Gusser
コンテスト
ユーザー Unbakedbread
提出日時 2026-07-24 18:30:42
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 1,736 ms / 3,000 ms
+ 573µs
コード長 631 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 236 ms
コンパイル使用メモリ 95,980 KB
実行使用メモリ 216,320 KB
最終ジャッジ日時 2026-08-06 13:34:58
合計ジャッジ時間 7,702 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
サブタスク 配点 結果
サンプル 0 % AC * 3
小課題1 40 % AC * 8
小課題2 40 % AC * 15
小課題3 20 % AC * 27
合計 2.5 * 100% = 250 点
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

N, M = map(int, input().split())
S = [input() for i in range(N)]

v = [sum(1 << j for j in range(M) if S[i][j] == 'o') for i in range(N)]

pcnt = [0] * (1 << N); vand = [(1 << M) - 1] * (1 << N)
for i in range(N):
	for bit in range(1 << i):
		pcnt[bit | (1 << i)] = pcnt[bit] + 1
		vand[bit | (1 << i)] = vand[bit] & v[i]

ans = 0
dp = [0] * (1 << N)
dp[0] = 1
for bit in range(1 << N):
	if dp[bit] < 1e-13:
		continue
	
	if bin(vand[bit]).count('1') == 1:
		ans += pcnt[bit] * dp[bit]
		continue
	
	dp[bit] /= (N - pcnt[bit])
	for i in range(N):
		if bit >> i & 1:
			continue
		dp[bit | (1 << i)] += dp[bit]

print(f"{ans:.15f}")
0