Als «big-picture» getaggte Fragen

Das Big-Picture-Tag steht für eine "breite Gesamtansicht oder Perspektive eines Problems oder Problems".

13
Komplexe Analyse in der theoretischen Informatik
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 Quantencomputers, wo komplexe Zahlen im Modell eine Rolle spielen). Hat jemand ein Beispiel …
3
Können wir den „Quantitätsgrad“ in einem Quantenalgorithmus quantifizieren?
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 (nach meinem eher schwachen Verständnis) kann Verschränkung auch als konkrete Ressource verwendet werden, die die …
3
Rechtfertigung der asymptotischen Worst-Case-Analyse für Wissenschaftler
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, war die Rechtfertigung des Nutzens einer asymptotischen …
1
Energieüberlegungen zur Berechnung
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 einer Berechnung in gewissem Maße als analog zum …
5
Theoretische Anwendungen für Approximationsalgorithmen
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 von Approximationsalgorithmen hervorgegangen - der Verbindung zwischen dem …
3
Grenzen des Parallel Computing
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 meisten Forscher vermuten, dass dies falsch ist, was bedeutet, …
1
Hat die Kryptographie inhärente thermodynamische Kosten?
Reversible Computing ist ein Rechenmodell, das nur thermodynamisch reversible Operationen zulässt. Nach dem Landauer-Prinzip, das besagt, dass das Löschen einer Information Joule Wärme freigesetzt werden, werden Übergangsfunktionen ausgeschlossen, die nicht eins zu eins sind (z. B. die Booleschen UND- und ODER-Operatoren). Es ist bekannt, dass die Quantenberechnung von Natur aus …
4
Wie werden Nebenwirkungen in der Semantik behandelt?
In Anthony Aabys Abschnitt "Einführung in Programmiersprachen" über Semantik macht er folgende Bemerkung: Ein Großteil der Arbeit in der Semantik von Programmiersprachen ist durch die Probleme motiviert, die beim Versuch auftreten, imperative Programme zu konstruieren und zu verstehen - Programme mit Zuweisungsbefehlen. Da der Zuweisungsbefehl den Variablen Werte neu zuordnet, …
11
Gibt es Anwendungen von Techniken in der realen Analyse für die theoretische Informatik?
Ich habe weit und breit nach solchen Anwendungen gesucht und bin größtenteils zu kurz gekommen. Ich kann viele Anwendungen von Topologie und ähnlichen Strukturen auf abzählbaren (oder unzählbaren) Mengen finden, aber selten finde ich tatsächlich unzählbare Mengen als Untersuchungsgegenstand von Informatikern, was dazu führt, dass Techniken aus der Analyse benötigt …
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.