一种多项式时间的判别求解器

本发明属于数字电路设计技术领域，具体为一种多项式时间的判别求解器，包括：S1、对数字电路设计中布尔函数及布尔可满足性判别求解器的研究应用与开发，包括利用布尔可满足性判别求解器判断是否存在可满足条件和快速找出其工作条件；S2、选取一个已经被证明的NPC问题SAT，给出了SAT的解法，并且证明了该解法在多项式时间内完成，从而证明P＝NP，本发明利用三组电路代数的例子，说明了给出的SAT求解器的高效性和有用性，并且给出了完整的数学证明，从而宣告七大千禧未解难题之一的P vs NP问题的破解。本求解器专门针对电路设计，解决了计算机科学与应用方面的重大难题。