結果

問題 No.3068 Speedrun (Hard)
ユーザー sai
提出日時 2025-03-21 21:58:24
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,564 bytes
コンパイル時間 3,362 ms
コンパイル使用メモリ 274,000 KB
実行使用メモリ 5,888 KB
最終ジャッジ日時 2025-03-21 21:58:37
合計ジャッジ時間 12,774 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 2
other AC * 6 WA * 6 RE * 20
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  int A[4], B[4], N, T;
  for (int i = 0; i < 4; i++) {
    std::cin >> A[i];
  }
  std::cin >> N;
  for (int i = 0; i < 4; i++) {
    std::cin >> B[i];
  }
  std::cin >> T;
  auto check = [&](int x0, int x1, int x2, int x3) -> void {
    int X[4] = {x0, x1, x2, x3};
    int sum = 0, time = 0;
    for (int i = 0; i < 4; i++) {
      assert(0 <= X[i] && X[i] <= A[i]);
      sum += X[i];
      time += B[i] * X[i];
    }
    assert(sum == N);
    assert(time == T);
    std::cout << x0 << ' ' << x1 << ' ' << x2 << ' ' << x3 << '\n';
    exit(0);
  };
  if (B[0] == B[1] && B[1] == B[2] && B[2] == B[3]) {
    assert(A[0] + A[1] + A[2] + A[3] >= N);
    int x1 = A[1], x2 = A[2], x3 = A[3];
    for (int x0 = 0; x0 <= A[0]; x0++) {
      if (x0 + x1 + x2 + x3 == N) {
        check(x0, x1, x2, x3);
      }
    }
  } else {
    for (int i = 0; i < 4; i++) {
      for (int j = i + 1; j < 4; j++) {
        if (B[i] != B[j]) {
          std::swap(A[0], A[i]);
          std::swap(B[0], B[i]);
          std::swap(A[1], A[j]);
          std::swap(B[1], B[j]);
        }
      }
    }
    assert(B[0] != B[1]);
    for (int x2 = 0; x2 <= A[2]; x2++) {
      for (int x3 = 0; x3 <= A[3]; x3++) {
        int P = B[1] * (N - x2 - x3) - (T - B[2] * x2 - B[3] * x3), Q = B[1] - B[0];
        if (P % Q == 0 && 0 <= P / Q && P / Q <= A[0]) {
          int x0 = P / Q, x1 = N - x2 - x3 - x0;
          check(x0, x1, x2, x3);
        }
      }
    }
  }
  assert(false);
}
0