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 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 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 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>