作为数学公理的复杂性类
Complexity Classes as Mathematical Axioms
摘要：
处理猜想，P^#P！= NP，在作为公理的复杂性类的分离上，在与复杂性理论几乎没有明显联系的三流形拓扑中发现了一个蕴涵。这让人想起哈维·弗里德曼对大基数公理的有限解释的工作。
英文摘要：
Treating a conjecture, P^#P != NP, on the separation of complexity classes as an axiom, an implication is found in three manifold topology with little obvious connection to complexity theory. This is reminiscent of Harvey Friedman's work on finitistic interpretations of large cardinal axioms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
