結果
| 問題 | No.2505 matriX cOnstRuction |
| ユーザー |
👑  emthrm
|
| 提出日時 | 2023-07-28 14:58:28 |
| 言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
MLE
|
| 実行時間 | - |
| コード長 | 3,076 bytes |
| コンパイル時間 | 1,533 ms |
| コンパイル使用メモリ | 111,580 KB |
| 実行使用メモリ | 816,384 KB |
| 最終ジャッジ日時 | 2024-10-11 13:21:08 |
| 合計ジャッジ時間 | 7,374 ms |
|
ジャッジサーバーID （参考情報） |
judge1 / judge2 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | MLE | - |
| testcase_01 | -- | - |
| testcase_02 | -- | - |
| testcase_03 | -- | - |
| testcase_04 | -- | - |
| testcase_05 | -- | - |
| testcase_06 | -- | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
| testcase_49 | -- | - |
| testcase_50 | -- | - |
| testcase_51 | -- | - |
| testcase_52 | -- | - |
| testcase_53 | -- | - |
| testcase_54 | -- | - |
| testcase_55 | -- | - |
| testcase_56 | -- | - |
| testcase_57 | -- | - |
| testcase_58 | -- | - |
| testcase_59 | -- | - |
| testcase_60 | -- | - |
| testcase_61 | -- | - |
| testcase_62 | -- | - |
| testcase_63 | -- | - |
ソースコード
#include <algorithm>
#include <array>
#include <cassert>
#include <iostream>
#include <iterator>
#include <numeric>
#include <tuple>
#include <vector>
int KthBit(const int x, const int k) { return x >> k & 1; }
// <WA> #895425 ベース
// -1 ビット目を探索している。
template <int D>
int Solve(const std::vector<int>& z, const std::vector<std::vector<int>>& a) {
const int n = a.size(), m = a.front().size();
assert(std::ssize(z) == n + m);
std::vector<int> y(n + m, 0);
for (int i = 1; i < n; ++i) {
y[i] = a[i].front() ^ a.front().front();
}
for (int j = 0; j < m; ++j) {
y[j + n] = a.front()[j];
}
for (int i = 0; i < n; ++i) {
for (int j = 0; j < m; ++j) {
if ((y[i] ^ y[j + n]) != a[i][j]) return -1;
}
}
int min_fx = (n + m) * 2 + 1;
const auto dfs = [&z, &y, &min_fx](
auto dfs, const int bit, const int fx, const std::vector<int>& or_012,
const std::vector<int>& or_01, const std::vector<int>& or_12) -> void {
if (or_012.empty() && or_01.empty() && or_12.empty()) { // ここ
min_fx = std::min(min_fx, fx);
return;
}
for (const int x_bit : std::array<int, 2>{0, 1}) {
bool is_valid = true;
int next_fx = fx;
std::vector<int> next_or_012, next_or_01, next_or_12;
for (const int i : or_012) {
if (KthBit(y[i], bit) != x_bit) {
if (KthBit(z[i], bit) == 0) {
is_valid = false;
break;
}
++next_fx;
next_or_12.emplace_back(i);
} else {
(KthBit(z[i], bit) == 1 ? next_or_01 : next_or_012).emplace_back(i);
}
}
if (!is_valid) continue;
for (const int i : or_01) {
if (KthBit(y[i], bit) != x_bit) {
++next_fx;
} else {
next_or_01.emplace_back(i);
}
}
for (const int i : or_12) {
const int x_xor_y = (KthBit(y[i], bit) != x_bit ? 1 : 0);
const int z_bit = KthBit(z[i], bit);
if (x_xor_y > z_bit) {
++next_fx;
} else if (x_xor_y == z_bit) {
next_or_12.emplace_back(i);
}
}
dfs(dfs, bit - 1, next_fx, next_or_012, next_or_01, next_or_12);
}
};
std::vector<int> or_012(n + m);
std::iota(or_012.begin(), or_012.end(), 0);
dfs(dfs, D - 1, 0, or_012, std::vector<int>{}, std::vector<int>{});
return min_fx > (n + m) * 2 ? -1 : min_fx;
}
int main() {
constexpr int kMaxT = 50000, kMaxNM = 50000, kDigits = 30;
int t;
std::cin >> t;
assert(1 <= t && t <= kMaxT);
while (t--) {
int n, m;
std::cin >> n >> m;
assert(1 <= n && 1 <= m && n * m <= kMaxNM);
std::vector<int> z(n + m);
for (int i = 0; i < n + m; ++i) {
std::cin >> z[i];
assert(0 <= z[i] && z[i] < (1 << kDigits));
}
std::vector a(n, std::vector(m, 0));
for (int i = 0; i < n; ++i) {
for (int j = 0; j < m; ++j) {
std::cin >> a[i][j];
assert(0 <= a[i][j] && a[i][j] < (1 << kDigits));
}
}
std::cout << Solve<kDigits>(z, a) << '\n';
}
return 0;
}