結果
| 問題 |
No.462 6日知らずのコンピュータ
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-08-08 11:59:29 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 1,806 bytes |
| コンパイル時間 | 5,948 ms |
| コンパイル使用メモリ | 390,708 KB |
| 実行使用メモリ | 6,820 KB |
| 最終ジャッジ日時 | 2024-10-01 12:20:41 |
| 合計ジャッジ時間 | 8,140 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 WA * 1 |
| other | AC * 78 WA * 6 |
ソースコード
#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
#include <iomanip>
#include <cmath>
#include <stdio.h>
#include <queue>
#include <deque>
#include <cstdio>
#include <set>
#include <map>
#include <bitset>
#include <stack>
#include <cctype>
using namespace std;
#include <boost/multiprecision/cpp_dec_float.hpp>
#include <boost/multiprecision/cpp_int.hpp>
namespace mp = boost::multiprecision;
using Bint = mp::cpp_int;
int main() {
int n, k;
Bint a[66];
bitset<66> bit[66];
cin >> n >> k;
for (int i = 0; i < k; i++) {
cin >> a[i];
}
sort(a, a + k);
for (int i = 0; i < k; i++) {
if(a[i]==0){
continue;
}
int co = -1;
while (a[i] >= 1) {
co++;
if (a[i] % 2 == 1) {
bit[i].set(co);
}
a[i] /= 2;
}
bit[i][co] = 1;
}
long long ans = 1;
for (int i = 1; i < k; i++) {
long long co = 0;
for (int j = 0; j < 61; j++) {
if (!bit[i][j] && bit[i - 1][j]) {
cout << "0" << endl;
return 0;
}
if (bit[i][j] && !bit[i - 1][j]) {
co++;
}
}
for (long long j = co; j > 0; j--) {
ans *= j;
ans %= 1000000007;
}
}
long long co = 0;
for (int j = 0; j < 61; j++) {
if (bit[0][j]) {
co++;
}
}
for (long long j = co; j > 0; j--) {
ans *= j;
ans %= 1000000007;
}
co = 0;
for (int j = 0; j < n; j++) {
if (!bit[k-1][j]) {
co++;
}
}
for (long long j = co; j > 0; j--) {
ans *= j;
ans %= 1000000007;
}
cout << ans << endl;
return 0;
}