yukicoder 0154 市バス

■■■問題■■■

京都の市バスは，いくつかの系統のバスが走っています．
各系統ごとに，その日の最終バスと最終バスの1つ前のバスは，
表示板のライトの色が通常と違います．

通常のライトの色は白ですが，
最終バスの1つ前のバスのライトの色は緑，
最終バスのライトの色は赤になります．

yukiさんは始発から終バスまで，とある道路で通る全てのバスのライトの色をチェックして，
ライトの色を見た順番にメモに残しました．

yukiさんはメモを間違えて取ってないかを心配です．

このメモが示すライトの色の順番があり得るパターンなのかどうかを
チェックするプログラムを書いてください．

ただし，全ての系統の市バスは毎日3本以上走っており，1日を通じて同じ経路を通るとする．

■■■入力■■■

インプットの1行目には，テストケースの数を表す整数Tが書かれている．
各テストケースは1行からなり，文字列Sが与えられる．

文字列Sのi文字目は，その日のyukiさんのメモでi番目に見たバスのライトの色が示されており，
Wは白，Gは緑，Rは赤を意味する．その他の文字は含まれない．

●1 <= T <= 1000
●1 <= |S| <= 1000

■■■出力■■■

各テストケースに対して，あり得るパターンならpossibleを，
そうでないならimpossibleを出力して下さい．

C#のソース

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

class Program
{
    static string InputPattern = "Input1";

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

        if (InputPattern == "Input1") {
            WillReturn.Add("5");
            WillReturn.Add("WWWWWWWWWGR");
            WillReturn.Add("WWWWGWGRR");
            WillReturn.Add("WWWWWWWWWWWWWWGRRG");
            WillReturn.Add("WGRWGR");
            WillReturn.Add("WWWWWWWWWWWWWWWWWGGWGWGGWGWGGGWGG");
            //possible
            //possible
            //impossible
            //possible
            //impossible
            //1つ目：1つの系統のバスしかありません
            //2つ目：2つの系統のバスがあります
            //3つ目：片方の系統において，
            //       終バスの後に緑のライトのバスが走っている感じでなんかおかしいです．
            //4つ目：1つの系統の終バスが終わってから，
            //      もう一方の系統が走り始めるなんてこともあるんですね．
            //5つ目：終バスがないなんてことはない
        }
        else {
            string wkStr;
            while ((wkStr = Console.ReadLine()) != null) WillReturn.Add(wkStr);
        }
        return WillReturn;
    }

    static void Main()
    {
        List<string> InputList = GetInputList();

        foreach (string EachStr in InputList.Skip(1)) {
            if (IsPossible(EachStr)) Console.WriteLine("possible");
            else Console.WriteLine("impossible");
        }
    }

    static bool IsPossible(string pStr)
    {
        //正規表現RBW+を受信するオートマンの、現在位置ごとの件数
        int RCnt = 0;
        int GCnt = 0;
        int WCnt = 0;

        foreach (char CurrChar in pStr.Reverse()) {
            if (CurrChar == 'R') {
                RCnt++;
            }
            else if (CurrChar == 'G') {
                if (RCnt == 0) return false;
                RCnt--; GCnt++;
            }
            else if (CurrChar == 'W') {
                if (GCnt > 0) {
                    GCnt--; WCnt++;
                }
                else if (WCnt == 0) return false;
            }
        }
        if (RCnt > 0) return false;
        if (GCnt > 0) return false;
        return true;
    }
}

解説

文字列を逆から見ていって、
RBW+という正規表現を受理するオートマトンが無限に用意できるとした時に、
文字列を全部受理した際に、全てのオートマトンがW+の状態にあるかを判定してます。

東工大プロコン2015 G titech分離