Diskussion:Vollständigkeit (Komplexitätstheorie)

"zum Nachweis der Äquivalenz zweier auf unterschiedliche Weise definierten Komplexitätsklassen."

- wenn mich mein gutes Deutsch nicht komplett im Stich lässt, dann muss das definitiv definierter heissen. Es heisst schliesslich in verkürzter Form korrekt zweier definierter Komplexitätsklassen, die Präzisierung zwischendrin ist da irrelevant und modifiziert nicht den sprachlichen Ausdruck.

Kürzeres, vollständig äquivalentes Beispiel: "zweier unendlich größerer Probleme"

Diesen Fehler sieht man leider viel zu häufig, und jedesmal stolpert man dann drüber und tut sich weh.

-Andreas Mohr

Redirect

Ich habe einen Redirect zu dem neu erstellten Artikel Schwere und Vollständigkeit (Theoretische Informatik) angelegt. Der Unterschied ist, dass im letzteren Artikel auch die berechenbarkeitstheoretischen Aspekte der Vollständigkeit und gesondert das Konzept der Schwere eines Problems besprochen werden. Ich war der Meinung, dass es besser ist, die beiden Artikel zu vereinigen, daher habe ich alle relevanten Informationen aus diesem Text in den neuen eingepflegt. Die Abschnitte "Äquivalenz von Komplexitätsklassen" und "Vollständigkeitsnachweise" hielt ich aber für zu wage formuliert, um sie sinnvoll übernehmen zu können. Das kann aber natürlich gern noch nachgeholt werden.

-- 84.19.199.194 13:18, 5. Okt. 2013 (CEST)