Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254000

NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines

Show all headers | View raw

the other most recent thread titled
with wisdom is both monotone and conjunctive
discusses the 50 lines of class allqbfs 
for transforming from pspace in disjunctive normal form 
into qspace first in dnf (linear space time) then cnf (quadratic time)

the code is correct for all sizes but succeeds on modest sizes
such as c3d5n240 three coloring fifth degree 240 vertices

the 1000 line program prints out
a monotone conjunctive normal form that 
decides all 2^n possible quantifications
one conjunction of brief monotone disjunctions describes wisdom

i posit those transforms are high level mind
the equality of np with #p and pspace and #q and qspace 
is supportive of the "mind equations" idea

i have studied satisfiability for thirty years after 
in 1997 discovering #p=#q
the number of satisfying assignments equals 
the number of valid quantifications in 1997 (knuth volume four)

avoid negation and be a good leader
daniel2380+++
the 2380 is out of 2400 on the 1983 gres graduate records examination

Back to sci.logic | Previous | Next — Next in thread | Find similar

Thread

NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-05 15:32 -0700
  Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-16 08:28 -0700
    Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-16 23:49 -0700

csiph-web