結果
問題 | No.462 6日知らずのコンピュータ |
ユーザー |
|
提出日時 | 2016-12-13 00:31:43 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 30 ms / 2,000 ms |
コード長 | 523 bytes |
コンパイル時間 | 196 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 10,752 KB |
最終ジャッジ日時 | 2024-11-29 23:00:40 |
合計ジャッジ時間 | 4,792 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 84 |
ソースコード
#!/usr/bin/env python3 mod = 10**9+7 def fact(n): if n == 0: return 1 else: return n * fact(n-1) % mod def bits(n): return set([ i for i, bit in enumerate(reversed(bin(n)[2 :])) if bit == '1' ]) n, k = map(int, input().split()) if k == 0: a = [] else: a = sorted(map(int, input().split())) cnt = 1 for x, y in zip([ 0 ] + a, a + [ 2**n-1 ]): if bits(x).issubset(bits(y)): cnt = cnt * fact(len(bits(y)) - len(bits(x))) % mod else: cnt = 0 break print(cnt)