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