novaBBS - comp.theory - opposite of cantor diagonal + vision of information equals mind

opposite of cantor diagonal + vision of information equals mind
num diagonalofreason[] = { /*one trillion references per hour*/
(num)4294967294, (num)4294967293, (num)4294967291, (num)4294967287,
(num)4294967279, (num)4294967263, (num)4294967231, (num)4294967167,
(num)4294967039, (num)4294966783, (num)4294966271, (num)4294965247,
(num)4294963199, (num)4294959103, (num)4294950911, (num)4294934527,
(num)4294901759, (num)4294836223, (num)4294705151, (num)4294443007,
(num)4293918719, (num)4292870143, (num)4290772991, (num)4286578687,
(num)4278190079, (num)4261412863, (num)4227858431, (num)4160749567,
(num)4026531839, (num)3758096383, (num)3221225471, (num)2147483647};
(num)4294967294 = 11111111111111111111111111111110
(num)4294967293 = 11111111111111111111111111111101
(num)4294967291 = 11111111111111111111111111111011
(num)4294967287 = 11111111111111111111111111110111
(num)4294967279 = 11111111111111111111111111101111
(num)4294967263 = 11111111111111111111111111011111
(num)4294967231 = 11111111111111111111111110111111
(num)4294967167 = 11111111111111111111111101111111
(num)4294967039 = 11111111111111111111111011111111
(num)4294966783 = 11111111111111111111110111111111
(num)4294966271 = 11111111111111111111101111111111
(num)4294965247 = 11111111111111111111011111111111
(num)4294963199 = 11111111111111111110111111111111
(num)4294959103 = 11111111111111111101111111111111
(num)4294950911 = 11111111111111111011111111111111
(num)4294934527 = 11111111111111110111111111111111
(num)4294901759 = 11111111111111101111111111111111
(num)4294836223 = 11111111111111011111111111111111
(num)4294705151 = 11111111111110111111111111111111
(num)4294443007 = 11111111111101111111111111111111
(num)4293918719 = 11111111111011111111111111111111
(num)4292870143 = 11111111110111111111111111111111
(num)4290772991 = 11111111101111111111111111111111
(num)4286578687 = 11111111011111111111111111111111
(num)4278190079 = 11111110111111111111111111111111
(num)4261412863 = 11111101111111111111111111111111
(num)4227858431 = 11111011111111111111111111111111
(num)4160749567 = 11110111111111111111111111111111
(num)4026531839 = 11101111111111111111111111111111
(num)3758096383 = 11011111111111111111111111111111
(num)3221225471 = 10111111111111111111111111111111
(num)2147483647 = 01111111111111111111111111111111

Re: opposite of cantor diagonal + vision of information equals mind

<f1273fca-f9bd-43cf-9f04-d4bfbc98df9en@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:ac8:70cf:: with SMTP id g15mr10347783qtp.360.1624019873643;
Fri, 18 Jun 2021 05:37:53 -0700 (PDT)
X-Received: by 2002:a25:ca49:: with SMTP id a70mr12591103ybg.360.1624019873395;
Fri, 18 Jun 2021 05:37:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 05:37:53 -0700 (PDT)
In-Reply-To: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f1273fca-f9bd-43cf-9f04-d4bfbc98df9en@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 12:37:53 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 15

by: Daniel Pehoushek - Fri, 18 Jun 2021 12:37 UTC

1111111111111110
1111111111111101
1111111111111011
1111111111110111
1111111111101111
1111111111011111
1111111110111111
1111111101111111
1111111011111111
1111110111111111
1111101111111111
1111011111111111
1110111111111111
1101111111111111
1011111111111111
0111111111111111

Re: opposite of cantor diagonal + vision of information equals mind

<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a37:6851:: with SMTP id d78mr9196347qkc.483.1624020493611; Fri, 18 Jun 2021 05:48:13 -0700 (PDT)
X-Received: by 2002:a5b:3c3:: with SMTP id t3mr13957787ybp.295.1624020493496; Fri, 18 Jun 2021 05:48:13 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 05:48:13 -0700 (PDT)
In-Reply-To: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec; posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 12:48:13 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 31

by: Daniel Pehoushek - Fri, 18 Jun 2021 12:48 UTC

