Problem : 240 - Guess

"猜單詞"是一個雙人遊戲，在伊朗的青年學生中廣為流行。
假設有兩個遊戲者A 和B，A 作為先手，首先在一個雙方都知道的語料庫中選出一個單詞，並記在腦海中。
隨後，他在一張小紙片上劃下與單詞字母數相等的小橫線（不妨設為 n 條）。
接下來，B嘗試猜出這個單詞。每一輪，B選擇一個字母並告訴A。 A 按如下規則回應：

※若B 所說的字母在單詞中出現，A就把它寫在對應的橫線上。如果整個單詞已經完整（所有的字母已經被猜出），B獲勝。
※否則，如果字母沒有在單詞中出現，A就把它寫在最左側的下方仍為空白的橫線下。
如果所有橫線下的空白處都已經有字母（也就是說，在這一輪前B已經猜了n個錯誤字母），那麼B就輸了，A獲勝。

例如，A 從語料庫中選出了單詞RED，且B 已經依次猜了字母A, E, C, D, B和 R。
每
一步的結果都在下圖中展現。最終B獲勝。但如果B在最後一步猜了S而不是R，他就輸了。



Aidin 是猜單詞遊戲迷。他相信，如果給定的語料庫足夠大，且其中的單詞相對好，
那麼玩家A（先手）可以採取一種不公平的行動——修改選擇的單詞。
也就是說，既然玩家A只將單詞記在腦海中而不寫下來，那他能夠在遊戲過程中隨時變化這個單詞，
只要使得和當前已經給出的結果仍然一致即可。

例如，在上面的遊戲中，如果單詞RED, BED, LED 和TED 都在語料庫中，那麼在第4步之後，A就可以確信他將勝利。
他將總是把B給出的字母寫在橫線下（也就是認定其為錯誤的字母），
那麼每一次他將至多在集合{RED, BED, LED, TED} 中失去一個備選單詞。
最終他將向B 宣布：「這個單詞是，嗯，...」，然後在他的集合中說出一個剩下的單詞。

Aidin 想，如果語料庫足夠好，那麼A 甚至可能在遊戲一開始就確定獲勝。
例如，如果選擇的單詞長度為2，而集合{ME, MD, DE, ED, AS, IS, AI, SI}中的單詞都在語料庫中，
那麼A總能獲勝。請自己找出A獲勝的策略。

給定一個語料庫，Aidin 想知道是否無論B如何進行遊戲，玩家A 一定能獲勝？
請注意在任何一次遊戲結束時，
如果A獲勝，A需要能夠給出一個語料庫中的單詞作為被選出的單詞，這個單詞應當與A 所有給出的回答一致。