Diskussion:Satz von Immerman und Szelepcsényi

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 7 Jahren von 149.172.134.182 in Abschnitt Beweis
Zur Navigation springen Zur Suche springen

Beweis

[Quelltext bearbeiten]

"Der Beweis verwendet die Beweistechnik des interaktiven nichtdeterministischen Zählens." Etwas ausführlicher, was der Beweis grob umrissen denn so macht, wäre schon ganz interessant. :) 149.172.134.182 17:55, 1. Apr. 2017 (CEST)Beantworten