15 тысяч подписчиков
278 видео
Logik erster Stufe #9 - Isomorphie
Why measure theory, anyway?
Constraint Satisfaction Probleme
Alternation #4 - ALogSpace = P
Satz von Baker, Gill und Solovay
Elliptic curves - The group link geometrically
P, NP und ExpTime
Formale Sprachen #36 - Kellerautomaten zu CFG
Hierarchical Navigable Small Worlds
Universelle Turingmaschinen
Polyzeit-Hierarchie #4 - Vollständige Probleme
More NP-complete problems
Alternierung #3 - AP = PSpace
Die Komplexitätsklasse NP
Schaltkreiskomplexität #15 - Untere Schranken
NP Vollständigkeit
Mahaneys Theorem
NP vollständige Probleme
Die Isomorphie Vermutung für NP-Vollständigkeit
Polyzeit-Hierarchie #3 - Logische Charakterisierung
Alternierung #2 - Die Polynomielle Hierarchie mit alternierenden Turingmaschinen
Polyzeit-Hierarchie #1 - Orakel-Turingmaschinen
Die Komplexitätsklasse P
Set64: Spiel programmieren mit Python
Ladners Theorem
Ein Algorithmus für Primfaktorzerlegung (manim animation)
Complements and coNP