ABC471-D Chargers

問題へのリンク

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("7 100");
            WillReturn.Add("1 15 60");
            WillReturn.Add("1 25 80");
            WillReturn.Add("2 30");
            WillReturn.Add("1 45 0");
            WillReturn.Add("2 60");
            WillReturn.Add("2 70");
            WillReturn.Add("2 80");
            //85
            //100
            //25
            //-1
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("20 380736236");
            WillReturn.Add("1 21873985 256702097");
            WillReturn.Add("2 86369729");
            WillReturn.Add("1 114301317 288304981");
            WillReturn.Add("1 147244640 305840435");
            WillReturn.Add("2 150951976");
            WillReturn.Add("1 331581391 50335458");
            WillReturn.Add("1 352989552 47577202");
            WillReturn.Add("1 400130024 345362760");
            WillReturn.Add("2 458793150");
            WillReturn.Add("2 509082216");
            WillReturn.Add("1 591375600 197371572");
            WillReturn.Add("1 617022014 101276068");
            WillReturn.Add("1 679649471 310249627");
            WillReturn.Add("1 796351653 268586022");
            WillReturn.Add("1 825648347 129608152");
            WillReturn.Add("2 908069704");
            WillReturn.Add("2 921770319");
            WillReturn.Add("1 949684819 372272469");
            WillReturn.Add("1 971850999 335461408");
            WillReturn.Add("2 986253026");
            //321197841
            //324955640
            //380736236
            //380736236
            //380736236
            //380736236
            //380736236
        }
        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 Q = wkArr[0];
        long V = wkArr[1];

        var InsLazySegmentTree = new LazySegmentTree(Q, long.MinValue / 2);
        long UB = InsLazySegmentTree.GetUB();

        long PrevTime = 0;
        long FreeInd = 0;

        Action<string> SplitAct = (pStr) => wkArr = GetSplitArr(pStr);
        foreach (string EachStr in InputList.Skip(1)) {
            SplitAct(EachStr);
            long Type = wkArr[0];
            long CurrTime = wkArr[1];

            long TimeDiff = CurrTime - PrevTime;
            InsLazySegmentTree.Internal_RangeAdd(0, FreeInd, TimeDiff);
            PrevTime = CurrTime;

            if (Type == 1) {
                InsLazySegmentTree[FreeInd] = wkArr[2];
                FreeInd++;
            }
            if (Type == 2) {
                long MaxVal, MaxValInd;
                InsLazySegmentTree.GetMaxInfo_Left(0, FreeInd, out MaxVal, out MaxValInd);

                if (MaxVal <= 0) {
                    Console.WriteLine(-1);
                    continue;
                }
                Console.WriteLine(Math.Min(V, MaxVal));
                InsLazySegmentTree[MaxValInd] = long.MinValue / 2;
            }
        }
    }
}

#region LazySegmentTree
// LazySegmentTreeクラス (RMaxQ and RAQ)
internal class LazySegmentTree
{
    private long[] mTreeNodeArr;
    private long UB; // 木のノードの配列のUB
    private long mLeafCnt; // 葉ノードの数
    private long mExternalArrUB;

    private long[] mLazyArr; // 遅延配列

    // 拡張機能1 (最大値と、最大値を持つIndを返す)
    // 最大値が複数あったら、左のIndを優先
    // 区間指定不可(全区間のみ)
    internal void GetMaxInfo_Left(out long pMaxVal, out long pMaxValInd)
    {
        long CurrInd = 0;
        LazyEval(0);

        while (true) {
            long CurrNodeStaInd = mRangeInfo[CurrInd].StaInd;
            long CurrNodeEndInd = mRangeInfo[CurrInd].EndInd;

            // 葉ノードなら終了
            if (CurrNodeStaInd == CurrNodeEndInd) {
                break;
            }

            long ChildNode1 = DeriveChildNode(CurrInd);
            long ChildNode2 = ChildNode1 + 1;

            LazyEval(ChildNode1);
            LazyEval(ChildNode2);
            long LeftMax = mTreeNodeArr[ChildNode1];
            long RightMax = mTreeNodeArr[ChildNode2];

            if (LeftMax >= RightMax) {
                CurrInd = ChildNode1;
            }
            else {
                CurrInd = ChildNode2;
            }
        }
        pMaxVal = mTreeNodeArr[CurrInd];

        long MinusCnt = UB + 1 - mLeafCnt;
        pMaxValInd = CurrInd - MinusCnt;
    }

