= 27d567bc2d48d9f40e9ccc20ea370b15)
JoshuaZ comments on Harry Potter and the Methods of Rationality discussion thread, part 11 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (1174)
Sorry, I'm really not following your pie argument. Harry would learn about the pies in the near future; since it is his style, he would think about throwing them to frighten the bullies. So, his observation of Harry+1 throwing the pies is not necessary for him to think to throw pies anyway.
What do you mean by "they don't recurse"? Surely the fact that this procedure results in fast graph isomorphism testing shows that it is not a particularly "stable" solution? Or, do fast integer factorization by writing down the first digit for the least factor greater than 1, listen as future you says "no, no, maybe," and change it to whatever, and then figure out the second digit, and so forth. The scenario you've outlined results in nearly instant integer factorization (or password guessing, or whatever), so it is probably illegal.
Note that both graph isomorphism and integer factorization are problems that may well lie in P, so these aren't great examples. Traveling salesman is a bit better.
Sure, though my impression is that people don't think graph isomorphism actually is in P. And integer factorization turned out to be a problem for Harry. But you're right, we can actually just simulate a nondeterministic Turing machine this way: every time you have a choice for which state to visit next, just listen as future you tells you which ones not to visit.