P = NP 问题
人工智能
2007-05-23 v1
摘要
本文探讨了 P = NP 的问题，涉及多项式时间 SAT 算法。该论文提出一种假设，即使该算法被展示出以多项式时间解决 SAT，它仍然在理论上可能存在某个非决定性多项式 (NP) 问题，其该算法并不提供多项式 (P) 时间解决方案。论文保留关于该假设问题实例是否存在的持续研究问题。
引用
@article{arxiv.cs/0208017,
title = {Linking Makinson and Kraus-Lehmann-Magidor preferential entailments},
author = {Yves Moinard},
journal= {arXiv preprint arXiv:cs/0208017},
year = {2007}
}
备注
Proceedings of the 9th Int. Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France, April 19-21, 2002. Also, paper with the same Title at ECAI 2002 (15th European Conf. on A.I.)