結果

問題 No.1560 majority x majority
ユーザー tobusakana
提出日時 2022-10-23 15:12:16
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,446 ms / 2,000 ms
コード長 1,731 bytes
コンパイル時間 137 ms
コンパイル使用メモリ 82,308 KB
実行使用メモリ 238,352 KB
最終ジャッジ日時 2024-07-02 07:20:06
合計ジャッジ時間 10,743 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

import sys
readline = sys.stdin.readline
N,M = map(int,readline().split())
S = [list(map(int,readline().split())) for i in range(N)]
vote = [None] * N
for i in range(N):
  val = 0
  rate = 1
  for j in range(len(S[i])):
    if S[i][j] == 1:
      val += rate
    rate <<= 1
  vote[i] = val
# vote[i] = 人iが賛成の議案の集合
# 全ての人について、各議案に賛成かを調べることで、
# survive[s] = 全ての議決集合sに対して賛成の人の集合をあらかじめ求めることが出来る。
survive = [[False] * N for i in range(1 << M)]
vote_cnt = [0] * (1 << M)
for status in range(1 << M):
  # statusで1が立っているbitに対して一つでも0になっている議員は除外
  for i in range(N):
    if status & vote[i] == status: # 全て投票している
      survive[status][i] = True
      vote_cnt[status] += 1
      
# dp[s] = 議決集合sになる場合の数
dp = [0] * (1 << M)
dp[0] = 1
for status in range(1 << M):
  for target in range(M): # 次に可決したい議案
    if (status >> target) & 1: # 可決済み
      continue
    next_status = status | (1 << target)
    # statusで残っている人 survive[status] の過半数が、survive[next_status]に残っていればOK
    # survive[status][i]がTrueであるiに対して、survive[next_status][i]がTrueのものが過半数を超えるか
    v = 0
    limit = (vote_cnt[status] + 1) // 2
    for i in range(N):
      if survive[status][i] and survive[next_status][i]:
        v += 1
        if v >= limit:
          dp[next_status] += dp[status]
          break
        elif (N - 1 - i) + v < limit: # 残り全員投票しても無理なら終了
          break
print(dp[-1])      
    
  
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0