Vinay Deolalikar is standing by his {\mathsf{P} \neq \mathsf{NP}} claim and proof. He and I have been exchanging e-mails, and as noted in the. Possible fatal flaws in the finite model part of Deolalikar’s proof Neil Immerman is one of the world’s experts on Finite Model Theory. He used. An update on the P not equal to NP proof Timothy Gowers, Gil Kalai, Ken Regan, Terence Tao, and Suresh Venkatasubramanian are some of.

Author: Dairan Juhn
Country: Ukraine
Language: English (Spanish)
Genre: Health and Food
Published (Last): 21 November 2014
Pages: 53
PDF File Size: 13.66 Mb
ePub File Size: 20.16 Mb
ISBN: 713-7-34641-408-1
Downloads: 89412
Price: Free* [*Free Regsitration Required]
Uploader: Zulutaxe

Does the general proof strategy of Deolalikar exploiting independence properties in random k-SAT or similar structures have any hope at all of establishing non-trivial complexity separation results? It is not clear to me from the manuscript what the exact definition is, but my best guess at the moment is that Claim 1 will turn out to be false, when the definition is made precise.

Although the P versus NP problem was formally defined inthere were previous inklings of the problems involved, the difficulty of proof, and the potential consequences.

Deolalikar Responds To Issues About His P≠NP Proof | Gödel’s Lost Letter and P=NP

As a deolaliikar student myself, I have to wonder how many theorems those commenters have proved on their own. It is not sufficient to rely on some results having been proved for or —the proof must show how this restriction is used in an essential manner. As you well know, depending on the mathematical context, the high level and the low level are more critical or less critical. Thus, the question “is P a proper subset of NP ” can be reformulated as “is existential second-order logic able to describe languages of finite linearly ordered structures with nontrivial signature that first-order logic with least fixed point cannot?


Yet, it seems to me that this number of parameters measures complexity of the partition function, Z T. Friedlander and Iwaniec are also technical geniuses, and all the ideas were already clearly there, so the final capitulation was easily foreseen.

P versus NP problem

Honestly, I doubt that even something like that will come out from this. Perhaps this explains the end result.

Some kind of lower bound. The solution spaces to problems in Monadic LFP are polylog-parametrizable. To make this clear, consider this. NP -complete problems are a set of problems to each of which deoallikar other NP -problem can be reduced in polynomial time, and whose solution may still be verified in polynomial time. An important unsolved problem in complexity theory is whether the graph isomorphism problem is in PNP -complete, or NP -intermediate. As long as the signature contains at least one predicate or function in addition to the distinguished order relation, so that the amount of space taken to store such finite structures is actually polynomial in the number of elements in the structure, this precisely characterizes P.

One hold-up is we are currently unsure what Vinay wishes to happen. I would advice you to look at the scientific community as a deolaoikar ally in refining your research work and not as deolalilar obstacle to overcome.

I meant to say: If we are, it is a solution if and only if the given bits of y are all 0 if and only if a solution extending drolalikar partial solution exists. We could define complexity of Z T in some way so that all polynomial algorithms, via sampling, would allow us to compute Z T easily.

Yes, it has all turned out to be very poetic deoolalikar Zen; peel and peel and then nothing!


Deolalikar Responds To Issues About His P≠NP Proof

Let me quote the paragraph immediately preceding Remark 8. Basically, polylog parameterisability of say k-SAT provides an efficient way to generate a random solution of that k-SAT problem though not necessarily with the uniform distribution, see comment below, but merely a distribution that gives each such solution a nonzero probability. Does Deolalikar need to make a claim about the former computation to get what he needs for the latter computation?

Apery has many tangential factors, and deeolalikar personally never in fact published a proof.

I guess this would not allow my simple expression, but what expressions are allowed? This will read state deolalikarr the cell using a fixed graph. The key question is how does he go from FO LFP and k-sat to these graphical models and compare them in terms of size of cliques.

The zeta function has so called trivial zeroes at. As a separate point, note that if his proof, if correct, deolalilar that there is a poly-time samplable distribution on which k-SAT is hard on average — that hard instances are easy to generate. There is stillsomething to be said for attacking specific Hardness probs. It will only help them improve the quality of their contribution, which is what we are all interest deeolalikar.

The author has a notably good taste in textbooks and having a bunch of us comb them for perspective is a contribution well within our reach, or in any event a fine way to spend a bit of spare time in August. What does polylog parameterisable mean? Deolalkkar the status of the paper: