結果
問題 | No.2895 Zero XOR Subset |
ユーザー | Today03 |
提出日時 | 2024-09-21 19:43:15 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,498 bytes |
コンパイル時間 | 3,048 ms |
コンパイル使用メモリ | 260,300 KB |
実行使用メモリ | 6,948 KB |
最終ジャッジ日時 | 2024-09-21 19:43:26 |
合計ジャッジ時間 | 9,291 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,812 KB |
testcase_01 | AC | 2 ms
6,940 KB |
testcase_02 | WA | - |
testcase_03 | AC | 2 ms
6,944 KB |
testcase_04 | AC | 2 ms
6,940 KB |
testcase_05 | AC | 2 ms
6,944 KB |
testcase_06 | WA | - |
testcase_07 | AC | 3 ms
6,940 KB |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | AC | 2 ms
6,940 KB |
testcase_11 | AC | 2 ms
6,940 KB |
testcase_12 | WA | - |
testcase_13 | WA | - |
testcase_14 | AC | 2 ms
6,940 KB |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | AC | 3 ms
6,940 KB |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | AC | 2 ms
6,944 KB |
testcase_21 | AC | 2 ms
6,944 KB |
testcase_22 | WA | - |
testcase_23 | AC | 2 ms
6,944 KB |
testcase_24 | AC | 3 ms
6,940 KB |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | AC | 2 ms
6,944 KB |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | AC | 2 ms
6,940 KB |
testcase_36 | WA | - |
ソースコード
#include <bits/stdc++.h> using namespace std; using ll = long long; const int INF = 1e9 + 10; const ll INFL = 4e18; /* ガウスの消去法によって、F_2 上の連立線形方程式 Ax = 0 を解く。 計算量: O(n^3) 戻り値: 解が存在するかどうか x0: 特殊解 xs: 解空間の基底 */ int gaussJordan(vector<vector<bool>> &a, bool extended = false) { int rank = 0; int row = a.size(), col = a[0].size(); for (int c = 0; c < col; c++) { if (extended && c == col - 1) break; int pivot = -1; for (int r = rank; r < row; r++) { if (a[r][c]) { pivot = r; break; } } if (pivot == -1) continue; swap(a[pivot], a[rank]); for (int r = 0; r < row; r++) { if (r == rank) continue; if (a[r][c]) { for (int cc = 0; cc < col; cc++) { a[r][cc] = a[r][cc] ^ a[rank][cc]; } } } rank++; } return rank; } bool solveLinearEquation(vector<vector<bool>> a, vector<bool> b, vector<bool> &x0, vector<vector<bool>> &xs) { int row = a.size(), col = a[0].size(); for (int i = 0; i < row; i++) { a[i].push_back(b[i]); } int rank = gaussJordan(a, true); for (int i = 0; i < row; i++) { if (a[i][col]) return false; } x0 = vector<bool>(col); for (int i = 0; i < rank; i++) x0[i] = a[i][col]; xs = vector<vector<bool>>(col - rank, vector<bool>(col)); for (int i = 0; i < col - rank; i++) { xs[i][i + rank] = 1; for (int j = 0; j < rank; j++) { xs[i][j] = a[j][i + rank]; } } return true; } int main() { int N; cin >> N; vector<ll> A(N); for (int i = 0; i < N; i++) cin >> A[i]; N = min(N, 60); vector<vector<bool>> a(60, vector<bool>(N)); for (int i = 0; i < N; i++) { for (int j = 0; j < 60; j++) { a[j][i] = (A[i] >> j) & 1; } } vector<bool> x0; vector<vector<bool>> xs; if (solveLinearEquation(a, vector<bool>(N), x0, xs) && xs.size() > 1) { vector<int> ans; for (int i = 0; i < N; i++) { if (xs[0][i]) { ans.push_back(i); } } cout << ans.size() << endl; for (int x : ans) { cout << x + 1 << ' '; } cout << endl; } else { cout << -1 << endl; } }