知恵袋の「ウソつき問題」をPythonで解いてみた。(9)

　知恵袋の「ウソつき問題」をPythonで解いてみました。(^_^;

　P、Q、R、S、Tの５人が１００メートル競走をした。その結果について５人が以下のように話した。ただし本当のことを言っているのは１位の人だけで、残りの４人は嘘をついている。同じ順位の者はいなかったとしてPの順位を答えよ。
P「僕はQより順位が上だった。」
Q「Sが１位だった。」
R「Sが５位だった。」
S「僕は５位ではない。」
T「僕はPより順位が上だった。」

　ウソつき問題と順序問題の融合問題のようです。(^_^;
　「{発言者}=={１位の人}」で発言者が正直者かどうかを判定しました。

● Liar9.py

# coding: UTF-8
# Liar9.py

import itertools
from time import time

# 論理等価Eqv
def Eqv(p,q):
    return not(p^q)

def toStr(li):
    return '[%s]'%','.join(li)

def main():
    tm = time() # Timer Start
    P = 'PQRST' # 選手
    for p in itertools.permutations(P):
        f = p[0]    # １位の人
        if not Eqv('P'==f,p.index('P')< p.index('Q')): continue
        if not Eqv('Q'==f,'S'==f): continue
        if not Eqv('R'==f,p.index('S')+1==5): continue
        if not Eqv('S'==f,p.index('S')+1!=5): continue
        if not Eqv('T'==f,p.index('T')< p.index('P')): continue
        pass # チェックを潜り抜けたものだけを表示
        print(toStr(p))
        print(u'∴%d位'%(p.index('P')+1))

    print("Runtime : %.3f [sec]"%(time()-tm))   # Timer Stop & Disp

if __name__ == '__main__':
    main()

●実行結果

[R,Q,P,T,S]
∴3位
Runtime : 0.000 [sec]