202317303

P, NP, PSPACE, EXPTIME, BPP あたりの素朴に気になるクラス間の関係って、思った以上に未解決問題ばかりなのだなあ。自明なやつを除くと、証明されているのは P != EXPTIME くらい? ひょええええ。