Angenommen, für jedes gibt es eine Turingmaschine , die eine Sprache in der Zeit . Gibt es einen einzelnen Algorithmus, der in der Zeit ? (Hier wird der Term in Form von , der Eingabelänge, gemessen .)M ε L O ( n a + ε ) L O ( n a + O ( 1 ) ) O ( 1 ) n
Macht es einen Unterschied, ob die Algorithmen in Bezug auf berechenbar oder effizient berechenbar sind ? ϵ
Motivation: In vielen Beweisen ist es einfacher, Algorithmen der Zeit zu konstruieren als den limitierenden Algorithmus . Insbesondere müssen Sie den konstanten Term in begrenzen, um an die Grenze . Es wäre schön, wenn es ein allgemeines Ergebnis gibt, das Sie aufrufen können, um direkt an das Limit zu gelangen.O ( n a + O ( 1 ) ) O ( n a + ε ) O ( n a + O ( 1 ) )