Dlogime

Im Computerkomplexitätstheorie, Dlogime ist der Komplexitätsklasse von allen Rechenprobleme lösbar in a logarithmisch Menge von Berechnungszeit auf deterministisch Turing Maschine.Es muss auf a definiert werden zufällige Zugriffsmaschineda sonst das Eingangsband länger ist als der Bereich der Zellen, auf den die Maschine zugänglich ist.Es ist ein sehr schwaches Modell der Zeitkomplexität: Keine zufällige Turing-Maschine mit einer kleineren deterministischen Zeit kann auf die gesamte Eingabe zugreifen.[1]

Beispiele

DlogTime beinhaltet Probleme im Zusammenhang mit der Überprüfung der Länge des Eingangs.[1] Zum Beispiel das Problem "Ist der Eingang der geraden Länge?", die in logarithmischer Zeit mit Verwendung gelöst werden können binäre Suche.

Anwendungen

Dlogime-Gleichmäßigkeit ist wichtig in Komplexität der Schaltung.[1][2]

Verweise

  1. ^ a b c Johnson, David S. (1990), "Ein Katalog der Komplexitätsklassen", Handbuch der theoretischen Informatik, Vol.EINElsevier, Amsterdam, S. 67–161, HERR 1127168. Siehe insbesondere p. 140.
  2. ^ Allender, Eric;Gore, Vivek (1993), "über starke Trennungen von AC0",", Fortschritte in der Computerkomplexitätstheorie (New Brunswick, NJ, 1990), Dimacs Ser.Diskrete Mathematik.Theoret.Computer.Sci., Vol.13, Amer.Mathematik.Soc., Providence, Ri, S. 21–37, HERR 1255326. Siehe insbesondere p. 23.