    // 拡張機能2 (最大値と、最大値を持つIndを返す)
    // 最大値が複数あったら、右のIndを優先
    // 区間指定不可(全区間のみ)
    internal void GetMinInfo_Right(out long pMaxVal, out long pMaxValInd)
    {
        long CurrInd = 0;
        LazyEval(0);

        while (true) {
            long CurrNodeStaInd = mRangeInfo[CurrInd].StaInd;
            long CurrNodeEndInd = mRangeInfo[CurrInd].EndInd;

            // 葉ノードなら終了
            if (CurrNodeStaInd == CurrNodeEndInd) {
                break;
            }

            long ChildNode1 = DeriveChildNode(CurrInd);
            long ChildNode2 = ChildNode1 + 1;
            LazyEval(ChildNode1);
            LazyEval(ChildNode2);

            long LeftMax = mTreeNodeArr[ChildNode1];
            long RightMax = mTreeNodeArr[ChildNode2];

            if (LeftMax <= RightMax) {
                CurrInd = ChildNode2;
            }
            else {
                CurrInd = ChildNode1;
            }
        }
        pMaxVal = mTreeNodeArr[CurrInd];

        long MinusCnt = UB + 1 - mLeafCnt;
        pMaxValInd = CurrInd - MinusCnt;
    }

    // 拡張機能3 (最大値と、最大値を持つIndを返す)
    // 最小値が複数あったら、左側のIndを優先
    // 区間指定可
    internal void GetMaxInfo_Left(long pSearchStaInd, long pSearchEndInd,
        out long pMaxVal, out long pMaxValInd)
    {
        LazyEval(0);

        // 区間の最大値を求める
        pMaxVal = Internal_Query(pSearchStaInd, pSearchEndInd);

        var Stk = new Stack<long>();
        Stk.Push(0);

        long MinusCnt = UB + 1 - mLeafCnt;
        while (true) {
            long CurrInd = Stk.Pop();

            // 対応する区間
            long CurrNodeStaInd = mRangeInfo[CurrInd].StaInd;
            long CurrNodeEndInd = mRangeInfo[CurrInd].EndInd;

            // OverLapしてない場合
            if (CurrNodeEndInd < pSearchStaInd || pSearchEndInd < CurrNodeStaInd) {
                continue;
            }

            // 葉ノードなら終了
            if (CurrNodeStaInd == CurrNodeEndInd) {
                pMaxValInd = CurrInd - MinusCnt;
                return;
            }

            long ChildNode1 = DeriveChildNode(CurrInd);
            long ChildNode2 = ChildNode1 + 1;

            LazyEval(ChildNode1);
            LazyEval(ChildNode2);
            long LeftMax = mTreeNodeArr[ChildNode1];
            long RightMax = mTreeNodeArr[ChildNode2];

            // 枝切りしつつ遷移(左優先なので、左を最後にPush)
            if (RightMax >= pMaxVal) {
                Stk.Push(ChildNode2);
            }
            if (LeftMax >= pMaxVal) {
                Stk.Push(ChildNode1);
            }
        }
    }

    // 拡張機能4 (最大値と、最大値を持つIndを返す)
    // 最小値が複数あったら、右側のIndを優先
    // 区間指定可
    internal void GetMaxInfo_Right(long pSearchStaInd, long pSearchEndInd,
        out long pMaxVal, out long pMaxValInd)
    {
        LazyEval(0);

        // 区間の最大値を求める
        pMaxVal = Internal_Query(pSearchStaInd, pSearchEndInd);

        var Stk = new Stack<long>();
        Stk.Push(0);

        long MinusCnt = UB + 1 - mLeafCnt;
        while (true) {
            long CurrInd = Stk.Pop();

            // 対応する区間
            long CurrNodeStaInd = mRangeInfo[CurrInd].StaInd;
            long CurrNodeEndInd = mRangeInfo[CurrInd].EndInd;

            // OverLapしてない場合
            if (CurrNodeEndInd < pSearchStaInd || pSearchEndInd < CurrNodeStaInd) {
                continue;
            }

            // 葉ノードなら終了
            if (CurrNodeStaInd == CurrNodeEndInd) {
                pMaxValInd = CurrInd - MinusCnt;
                return;
            }

            long ChildNode1 = DeriveChildNode(CurrInd);
            long ChildNode2 = ChildNode1 + 1;

            LazyEval(ChildNode1);
            LazyEval(ChildNode2);
            long LeftMax = mTreeNodeArr[ChildNode1];
            long RightMax = mTreeNodeArr[ChildNode2];

            // 枝切りしつつ遷移(右優先なので、右を最後にPush)
            if (LeftMax >= pMaxVal) {
                Stk.Push(ChildNode1);
            }
            if (RightMax >= pMaxVal) {
                Stk.Push(ChildNode2);
            }
        }
    }

    // ノードの添字を引数とし、範囲の開始添字と終了添字を持つ配列
    private struct RangeInfoDef
    {
        internal long StaInd;
        internal long EndInd;
    }
    private RangeInfoDef[] mRangeInfo;

    // ノードのIndexの列挙を返す
    internal IEnumerable<long> GetNodeIndEnum()
    {
        for (long I = 0; I <= mExternalArrUB; I++) {
            yield return I;
        }
    }

