Speedup for natural problems and noncomputability (Q620964)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Speedup for natural problems and noncomputability |
scientific article; zbMATH DE number 5843655
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Speedup for natural problems and noncomputability |
scientific article; zbMATH DE number 5843655 |
Statements
Speedup for natural problems and noncomputability (English)
0 references
2 February 2011
0 references
speedability
0 references
superpolynomial speedup
0 references
coNP-complete language
0 references
propositional proof system
0 references
optimal algorithm
0 references
0 references
0.85845643
0 references
0.8488645
0 references
0 references
0.8423137
0 references
0.83904874
0 references
0.8389559
0 references
0.8385571
0 references
