Ich habe gelesen, dass Church anfangs den Kalkül als Teil seines Postulate of Logic- Papiers vorschlug (was eine dichte Lektüre ist). Doch Kleene bewies, dass sein "System" inkonsistent war. Danach extrahierte Church relevante Dinge für seine Arbeit über "effektive Berechenbarkeit" und gab seine...
Karatsubas Algorithmus zur schnellen Multiplikation wurde erstmals in A. Karatsuba und Yu veröffentlicht. Ofman (1962), "Multiplikation vieler digitaler Zahlen mit automatischen Computern", Proceedings of the UdSSR Academy of Sciences 145: 293–294. Laut Karatsuba (1995, "Die Komplexität der...
Ich habe zwei historische Fragen: Wer hat das nicht deterministische Rechnen zuerst beschrieben? Ich weiß, dass Cook NP-vollständige Probleme beschrieb und dass Edmonds vorschlug, dass P-Algorithmen "effiziente" oder "gute" Algorithmen sind. Ich suchte in diesem Wikipedia-Artikel und überflog "Über...
Nach (unbestätigter) historischer Darstellung hat Kolmogorov angenommen, dass jede Sprache in PP\mathsf{P} eine lineare Schaltungskomplexität hat. (Siehe die frühere Frage Kolmogorovs Vermutung, dass PPP lineare Schaltkreise hat .) Beachten Sie, dass dies impliziert P≠NPP≠NP\mathsf{P}\neq...
Ich hatte erst kürzlich eine Diskussion über Turingmaschinen, als ich gefragt wurde: "Ist die Turingmaschine von Automaten abgeleitet, oder ist es umgekehrt?" Ich wusste die Antwort natürlich nicht, aber ich bin neugierig, es herauszufinden. Die Turing-Maschine ist im Grunde eine etwas...
Ich habe heute Untergrenzen unterrichtet , und einer der Schüler fragte nach dem Grund für den Namen . Die offizielle Erklärung ist, dass das "A" für "Alternation" steht.AC0AC0AC^0ACACAC Ich kann mich vage daran erinnern, dass ich vor vielen Jahren erfahren habe, dass Nick Pippenger Steve Cook nach...
Gibt es einen Standardverweis, um Ökonomen von der Relevanz der Komplexitätstheorie im Druck zu überzeugen? Ich kenne Noam Nisans Blogpost , Tim Roughgardens Umfrage und Kapitel 11 von Scott Aaronsons Aufsatz . Diese Stellen sind für Informatiker zugänglich, verwenden jedoch nicht die Sprache von...
Gibt es interessante Fälle von Algorithmen, die mit nachgewiesenen Grenzen veröffentlicht wurden und in denen später streng bessere Grenzen veröffentlicht wurden? Keine besseren Algorithmen mit besseren Grenzen - das ist offensichtlich passiert! Eine bessere Analyse führt jedoch zu einer besseren...
Ich interessiere mich für die frühe Geschichte der veröffentlichten Ergebnisse zu Allzweck-Raum-Zeit-Kompromissen. Insbesondere möchte ich wissen, wer zuerst die folgende Art von Algorithmus zur Auswertung einer Berechnung mit einem beliebigen Datenflussdiagramm mit Grad O (1) unter Verwendung...
Wer hat die Idee der Rekursion eingeführt ? Kann jemand erklären, woher es kommt und wie es sich auf die Informatik
Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die...
Zum 100. Geburtstag von Alan Turing möchte ich einen Dokumentarfilm über sein Leben sehen. Es stehen jedoch mehrere Dokumentationen zur Auswahl. Welcher Dokumentarfilm über Alan Turing ist Ihr Favorit? Bitte fügen Sie nur einen Dokumentarfilm pro Antwort
Ich würde gerne etwas über die Geschichte dieser beiden Begriffe erfahren: " effizient ", " machbar ". Wer hat sie zum ersten Mal für Berechnungen / Algorithmen verwendet? (im modernen Sinne, dh 20. Jahrhundert). Wie sind sie zum Mainstream geworden? Wie wurden diese beiden Begriffe als Synonyme...
Ich suche nach: Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960 Zusammenfassung: „Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren...
Dyck-Sprachen durch die folgende Grammatik S → S S definiertDyck(k)Dyck(k)\mathsf{Dyck}(k) über der Menge der Symbole { ( 1 , … , ( k , ) 1 , … , ) k } . Intuitiv sind Dyck-Sprachen die Sprachen der ausgeglichenen Klammern von kS→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S...
Während ich unterrichtete, wie FSMs unter Verwendung synchroner logischer Schaltungen implementiert werden, fiel mir ein faszinierender Zufall auf: Sowohl in der theoretischen CS-Welt als auch in der Welt der Elektrotechnik wird "Zustand" typischerweise als (und der Zustandsraum Q ) bezeichnet. Ich...
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an,...
Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den...
Es ist bekannt, dass die Analysemaschine von Charles Babbage eine Architektur hatte, die stark an die moderne Von Neumann-Architektur erinnert. Bemerkenswert ist auch, dass die Tabellen zur Darstellung eines Programms für Babbages Analysemaschine ( http://www.fourmilab.ch/babbage/figures/menat3.png...
(Entschuldigung, wenn dies falsch oder zu weit gefasst ist. Ich bin offen für Vorschläge zur Neuformulierung.) Ich bin daran interessiert, die "alte" Geschichte der Max-Flow-Algorithmen und der diskreten Optimierungsalgorithmen im Allgemeinen zurückzuverfolgen. Ford-Fulkerson ist mein Strohmann...