Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254846

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

Newsgroups sci.logic
Date 2023-06-22 14:38 -0700
References <e5d33e99-c842-4bb2-90ff-724b33a97707n@googlegroups.com> <7e5442c5-7f4f-44fe-b320-fc6483ccfd88n@googlegroups.com> <31aab6e4-2b74-4f34-8656-5e300bc93ed0n@googlegroups.com>
Message-ID <3cf7ba2e-a4bd-4358-aee9-bb1532246d70n@googlegroups.com> (permalink)
Subject Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines
From Rich D <rdelaney2001@gmail.com>

Show all headers | View raw

On June 16, Daniel Pehoushek wrote:
>> The output of my program is a monotone cnf that decides every quantification. 
>> One major discovery is that clause learning is wrong for #P and therefore also wrong for NP. 
> 
> the big equality derives from searching the whole space of possibility. 
> for modest sizes the whole space is solvable, so that 
> for qspace, production of a monotone form that 
> decides all 2^n quantifications is possible. 

Can your program solve traveling salesman, for limited map sizes?

> the solution of the boolean hierarchy? 

What is the boolean hierarchy?


--
Rich

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

Thread

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
    Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-17 16:17 -0700
      Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-18 13:54 -0700
        Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-21 15:11 -0700
    Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Rich D <rdelaney2001@gmail.com> - 2023-06-22 14:38 -0700
      Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-22 15:25 -0700
        Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Rich D <rdelaney2001@gmail.com> - 2023-06-24 13:04 -0700
          Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-24 14:14 -0700
            Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Rich D <rdelaney2001@gmail.com> - 2023-06-26 10:22 -0700
              Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-26 15:27 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-27 03:00 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-27 07:54 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-06-28 12:44 -0700
            Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Rich D <rdelaney2001@gmail.com> - 2023-07-03 10:20 -0700
              Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-03 13:11 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-03 13:24 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-03 14:51 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-03 15:23 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Rich D <rdelaney2001@gmail.com> - 2023-07-03 15:57 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-03 20:44 -0700
                Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-12 17:06 -0700

csiph-web