    // 木のノードのUBを返す
    internal long GetUB()
    {
        return mExternalArrUB;
    }

    // コンストラクタその1
    // 引数1 外部IndのUB
    // 引数2 単位元
    internal LazySegmentTree(long pExternalArrUB, long pInitVal)
    {
        mExternalArrUB = pExternalArrUB;

        ConstructorTreeInit();

        // すべての値をpInitValに
        for (long I = 0; I <= UB; I++) {
            mTreeNodeArr[I] = pInitVal;
        }
    }

    // コンストラクタその2
    // 引数1 初期化用の配列
    // 引数2 単位元
    internal LazySegmentTree(long[] pInitArr, long pInitVal)
    {
        mExternalArrUB = pInitArr.GetUpperBound(0);

        ConstructorTreeInit();

        // すべての値をpInitValに
        for (long I = 0; I <= UB; I++) {
            mTreeNodeArr[I] = pInitVal;
        }

        for (long I = 0; I <= pInitArr.GetUpperBound(0); I++) {
            long TreeNode = DeriveTreeNode(I);
            mTreeNodeArr[TreeNode] = pInitArr[I];
        }

        // 木DPの要領で、葉から根に伝播
        ExecTreeDP();
    }

    // コンストラクタその3
    // 引数1 初期化用のList
    // 引数2 単位元
    internal LazySegmentTree(List<long> pInitList, long pInitVal)
    {
        mExternalArrUB = pInitList.Count - 1;

        ConstructorTreeInit();

        // すべての値をpInitValに
        for (long I = 0; I <= UB; I++) {
            mTreeNodeArr[I] = pInitVal;
        }

        for (long I = 0; I <= pInitList.Count - 1; I++) {
            long TreeNode = DeriveTreeNode(I);
            mTreeNodeArr[TreeNode] = pInitList[(int)I];
        }

        // 木DPの要領で、葉から根に伝播
        ExecTreeDP();
    }

    // コンストラクタのヘルパメソッド(木の初期化)
    private void ConstructorTreeInit()
    {
        // 簡単のため、葉ノード数を2のべき乗に
        long ArrLength = 0;
        for (long I = 1; I < long.MaxValue; I *= 2) {
            ArrLength += I;
            mLeafCnt = I;

            if (mExternalArrUB + 1 < mLeafCnt) break;
        }

        UB = ArrLength - 1;
        mTreeNodeArr = new long[UB + 1];

        // 遅延配列を初期化
        mLazyArr = new long[UB + 1];

        // ノードの添字を引数とし、範囲の開始添字と終了添字を持つ配列の作成
        mRangeInfo = new RangeInfoDef[UB + 1];
        for (long I = 0; I <= UB; I++) {
            if (I == 0) {
                RangeInfoDef WillSet1;
                WillSet1.StaInd = 0;
                WillSet1.EndInd = mLeafCnt - 1;
                mRangeInfo[I] = WillSet1;
                continue;
            }
            long ParentNode = DeriveParentNode(I);
            RangeInfoDef ParentRangeInfo = mRangeInfo[ParentNode];

            RangeInfoDef WillSet2;
            long Mid = (ParentRangeInfo.StaInd + ParentRangeInfo.EndInd) / 2;

            if (I % 2 == 1) { // 奇数ノードの場合
                WillSet2.StaInd = ParentRangeInfo.StaInd;
                WillSet2.EndInd = Mid;
            }
            else { // 偶数ノードの場合
                WillSet2.StaInd = Mid + 1;
                WillSet2.EndInd = ParentRangeInfo.EndInd;
            }
            mRangeInfo[I] = WillSet2;
        }
    }

    // 木DPの要領で、葉から根に伝播
    private void ExecTreeDP()
    {
        for (long I = UB; 0 < I; I--) {
            long SendNode = DeriveParentNode(I);
            mTreeNodeArr[SendNode] = Math.Max(mTreeNodeArr[SendNode], mTreeNodeArr[I]);
        }
    }

    // インデクサ
    internal long this[long pInd]
    {
        get { return Internal_Query(pInd, pInd); }
        set { Internal_RangeAdd(pInd, pInd, value - Internal_Query(pInd, pInd)); }
    }

    // 親ノードの添字を取得
    private long DeriveParentNode(long pTarget)
    {
        return (pTarget - 1) / 2;
    }

    // 子ノードの添字(小さいほう)を取得
    private long DeriveChildNode(long pTarget)
    {
        return pTarget * 2 + 1;
    }

    // 葉ノードの配列の添字を木の添字に変換して返す
    private long DeriveTreeNode(long pLeafArrInd)
    {
        long BaseInd = UB - mLeafCnt + 1;
        return BaseInd + pLeafArrInd;
    }

