テストケース Range Chmin Chmax Add Range Sum about library-checker-problems HOT 3 CLOSED

ありがとうございます、作業までしていただけるならば、もちろんそうしていただけた方がありがたいです。

from library-checker-problems.

hitonanode/cplib-cpp#331 ですが、モノイドに作用がはたらく際、モノイドのもともとの最小値が作用の chmin の値に一致している場合の処理がバグっています。

今回のバグだと、例えば Range Chmin Chmax Add Range Sum - Library Checker の 私の提出 は

5 2
0 0 3 1 0
0 1 4 1
3 0 4

で落ちます（想定は 2、私の提出は 1）。

逆バージョンとして、モノイドのもともとの最大値が作用の chmax に一致している場合にバグっているコードは

5 2
0 0 1 0 1
1 1 5 1
3 0 5

で落とせます。

等号の場合の処理がバグの原因なので、 $A$ の値域が狭いケースがあると容易に落とせそうです。例えば以下の要領でランダムケースを作ると普通に落とせていそうです。

import random

random.seed(0)

N = 1000
Q = 1000

MINA = -3
MAXA = 3

A = [random.randint(MINA, MAXA) for _ in range(N)]

print(N, Q)
print(*A, sep=' ')

for _ in range(Q):
    tp = random.randint(0, 3)
    l, r = 0, 0

    while l >= r:
        l = random.randint(0, N)
        r = random.randint(0, N)

    if tp <= 2:
        b = random.randint(MINA, MAXA)
        print(tp, l, r, b)
    else:
        print(tp, l, r)

from library-checker-problems.

とりあえず上記の方針でテストケース追加 PR 出しましょうか？ （どなたがやる形でもよいです）

from library-checker-problems.