ABC146-F Sugoroku

問題へのリンク

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("9 3");
            WillReturn.Add("0001000100");
            //1 3 2 3
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("5 4");
            WillReturn.Add("011110");
            //-1
        }
        else if (InputPattern == "Input3") {
            WillReturn.Add("6 6");
            WillReturn.Add("0101010");
            //6
        }
        else {
            string wkStr;
            while ((wkStr = Console.ReadLine()) != null) WillReturn.Add(wkStr);
        }
        return WillReturn;
    }

    static void Main()
    {
        List<string> InputList = GetInputList();
        int[] wkArr = InputList[0].Split(' ').Select(pX => int.Parse(pX)).ToArray();
        int M = wkArr[1];

        string S = InputList[1];
        int UB = S.Length - 1;

        var ZeroIndList = new List<int>();
        for (int I = 0; I <= UB; I++) {
            if (S[I] == '0') ZeroIndList.Add(I);
        }

        var IndList = new List<int>();
        IndList.Add(UB);

        while (true) {
            int LastInd = IndList[IndList.Count - 1];

            if (LastInd - M <= 0) break;
            int RangeMin = LastInd - M;

            int LowerBound = ExecNibunhou_LowerBound(RangeMin, ZeroIndList);

            if (LowerBound == -1) {
                Console.WriteLine(-1);
                return;
            }
            if (ZeroIndList[LowerBound] >= LastInd) {
                Console.WriteLine(-1);
                return;
            }
            int NextInd = ZeroIndList[LowerBound];
            IndList.Add(NextInd);
        }
        IndList.Reverse();

        // 階差数列を求める
        var AnswerList = new List<int>();
        AnswerList.Add(IndList[0] - 0);
        for (int I = 1; I <= IndList.Count - 1; I++) {
            AnswerList.Add(IndList[I] - IndList[I - 1]);
        }

        Console.WriteLine(IntEnumJoin(" ", AnswerList));
    }

    // 二分法で、Val以上で最小の値を持つ、添字を返す
    static int ExecNibunhou_LowerBound(int pVal, List<int> pList)
    {
        // 最後の要素がVal未満の特殊ケース
        if (pVal > pList.Last()) {
            return -1;
        }
        // 最初の要素がVal以上の特殊ケース
        if (pVal <= pList[0]) {
            return 0;
        }

        int L = 0;
        int R = pList.Count - 1;

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

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

    // セパレータとInt型の列挙を引数として、結合したstringを返す
    static string IntEnumJoin(string pSeparater, IEnumerable<int> pEnum)
    {
        string[] StrArr = Array.ConvertAll(pEnum.ToArray(), pX => pX.ToString());
        return string.Join(pSeparater, StrArr);
    }
}

解説

ゴールから貪欲にスタートに戻れば、解を求めることができます。