結果

問題 No.3229 Liar Game Comibination
ユーザー areik
提出日時 2025-08-08 22:43:33
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 390 ms / 2,000 ms
コード長 2,185 bytes
コンパイル時間 4,621 ms
コンパイル使用メモリ 264,376 KB
実行使用メモリ 6,272 KB
最終ジャッジ日時 2025-08-08 22:43:42
合計ジャッジ時間 8,751 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 29
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;

using isize = size_t;
using i32 = int;
using u32 = unsigned int;
using i64 = long long;
using u64 = unsigned long long;
using i128 = __int128_t;
using u128 = __uint128_t;
using f64 = long double;
using p2 = pair<i64, i64>;
using el = tuple<i64, i64, i64>;
using mint = atcoder::modint1000000007;

void _main();
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  _main();
}

i64 pow(i64 x, i64 n) {
  i64 res = 1;
  i64 t = x;
  while (n > 0) {
    if (n & 1) {
      res = res * t;
    }
    t = t * t;
    n >>= 1;
  }
  return res;
}
i64 pow(i64 x, i64 n, i64 m) {
  i64 res = 1;
  i64 t = x % m;
  while (n > 0) {
    if (n & 1) {
      res = res * t % m;
    }
    t = t * t % m;
    n >>= 1;
  }
  return res;
}

using mat = vector<vector<mint>>;
using v4 = vector<mint>;
i64 K = 1000000007;;
mat mul(mat a, mat b) {
  assert(a[0].size() == b.size());
  mat res(a.size(), v4(b[0].size(), 0));
  for (i64 i = 0; i < a.size(); i++) {
    for (i64 j = 0; j < b[0].size(); j++) {
      for (i64 k = 0; k < a[0].size(); k++) {
        res[i][j] += a[i][k] * b[k][j];
      }
    }
  }
  return res;
}
mat pow(mat a, i64 n) {
  mat t = a;
  assert(a.size() == a[0].size());
  mat res(a.size(), v4(a.size(), 0));
  for (i64 i = 0; i < a.size(); i++) res[i][i] = 1;
  while (n > 0) {
    if (n & 1) res = mul(res, t);
    t = mul(t, t);
    n >>= 1;
  }
  return res;
}
mat e() {
  return {{1, 0}, {0, 1}};
}
void _main() {
  i32 n, m, K;
  cin >> n >> m >> K;
  vector<bitset<2570>> a(m);
  for (i32 i = 0; i < m; i++) {
    string s;
    cin >> s;
    for (i32 j = 0; j < n; j++) {
      a[i][j] = s[j] - '0'; 
    }
  }
  i64 ans = 1;
  for (i32 i = 0; i < n; i++) {
    i32 id = -1;
    for (i32 j = 0; j < a.size(); j++) if (id == -1 && a[j].test(i)) {
      id = j;
    }
    if (id == -1) {
      ans = ans * 2 % K;
      continue;
    }
    vector<bitset<2570>> na;
    for (i32 j = 0; j < a.size(); j++) {
      if (j == id) continue;
      if (a[j].test(i)) {
        na.push_back(a[id] ^ a[j]);
      } else {
        na.push_back(a[j]);
      }
    }
    swap(a, na);
  }
  cout << ans << "\n";
}
0