English

A Polynomial Time Algorithm for SAT

Computational Complexity 2012-05-08 v4 Discrete Mathematics Data Structures and Algorithms Logic in Computer Science

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

Keywords

Cite

@article{arxiv.cs/0703146,
  title  = {A Polynomial Time Algorithm for SAT},
  author = {Sergey Gubin},
  journal= {arXiv preprint arXiv:cs/0703146},
  year   = {2012}
}

Comments

Update, 30 pages