Zwei Teile von TCS sind Algorithmen und Komplexität. Ich sage vereinfacht gesagt, dass Algorithmen das Studium von Obergrenzen sind und zeigen, dass Sie etwas (mit bestimmten eingeschränkten Ressourcen) tun können , und Komplexität bedeutet, dass Sie es nicht ohne einige minimale Ressourcen tun können.
So oft wird ein algorithmisches Problem in einem Entscheidungsmodell angegeben, um es einer Komplexitätsklasse zuzuordnen.
Aber etwas, das mich immer gestört hat, ist, dass einige elementare Algorithmen nie direkt als zu einer bestimmten Klasse gehörend erwähnt werden. Ein Beispiel ist das (Vergleichs-) Sortieren. Nach meinem Geschmack scheint eine relevante Klasse einfach zu mangelhaft zu sein. (Ist es wirklich so, dass nur der Protokollbereich überprüft wird, in dem das Ergebnis sortiert ist? Das scheint einfach zu schwach zu sein, oder ich verstehe die richtige Entscheidungsversion nicht).
Was ist die beste / am besten geeignete / nützlichste Komplexitätsklasse, in der die Vergleichssortierung liegt?
Ich glaube, FP ist das, wonach Sie suchen.
quelle