paulfchristiano comments on The Curve of Capability - Less Wrong

18 Post author: rwallace 04 November 2010 08:22PM

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

Comments (264)

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

Comment author: paulfchristiano 06 November 2010 03:20:15PM 2 points [-]

There are no known strong results concerning the relationship between BQP (roughly the analogue of P for quantum computers) and NP. There is strong consensus that BQP does not contain NP, but it is not as strong as the overwhelming consensus that P != NP.

Comment author: bentarm 06 November 2010 05:06:11PM *  2 points [-]

There is strong consensus that BQP does not contain NP, but it is not as strong as the overwhelming consensus that P != NP.

Presumably because P = NP would imply that NP is contained in BQP, so you can't believe the first of your statements without believing the second.

Comment author: Psy-Kosh 06 November 2010 03:35:12PM 0 points [-]

It's not even known if NP contains BQP?

Comment author: bentarm 06 November 2010 05:03:53PM 4 points [-]

It's not even known if NP contains BQP?

No. The best we can do is that both contain BPP and are contained in PP, as far as I recall.

Comment author: wnoise 06 November 2010 10:09:00PM 2 points [-]

And there exist oracles relative to which BQP is not contained in MA (which contains NP).