Live data from Hacker News

Problems harder than NP-Complete

buttondown.email

21–30 of 103 posts

Re: Problems harder than NP-Complete

#21
post #10

How hard is computing Ramsey numbers, BTW? Is there a word for that?

For binary-encoded input it is in 2-EXPTIME by trying all graphs of size exponential in the input number and testing all subsets of the given size. Would be surprising if any hardness result for complexity classes would be known.

Re: Problems harder than NP-Complete

#22
For anyone with an interest in going a little deeper, in my opinion the best textbook on the subject is Sipser's Introduction to the Theory of Computation. It's truly introductory, so anyone who is smart enough to program will be able to follow, if they do the work.

[1] https://www.goodreads.com/en/book/show/400716

Re: Problems harder than NP-Complete

#23

I used to be excited about complexity theory, but these days I can't help but wonder, what is the practical applications of this in real engineering problems? Most of the NP-Complete problems can be solved in polynomial time (but not all, of course!) with appropriate heuristics.

Much of theoretical CS is just math and has no real practical consequences. Once in a while you do encounter something useful but it’s rare.

Many NP-complete problems and their Harder variants are in the realm of optimization. Packing boxes in air freight 1% tighter can have millions of dollars of practical consequences per year. Communications and electrical networks depend on the Steiner tree problem. Machine shops, restaurants, etc leave money on the table when their schedules are not well-optimized. I could go on and on.

Re: Problems harder than NP-Complete

#24

I used to be excited about complexity theory, but these days I can't help but wonder, what is the practical applications of this in real engineering problems? Most of the NP-Complete problems can be solved in polynomial time (but not all, of course!) with appropriate heuristics.

I did a fix on some open source tool that was pretty fancy and had the same operational complexity. But then I realized oh sht, it's now two times slower

Re: Problems harder than NP-Complete

#25
post #19

Earlier quoted context omitted.

Pretty sure "n-node" is a typo and both vertices and edges are 2ⁿ.

No, it's a dumb mistake, I was thinking of the number of subgraphs of the N-node graph. I'll fix it.

I'm not sure you want subgraphs, either. Succinct circuits encode exponential-sized graphs in poly space.

I read a little on this, and I realize I've seen examples of succinct circuits. Hash functions are a great example of poly-sized circuits that compute the edges of exponentially-large graphs (fixing the input size to the output size, for example). Want to find the edge-reversal of that graph? It'll cost ya.

Re: Problems harder than NP-Complete

#26
post #23

Earlier quoted context omitted.

Much of theoretical CS is just math and has no real practical consequences. Once in a while you do encounter something useful but it’s rare.

Many NP-complete problems and their Harder variants are in the realm of optimization. Packing boxes in air freight 1% tighter can have millions of dollars of practical consequences per year. Communications and electrical networks depend on the Steiner tree problem. Machine shops, restaurants, etc leave money on the table when their schedules are not well-optimized. I could go on and on.

yes but theoretical advancements in NP-complete problems very rarely turn into empirical improvements

Re: Problems harder than NP-Complete

#27

I used to be excited about complexity theory, but these days I can't help but wonder, what is the practical applications of this in real engineering problems? Most of the NP-Complete problems can be solved in polynomial time (but not all, of course!) with appropriate heuristics.

In my experience of NP-complete research, there tends to be “real world bias”.

There are problems we can mostly solve in polynomial time, and those gets lots of study and people talk about them a lot.

There are other problems which are equally valid np-complete problems, for example reversing most encryption and hashing algorithms (with hashes you obviously don’t get a unique reversal, but you can get something), which we generally don’t discuss, as they are entirely unsolvable in practice.

Re: Problems harder than NP-Complete

#28
One example I’ve always liked:

Solving Sudoku (for general sized grids) is np-complete, but usually fairly easy. Many people write quite good sudoku solvers that can solve any 9x9 in a few milliseconds.

Now, a valid sudoku is a grid which has one unique answer. What’s the smallest number of clues a valid sudoku can have?

That problem is still in a 9x9 grid, and has been solved but it up at the limit of what we can do. It took a whole bunch of clever maths, and about a million CPU hours.

Re: Problems harder than NP-Complete

#29
post #23

Earlier quoted context omitted.

Much of theoretical CS is just math and has no real practical consequences. Once in a while you do encounter something useful but it’s rare.

Many NP-complete problems and their Harder variants are in the realm of optimization. Packing boxes in air freight 1% tighter can have millions of dollars of practical consequences per year. Communications and electrical networks depend on the Steiner tree problem. Machine shops, restaurants, etc leave money on the table when their schedules are not well-optimized. I could go on and on.

There are polynomial-time approximation schemes for all those problems. Few of the NP-complete problems are both difficult to approximate and have practical use cases. 3SAT is the big exception.

Re: Problems harder than NP-Complete

#30
> Problems can get way, way harder than NP.

I don't think anyone doubts that. NP vs P is just talked about because its the dividing line where things first become too hard (to overgeneralize). There are lots of NP problems that are close to being tractable so it feels like they are in reach. There are also lots in this category that are things that are useful to do. While there are certainly exceptions, harder categories have problems that seem more obviously out of reach at a glance.

Post reply on HN