Consequences of the provability of NP ⊆ P/poly (Q5444705): Difference between revisions

← Older edit

@@ Property / DOI @@
-.2178/jsl/1203350791
@@ Property / DOI: 10.2178/jsl/1203350791 / rank @@
-Normal rank
@@ Property / DOI @@
+.2178/JSL/1203350791
@@ Property / DOI: 10.2178/JSL/1203350791 / rank @@
+Normal rank
@@ Property / Recommended article @@
+A tight Karp-Lipton collapse result in bounded arithmetic
+Normal rank
+Similarity Score: 0.87135625Amount 0.87135625
Unit 1
-Amount
+.87135625
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A Tight Karp-Lipton Collapse Result in Bounded Arithmetic
+Normal rank
+Similarity Score: 0.8645932Amount 0.8645932
Unit 1
-Amount
+.8645932
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nondeterministic Instance Complexity and Proof Systems with Advice
+Normal rank
+Similarity Score: 0.8247605Amount 0.8247605
Unit 1
-Amount
+.8247605
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+\(\text{S}_{2}^{\text{P}} \subseteq \text{ZPP}^{\text{NP}}\)
+Normal rank
+Similarity Score: 0.8036757Amount 0.8036757
Unit 1
-Amount
+.8036757
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Proof systems that take advice
@@ Property / Recommended article: Proof systems that take advice / rank @@
+Normal rank
@@ Property / Recommended article: Proof systems that take advice / qualifier @@
+Similarity Score: 0.77598083Amount 0.77598083
Unit 1
-Amount
+.77598083
 Unit
@@ Property / Recommended article: Proof systems that take advice / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Does Advice Help to Prove Propositional Tautologies?
+Normal rank
+Similarity Score: 0.7669675Amount 0.7669675
Unit 1
-Amount
+.7669675
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4418680
@@ Property / Recommended article: Q4418680 / rank @@
+Normal rank
@@ Property / Recommended article: Q4418680 / qualifier @@
+Similarity Score: 0.7658586Amount 0.7658586
Unit 1
-Amount
+.7658586
 Unit
@@ Property / Recommended article: Q4418680 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Relations and equivalences between circuit lower bounds and karp-lipton theorems
+Normal rank
+Similarity Score: 0.76081455Amount 0.76081455
Unit 1
-Amount
+.76081455
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+New collapse consequences of NP having small circuits
+Normal rank
+Similarity Score: 0.7522781Amount 0.7522781
Unit 1
-Amount
+.7522781
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On zero error algorithms having oracle access to one query
+Normal rank
+Similarity Score: 0.74119914Amount 0.74119914
Unit 1
-Amount
+.74119914
 Unit
+Recommender Run: Recommender Run 2