A Polynomial Time Algorithm for SAT
Abstract
Article presents the compatibility matrix method and illustrates it with the application to P vs NP problem. The method is a generalization of descriptive geometry: in the method, we draft problems and solve them utilizing the image creation technique. The method reveals: P = NP = PSPACE
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2007
- DOI:
- 10.48550/arXiv.cs/0703146
- arXiv:
- arXiv:cs/0703146
- Bibcode:
- 2007cs........3146G
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Discrete Mathematics;
- Computer Science - Data Structures and Algorithms;
- Computer Science - Logic in Computer Science;
- F.2.0;
- G.2.1;
- G.2.2
- E-Print:
- Update, 30 pages