Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Ahead warp factor 1" -- Captain Kirk


devel / comp.theory / P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

SubjectAuthor
* P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizesDaniel Pehoushek
+* P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizesDaniel Pehoushek
|`* P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizesDaniel Pehoushek
| `- P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizesDaniel Pehoushek
`- P=NP=PSPACE=QSPACE for modest, and therefore many, shapes andHoratio Cornholer

1
P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

<040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34636&group=comp.theory#34636

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6000:1f96:b0:21b:195b:2a2 with SMTP id bw22-20020a0560001f9600b0021b195b02a2mr13579255wrb.73.1655679896666;
Sun, 19 Jun 2022 16:04:56 -0700 (PDT)
X-Received: by 2002:a25:d217:0:b0:668:a674:aaad with SMTP id
j23-20020a25d217000000b00668a674aaadmr19065531ybg.607.1655679896167; Sun, 19
Jun 2022 16:04:56 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 19 Jun 2022 16:04:55 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:f091:70f1:a152:3a95;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:f091:70f1:a152:3a95
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>
Subject: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sun, 19 Jun 2022 23:04:56 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Daniel Pehoushek - Sun, 19 Jun 2022 23:04 UTC

bob is one thousand lines of easy monotone code
daniel2380++

Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

<46d07801-4f8e-4574-96d4-39e73951f684n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34638&group=comp.theory#34638

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a5d:5c03:0:b0:21b:90e6:42bc with SMTP id cc3-20020a5d5c03000000b0021b90e642bcmr976005wrb.36.1655680762023;
Sun, 19 Jun 2022 16:19:22 -0700 (PDT)
X-Received: by 2002:a25:ca46:0:b0:668:ae1d:6592 with SMTP id
a67-20020a25ca46000000b00668ae1d6592mr17372512ybg.101.1655680761519; Sun, 19
Jun 2022 16:19:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 19 Jun 2022 16:19:21 -0700 (PDT)
In-Reply-To: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:f091:70f1:a152:3a95;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:f091:70f1:a152:3a95
References: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <46d07801-4f8e-4574-96d4-39e73951f684n@googlegroups.com>
Subject: Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sun, 19 Jun 2022 23:19:22 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Daniel Pehoushek - Sun, 19 Jun 2022 23:19 UTC

monotone code is
linear to understand
common sense is
composed of
brief monotone phrases
and wisdom conjoins those together

monotone formulas on n variables
decide correctly
two to the n
quantified
boolean
forms
and
so

deserve good foundation for studying
monotone formulas on n variables

Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

<c7cfd1dc-2410-4104-8cb5-2d38946d44a8n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34643&group=comp.theory#34643

 copy link   Newsgroups: comp.theory
X-Received: by 2002:adf:ec4f:0:b0:21b:90c0:139e with SMTP id w15-20020adfec4f000000b0021b90c0139emr1274039wrn.550.1655681519227;
Sun, 19 Jun 2022 16:31:59 -0700 (PDT)
X-Received: by 2002:a0d:d742:0:b0:317:9683:c2df with SMTP id
z63-20020a0dd742000000b003179683c2dfmr10122096ywd.127.1655681518625; Sun, 19
Jun 2022 16:31:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 19 Jun 2022 16:31:58 -0700 (PDT)
In-Reply-To: <46d07801-4f8e-4574-96d4-39e73951f684n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:f091:70f1:a152:3a95;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:f091:70f1:a152:3a95
References: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com> <46d07801-4f8e-4574-96d4-39e73951f684n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c7cfd1dc-2410-4104-8cb5-2d38946d44a8n@googlegroups.com>
Subject: Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sun, 19 Jun 2022 23:31:59 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1647
 by: Daniel Pehoushek - Sun, 19 Jun 2022 23:31 UTC

monotone formulas
on some variables
decide correctly
two to some
quantified
boolean
forms
and
so

an ezponential some number
of ezponentially hard sentences
already decided and well done too
provides good foundation for studying
monotone formulas on n variables

my reasoning about reason is
at most quadratic but
often just linear

daniel2390++

Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

<8589ca3f-6ea5-4284-a835-b96516bd0bean@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34657&group=comp.theory#34657

 copy link   Newsgroups: comp.theory
X-Received: by 2002:adf:d1ea:0:b0:210:3e22:51b0 with SMTP id g10-20020adfd1ea000000b002103e2251b0mr20428671wrd.72.1655695253816;
Sun, 19 Jun 2022 20:20:53 -0700 (PDT)
X-Received: by 2002:a25:d4cd:0:b0:668:bde7:57c5 with SMTP id
m196-20020a25d4cd000000b00668bde757c5mr15456243ybf.347.1655695253260; Sun, 19
Jun 2022 20:20:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 19 Jun 2022 20:20:52 -0700 (PDT)
In-Reply-To: <c7cfd1dc-2410-4104-8cb5-2d38946d44a8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:f091:70f1:a152:3a95;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:f091:70f1:a152:3a95
References: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>
<46d07801-4f8e-4574-96d4-39e73951f684n@googlegroups.com> <c7cfd1dc-2410-4104-8cb5-2d38946d44a8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8589ca3f-6ea5-4284-a835-b96516bd0bean@googlegroups.com>
Subject: Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Mon, 20 Jun 2022 03:20:53 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Daniel Pehoushek - Mon, 20 Jun 2022 03:20 UTC

// think procedure for
// bits of information into bits of questions
static joy think (num v, numnums& s) { if (zero == s.size()) return; numnums l; numnums r; spread(v, s, l, r); s.setsize(zero);
think(v + one, l); think(v + one, r); weave(v, l, r);
for (num g = zero; g < l.size(); g++) { ezis(*(l[g]), v); s.add(l[g]); } l.setsize(zero); for (num g = zero; g < r.size(); g++) { s.add(r[g]); } r.setsize(zero); }

static joy weave /*33*/(num v, numnums& l, numnums& r) // union left with right //
{ if (zero == l.size()) { for (num g = zero; g < r.size(); g++) l.add(r[g]);/* essence of universal right */ r.setsize(zero); return; } //
numnums al; numnums ar; spread(v + one, l, al, ar); l.setsize(zero); numnums bl; numnums br; spread(v + one, r, bl, br); r.setsize(zero); //
weave(v + one, al, bl); weave(v + one, ar, br); /*essence*/ //
for (num g = zero; g < al.size(); g++) { l.add(al[g]); } for (num g = zero; g < ar.size(); g++) { l.add(ar[g]); } //
for (num g = zero; g < bl.size(); g++) { r.add(bl[g]); } for (num g = zero; g < br.size(); g++) { r.add(br[g]); } } //

Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and sizes

<t8qv9c$1u3l$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34675&group=comp.theory#34675

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!42V55DPF/EHESwy7gmIc+w.user.46.165.242.75.POSTED!not-for-mail
From: midship...@navidad.net (Horatio Cornholer)
Newsgroups: comp.theory
Subject: Re: P=NP=PSPACE=QSPACE for modest, and therefore many, shapes and
sizes
Date: Mon, 20 Jun 2022 16:19:08 -0700
Organization: Aioe.org NNTP Server
Message-ID: <t8qv9c$1u3l$1@gioia.aioe.org>
References: <040545d3-aed4-4f55-a61c-d10af3ae4bd3n@googlegroups.com>
Reply-To: midshipman@navidad.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="63605"; posting-host="42V55DPF/EHESwy7gmIc+w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Horatio Cornholer - Mon, 20 Jun 2022 23:19 UTC

On 6/19/2022 4:04 PM, Daniel Pehoushek wrote:
> bob is one thousand lines of easy monotone code
> daniel2380++

Shut up moron.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor