結果

問題 No.74 貯金箱の退屈
ユーザー te-shte-sh
提出日時 2017-01-25 14:06:15
言語 D
(dmd 2.106.1)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 1,085 bytes
コンパイル時間 628 ms
コンパイル使用メモリ 95,724 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-09-03 00:50:11
合計ジャッジ時間 1,948 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 1 ms
4,380 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 1 ms
4,376 KB
testcase_12 AC 1 ms
4,376 KB
testcase_13 AC 1 ms
4,376 KB
testcase_14 AC 1 ms
4,380 KB
testcase_15 AC 2 ms
4,380 KB
testcase_16 AC 1 ms
4,380 KB
testcase_17 AC 1 ms
4,376 KB
testcase_18 AC 1 ms
4,376 KB
testcase_19 AC 2 ms
4,380 KB
testcase_20 AC 1 ms
4,380 KB
testcase_21 AC 1 ms
4,380 KB
testcase_22 AC 2 ms
4,376 KB
testcase_23 AC 1 ms
4,376 KB
testcase_24 AC 1 ms
4,376 KB
testcase_25 AC 1 ms
4,380 KB
testcase_26 AC 2 ms
4,376 KB
testcase_27 AC 1 ms
4,376 KB
testcase_28 AC 1 ms
4,376 KB
testcase_29 AC 1 ms
4,384 KB
testcase_30 AC 2 ms
4,380 KB
testcase_31 AC 1 ms
4,376 KB
testcase_32 AC 2 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std.algorithm, std.conv, std.range, std.stdio, std.string;
import std.bitmanip;  // BitArray
import std.container;

void main()
{
  auto n = readln.chomp.to!size_t;
  auto di = readln.split.to!(int[]);
  auto wi = readln.split.to!(int[]).to!(bool[]);

  auto aij = new bool[][](n, n + 1);
  foreach (i; n.iota) {
    auto ii = i.to!int, ni = n.to!int;
    auto d1 = (ii + di[i]) % ni;
    auto d2 = ((ii - di[i]) % ni + ni) % ni;
    aij[d1][i] = aij[d2][i] = true;
    aij[i][n] = !wi[i];
  }

  gaussJordan(aij, n);
  writeln(hasSolution(aij, n) ? "Yes" : "No");
}

void gaussJordan(bool[][] aij, size_t n)
{
  size_t i, j;
  while (i < n && j < n) {
    if (!aij[i][j]) {
      auto k = aij[i+1..$].countUntil!(ai => ai[j]);
      if (k == -1)
        ++j;
      else
        swap(aij[i], aij[i + k + 1]);
    }

    if (aij[i][j]) {
      foreach (k, ref ai; aij[i+1..$])
        if (ai[j]) ai[] ^= aij[i][];
      ++i;
      ++j;
    }
  }
}

auto hasSolution(bool[][] aij, size_t n)
{
  foreach (ai; aij)
    if (ai[0..n].all!"!a" && ai[n]) return false;
  return true;
}
0