? 設(shè)想這樣一個(gè)情境：面對(duì)問(wèn)題X该抒，算力不限的證明方（Prover）試圖通過(guò)輪流問(wèn)答來(lái)說(shuō)服算力等同于概率性圖靈機(jī)的驗(yàn)證方（Verifier）接受他的解答览绿，但驗(yàn)證方懷疑證明方可能別有用心策严，所以希望設(shè)計(jì)一個(gè)能夠以99.99%以上概率防止證明方的欺騙的操作流程。如果這種流程的總耗時(shí)不超過(guò)問(wèn)題規(guī)模的某個(gè)多項(xiàng)式（計(jì)算理論通常把多項(xiàng)式耗時(shí)作為“可實(shí)行”的標(biāo)桿）饿敲，我們就說(shuō)問(wèn)題X屬于IP妻导。它等價(jià)于PSPACE，意味著上述流程可行的充要條件怀各，是驗(yàn)證者自己來(lái)求解問(wèn)題消耗的存儲(chǔ)空間也不超過(guò)問(wèn)題規(guī)模的某個(gè)多項(xiàng)式倔韭，從而X必須是驗(yàn)證者自己可用至多指數(shù)時(shí)間求解的問(wèn)題（多項(xiàng)式的內(nèi)存只能處于指數(shù)多個(gè)狀態(tài)）。驗(yàn)證者不能提太難的問(wèn)題渠啤，根本原因是必須留給自己拆穿證明方謊言的余地狐肢，難題的解答會(huì)復(fù)雜到難辨真?zhèn)巍?/p>
? 只要我們轉(zhuǎn)換一下視角添吗，認(rèn)為驗(yàn)證方的目的其實(shí)是檢測(cè)證明方的實(shí)際算力而非取得問(wèn)題的解答（這就像教師考問(wèn)高材生）沥曹。那么這個(gè)結(jié)果的涵義就變成了：多項(xiàng)式的互動(dòng)只能辨認(rèn)出足以求解多項(xiàng)式空間的算力，證明方是否有更高的算力是檢測(cè)不出來(lái)的碟联。因此等效算力達(dá)到PSPACE級(jí)別的證明方可放膽詐稱自己全知妓美，而凡是超出算力所及的難題，他大可用既有算力偽造一個(gè)解答騙過(guò)驗(yàn)證方鲤孵。
? 現(xiàn)在壶栋，我們把“產(chǎn)生意識(shí)特征”視作一個(gè)苛求算力的難題，將配有真隨機(jī)源的計(jì)算機(jī)作為驗(yàn)證方普监，人類作為證明方贵试，那么計(jì)算機(jī)辨識(shí)出人類“具備意識(shí)”特征的充要條件正是該難題需要的存儲(chǔ)空間不超過(guò)交互時(shí)長(zhǎng)的某個(gè)多項(xiàng)式（從而在PSPACE中）。假若不然凯正，那么將雙方角色互換毙玻，讓人類來(lái)辨識(shí)對(duì)方有無(wú)意識(shí)的測(cè)試就也是無(wú)效的。注意廊散，成功的圖靈測(cè)試中桑滩，計(jì)算機(jī)也應(yīng)該得知測(cè)試者具有意識(shí)。圖靈的想法是“沿用我們辨認(rèn)彼此具有意識(shí)的方式”允睹，而這種方式的效果是相互的运准。
? 于是幌氮，這就是否定圖靈測(cè)試的條件：人在時(shí)長(zhǎng)t內(nèi)可以準(zhǔn)確交流在計(jì)算機(jī)上需要超過(guò)t的多項(xiàng)式函數(shù)的存儲(chǔ)的內(nèi)容。
? 讀者可能會(huì)質(zhì)疑這里的“多項(xiàng)式函數(shù)”不明確胁澳，難以實(shí)際確定存儲(chǔ)量的標(biāo)準(zhǔn)该互。描述復(fù)雜性理論正是為了移除這種表面上的任意性而來(lái)的，PSPACE在這里被證明為等價(jià)于“可以用二階邏輯加上傳遞閉包算子定義的問(wèn)題”韭畸，所以上述條件有一個(gè)更加簡(jiǎn)明且完全不涉及仿真實(shí)現(xiàn)的形式：
? 雖然有人懷疑人類意識(shí)的基礎(chǔ)植根于量子效應(yīng)（筆者專門討論過(guò)類似論點(diǎn)：機(jī)器中的靈魂會(huì)是量子比特么？）陆盘，量子物理卻可以肯定不會(huì)影響上述論證普筹。就算給交互式證明中的驗(yàn)證方準(zhǔn)備量子計(jì)算機(jī)，允許應(yīng)用量子通信交流隘马，得到的復(fù)雜類也是不變的（QIP=IP）太防。
