結果

問題 No.412 花火大会
ユーザー mkawa2
提出日時 2020-04-18 18:44:29
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 32 ms / 2,000 ms
コード長 1,835 bytes
コンパイル時間 148 ms
コンパイル使用メモリ 12,928 KB
実行使用メモリ 11,008 KB
最終ジャッジ日時 2024-10-04 00:09:48
合計ジャッジ時間 1,716 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 18
権限があれば一括ダウンロードができます

ソースコード

diff # 

from itertools import permutations
import sys

sys.setrecursionlimit(10 ** 6)
from bisect import *
from collections import *
from heapq import *

def II(): return int(sys.stdin.readline())
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def SI(): return sys.stdin.readline()[:-1]
def LLI(rows_number): return [LI() for _ in range(rows_number)]
int1 = lambda x: int(x) - 1
def MI1(): return map(int1, sys.stdin.readline().split())
def LI1(): return list(map(int1, sys.stdin.readline().split()))
p2D = lambda x: print(*x, sep="\n")
dij = [(1, 0), (0, 1), (-1, 0), (0, -1)]

# 各レジャーシートを持っていくか、いかないか、なのでナップサック問題
# レジャーシートを1つずつ見ながら、どの家族が座れているかをbitで管理
# Dが座れている...bit=100
# BとDが座れている...bit=101といった感じ
def main():
    bcd=LI()
    # b,c,dは小さい順にしておく
    b,c,d=sorted(bcd)
    n=II()
    ee=LI()
    dp=[0]*8
    dp[0]=1
    for e in ee:
        for bit in range(7,-1,-1):
            pre=dp[bit]
            if pre==0:continue
            # できるだけ大人数の家族から座らせていく
            # その家族がすでに座っていたときは、次の家族にまわす
            # 例えば、bit=010のときにCが座れるシートが来たとする
            # Cはすでに座っているのでBを座らせる
            # よってbit=011に遷移する
            if e>=d:si=2
            elif e>=c:si=1
            elif e>=b:si=0
            else:si=-1
            nbit=bit
            for i in range(si,-1,-1):
                if bit>>i&1==0:
                    nbit|=1<<i
                    break
            dp[nbit]+=pre
    print(dp[-1])

main()
0