Als «time-complexity» getaggte Fragen

8
Nach dem gestrigen StackOverflow-Ausfall - ist der Abgleich regulärer Ausdrücke wirklich schwierig oder ist die Implementierung einfach ineffizient?

Gestern war StackOverflow eine halbe Stunde lang nicht verfügbar. Später schrieben sie einen Blog-Beitrag darüber , in dem sie ausführlich darlegten, dass das Problem auf eine unerwartet hohe Komplexität des Abgleichs regulärer Ausdrücke zurückzuführen sei. Kurz gesagt, der reguläre Ausdruck...

8
Warum ist log (n) eine raumkonstruierbare Funktion?

Laut "Konstruierbare Funktion" , Wikipedia: In der Komplexitätstheorie ist eine zeitkonstruierbare Funktion eine Funktion f von natürlichen Zahlen zu natürlichen Zahlen mit der Eigenschaft, dass f ( n ) von einer Turingmaschine in der Zeit der Ordnung f ( n ) aus n konstruiert werden kann . Aber...

7
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...

7
Maschinen in P unentscheidbar?

Bei einer Turing-Maschine sagen wir, dass wenn die von der Maschine festgelegte Sprache von einer Maschine in Polynomzeit bestimmt werden kann. Wir sagen, dass wenn die Maschine in Polynomzeit läuft. Beachten Sie, dass es Maschinen geben kann, die unnötig lange laufen, aber dennoch eine Sprache in...