Aus der Sicht des gesunden Menschenverstandes ist es leicht zu glauben, dass das Hinzufügen von Nichtdeterminismus zu seine Potenz erheblich erweitert, dh, ist viel größer als . Schließlich erlaubt der Nichtdeterminismus einen exponentiellen Parallelismus, der zweifellos sehr mächtig erscheint. N P...
Ich habe gelegentlich gehört, dass Leute über Quantenalgorithmen und über Zustände und die Fähigkeit gesprochen haben, mehrere Möglichkeiten gleichzeitig in Betracht zu ziehen, aber ich habe es nie geschafft, jemanden dazu zu bringen, das Rechenmodell dahinter zu erklären. Klar, ich frage nicht,...
Das Betrachten von Fragen durch die algorithmische Linse (dh aus algorithmischer oder komplexer Sicht) hat sich in Disziplinen außerhalb des "Standardbereichs" der Informatik als nützlich erwiesen. Insbesondere hat CS durch Computational Biology (Biologie), durch Quanteninformationsverarbeitung...
Viele Experten glauben, dass die Vermutung wahr ist, und verwenden sie für ihre Ergebnisse. Meine Sorge ist, dass die Komplexität stark von der P ≠ N P- Vermutung abhängt .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Meine Frage lautet also: Kann / sollte man die...
Mich interessiert, warum natürliche Zahlen bei den Autoren von Büchern über Programmiersprachentheorie und Typentheorie so beliebt sind (z. B. J. Mitchell, Grundlagen für Programmiersprachen und B. Pierce, Typen und Programmiersprachen). Die Beschreibung des einfach getippten Lambda-Kalküls und...
Das Schöne an der Entwicklung in einem Universum mit drei räumlichen Dimensionen ist, dass wir Problemlösungsfähigkeiten für Objekte im Raum entwickelt haben. So können wir uns zum Beispiel ein Triplett von Zahlen als einen Punkt in 3D vorstellen und daher eine Berechnung über Tripletts von Zahlen...
Grothendieck ist verstorben . Er hatte einen massiven Einfluss auf die Mathematik des 20. Jahrhunderts, die bis ins 21. Jahrhundert andauerte. Diese Frage wird zum Beispiel in Anlehnung an Alan Turings Beiträge zur Informatik gestellt . Was sind die wichtigsten Einflüsse von Grothendieck auf die...
Das Studium von Ökologie und Evolution wird immer mathematischer, aber die meisten theoretischen Werkzeuge scheinen aus der Physik zu stammen. In vielen Fällen sind die Probleme jedoch sehr diskret (siehe z. B. SLBS00 ) und könnten aus Informatiksicht von Nutzen sein . Dennoch sind mir nur wenige...
Ich habe in mehreren Artikeln gelesen, dass die Existenz von Einwegfunktionen weithin angenommen wird. Kann jemand Aufschluss darüber geben, warum dies der Fall ist? Welche Argumente haben wir für die Existenz von
Welche Implikationen hätte ein Beweis der abc-Vermutung für tcs?
Es gibt viele Anwendungen der realen Analyse in der theoretischen Informatik, die Eigenschaftsprüfung, Kommunikationskomplexität, PAC-Lernen und viele andere Forschungsbereiche abdecken. Ich kann mir jedoch kein Ergebnis in TCS vorstellen, das auf einer komplexen Analyse beruht (außerhalb des...
Verschränkung wird oft als Schlüsselbestandteil hochgehalten, der Quantenalgorithmen gut macht ... Quanten, und dies kann auf die Bell-Zustände zurückgeführt werden, die die Idee der Quantenphysik als probabilistisches Modell mit verstecktem Zustand zerstören. In der Quanteninformationstheorie...
Ich habe daran gearbeitet, einige Ergebnisse aus der Komplexität von Berechnungen in die theoretische Biologie, insbesondere Evolution und Ökologie , einfließen zu lassen , mit dem Ziel, für Biologen interessant / nützlich zu sein. Eine der größten Schwierigkeiten, mit denen ich konfrontiert war,...
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...
Um mein Verständnis zu überprüfen, möchte ich einige Gedanken über den Energiebedarf der Berechnung teilen. Dies ist eine Folge meiner vorherigen Frage und könnte mit Vinays Frage nach den Erhaltungsgesetzen zusammenhängen . Es ist mir aufgefallen, dass aus thermodynamischer Sicht das Ausführen...
Ich las " Ist P gegen NP formal unabhängig? ", Aber ich wurde verwirrt. Es ist weit verbreitet in der Komplexitätstheorie glaubt , dass P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . Meine Frage ist, was ist, wenn dies nicht nachweisbar ist (sagen wir in ZFCZFCZFC ). (Nehmen wir an, wir finden nur heraus,...
In letzter Zeit habe ich mich mit Approximationsalgorithmen für NP-schwierige Probleme befasst und mich über die theoretischen Gründe für deren Untersuchung Gedanken gemacht. (Die Frage soll nicht entzündlich sein - ich bin nur neugierig). Einige wirklich schöne Theorien sind aus der Untersuchung...
Ich bin im weitesten Sinne neugierig auf das, was über Parallelisierungsalgorithmen in P bekannt ist. Ich habe den folgenden Wikipedia-Artikel zu diesem Thema gefunden: http://en.wikipedia.org/wiki/NC_%28complexity%29 Der Artikel enthält folgenden Satz: Es ist nicht bekannt, ob NC = P ist, aber die...
Diskussion : Ich habe in letzter Zeit einige Zeit damit verbracht, verschiedene Dinge in der Komplexität der Kommunikation zu lernen. Zum Beispiel habe ich mich wieder mit dem relevanten Kapitel in Arora / Barak vertraut gemacht, angefangen, einige Artikel zu lesen, und das Buch von Kushilevitz /...
Im Bereich des verteilten Rechnens scheint das Konsensproblem eines der zentralen Themen zu sein, das intensiv erforscht wurde. Insbesondere die Arbeit "Impossibility of Distributed Consensus with One Faulty Process" wurde 2001 mit dem PODC Influential Paper Award ausgezeichnet . Warum ist das...