玩家,又稱遊戲玩家,英文:Player或Gamer,是介於遊戲行業和遊戲參與者之間的壹個術語,包括網絡遊戲、單機遊戲、網頁遊戲。
邏輯命題解釋:
P=NP問題可以用壹類特定邏輯命題的表達性來重新表述。P中的所有語言都可以用壹階邏輯加最小不動點運算來表示(其實這就允許遞歸函數的定義)。類似地,NP可以用存在二階邏輯來表示——即排除關系、函數和子集上的全局量詞的二階邏輯。多項式級,PH和所有二階邏輯中的語言對應。
康奈爾大學的Hubert Chen博士提供了這個P不等於NP的笑話證明:“歸謬法。設P = NP。使y a P = NP的壹個證明。證明了Y可以被壹個合格的計算機科學家在多項式時間內驗證,我們相信這樣壹個科學家的存在是真實的。但是因為P = NP,所以證明Y可以被這樣的科學家在多項式時間內發現。