ata comments on What would you do with a solution to 3-SAT? - Less Wrong

3 Post author: alexflint 27 April 2011 06:19PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (78)

You are viewing a single comment's thread. Show more comments above.

Comment author: ata 29 April 2011 09:01:26AM *  0 points [-]

If the inhabitants of a universe with atomic NP oracles developed a computational complexity theory which accordingly considered performing an NP oracle operation to be O(1), then their "P" and "NP" would be analogous to what we call "P" and "NP", but they wouldn't be the same objects.

Comment author: Vladimir_Nesov 29 April 2011 05:45:25PM 0 points [-]

Sure, hence merely "play the same role". Note that analogy for P in NP-universe is NP-hard, not NP.