Oracle Separation Survey - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T15:49:59Z http://mathoverflow.net/feeds/question/75731 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/75731/oracle-separation-survey Oracle Separation Survey oracles 2011-09-18T06:20:43Z 2012-06-26T07:55:35Z <p>Is there a survey (or a website) somewhere that lists all known separation results?</p> <p>I.e. it has a list of triples:</p> <p>\$\$ (C_1, C_2, A)\$\$</p> <p>where</p> <pre><code>1. We do not know if \$C_1 = C_2\$ 2. We know that \$C_1^A = C_2^A\$ or \$C_1^A \neq C_A^A\$ </code></pre> <p>I.e. I'm looking for a big list, for classes like:</p> <p>L vs P. P vs NP. BPP vs NEXP. etc ...</p> http://mathoverflow.net/questions/75731/oracle-separation-survey/75737#75737 Answer by Joel David Hamkins for Oracle Separation Survey Joel David Hamkins 2011-09-18T09:32:53Z 2011-09-18T09:32:53Z <p>The <a href="http://qwiki.stanford.edu/index.php/Complexity_Zoo" rel="nofollow">Complexity Zoo</a> compiles a huge amount of the information you want, if not exactly in the form you request. </p> http://mathoverflow.net/questions/75731/oracle-separation-survey/100663#100663 Answer by Bruno for Oracle Separation Survey Bruno 2012-06-26T07:55:35Z 2012-06-26T07:55:35Z <p>The <a href="http://www.math.ucdavis.edu/~greg/zoology/" rel="nofollow">Complexity Zoology</a> gives you exactly what you are looking for.</p>