论文部分内容阅读
通过长年研究得到了快速高效的Hamilton路算法。利用多项式规约将3SAT问题转化为对Hamilton路的求解。尽管国际上已有过如何将3SAT问题转化为Hamilton路的方法，但那只是为了证明Hamilton路的NP完全性，因而只要求转化的结果是多项式，而不注重转化效率。为了得到将3SAT直接转化为Hamilton路的高效转化方法，以便有可能通过对后者的高效计算来实现高效计算3SAT，采取用无向图的两个节点模拟3SAT的一个变量，用13个节点的图形结构来模拟3SAT的一个子式的方法，最终实现了上述转化