結果

問題 No.2622 Dam
ユーザー InTheBloom
提出日時 2024-02-09 21:50:04
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 950 bytes
コンパイル時間 566 ms
コンパイル使用メモリ 77,816 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-09-28 15:05:11
合計ジャッジ時間 970 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 1 WA * 4
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cassert>

using namespace std;
using ll = long long;

void solve (ll V, ll X, int Fo, int Fi, int Q, int R) {
    // 制約を見落としていた。R < Qが常に成立。

    ll trace = (R * Fi + X) - (R * Fo);
    if (V < trace) {
        cout << "Overflow\n";
        return;
    }

    trace -= (Q-R-1) * Fo;
    if (trace < 0) {
        cout << "Zero\n";
        return;
    }

    ll inflow = 1LL * R * Fi;
    ll outflow = 1LL * Q * Fo;

    if (inflow == outflow) {
        cout << "Safe\n";
        return;
    }
    
    if (inflow < outflow) {
        cout << "Zero\n";
        return;
    }

    if (outflow < inflow) {
        cout << "Overflow\n";
        return;
    }

    assert(0);
}

int main () {
    int T; cin >> T;
    while (T--) {
        ll V, X; cin >> V >> X;
        int Fo, Fi; cin >> Fo >> Fi;
        int Q, R; cin >> Q >> R;

        solve(V, X, Fo, Fi, Q, R);
    }

    return 0;
}
0