CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Theorem_in_computational_complexity_theory
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Theorem in computational complexity theory
rdfs:
subClassOf
Theorem in discrete mathematics
Theorem in theory of computation
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Theorems_in_computational_complexity_theory
is
rdf:
type
of
No free lunch in search and optimization
Cook–Levin theorem
Pseudorandom generator theorem
Gap theorem
Quantum threshold theorem
Time hierarchy theorem
Karp–Lipton theorem
PCP theorem
Toda's theorem
Speedup theorem
Linear speedup theorem
Max/min CSP/Ones classification theorems
Sipser–Lautemann theorem
Blum's speedup theorem
Savitch's theorem
Valiant–Vazirani theorem
Structured program theorem
Space hierarchy theorem
Master theorem (analysis of algorithms)
Fagin's theorem
Schaefer's dichotomy theorem