【競技プログラミング】Atcoder ABC013 C - 節制 のWAの原因

Question

前提・実現したいこと

以下の問題について、以下提出ソースコードで4行のifブロックを削除するとWAが出る原因をご教授いただけますでしょうか。
また、WAが出るような入力として考えられるものがありましたら合わせてご教授いただけますでしょうか。
削除しない場合はACとなります。
よろしくお願いいたします。

Atcoder ABC013 C 節制

発生している問題・エラーメッセージ

以下提出ソースコードでACは出来たのですが、ソースコードコメントにある４行を削除すると9件のWAが出ます。
この４行の代わりに以下の行でcが1以上の場合をケアしているつもりですが、どんなケースがケア出来ていないかが分かりません。

Y = max(0LL, Y);

提出ソースコード

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define rep(__x, __start, __end) for(int __x = __start; __x < __end; __x++)
template <class T> bool chmin(T &a, T b) { if (a > b) {a = b; return true; } return false; }

const ll INF = 10000000000000000;
ll N,H,A,B,C,D,E;

int main() {
  cin >> N >> H >> A >> B >> C >> D >> E;

  ll ans = INF;
  rep(X,0,N+1) {
    ll c = H + X*B - (N-X)*E; // 普通の食事だけをX回とった時のN日後の満腹度.

    /* ここからの4行を除くと9件のWAが出る. */
    if (c >= 1) {
      chmin(ans, X*A);
      continue;
    }
    /* ここまで */

    ll a = 1 - c;
    ll b = D+E; // 何も食べない日を1日質素な食事に変えるごとに増える満腹度.
    ll Y = a/b + (a%b != 0); // 切り上げ
    Y = max(0LL, Y); // <-- cが1以上の場合はここで担保している気がする
    if (X+Y>N) continue;
    chmin(ans, X*A+Y*C);
  }
  cout << ans << endl;
  return 0;
}

補足情報（FW/ツールのバージョンなど）

Atcoderでのコンパイラ

• C++ (GCC 9.2.1)

Answer 1

2 1
3 3 2 1 2

正解は普通の食事一回の3ですが、if分を削除すると4になります。
Yの値が想定通りでないことも確認できるはずです。

Comments

[heppoko_pg]

さっそくのお返事ありがとうございます！
確認いたします。

[heppoko_pg]

おかげさまで無事理解できました。
大変勉強になりました、ありがとうございました！

自信を持って以下のように短く書いてACを取ることが出来ました。
aが負でかつa/bが0の場合にa%bが0とは限らない点を見逃していました。

```
ll c = H + X*B - (N-X)*E;
ll a = max(0LL, 1 - c);
ll b = D+E;
ll Y = a/b + (a%b != 0);
```