問題概要 p,q,r,s,tは変数で1(true)または0(false)の値を取る。 K,A,N,C,Eは、それぞれand,or,not,imply,equalを表わす。 与えられた式が変数の値によらずtrueの値を取る時、tautologyを、そうでないときはnotを出力せよ。

問題概要 縦M横Nのグリッドで表わされる迷路がある。 各グリッドにおいて.は何もないマスを表わし、Xは壁を表わし、a〜eは扉A〜Eの鍵をあらわす。 スタートとゴールはそれぞれS,Gの文字であらわされる。 迷路において、扉を開けるためには、対応する小文字の…

問題概要 上側と下側に数字の書かれたドミノがn枚ある。 上側と下側の数字はそれぞれ0以上6以下である。 ドミノの上側の数字全ての和と、下側の数字全ての和の差を、いくつかのドミノをひっくり返してできるだけ小さくしたい。 そのような最小値を与えるとき…