これをカバーする参考文献はありますか?
これをカバーする参考文献はありますか?
回答:
NP = co-NPを意味するだけでなく、BQPがNPを含んでいることも意味します。
また、NP完全問題の難しいインスタンスは簡単に生成できることを暗示しているようです。
整数因数分解はNPとco-NPの両方にあることが知られているため、NP完全であることの証明はNP = co-NPを意味し、これは非常に考えにくいと考えられます。
Lance Fortnowによるこの古い投稿で興味深い議論があります。