Als «ho.history-overview» getaggte Fragen

Die Geschichte hinter den Themen: Woher kommt ihr Name, wer hat sie entdeckt, als sie zum ersten Mal bewiesen wurden, wie sie sich im Laufe der Jahre entwickelt haben.

5
Historische Gründe für die Einführung von Turing Machine als primäres Berechnungsmodell.
Ich verstehe, dass Turings Modell zum "Standard" bei der Beschreibung von Berechnungen geworden ist. Ich möchte wissen, warum dies der Fall ist - das heißt, warum das TM-Modell weit verbreiteter ist als andere theoretisch äquivalente Modelle (meines Wissens nach), zum Beispiel Kleenes μ-Rekursion oder der Lambda-Kalkül (ich verstehe) dass erstere …
1
Existiert Rabin / Yao (zumindest in einer zitierbaren Form)?
NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, Einige Komplexitätsfragen im Zusammenhang mit Distributed Computing (vorläufiger Bericht) , STOC 1979, S. 209–213. doi: 10.1145 / 800135.804414 P(x)P(x)P(x)qqqp−1p−1p-1p∈[3n,6n]p∈[3n,6n]p \in [3n,6n]n=⌈logN⌉n=⌈log⁡N⌉n = \lceil \log N\rceil zu Bob.(q,P(q)modp)(q,P(q)modp)(q, P(q) \mod p) Alexander Razborov, Kommunikationskomplexität , Kapitel 8 von "Eine Einladung zur Mathematik", S. 97–117, Springer, 2011. …
8
Alan Turings Beiträge zur Informatik
Alan Turing , einer der Pioniere der (theoretischen) Informatik, hat viele wegweisende wissenschaftliche Beiträge auf unserem Gebiet geleistet, einschließlich der Definition von Turing-Maschinen, der Church-Turing-These, der Unentscheidbarkeit und des Turing-Tests. Seine wichtigen Entdeckungen beschränken sich jedoch nicht auf die, die ich aufgelistet habe. Anlässlich seines 100. Geburtstages hielt ich es …
2
Referenz für die NP-Härte von 3-Farben?
Ich habe eine historische Frage. Ich versuche, die Referenz für die Tatsache zu bestimmen, dass die 3-Färbbarkeit von Graphen (alternativ Färbbarkeit für gegebenes ) NP-hart ist.kkkk ≥ 3k≥3k\geq 3 Die verlockende Antwort lautet „Karps Originalpapier“, aber das ist falsch. Hier ist ein Scan: Reduzierbarkeit unter kombinatorischen Problemen, Karp (1972) . …
2
"Steve's class": Herkunft von SC
Wir "wissen", dass nach Steve Cook und nach Nick Pippenger benannt ist. Wenn ich mich nicht irre, hat Steve Cook NC zu Ehren von Nick Pippenger genannt, und mir wurde gesagt, dass auch das Gegenteil der Fall ist. Allerdings konnte ich weder in Steve Cooks Aufsatz über DCFLs noch in …
2
Ursprünge und Anwendungen von Theorie A vs Theorie B?
In einigen kürzlich gestellten Fragen ( q1 q2 ) wurde "Theorie A" gegen "Theorie B" diskutiert, um die Kluft zwischen dem Studium von Logik und Programmiersprachen und dem Studium von Algorithmen und Komplexität zu erfassen. Diese Terminologie war für mich neu, und bei einer schnellen Websuche wurden keine offensichtlichen Verweise …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.