Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-27 07:54 -0700 |
| References | (5 earlier) <e0fa63da-98f7-427c-a0b0-7828225ecd11n@googlegroups.com> <22431991-5712-4aac-b653-fbaad386a3e3n@googlegroups.com> <24345054-eca7-4443-ae82-b20ea651c0a9n@googlegroups.com> <089daa22-a8b5-4a34-9c0f-8b12585910a4n@googlegroups.com> <323b403b-9160-4189-8c9e-d20ee7180570n@googlegroups.com> |
| Message-ID | <dbc26ce6-b50e-4768-b463-df998240cde0n@googlegroups.com> (permalink) |
| Subject | Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines |
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
the formulas are five coloring of the twelfth dimension and 72 vertices. #c is components #a is number of davis putnamlike assumptions #P is the answer in base ten answerlen is the length of the answer in bits here is part of a cnf, with variables numbered 1 to 216 and + as the boolean operator. there are over two thousand clauses most of length 6. be well and avoid negation daniel2380+++ p cnf 216 2371 +1 73 +145 0 1 +73 +145 0 +1 +73 +145 0 +2 74 +146 0 2 +74 +146 0 +2 +74 +146 0 +3 75 +147 0 3 +75 +147 0 +3 +75 +147 0 +4 76 +148 0 4 +76 +148 0 +4 +76 +148 0 +5 77 +149 0 5 +77 +149 0 +5 +77 +149 0 +6 78 +150 0 6 +78 +150 0 +6 +78 +150 0 +7 79 +151 0 7 +79 +151 0 +7 +79 +151 0 +8 80 +152 0 8 +80 +152 0 +8 +80 +152 0 +9 81 +153 0 9 +81 +153 0 +9 +81 +153 0 +10 82 +154 0 10 +82 +154 0 +10 +82 +154 0 ...
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
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
Re: NP Pspace #P #Q Qspace equality theory for modest sizes in 1000 lines Daniel Pehoushek <pehoushek1@gmail.com> - 2023-07-20 06:01 -0700
csiph-web