Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Warum gibt es keine Approximationsalgorithmen für SAT und andere Entscheidungsprobleme?
Ich habe ein NP-vollständiges Entscheidungsproblem. Angesichts einer bestimmten Instanz des Problems möchte ich einen Algorithmus entwerfen, der JA ausgibt, wenn das Problem durchführbar ist, und NEIN, andernfalls. (Wenn der Algorithmus nicht optimal ist, treten natürlich Fehler auf.) Ich kann keine Näherungsalgorithmen für solche Probleme finden. Ich habe speziell nach SAT …
2
"Minimale" intuitionistische Typentheorie?
Ich bin überrascht, dass immer wieder neue Typen in Typentheorien aufgenommen werden, aber niemand scheint eine Minimal-Theorie zu erwähnen (oder ich kann sie nicht finden). Ich dachte, Mathematiker lieben minimale Dinge, nicht wahr? Wenn ich richtig verstehe, Propgenügen in einer Typentheorie mit einem Impredikativ λ-Abstraktion und Π-Typen. Mit "ausreichend" meine …
7
Lambda-Kalkül schien nicht abstrakt zu sein. Und ich kann den Sinn nicht erkennen
Die zugrunde liegende Frage: Was macht die Lambda-Rechnung für uns, was wir mit den in der Mittelschulalgebra allgemein erlernten Grundfunktionseigenschaften und der Notation nicht anfangen können? Was bedeutet abstrakt im Zusammenhang mit der Lambda-Rechnung? Mein Verständnis des Wortes abstrakt ist etwas, das von der Maschinerie, der konzeptuellen Zusammenfassung eines Konzepts, …
2
Inwiefern ist die Mandelbrot-Menge „berechenbar“?
Das Mandelbrot-Set ist eine wunderschöne Kreatur in der Mathematik. Es gibt viele schöne Bilder dieses Sets, die mit hoher Präzision erstellt wurden, so dass dieses Set in gewissem Sinne "berechenbar" ist. Was mich jedoch beunruhigt, ist die Tatsache, dass es nicht einmal rekursiv aufzählbar ist - einfach weil die Menge …
1
Wann ist SAT vs. Constraint Satisfaction anzuwenden?
Wenn ich ein schweres Problem habe, besteht ein Standardansatz darin, es als SAT-Instanz auszudrücken und einen SAT-Solver darauf auszuführen. Ein weiterer Standardansatz besteht darin, es als Problem der Einschränkungszufriedenheit auszudrücken und einen CSP-Löser zu verwenden. Die beiden fühlen sich irgendwie vage ähnlich, was Arten von Problemen angeht, die sich natürlich …
4
Simulieren Sie einen fairen Würfel mit einem vorgespannten Würfel
Wie kann bei einem vorgespannten seitigen Die eine Zufallszahl im Bereich gleichmäßig erzeugt werden? Die Wahrscheinlichkeitsverteilung der Würfelflächen ist nicht bekannt. Es ist lediglich bekannt, dass jede Fläche eine Wahrscheinlichkeit ungleich Null aufweist und dass die Wahrscheinlichkeitsverteilung bei allen Würfen gleich ist (insbesondere sind die Würfe unabhängig). Dies ist die …
1
Sind Null-Eins-Puzzles NP-komplett?
Ich interessiere mich für eine kleine Variante des Kachelns, das "Puzzle": Jede Kante eines (quadratischen) Kachels ist mit einem Symbol aus und zwei Kacheln können nebeneinander platziert werden, wenn das Symbol an der gegenüberliegenden Kante einer Kachel und das Symbol an der gegenüberliegenden Kante der anderen Kachel , für einige …
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.