Comment Re:Sudoku's complexity (Score 5, Interesting) 44
Generalized (NxN) sudoku is NP-complete. That's the only sense in which any puzzle is computationally intractable.
This is very fascinating work, but I am skeptical. I design puzzles like this, with computer assistance, and automatically gauging how difficult a puzzle is seems to be basically impossible. The fundamental problem is that the logical structure of a puzzle is not in itself sufficient to gauge difficulty. A huge amount of it is in the presentation, and how the player conceptualizes the puzzle, and how much of the problem can be handled automatically by visual processes. There are puzzles with trivial game trees that I have watched players get totally lost in, because the game tree is not apparent in the puzzle manifestation.
If this research addresses this problem, I will be very impressed.
Comment Reasonable or not... (Score 1) 298
I probably wouldn't renew at $119. And without free shipping, I would order less stuff from Amazon. That doesn't sound too good for the shareholders.
Comment Re:Not a new concept (Score 1) 461
Not going to get into all the arguments here. Yes, it is more complicated in detail than the simple model Walker lays out. But in practice, *if* you count calories as prescribed, *then* the model is good enough.
I'd like to provide an update here. I read about the Hacker's Diet first on Slashdot, in fall 1999. I followed it, and during 2000 I lost 50 pounds. I've kept it off for 13 years now. A few years later I started running. I've now run 96 marathons and ultramarathons, heading towards my 10th consecutive Boston Marathon, I've broken 3 hours four times, and I've run three 100 milers, including Western States. Couldn't be happier with that part of my life.
The running has been a bigger life change than losing weight. But I couldn't have done it, no way, without losing the weight first. And I have the Hacker's Diet to thank for that.
And yes, running 60-70 miles / week, I *still* have to count calories.
Comment Re:Could be a good sign... (Score 5, Informative) 199
I would guess that you've never entered one of these competitions. To do well, it is not sufficient to come up with quick and dirty solutions; these will generally fail. You have to be able to find a good algorithm, quickly, and implement it, catching all the edge cases. These are certainly valuable real-world skills.
Disclaimer -- I was on the Rice team that took 3rd in 1986 (before there were any international teams at all).
Comment It *is* possible to build a reactionless drive... (Score 4, Informative) 419
... sort of. And it is established physics. See Swimming in Spacetime: Motion by Cyclic Changes in Body Shape, Science, 2/27/2003, by Jack Wisdom.
But this mechanism relies on general relativistic effects, and only works in curved spacetime. Momentum conservation is not violated, because while the location of the object changes, its momentum (thus velocity) does not -- it simply cyclicly translates itself through space.
My first thought reading about the EmDrive was that Shaywer had found a way to reproduce this effect using a microwave cavity. But unless I'm mistaken, this does not appear to be the case, and I don't follow the arguments that Shaywer's drive should work.
Comment Tau marathon bib (Score 2) 241
Comment Re:Bah. e is better than them all (Score 5, Funny) 241
Comment Not new (Score 1) 117
http://people.csail.mit.edu/rweiss/
Comment BeOS (Score 3, Interesting) 312
Left out of that history is the branch that almost happened: for quite a while the smart money was that Apple would buy Be, Inc. and use BeOS as the basis for their future OSes. More than a few developers (myself included) based their business models on this happening.
Comment !exponential search speedup (Score 1) 112
Grover's search algorithm gives only a quadratic speedup.
Comment "This fits me perfectly as a Java programmer," (Score 3, Interesting) 109
Exactly. That was the big problem I had with the book: it's written for Java programmers. I am intrigued by the language, but I would much prefer a book that treats the language on its own terms.
Comment Re:chess and go aren't np-hard, but they are also (Score 1) 322
It's on my list...
Comment Re:chess and go aren't np-hard, but they are also (Score 4, Interesting) 322
I'll mention it to my publisher, but honestly it would lose a lot without all the color figures.
The book is based on my Ph.D. thesis, which you can download for free:
Comment Re:I don't get why... (Score 1) 322
The reason that fun games tend to be NP-hard (or harder) is that if a game's "physics" supports interesting constructions requiring complex reasoning to solve, then probably that same physics can be used to build computational gadgets, which is how you show hardness of the generalized version. This quality expresses itself even on small, fixed-size board.