News for hackers. Stuff that matters.
Re:The Scientific Case for P≠NP by nl on Sunday October 29, 2017 @06:53AM (#15578849)
That seems like an extremely crap reason to believe a mathematical theorem. What am I missing?

What's the alternative?

As I see it, the possible ways to think about it are as follows:

1) You must think of it as 50/50 possibility of being true until an absolute proof is found.

2) You look at places where it could fail, and if it passes then you update the likelihood based on that.

To me (and as this post argues) it makes sense to follow (2). Not only is it more useful practically (you can use that assumption to solve other things, conditional on it being true) but also it reflects the reality of the world. Even if it turns out not to be true in every case it is clear that in the majority of cases it is true.

Maybe it is untrue but it is possible to define the set of cases where it is untrue. If this is the case, it seems likely that class is very small, so it is mostly true. That is the opposite of a proof of course, but it does seem reasonable to think about your confidence of it being true as being somewhat proportional to the likely size of the class.

close complex border that seems to yield increasing numbers of "close calls" sounds exactly like the situation where there's a lurking, sparse class of "touches" that we haven't thought of

That's not really how it works though. If it keeps happening and those classes don't touch, then it typically means they aren't as close as they seem (ie, there is an extra dimension in which they are a long way apart). In this case it seems like the P/NP divide is actually a thing which means things which appear close actually aren't, so if you analyze them in that space they don't appear close together at all.

Re:The Scientific Case for P≠NP by Filligree on Sunday October 29, 2017 @09:38AM (#15579232)
> Maybe it is untrue but it is possible to define the set of cases where it is untrue. If this is the case, it seems likely that class is very small, so it is mostly true. That is the opposite of a proof of course, but it does seem reasonable to think about your confidence of it being true as being somewhat proportional to the likely size of the class.

Any NP-complete problem reduces to any other, so if P=NP for any of them then it's true in general. Some more efficiently than others, of course.

Re:The Scientific Case for P≠NP by nl on Sunday October 29, 2017 @11:12AM (#15579583)
This is a fair point.

I guess my only response would be that some of the complexity classes in "some more efficiently than others, of course" might be impractical even if they are theoretically possible.

Re:The Scientific Case for P≠NP by Filligree on Sunday October 29, 2017 @11:50AM (#15579731)
Which might be the saving grace should the equality turn out to be true, given the sheer number of scary-powerful algorithms that happen to be NP-complete. Certainly it'd be convenient if they were solvable, but... probably not safe, you understand?

Not really relevant here, though.

Re:The Scientific Case for P≠NP by SomeStupidPoint on Sunday October 29, 2017 @11:55AM (#15579755)
What's the argument here, though?

When we find a single bridge, all the complexity classes change, so we can only really divide the problems here into "ones we've found polynomial time solutions for" and "ones we haven't".

There may be something interesting about the ones we havent -- or we just didn't think of something obvious/a lot of special cases with high degree polynomials.

It's worth mentioning the near collisions happen in the low-dimensionality region of the border -- which doesn't have the same separating forecast, as it becomes easier to touch in higher dimensions. We can think of a sphere and a cube -- in low dimensions, a sphere lies inside of a cube; in higher dimensions, the surface bulges past the sides. You just don't see it until something like the 17th dimension. (Similarly, knot theory explodes with complexity in higher dimensions.)

Taking a "scientific approach" to asymptotic problems just makes the CS people advocating it seem vaguely hacky, since they're not even advancing a proper density argument -- it's just such a low-dimensional, poorly bounded argument that it's clear they didn't make a real calculation, they tried to dress up personal feelings in science.