|||
Can I declare the solution to the 3SAT problem?
Jiang Yongjiang
Email:accsys@126.com
I have been invented the Clause remove by section method that is solving the 3SAT problem.
You can see the method in the following:
Fig.1 The green clauses have been removed.
Upper line is answer’s place.
(1) and (2)no answer,but (3) has one answer.
The 3-CNF=0 depends on 3 conditions:
1. 3-CNF=0,if 8 clauses in a Clause-block;
2. 3-CNF=0,if 2 variabes are fixed but other one appear 0 and 1 value in the dynamic Clause-block;
3. 3-CNF=0,if 1 variable is fixed but others appear {00,10,01,11} in the dynamic Clause-block.
Besides,we will obtain the answer of 3-CNF=1.
Reference:http://blog.sciencenet.cn/blog-340399-928224.html
( I'm sorry! My English is very funny.)
2015-10-19
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-12-23 11:14
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社