Re: revised relativization theorem: P=NP for small N, P!=NP for large N

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory
Subject	Re: revised relativization theorem: P=NP for small N, P!=NP for large N
Date	2021-07-29 14:59 +0100
Organization	A noiseless patient Spider
Message-ID	<87eebh5igd.fsf@bsb.me.uk> (permalink)
References	(14 earlier) <db8b0dc8-1657-454d-a48f-fe4dc4c267c4n@googlegroups.com> <17d77cd8-cbc8-4932-be1d-f909c3297c6an@googlegroups.com> <bcf74a9c-7ad9-4231-b906-4131c8cd2ce4n@googlegroups.com> <87pmv254oe.fsf@bsb.me.uk> <72776982-4d51-4528-b703-90690a8bcc0fn@googlegroups.com>

Show all headers | View raw

Daniel Pehoushek <pehoushek1@gmail.com> writes:

> how about this version?

No, this version is not clear (to me).  By the way, the exchange would
be clearer if you did not top post.

> is holy grail over the top?
> i can well define what i mean by "all universal truths" of p...
>
> in track 1 the correctness track
> the correct number of models is called #P of the formula
> the are N bits of truth for every single model 
> the correct program guarantees a 
> truth structure with size N*#P bits 
> from which universal truths of p 
> may be logically derived 
> programs in track 1 
> never return any 
> wrong answers
>
> bob is called an Oracle for the number of models
> correct track 1 programs are oracles 
> guessing an answer is outside of their power
> using all models bob computes and prints 
> all and only universal truths of small forms
> so in addition to being an oracle of model counting 
> bob is an oracle of universal truths of small forms
> bob is an oracle of universal truth
> bob is the holy grail
>
> approximation of #P 
> is senseless is 
> what i am 
> saying
>
> in track 2 the incorrectness track 
> approximation is fine
>
> On Wednesday, July 28, 2021 at 8:45:08 PM UTC-4, Ben Bacarisse wrote:
>> Daniel Pehoushek <pehou...@gmail.com> writes: 
>> 
>> > ben, is this clear? 
>> > 
>> > in track 1 the correctness track 
>> > approximation is senseless is what i am saying 
>> > 
>> > in track 2 the incorrectness track 
>> > approximation is fine
>> These statements are clear, yes. 

-- 
Ben.

Thread

revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 18:19 -0700
  Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 02:44 -0700
    Re: revised relativization theorem: P=NP for small N, P!=NP for large N DV <xlt.pjw@gmail.com> - 2021-07-08 05:37 -0700
      Re: revised relativization theorem: P=NP for small N, P!=NP for large N Jeff Barnett <jbb@notatt.com> - 2021-07-08 14:21 -0600
        Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-14 07:28 -0700
          Re: revised relativization theorem: P=NP for small N, P!=NP for large N DV <xlt.pjw@gmail.com> - 2021-07-14 14:28 -0700
            Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-15 12:51 -0700
              Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-18 03:45 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N DV <xlt.pjw@gmail.com> - 2021-07-18 06:48 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-18 14:28 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-26 04:45 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 14:35 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 00:35 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 02:40 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 17:27 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 11:50 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 20:52 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 15:53 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 16:58 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 17:41 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 01:45 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 20:07 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-28 20:27 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 14:59 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-29 02:27 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 06:24 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-29 07:50 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Jeff Barnett <jbb@notatt.com> - 2021-07-29 11:44 -0600
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 11:59 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Jeff Barnett <jbb@notatt.com> - 2021-07-29 13:23 -0600
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 20:04 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 15:56 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 11:53 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 20:12 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 13:12 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 23:18 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 15:36 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 16:38 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 00:59 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 17:05 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 01:19 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 17:27 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 02:22 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-29 19:16 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Jeff Barnett <jbb@notatt.com> - 2021-07-29 22:25 -0600
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-30 00:35 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 10:53 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-30 05:19 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 14:22 +0100
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-30 07:16 -0700
                Re: revised relativization theorem: P=NP for small N, P!=NP for large N Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 15:22 +0100

csiph-web