JOI 2021 二次予選 C イベント巡り (Event Hopping)

JOI 2021 二次予選をバチャしました。難しかったし、納得いく結果が出せませんでしたが、面白い問題でした！

問題リンク

https://atcoder.jp/contests/joi2021yo2/tasks/joi2021_yo2_c

問題概要

つの街があり、合計 個のイベントが行われます。イベント は街 で開催され、時間は の間行われます。

JOI 君はこれらのイベントに参加します。どちらの街から始めることができ、それまでに参加したイベント数を 個とすると、 だけ街の間の移動に時間がかかります。

参加できるイベント数の最大値を求めてください。

制約 (満点)

は全て異なる。

考察・解法

以下、-indexed とします。それぞれのイベントについて DP をするとよいのではないかと分かります。
番目のイベントまでに参加したときに、最後に街 にいる状態でのイベント参加数の最大値を とします。

まず、部分点である のときについては、 番目のイベント開始時 (時刻 ) に間に合うように移動するためには、時刻 よりも後に別の街で開かれるイベントは参加できません。よって、それ以前に開かれるイベントの番号を二分探索で調べれば遷移できます。

では、 のときはどうすればいいでしょうか。
イベントに参加した後に移動するときは、 以上前の最後のイベント開始時から遷移するだけでは不十分です。また、最後のイベントから遷移するけど途中のイベントに意図的に不参加する、という遷移では間違いです (例えば、 で時刻 に街 で、 に街 でイベントがあるときは時刻 のイベントから遷移しなければいけません)。また、当然それまでのイベントからすべて遷移しては、 かかるので間に合いません。

それでは、それまでのイベント参加数が であるときにそこから違う街で行われる 番目のイベントに参加するためにはどのような条件が必要でしょうか。以下、説明のために街 から街 へ移動することを考えます。
それまでのイベント参加数が 以上である時刻から移動するとしたとき、街 では長居する必要はなく、イベント参加数 (すなわち の値) が 以上となる最初のイベント ( 番目であるとします) から動けばよいです。このとき、 であるとき、街 から街 に移動することは可能です。
ところで、 は について単調増加です。 は街 にいて、それまでに 個のイベントに参加できるイベントの最小値なので について単調増加だからです。これより、街 に 個イベントに参加した状態で移動できる最大の は二分探索できます。

よって、以上より で DP 遷移をすることができます。

実装

実装を展開する

       public void Solve()
        {
            var (n, d, k) = cin.ReadValue<int, long, long>();
            var (p, s) = cin.ReadValueArray<int, long>(n);
            var ev = Enumerable.Zip(p, s).OrderBy(v => v.Second).ToArray();
            var sortedS = ev.Select(p => p.Second).ToArray();
            var dp = new long[n + 1, 2];
            if (k == 0)
            {
                for (var i = 0; i < n; i++)
                {
                    dp[i + 1, 0] = dp[i, 0];
                    dp[i + 1, 1] = dp[i, 1];
                    var before = sortedS.UpperBound(sortedS[i] - d - 1) - 1;
                    if (ev[i].First == 1)
                    {
                        dp[i + 1, 0] = dp[i, 0] + 1;
                        if (before >= 0) dp[i + 1, 0].Chmax(dp[before + 1, 1] + 1);
                    }
                    else
                    {
                        dp[i + 1, 1] = dp[i, 1] + 1;
                        if (before >= 0) dp[i + 1, 1].Chmax(dp[before + 1, 0] + 1);
                    }
                }
                Console.WriteLine(Max(dp[n, 0], dp[n, 1]));
            }
            else
            {
                var firstapp1 = Enumerable.Repeat(int.MaxValue, n + 1).ToArray();
                var firstapp2 = Enumerable.Repeat(int.MaxValue, n + 1).ToArray();
                var unseen1 = 1;
                var unseen2 = 1;
                firstapp1[0] = 0;
                firstapp2[0] = 0;
                for (var i = 0; i < n; i++)
                {
                    dp[i + 1, 0] = dp[i, 0];
                    dp[i + 1, 1] = dp[i, 1];
                    if (ev[i].First == 1)
                    {
                        dp[i + 1, 0] = dp[i, 0] + 1;
 
                        var ok = 0;
                        var ng = unseen2;
                        while (ng - ok > 1)
                        {
                            var mid = (ng - ok) / 2 + ok;
                            var t = sortedS[i] - sortedS[firstapp2[mid] - 1] - 1;
                            if (d + k * mid <= t) ok = mid;
                            else ng = mid;
                        }
 
                        dp[i + 1, 0].Chmax(ok + 1);
                    }
                    else
                    {
                        dp[i + 1, 1] = dp[i, 1] + 1;
 
                        var ok = 0;
                        var ng = unseen1;
                        while (ng - ok > 1)
                        {
                            var mid = (ng - ok) / 2 + ok;
                            var t = sortedS[i] - sortedS[firstapp1[mid] - 1] - 1;
                            if (d + k * mid <= t) ok = mid;
                            else ng = mid;
                        }
 
                        dp[i + 1, 1].Chmax(ok + 1);
                    }
                    for (var j = unseen1; j <= dp[i + 1, 0]; j++)
                    {
                        firstapp1[j].Chmin(i + 1);
                    }
                    unseen1 = (int)dp[i + 1, 0] + 1;
                    for (var j = unseen2; j <= dp[i + 1, 1]; j++)
                    {
                        firstapp2[j].Chmin(i + 1);
                    }
                    unseen2 = (int)dp[i + 1, 1] + 1;
                }
                Console.WriteLine(Max(dp[n, 0], dp[n, 1]));
            }
        }

ACコード: https://atcoder.jp/contests/joi2021yo2/submissions/18798740

感想

バチャではこれと A 問題の 2 完と部分点で 225 点でした。3 完はしたかったですが……。

もっと JOI もたくさん問題を解きたいですね。もう大学生なので JOI には参加できないですが…… (中高生の頃から競プロを知りたかった……)。