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-30 10:53 +0100
Organization	A noiseless patient Spider
Message-ID	<87zgu41628.fsf@bsb.me.uk> (permalink)
References	(16 earlier) <7ac29e6c-aa58-40ff-9a70-c62b4493c899n@googlegroups.com> <87y29o3b6y.fsf@bsb.me.uk> <f6f57e0c-d47c-4cce-a292-e123ece75d4bn@googlegroups.com> <87h7gc38ao.fsf@bsb.me.uk> <22e36c1b-9197-4682-968d-3f53d7157bf1n@googlegroups.com>

Show all headers | View raw

Daniel Pehoushek <pehoushek1@gmail.com> writes:

> yes there are some novelties. 
> bob is fast with a slender linear memory profile.
> bob is very nearly optimal on average 
> on random regular graphs.
>
> it bothers me that you think i should give up.

I did not say you should give up, I suggested a way forward.  Journals
are open all year round, every year, and don't set arbitrary rules on
what solvers should do.  Haranguing the members of a conference
committee will get you nowhere, whereas publishing is the gold standard
by which work like yours is measured.

What is bob's closest competition?  What are the relative timings
between bob and comparative solvers/counters?  Or maybe bob's advantage
is in the size of problem it can handle, or that it can count models for
problems that pose challenges for others.  Writing up what you have done
to make these improvements is the most productive use of your time.

> i have a truthful and righteous position.

By all means spend the rest of your life arguing about a competition you
may not even have entered.  Do you even know if your submission was
accepted?

> bob is totally correct on model counting.
> i have put over twenty years into bob.

But not enough time in writing-up what you have done.  If you know the
field well enough, you will know what advances, if any, you ave made.
The usual thing to do is to publish these in a paper.

-- 
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