1003 我要通过！ (20分) Haskell题解

1003 我要通过！ (20分)

“答案正确”是自动判题系统给出的最令人欢喜的回复。本题属于 PAT 的“答案正确”大派送 —— 只要读入的字符串满足下列条件，系统就输出“答案正确”，否则输出“答案错误”。

得到“答案正确”的条件是：

1. 字符串中必须仅有 P、 A、 T这三种字符，不可以包含其它字符；
2. 任意形如 xPATx 的字符串都可以获得“答案正确”，其中 x 或者是空字符串，或者是仅由字母 A 组成的字符串；
3. 如果 aPbTc 是正确的，那么 aPbATca 也是正确的，其中 a、 b、 c 均或者是空字符串，或者是仅由字母 A 组成的字符串。

现在就请你为 PAT 写一个自动裁判程序，判定哪些字符串是可以获得“答案正确”的。

输入格式：

每个测试输入包含 1 个测试用例。第 1 行给出一个正整数 n (<10)，是需要检测的字符串个数。接下来每个字符串占一行，字符串长度不超过 100，且不包含空格。

输出格式：

每个字符串的检测结果占一行，如果该字符串可以获得“答案正确”，则输出 YES，否则输出 NO。

输入样例：

8
PAT
PAAT
AAPATAA
AAPAATAAAA
xPATx
PT
Whatever
APAAATAA

输出样例：

YES
YES
YES
YES
NO
NO
NO
NO

解题思路：

很恶心的一道数学题。判断的条件是有且仅有一个P，有且仅有一个T，且T右边的A的数量等于P左边A的数量和P与T中间的A的数量的乘积。

import Control.Monad

f :: String -> Int -> Int -> Int -> Int -> Int -> String
f "" p t a b c = if p == 1 && t == 1 && a * b == c && b /= 0 then "YES" else "NO"
f (x:xs) p t a b c
    | x == 'P' = f xs (p + 1) t a b c
    | x == 'T' = f xs p (t + 1) a b c
    | x == 'A' = case p of 0 -> f xs p t (a + 1) b c
                           1 -> case t of 0 -> f xs p t a (b + 1) c
                                          1 -> f xs p t a b (c + 1)
                                          _ -> "NO"
                           _ -> "NO"
    | otherwise = "NO"

main :: IO()
main = do
    n <- readLn :: IO Int
    forM_ [1..n] (\_ -> do
        s <- getLine
        putStrLn $ f s 0 0 0 0 0)