ABC430-C Truck Driver

問題へのリンク

C#のソース

using System;
using System.Collections.Generic;
using System.Linq;

class Program
{
    static string InputPattern = "InputX";

    static List<string> GetInputList()
    {
        var WillReturn = new List<string>();

        if (InputPattern == "Input1") {
            WillReturn.Add("11 4 2");
            WillReturn.Add("abbaaabaaba");
            //3
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("13 1 2");
            WillReturn.Add("bbbbbbbbbbbbb");
            //0
        }
        else {
            string wkStr;
            while ((wkStr = Console.ReadLine()) != null) WillReturn.Add(wkStr);
        }
        return WillReturn;
    }

    static long[] GetSplitArr(string pStr)
    {
        return (pStr == "" ? new string[0] : pStr.Split(' ')).Select(pX => long.Parse(pX)).ToArray();
    }

    static void Main()
    {
        List<string> InputList = GetInputList();
        long[] wkArr = GetSplitArr(InputList[0]);
        long A = wkArr[1];
        long B = wkArr[2];

        char[] CharArr = InputList[1].ToCharArray();
        long UB = CharArr.GetUpperBound(0);

        long[] RunSumA = new long[UB + 1];
        long[] RunSumB = new long[UB + 1];
        for (long I = 0; I <= UB; I++) {
            if (CharArr[I] == 'a') RunSumA[I] = 1;
            if (CharArr[I] == 'b') RunSumB[I] = 1;
        }

        for (long I = 1; I <= UB; I++) {
            RunSumA[I] += RunSumA[I - 1];
            RunSumB[I] += RunSumB[I - 1];
        }

        long Answer = 0;
        long AppearA = 0;
        long AppearB = 0;
        for (long I = 0; I <= UB; I++) {
            if (I > 0) {
                if (CharArr[I - 1] == 'a') AppearA++;
                if (CharArr[I - 1] == 'b') AppearB++;
            }

            long Ind1 = ExecNibunhou_LowerBound(A + AppearA, RunSumA);
            if (Ind1 == -1) continue;

            long Ind2 = ExecNibunhou_LowerBound(B + AppearB, RunSumB);
            if (Ind2 == -1) {
                Answer += UB - Ind1 + 1;
                continue;
            }
            Ind2--;

            if (Ind1 <= Ind2) {
                Answer += Ind2 - Ind1 + 1;
            }
        }
        Console.WriteLine(Answer);
    }

    // 二分法で、Val以上で最小の値を持つ、添字を返す
    static int ExecNibunhou_LowerBound(long pVal, long[] pArr)
    {
        if (pArr.Length == 0) return -1;

        // 最後の要素がVal未満の特殊ケース
        if (pVal > pArr.Last()) {
            return -1;
        }
        // 最初の要素がVal以上の特殊ケース
        if (pVal <= pArr[0]) {
            return 0;
        }

        int L = 0;
        int R = pArr.GetUpperBound(0);

        while (L + 1 < R) {
            int Mid = (L + R) / 2;

            if (pArr[Mid] >= pVal) {
                R = Mid;
            }
            else {
                L = Mid;
            }
        }
        return R;
    }
}

解説

ダイソーのオセロセットで考察します。

最初に、Aの個数の累積和の配列と、Bの個数の累積和の配列を求めます。

次に、区間の左端を全探索します。
区間の右端は、Aが超過個数になるIndと、Bの個数で緩和されるIndを二分探索し、
AとBの大小関係から、解となる右端の個数求め、解に計上します。

下記のような場合もあるので、注意深く実装する必要があります。
●Aが超過個数にならない場合
●Aが超過個数になるけど、Bの個数で緩和されない場合
●Bの個数で緩和されるInd < Aが超過個数になるInd