Als «big-picture» getaggte Fragen

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

10
Echte Computer haben nur eine begrenzte Anzahl von Zuständen. Welche Relevanz haben Turing-Maschinen für echte Computer?
Echte Computer haben nur begrenzten Speicher und nur eine begrenzte Anzahl von Zuständen. Sie sind also im Wesentlichen endliche Automaten. Warum verwenden theoretische Informatiker die Turing-Maschinen (und andere gleichwertige Modelle) zum Studium von Computern? Was bringt es, diese viel stärkeren Modelle in Bezug auf echte Computer zu untersuchen? Warum reicht …

4
Warum konnten wir keine einheitliche Komplexitätstheorie für verteiltes Rechnen entwickeln?
Das Gebiet des verteilten Rechnens ist bei der Entwicklung einer einzelnen mathematischen Theorie zur Beschreibung verteilter Algorithmen völlig unzulänglich. Es gibt verschiedene Modelle und Frameworks für verteilte Berechnungen, die einfach nicht miteinander kompatibel sind. Die bloße Explosion variierender zeitlicher Eigenschaften (Asynchronität, Synchronität, Teilsynchronität), verschiedener Kommunikationsprimitiven (Nachrichtenübergabe vs. gemeinsamer Speicher, Broadcast …



2
Mulmuleys GCT-Programm
Es wird manchmal behauptet, dass Ketan Mulmuleys geometrische Komplexitätstheorie das einzige plausible Programm ist, um die offenen Fragen der Komplexitätstheorie wie die P vs. NP-Frage zu klären. Es gab mehrere positive Kommentare von berühmten Komplexitätstheoretikern zum Programm. Laut Mulmuley wird es lange dauern, bis die gewünschten Ergebnisse erzielt werden. Der …


5
Die unvernünftige Kraft der Uneinheitlichkeit
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 PPP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} Wenn wir dagegen \ mathsf {P} nur um …

7
Algorithmisches Objektiv in den Sozialwissenschaften
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 (Physik) einen Einfluss auf die Biologie, und KI und Komplexitätstheorie scheinen regelmäßig mit den Neurowissenschaften …

11
Was ist das Quantenrechenmodell?
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, wie Quantencomputer physikalisch aufgebaut sind, sondern wie man …

7
Sollten wir
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 Vermutung, solange sie nicht bewiesen ist, als …


6
Warum Naturals statt Integer?
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 insbesondere der PCF-Programmiersprache basiert normalerweise auf Nat's und Bool's. Für die Menschen, die …




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.