    // 開始添字と終了添字とカレントノードを引数として、区間加算を行う
    internal void Internal_RangeAdd(long pSearchStaInd, long pSearchEndInd, long pAddVal)
    {
        Private_RangeAdd(pSearchStaInd, pSearchEndInd, pAddVal, 0);
    }
    private void Private_RangeAdd(long pSearchStaInd, long pSearchEndInd, long pAddVal, long pCurrNode)
    {
        // カレントノードの遅延評価を行う
        LazyEval(pCurrNode);

        long CurrNodeStaInd = mRangeInfo[pCurrNode].StaInd;
        long CurrNodeEndInd = mRangeInfo[pCurrNode].EndInd;

        // OverLapしてなければ、何もしない
        if (CurrNodeEndInd < pSearchStaInd || pSearchEndInd < CurrNodeStaInd)
            return;

        // 完全に含んでいれば、遅延配列に値を入れた後に評価
        if (pSearchStaInd <= CurrNodeStaInd && CurrNodeEndInd <= pSearchEndInd) {
            mLazyArr[pCurrNode] += pAddVal;
            LazyEval(pCurrNode);
            return;
        }

        // そうでなければ、2つの区間に再帰呼出し
        long ChildNode1 = DeriveChildNode(pCurrNode);
        long ChildNode2 = ChildNode1 + 1;

        Private_RangeAdd(pSearchStaInd, pSearchEndInd, pAddVal, ChildNode1);
        Private_RangeAdd(pSearchStaInd, pSearchEndInd, pAddVal, ChildNode2);

        // カレントノードの更新
        mTreeNodeArr[pCurrNode] = Math.Max(mTreeNodeArr[ChildNode1], mTreeNodeArr[ChildNode2]);
    }

    // 開始添字と終了添字とカレントノードを引数として、最大値を返す
    internal long Internal_Query(long pSearchStaInd, long pSearchEndInd)
    {
        return Private_Query(pSearchStaInd, pSearchEndInd, 0);
    }
    private long Private_Query(long pSearchStaInd, long pSearchEndInd, long pCurrNode)
    {
        // 該当ノードを遅延評価する
        LazyEval(pCurrNode);

        long CurrNodeStaInd = mRangeInfo[pCurrNode].StaInd;
        long CurrNodeEndInd = mRangeInfo[pCurrNode].EndInd;

        // OverLapしてなければ、long.MinValue
        if (CurrNodeEndInd < pSearchStaInd || pSearchEndInd < CurrNodeStaInd)
            return long.MinValue;

        // 完全に含んでいれば、このノードの値
        if (pSearchStaInd <= CurrNodeStaInd && CurrNodeEndInd <= pSearchEndInd)
            return mTreeNodeArr[pCurrNode];

        // そうでなければ、2つの子の最大値
        long ChildNode1 = DeriveChildNode(pCurrNode);
        long ChildNode2 = ChildNode1 + 1;

        long ChildVal1 = Private_Query(pSearchStaInd, pSearchEndInd, ChildNode1);
        long ChildVal2 = Private_Query(pSearchStaInd, pSearchEndInd, ChildNode2);
        return Math.Max(ChildVal1, ChildVal2);
    }

    // カレントノードを引数として、遅延評価を行う
    private void LazyEval(long pCurrNode)
    {
        // 遅延配列が0なら何もしない
        if (mLazyArr[pCurrNode] == 0) return;

        // 遅延配列の値を設定する
        mTreeNodeArr[pCurrNode] += mLazyArr[pCurrNode];

        long ChildNode1 = DeriveChildNode(pCurrNode);
        long ChildNode2 = ChildNode1 + 1;

        if (ChildNode1 <= UB) mLazyArr[ChildNode1] += mLazyArr[pCurrNode];
        if (ChildNode2 <= UB) mLazyArr[ChildNode2] += mLazyArr[pCurrNode];

        // 伝播が終わったので、自ノードの遅延配列を空にする
        mLazyArr[pCurrNode] = 0;
    }

    internal void DebugPrint()
    {
        for (long I = 0; I <= UB; I++) {
            if (mLazyArr[I] > 0) {
                Console.WriteLine("mTreeNodeArr[{0}] = {1} , mLazyArr[{0}] = {2}",
                    I, mTreeNodeArr[I], mLazyArr[I]);
            }
            else {
                Console.WriteLine("mTreeNodeArr[{0}] = {1}", I, mTreeNodeArr[I]);
            }
        }
    }
}
#endregion

解説

区間加算区間Max取得な遅延セグ木を用意し
初期値は、long.MinValue / 2 とします。

それから、クエリごとに下記の対応をしてます。
クエリ1でのクエリ2でも、時間差を、遅延セグ木の使用中区間に加算。

クエリ1は、左から順に未使用ノードに値を設定。
クエリ2は、セグ木上の二分探索。