ARC157-A XXYYX

問題へのリンク

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("5 1 1 1 1");
            //Yes
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("5 1 2 1 0");
            //Yes
        }
        else if (InputPattern == "Input3") {
            WillReturn.Add("5 0 4 0 0");
            //No
        }
        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 N = wkArr[0];
        int XXCnt = wkArr[1];
        int XYCnt = wkArr[2];
        int YXCnt = wkArr[3];
        int YYCnt = wkArr[4];

        if (IsOK('X', N, XXCnt, XYCnt, YXCnt, YYCnt)) {
            Console.WriteLine("Yes");
            return;
        }
        if (IsOK('Y', N, XXCnt, XYCnt, YXCnt, YYCnt)) {
            Console.WriteLine("Yes");
            return;
        }
        Console.WriteLine("No");
    }

    // 先頭文字を引数として、貪欲法
    static bool IsOK(char pFirst, int N, int XXCnt, int XYCnt, int YXCnt, int YYCnt)
    {
        char LastChar = pFirst;
        for (int I = 2; I <= N; I++) {
            if (LastChar == 'X') {
                if (XXCnt > 0) {
                    XXCnt--;
                    continue;
                }
                if (XYCnt > 0) {
                    XYCnt--;
                    LastChar = 'Y';
                    continue;
                }
            }
            if (LastChar == 'Y') {
                if (YYCnt > 0) {
                    YYCnt--;
                    continue;
                }
                if (YXCnt > 0) {
                    YXCnt--;
                    LastChar = 'X';
                    continue;
                }
            }
            return false;
        }

        if (XXCnt > 0) return false;
        if (XYCnt > 0) return false;
        if (YXCnt > 0) return false;
        if (YYCnt > 0) return false;

        return true;
    }
}

解説

オートマトンを書いてみると、
自己ループの遷移が残ってれば
自己ループの遷移を優先する貪欲法で

先頭文字がXとYの2通りを試しば良いと分かります。