Earlier quoted context omitted.
I wonder why authors of P=NP 'proofs' won't attach a program that solves some NP hard problem for a collection of large inputs in reasonable time. This of course wouldn't prove the work is valid, but should be enough to draw attention and have the paper reviewed by qualified people.
That's a good question, but always keep in mind that polynomial time doesn't imply that it'll be faster than the currently used algorithms on any real application.
P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
41–48 of 48 posts
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#42If you scroll to the last page, you'll find that this "Xinwen Jiang" character cites: a textbook on computational complexity from the '70s, plus himself (in the apparently nonexistent Computer Technology and Automation ), more than ten times. Furthermore, he's been at this since 1993. A dedicated crank if I've ever seen one.
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#43Earlier quoted context omitted.
P=NP doesn't imply that there is fast algorithm for every problem in NP. It only means, that there is polynomial time algorithm for everything in NP (e.g. n^100 is polynomial). For example there can be O(n^100) algorithm for solving 3-SAT, which is not fast algorithm.
Yes, but as usually, the problem with O is the growth In the same way that Insertion sort can be faster than Quicksort for small vectors, there's a number of elements from where even O(n^100) is quicker than O(n!) Because the (practical) problem with NP problems is not when they are small, you can try every combination for a small TSP problem in a reasonable time. But for big problems, even if it's n^100 instead of n…
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#44Earlier quoted context omitted.
Mathematically you can prove that an algorithm with certain properties exists, without being able to implement it. Also, as others have pointed out, polynomial does not necessarily mean "fast".
Interesting, are you aware of any such algorithm (proven to exist but not discovered yet)?
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#45ArXiv has many "proofs" that P=NP and that P!=NP. ArXiv does not do any vetting of correctness (it is beyond their scope.) We don't need a HN submission for this and the title is inaccurate/clickbait.
I wonder why authors of P=NP 'proofs' won't attach a program that solves some NP hard problem for a collection of large inputs in reasonable time. This of course wouldn't prove the work is valid, but should be enough to draw attention and have the paper reviewed by qualified people.
No, it actually would. And exactly the question begs the answer why don't they submit the damn code.
During my college days, a professor would always argue combustion can only be a exothermic reaction. Another professor would argue it can endothermic too. By the way the discussions went and during one lab session, a student just stood up and asked the professor to produce a chemical which he could put on his palm and burn to prove its endothermic.
Since then he stopped and I never ever heard him talking about combustion being a endothermic reaction again.
All it takes is to write a program, if you have the algorithm is it really that difficult to write it?
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#46Note that these graphs are partially ordered sets (http://en.wikipedia.org/wiki/Partially_ordered_set)
and every partially ordered set has a unique corresponding comparability graph (http://en.wikipedia.org/wiki/Comparability_graph)
and the problem of finding a Hamiltonian cycle in a comparability graph is known not to be NP-complete. (http://link.springer.com/article/10.1007%2FBF00571188)
Thus Jiang may have found a polynomial-time algorithm, but it solves a problem that is not NP-complete.
Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#47Re: P might be NP: A Polynomial Time Algorithm for the Hamilton Circuit Problem
#48If you scroll to the last page, you'll find that this "Xinwen Jiang" character cites: a textbook on computational complexity from the '70s, plus himself (in the apparently nonexistent Computer Technology and Automation ), more than ten times. Furthermore, he's been at this since 1993. A dedicated crank if I've ever seen one.