Re: opposite of cantor diagonal + vision of information equals mind

<7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a37:6c4:: with SMTP id 187mr9429889qkg.95.1624021284851;
Fri, 18 Jun 2021 06:01:24 -0700 (PDT)
X-Received: by 2002:a25:bf92:: with SMTP id l18mr12883193ybk.348.1624021284069;
Fri, 18 Jun 2021 06:01:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 06:01:23 -0700 (PDT)
In-Reply-To: <5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com> <5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 13:01:24 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 13:01 UTC

Re: opposite of cantor diagonal + vision of information equals mind

<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:620a:158c:: with SMTP id d12mr9369224qkk.42.1624021809361;
Fri, 18 Jun 2021 06:10:09 -0700 (PDT)
X-Received: by 2002:a25:5c8:: with SMTP id 191mr3921719ybf.251.1624021809169;
Fri, 18 Jun 2021 06:10:09 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 06:10:08 -0700 (PDT)
In-Reply-To: <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 13:10:09 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 13:10 UTC

dear model counting organizers,

I have a major application for model counting.
Computing Universal Constraints of Boolean Formulas!
Below is a recent post of mine.
sincerely daniel

+++

Is it possible that "Universal Constraints of Boolean Formula P" is unheard of?

Boolean formula P, variables 1 to N. What are the Universal Constraints?

Does this problem have a well known name, or survey papers? If unknown,
then please buy bob to compute them! dear mc, Q formulas may be more of
a novelty than previosly thought.

A universal constraint is a (small) set of variables such that not all can
be simultaneously universally quantified, in any valid quantification of P.
Every valid quantification of P satisfies all universal constraints of P.
Every invalid quantification violates at least one universal constraint.
Universal constraints define the satisfiability of quantifications.

I made up the name AllQBFs... There can be exponentially many universal
constraints, so I believe AllQBFs is beyond PSPACE. The constraints are
essentially clauses in a monotone boolean formula, that correctly decides
all 2^N quantifications of P.

The input is a boolean formula P on N variables. The output is a boolean
formula Q on N variables, such that the satisfying assignments also encode
valid quantifications of P. A special case is when P is monotone, P is
identical to Q, but for semantics of the variables. Another technical
note is that the number #P of satisfying assignments to P is equal to the
number #Q of valid quantifications (my 2002 paper).

In the series Unsat, Sat, Valid QBF, #P, there is one additional level,
and that is Universal Constraints. On moderately sized boolean formulas,
my program bob can compute these, and I would like the proper name, to make
a major selling point about AI possibilities. bob does 500 Million LIPS.
Send me email for a free beta test copy of bob.

So in C++ I have a program bob that, given a boolean formula P, computes all
universal constraints of P, thereby deciding both Valid QBFs of P and also
Invalid QBFs of P (the complement of validity). The output of bob is just
all universal constraints, in monotone conjunctive normal form, as a decider
formula for all QBFs of P. bob decides PSPACE reasoning, and then some.

what would f do for bob?

logic
computational complexity
algorithms
computabilty theory
combinatorics

Universal Constraints of Boolean Formula P

I seek references on a problem that I call "Universal Constraints".
Google turns up nothing, implying the topic may be virtually unknown.
Computing all universal constraints of boolean formula P is a problem
at the outer edge of the polynomial hierarchy, related to deciding all
quantifications of boolean formula P.

Given an ordering of N variables, a universal constraint is a (small) set
of variables such that not all can be simultaneously universally quantified
in valid quantifications of P. Universal constraints of P define validity
of quantifications of P.
Every invalid quantification violates at least one universal constraint.
Every valid quantification of P satisfies all universal constraints.

Universal constraints
are essentially monotone clauses in possibly large conjunctions.
The number of universal constraints may be exponential, implying
the problem may be in exponential space. My program bob
computes them on moderately sized boolean formulas (four million
satisfying assignments is a threshold), solving
the problem that I have been calling AllQBFs.
Is there a more commonly known name for this problem?

Universal constraints are clauses in a (possibly large) cnf
for the (high level) satisfiability problem on quantifications of P.

Here is a summary of the benchmarks I submitted.
I will keep you apprised of the competition.
They do not really know about solving
AllQBFs this year, especially when #P
is less than 4,000,000.

2021 model counting (#P) benchmarks on Boolean formulas

11111111111111111111111111111110
11111111111111111111111111111101
11111111111111111111111111111011
11111111111111111111111111110111
11111111111111111111111111101111
11111111111111111111111111011111
11111111111111111111111110111111
11111111111111111111111101111111
11111111111111111111111011111111
11111111111111111111110111111111
11111111111111111111101111111111
11111111111111111111011111111111
11111111111111111110111111111111
11111111111111111101111111111111
11111111111111111011111111111111
11111111111111110111111111111111
11111111111111101111111111111111
11111111111111011111111111111111
11111111111110111111111111111111
11111111111101111111111111111111
11111111111011111111111111111111
11111111110111111111111111111111
11111111101111111111111111111111
11111111011111111111111111111111
11111110111111111111111111111111
11111101111111111111111111111111
11111011111111111111111111111111
11110111111111111111111111111111
11101111111111111111111111111111
11011111111111111111111111111111
10111111111111111111111111111111
01111111111111111111111111111111
11111111111111111111111111111110
11111111111111111111111111111101
11111111111111111111111111111011
11111111111111111111111111110111
11111111111111111111111111101111
11111111111111111111111111011111
11111111111111111111111110111111
11111111111111111111111101111111
11111111111111111111111011111111
11111111111111111111110111111111
11111111111111111111101111111111
11111111111111111111011111111111
11111111111111111110111111111111
11111111111111111101111111111111
11111111111111111011111111111111
11111111111111110111111111111111
11111111111111101111111111111111
11111111111111011111111111111111
11111111111110111111111111111111
11111111111101111111111111111111
11111111111011111111111111111111
11111111110111111111111111111111
11111111101111111111111111111111
11111111011111111111111111111111
11111110111111111111111111111111
11111101111111111111111111111111
11111011111111111111111111111111
11110111111111111111111111111111
11101111111111111111111111111111
11011111111111111111111111111111
10111111111111111111111111111111
01111111111111111111111111111111
11111111111111111111111111111110
11111111111111111111111111111101
11111111111111111111111111111011
11111111111111111111111111110111
11111111111111111111111111101111
11111111111111111111111111011111
11111111111111111111111110111111
11111111111111111111111101111111
11111111111111111111111011111111
11111111111111111111110111111111
11111111111111111111101111111111
11111111111111111111011111111111
11111111111111111110111111111111
11111111111111111101111111111111
11111111111111111011111111111111
11111111111111110111111111111111
11111111111111101111111111111111
11111111111111011111111111111111
11111111111110111111111111111111
11111111111101111111111111111111
11111111111011111111111111111111
11111111110111111111111111111111
11111111101111111111111111111111
11111111011111111111111111111111
11111110111111111111111111111111
11111101111111111111111111111111
11111011111111111111111111111111
11110111111111111111111111111111
11101111111111111111111111111111
11011111111111111111111111111111
10111111111111111111111111111111
01111111111111111111111111111111

Re: opposite of cantor diagonal + vision of information equals mind

<2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:6214:764:: with SMTP id f4mr5849177qvz.60.1624024913499;
Fri, 18 Jun 2021 07:01:53 -0700 (PDT)
X-Received: by 2002:a25:ba06:: with SMTP id t6mr12762093ybg.459.1624024913302;
Fri, 18 Jun 2021 07:01:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 07:01:53 -0700 (PDT)
In-Reply-To: <86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 14:01:53 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 14:01 UTC

logistics
emergency
jimmy carter peanuts USA
he really did see a ufo
fema for the world agencies
tell somebody

Re: opposite of cantor diagonal + vision of information equals mind

<d5086998-d466-4393-a37b-5869a8917d6an@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:620a:2225:: with SMTP id n5mr10328417qkh.38.1624029578350;
Fri, 18 Jun 2021 08:19:38 -0700 (PDT)
X-Received: by 2002:a25:9745:: with SMTP id h5mr13658414ybo.418.1624029578218;
Fri, 18 Jun 2021 08:19:38 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 08:19:37 -0700 (PDT)
In-Reply-To: <2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com> <2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d5086998-d466-4393-a37b-5869a8917d6an@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 15:19:38 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 15:19 UTC

one trillion per hour memory system

// avoid minus as god wills. his code is his favorite symbol +, as the pope well knows. copy his hat in colors for peanuts.

num countdown[] = { zero, zero, one, two, three, four, five, siv, seyen, seyen + one, seyen + two, seyen + three, seyen + four, seyen + five, seyen + siv,
seyen + seyen, seyen + seyen + one, seyen + seyen + two, seyen + seyen + three, seyen + seyen + four, seyen + seyen + five, seyen + seyen + siv, seyen + seyen + seyen,
seyen + seyen + seyen + one, seyen + seyen + seyen + two, seyen + seyen + seyen + three, seyen + seyen + seyen + four, seyen + seyen + seyen + five,
seyen + seyen + seyen + siv, seyen + seyen + seyen + seyen, seyen + seyen + seyen + seyen + one, seyen + seyen + seyen + seyen + two, thirtyone };

// tree is a small set with a count
inline joy abinitio(register num w) { t_r_e_e += ones[w]; count++; } //one trillion per hour

inline num yaystonays(register num z) { when(t_r_e_e & ones[z]) { t_r_e_e &= diagovreason[z]; count = countdown[count]; env::zeesva[env::zeesvg++] = usiv + z;
when(one == count) return ergo(); } return count; }// publish nay z ergo singles

// on all input formulas ergo has zero halting issues
num ergo() { register nums& m = *oneways.v[unity(t_r_e_e, wyde())]; register num y = zero; register num g = zero; // assert all remaining memory
while (g < m.y) when((*env::allBobs.v[(y = m.v[g++]) >> siv]).yaystonays(y & sivones)) continue; else return (*env::allBobs.v[zero]).yaystonays(zero); return one; }

part ten
pattern encrypted
theoretically optimal (n over m) identity string theory algorithm is named skip search. CPM98 link identity recognition 2022 conference

num sivones = 63;
//m is memory of input half clauses

num ones/*powers of two*/[] = { one, two, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288,
1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648 };/// handmade reasoning table

Re: opposite of cantor diagonal + vision of information equals mind

<436899f8-5960-4801-8415-bd9d11d76f34n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:6214:a8a:: with SMTP id ev10mr6394572qvb.52.1624032173809; Fri, 18 Jun 2021 09:02:53 -0700 (PDT)
X-Received: by 2002:a25:ba06:: with SMTP id t6mr13443196ybg.459.1624032173687; Fri, 18 Jun 2021 09:02:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 09:02:53 -0700 (PDT)
In-Reply-To: <d5086998-d466-4393-a37b-5869a8917d6an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec; posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com> <5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com> <86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com> <2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com> <d5086998-d466-4393-a37b-5869a8917d6an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <436899f8-5960-4801-8415-bd9d11d76f34n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 16:02:53 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 1

by: Daniel Pehoushek - Fri, 18 Jun 2021 16:02 UTC

the divine diagonal is finite
aleph null reasoning has issues with sanity

Re: opposite of cantor diagonal + vision of information equals mind

<d2a506d0-86a5-405a-887d-f6fa8951dc34n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a37:aec2:: with SMTP id x185mr10569665qke.294.1624038157512;
Fri, 18 Jun 2021 10:42:37 -0700 (PDT)
X-Received: by 2002:a25:bcb:: with SMTP id 194mr15937185ybl.32.1624038157366;
Fri, 18 Jun 2021 10:42:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 10:42:37 -0700 (PDT)
In-Reply-To: <436899f8-5960-4801-8415-bd9d11d76f34n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com> <2bd43efd-0002-4a1a-8243-54a9cc4da436n@googlegroups.com>
<d5086998-d466-4393-a37b-5869a8917d6an@googlegroups.com> <436899f8-5960-4801-8415-bd9d11d76f34n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d2a506d0-86a5-405a-887d-f6fa8951dc34n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 17:42:37 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 17:42 UTC

if my solver bob wins the Model Counting Competition 2021
about #P, PSPACE, #Q et cetera, i will send a message.

Re: opposite of cantor diagonal + vision of information equals mind

<82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:620a:21c3:: with SMTP id h3mr10925855qka.202.1624039314106; Fri, 18 Jun 2021 11:01:54 -0700 (PDT)
X-Received: by 2002:a25:404:: with SMTP id 4mr15065232ybe.384.1624039313911; Fri, 18 Jun 2021 11:01:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 11:01:53 -0700 (PDT)
In-Reply-To: <86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=96.253.108.61; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 96.253.108.61
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com> <5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com> <86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: xlt....@gmail.com (DV)
Injection-Date: Fri, 18 Jun 2021 18:01:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 227

by: DV - Fri, 18 Jun 2021 18:01 UTC

On Friday, June 18, 2021 at 9:10:10 AM UTC-4, pehou...@gmail.com wrote:
> dear model counting organizers,
>
> I have a major application for model counting.
> Computing Universal Constraints of Boolean Formulas!
> Below is a recent post of mine.
> sincerely daniel
>
> +++
>
> Is it possible that "Universal Constraints of Boolean Formula P" is unheard of?
>
> Boolean formula P, variables 1 to N. What are the Universal Constraints?
>
> Does this problem have a well known name, or survey papers? If unknown,
> then please buy bob to compute them! dear mc, Q formulas may be more of
> a novelty than previosly thought.
>
> A universal constraint is a (small) set of variables such that not all can
> be simultaneously universally quantified, in any valid quantification of P.
> Every valid quantification of P satisfies all universal constraints of P.
> Every invalid quantification violates at least one universal constraint.
> Universal constraints define the satisfiability of quantifications.
>
> I made up the name AllQBFs... There can be exponentially many universal
> constraints, so I believe AllQBFs is beyond PSPACE. The constraints are
> essentially clauses in a monotone boolean formula, that correctly decides
> all 2^N quantifications of P.
>
> The input is a boolean formula P on N variables. The output is a boolean
> formula Q on N variables, such that the satisfying assignments also encode
> valid quantifications of P. A special case is when P is monotone, P is
> identical to Q, but for semantics of the variables. Another technical
> note is that the number #P of satisfying assignments to P is equal to the
> number #Q of valid quantifications (my 2002 paper).
>
> In the series Unsat, Sat, Valid QBF, #P, there is one additional level,
> and that is Universal Constraints. On moderately sized boolean formulas,
> my program bob can compute these, and I would like the proper name, to make
> a major selling point about AI possibilities. bob does 500 Million LIPS.
> Send me email for a free beta test copy of bob.
>
>
> So in C++ I have a program bob that, given a boolean formula P, computes all
> universal constraints of P, thereby deciding both Valid QBFs of P and also
> Invalid QBFs of P (the complement of validity). The output of bob is just
> all universal constraints, in monotone conjunctive normal form, as a decider
> formula for all QBFs of P. bob decides PSPACE reasoning, and then some.
>
> what would f do for bob?
>
> logic
> computational complexity
> algorithms
> computabilty theory
> combinatorics
>
>
> Universal Constraints of Boolean Formula P
>
> I seek references on a problem that I call "Universal Constraints".
> Google turns up nothing, implying the topic may be virtually unknown.
> Computing all universal constraints of boolean formula P is a problem
> at the outer edge of the polynomial hierarchy, related to deciding all
> quantifications of boolean formula P.
>
> Given an ordering of N variables, a universal constraint is a (small) set
> of variables such that not all can be simultaneously universally quantified
> in valid quantifications of P. Universal constraints of P define validity
> of quantifications of P.
> Every invalid quantification violates at least one universal constraint.
> Every valid quantification of P satisfies all universal constraints.
>
> Universal constraints
> are essentially monotone clauses in possibly large conjunctions.
> The number of universal constraints may be exponential, implying
> the problem may be in exponential space. My program bob
> computes them on moderately sized boolean formulas (four million
> satisfying assignments is a threshold), solving
> the problem that I have been calling AllQBFs.
> Is there a more commonly known name for this problem?
>
>
> Universal constraints are clauses in a (possibly large) cnf
> for the (high level) satisfiability problem on quantifications of P.
>
> Here is a summary of the benchmarks I submitted.
> I will keep you apprised of the competition.
> They do not really know about solving
> AllQBFs this year, especially when #P
> is less than 4,000,000.
>
> 2021 model counting (#P) benchmarks on Boolean formulas
> 11111111111111111111111111111110
> 11111111111111111111111111111101
> 11111111111111111111111111111011
> 11111111111111111111111111110111
> 11111111111111111111111111101111
> 11111111111111111111111111011111
> 11111111111111111111111110111111
> 11111111111111111111111101111111
> 11111111111111111111111011111111
> 11111111111111111111110111111111
> 11111111111111111111101111111111
> 11111111111111111111011111111111
> 11111111111111111110111111111111
> 11111111111111111101111111111111
> 11111111111111111011111111111111
> 11111111111111110111111111111111
> 11111111111111101111111111111111
> 11111111111111011111111111111111
> 11111111111110111111111111111111
> 11111111111101111111111111111111
> 11111111111011111111111111111111
> 11111111110111111111111111111111
> 11111111101111111111111111111111
> 11111111011111111111111111111111
> 11111110111111111111111111111111
> 11111101111111111111111111111111
> 11111011111111111111111111111111
> 11110111111111111111111111111111
> 11101111111111111111111111111111
> 11011111111111111111111111111111
> 10111111111111111111111111111111
> 01111111111111111111111111111111
> 11111111111111111111111111111110
> 11111111111111111111111111111101
> 11111111111111111111111111111011
> 11111111111111111111111111110111
> 11111111111111111111111111101111
> 11111111111111111111111111011111
> 11111111111111111111111110111111
> 11111111111111111111111101111111
> 11111111111111111111111011111111
> 11111111111111111111110111111111
> 11111111111111111111101111111111
> 11111111111111111111011111111111
> 11111111111111111110111111111111
> 11111111111111111101111111111111
> 11111111111111111011111111111111
> 11111111111111110111111111111111
> 11111111111111101111111111111111
> 11111111111111011111111111111111
> 11111111111110111111111111111111
> 11111111111101111111111111111111
> 11111111111011111111111111111111
> 11111111110111111111111111111111
> 11111111101111111111111111111111
> 11111111011111111111111111111111
> 11111110111111111111111111111111
> 11111101111111111111111111111111
> 11111011111111111111111111111111
> 11110111111111111111111111111111
> 11101111111111111111111111111111
> 11011111111111111111111111111111
> 10111111111111111111111111111111
> 01111111111111111111111111111111
> 11111111111111111111111111111110
> 11111111111111111111111111111101
> 11111111111111111111111111111011
> 11111111111111111111111111110111
> 11111111111111111111111111101111
> 11111111111111111111111111011111
> 11111111111111111111111110111111
> 11111111111111111111111101111111
> 11111111111111111111111011111111
> 11111111111111111111110111111111
> 11111111111111111111101111111111
> 11111111111111111111011111111111
> 11111111111111111110111111111111
> 11111111111111111101111111111111
> 11111111111111111011111111111111
> 11111111111111110111111111111111
> 11111111111111101111111111111111
> 11111111111111011111111111111111
> 11111111111110111111111111111111
> 11111111111101111111111111111111
> 11111111111011111111111111111111
> 11111111110111111111111111111111
> 11111111101111111111111111111111
> 11111111011111111111111111111111
> 11111110111111111111111111111111
> 11111101111111111111111111111111
> 11111011111111111111111111111111
> 11110111111111111111111111111111
> 11101111111111111111111111111111
> 11011111111111111111111111111111
> 10111111111111111111111111111111
> 01111111111111111111111111111111

Are you saying that the Universal Constraints problem is: Given a boolean formula with no quantifiers, add quantifiers to the formula to make it satisfiable if possible?

If so, that problem is equivalent to SAT. The reason is that the optimal quantifier assignment will always be to assign every quantifier to be existential. Any formula formed by any alternate quantification of the original boolean formula would necessarily imply the fully existentially quantified formula. The question is, does the fully existentially quantified formula admit a satisfying literal assignment? This question is equivalent to the boolean satisfiability problem.

Re: opposite of cantor diagonal + vision of information equals mind

<7febcc5d-efd8-4f41-87f3-99472fd65ae3n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:ac8:7f4a:: with SMTP id g10mr11446659qtk.296.1624039555758;
Fri, 18 Jun 2021 11:05:55 -0700 (PDT)
X-Received: by 2002:a25:bcb:: with SMTP id 194mr16075330ybl.32.1624039555649;
Fri, 18 Jun 2021 11:05:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 18 Jun 2021 11:05:55 -0700 (PDT)
In-Reply-To: <82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:55c3:f1f2:a3d3:d6ec
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com> <82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7febcc5d-efd8-4f41-87f3-99472fd65ae3n@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Fri, 18 Jun 2021 18:05:55 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Fri, 18 Jun 2021 18:05 UTC

> Are you saying that the Universal Constraints problem is: Given a boolean formula with no quantifiers, add quantifiers to the formula to make it satisfiable if possible?

no.
the Model Counting Competition 2021 is about computing #P.

Re: opposite of cantor diagonal + vision of information equals mind

<5694469d-1416-44a2-8829-78d67951205cn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:ac8:6d15:: with SMTP id o21mr16156912qtt.54.1624132170877;
Sat, 19 Jun 2021 12:49:30 -0700 (PDT)
X-Received: by 2002:a25:bf92:: with SMTP id l18mr21102953ybk.348.1624132170757;
Sat, 19 Jun 2021 12:49:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 19 Jun 2021 12:49:30 -0700 (PDT)
In-Reply-To: <7febcc5d-efd8-4f41-87f3-99472fd65ae3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:713e:9c0a:956:4219;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:713e:9c0a:956:4219
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com> <7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com> <82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>
<7febcc5d-efd8-4f41-87f3-99472fd65ae3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5694469d-1416-44a2-8829-78d67951205cn@googlegroups.com>
Subject: Re: opposite of cantor diagonal + vision of information equals mind
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sat, 19 Jun 2021 19:49:30 +0000
Content-Type: text/plain; charset="UTF-8"

by: Daniel Pehoushek - Sat, 19 Jun 2021 19:49 UTC

Are you saying that the Universal Constraints problem is: Given a boolean formula with no quantifiers, add quantifiers to the formula to make it satisfiable if possible?
no.
the Model Counting Competition 2021 is about computing #P.

dear pete olcott
please briefly compare my writing with yours.
would i love to know how you think?

Re: opposite of cantor diagonal + vision of information equals mind

<Tu6dnXffSsdY1lP9nZ2dnUU7-b_NnZ2d@giganews.com>

copy mid

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

copy link Newsgroups: comp.theory

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 19 Jun 2021 14:55:49 -0500
Subject: Re: opposite of cantor diagonal + vision of information equals mind
Newsgroups: comp.theory
References: <193b5333-435f-43f9-a768-5b077aec13e2n@googlegroups.com>
<5377e3b4-b03f-4ff6-8493-dd2e609c1680n@googlegroups.com>
<7235d464-d67d-477a-924a-3e4630b4aa47n@googlegroups.com>
<86ef43a4-3544-4a0b-91c6-6117994df0efn@googlegroups.com>
<82bb4c7b-f326-48b0-993f-d1554faa8e24n@googlegroups.com>
<7febcc5d-efd8-4f41-87f3-99472fd65ae3n@googlegroups.com>
<5694469d-1416-44a2-8829-78d67951205cn@googlegroups.com>
From: NoO...@NoWhere.com (olcott)
Date: Sat, 19 Jun 2021 14:56:11 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <5694469d-1416-44a2-8829-78d67951205cn@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <Tu6dnXffSsdY1lP9nZ2dnUU7-b_NnZ2d@giganews.com>
Lines: 20
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-s1e864yff97KPDaR95SzPK/H5tI5JBRFeMj1X4vg7/QHqRSojfaj+k2DQjDjYQlJo10SFUFk0+tJxYx!iMl3h1tuWDuDDWqLxC0bmYOvb6uIbTadNUbH/RdariJ15F2lEqMVBFAKZ9sgVIwuKrnWhZeOVBs=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2286

by: olcott - Sat, 19 Jun 2021 19:56 UTC

Nondeterminism means never having to say you are wrong.

devel / comp.theory / opposite of cantor diagonal + vision of information equals mind

devel / comp.theory / opposite of cantor diagonal + vision of information equals mind

Subject	Author
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	DV
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	Daniel Pehoushek
opposite of cantor diagonal + vision of information equals mind	olcott