Als «terminology» getaggte Fragen

7
Inkonsistenter Zustand einer Sperre

Ich lese die Kunst der Multiprozessor-Programmierung und versuche, ihr Konzept inkonsistenter Sperren zu verstehen. Insbesondere auf Seite 37 ist mir die Definition 2.8.1 einer inkonsistenten Sperre sowie Lemma 2.8.1 nicht klar. Definition 2.8.1. Der Status eines Sperrobjekts s ist in jedem...

7
Wie heißt es, wenn zwei Probleme ähnlich sind?

Angenommen, es gibt zwei Probleme PPP und QQQ. Wie kann ich das sagen "lösen PPP ist das gleiche mit dem Lösen QQQ"? Zum Beispiel, wenn PPP ist NP-Hard, dann können wir sagen "PPP kann in Polynomzeit gelöst werden, wenn ein Algorithmus existiert AAA das löst QQQ in Polynomzeit ". Es sollte eine...

7
Standarddefinition der Turingmaschine

Ich habe zwei berühmte Bücher über "Automaten und formale Sprachtheorie" verfolgt: Micheal Sipsers Buch Jeffrey Ullman und John Hopcrofts Buch In beiden Büchern unterscheidet sich die Tupel-Level-Definition der Turing-Maschine voneinander. Obwohl die Arbeit auf abstrakter Ebene gleich ist,...