In Girards Beweisen und Typen können wir lesen: Aus algorithmischer Sicht weist der sequentielle Kalkül keinen Curry-Howard-Isomorphismus auf, da es eine Vielzahl von Möglichkeiten gibt, denselben Beweis zu schreiben. Dies hindert uns daran, es als typisierten Kalkül zu verwenden, obwohl wir eine...
Bei einer n×mn×mn \times m Booleschen Matrix XX\mathrm X sollen 000 Einträge das Meer und 111 Einträge das Land darstellen. Definieren Sie eine Insel als vertikal oder horizontal (aber nicht diagonal) neben 111 Einträgen. Die ursprüngliche Frage war, die Anzahl der Inseln in einer bestimmten Matrix...
Viele Komplexitätsklassen haben "vollständige" Probleme. Gibt es vollständige Probleme für die Komplexitätsklasse von Problemen, die in -Zeit gelöst werden können ?O(1)O(1)O(1) Eine Komplikation ist, dass diese Klasse vom Rechenmodell abhängt; Ein Problem kann in -Zeit in einem vernünftigen...
Wo finde ich Code, um zufällige selbstvermeidende Spaziergänge auf zwei- und dreidimensionalen Gittern zu generieren, deren Seitenlängen Zweierpotenzen sind? Die Wanderung sollte durch jeden Punkt des Gitters verlaufen. Wie kann ich einen zufälligen Hamilton-Pfad auf einem großen oder Gittergraphen...
Ich habe versucht, die Definitionen von Typensicherheit und Typensicherheit auseinanderzuhalten, und ich habe eine verdammt gute Zeit damit. Ich habe kürzlich einen Professor gefragt und nach einigem Nachdenken sagte er, dass es wirklich keinen Unterschied gibt. Doch nach der Lektüre dieses wie es...
Angenommen, die Kanten sind ungerichtet, haben ein eindeutiges Gewicht und keine negativen Pfade. Erzeugen diese Algorithmen die gleichen minimalen
Eine Aussage zum Satz von Rice finden Sie auf Seite 35 von "Computational Complexity: a Modern Approach" (Arora-Barak): Eine Teilfunktion von { 0 , 1 }∗{0,1}∗\{0,1\}^* bis { 0 , 1 }∗{0,1}∗\{0,1\}^* ist eine Funktion, die nicht unbedingt für alle ihre Eingaben definiert ist. Wir sagen, dass ein TM...
Ich arbeite an einem Problem im Zusammenhang mit lateinischen Quadraten und möchte eine Methode für das, was im Wesentlichen auf das Entscheidungsproblem hinausläuft: Eingabe : Ein endlicher, einfacher Graph G. Ausgabe : YESWenn G NOansonsten einen nicht trivialen Automorphismus hat . Daher......
Ich sehe viele algorithmische Probleme, die die Zeilen von: Sie haben ein ganzzahliges Array , Sie müssen so finden, dass in Zeit maximiert wird.h[1..n]≥0h[1..n]≥0h[1..n]\geq 0i,ji,ji,j(h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i)O(n)O(n)O(n) Offensichtlich besteht die -Zeitlösung darin, alle...
Ich habe erst kürzlich von KRR (Knowledge Representation and Reasoning) und ASP erfahren und vorher noch nichts davon gehört (außer ein bisschen über Prolog). Ich habe ein bisschen über sie gelesen und eine ihrer Hauptanwendungen scheinen AIs zu sein. Meine Frage wäre, wie weit verbreitet ASP oder...
Das Problem besteht darin, die Existenz von , st, zu beweisen oder zu widerlegen ; ; . ( steht für Hamming Distance)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i<j≤32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq
Ich bin auf dieses Problem gestoßen und habe Mühe, einen Weg zu finden, um es anzugehen. Irgendwelche Gedanken wären sehr dankbar! Angenommen, wir erhalten eine Matrix {−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} , zum Beispiel
Es gibt mehrere OOO Notationen wie oder und so weiter. Ich habe mich gefragt, ob es in der Realität Variationen wie oder gibt oder ob diese mathematisch falsch sind.O(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) Oder wäre es richtig zu sagen, dass es möglich ist, ein zu...
Ich arbeite mich durch das Sipser-Buch (2. Auflage) und bin auf dieses Beispiel gestoßen, das ich nicht verstehe. In dem Buch heißt es, dass diese NFA die leere Zeichenfolge ϵϵ\epsilon akzeptiert . Könnte mich jemand durchgehen lassen, warum dies der Fall ist? Mein Verständnis ist, dass ϵϵ\epsilon...
Es wird oft gesagt (zB in Wikipedia ) , dass die Laufzeit der Breitensuche (BFS) auf einem Graph G = ( V., E.)G=(V,E)G=(V,E) ist O ( | V.| + | E.| )O(|V|+|E|)O(|V|+|E|) . Jeder verbundene Graph hat jedoch | V.| ≤ | E.| +1|V|≤|E|+1|V|\leq |E|+1 und selbst in einem nicht verbundenen Diagramm...
Coq enthält Let-Ausdrücke in seiner Kernsprache. Wir können let-Ausdrücke in Anwendungen wie diese übersetzen: let x : t = v in b ~> (\(x:t). b) v Ich verstehe, dass dies nicht immer funktioniert, da der Wert vbeim Typchecking nicht verfügbar wäre b. Dies kann jedoch leicht durch ein spezielles...
In einem Video , in dem die Vorteile von Partikelfiltern für die Lokalisierung erörtert wurden , wurde impliziert, dass die Komplexitätskosten von Partikelfilterimplementierungen nicht eindeutig sind. Ist das richtig? Könnte jemand das
Ich arbeite an einem Parser für eine Sprache im C-Stil, und für diesen Parser benötige ich den regulären Ausdruck, der mit C-Stil / ** / Kommentare übereinstimmt. Jetzt habe ich diesen Ausdruck im Web gefunden: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Wie Sie sehen, ist dies jedoch ein ziemlich...
Ich lerne Programmieren in ML (OCaml) und habe früher nach ML-Funktionen vom Typ'a -> 'b gefragt . Jetzt habe ich ein bisschen mit Funktionen vom Typ experimentiert 'a list -> 'b list. Es gibt einige offensichtliche einfache Beispiele: let rec loop l = loop l let return_empty l = [] let rec...
Dies ist eine Folgefrage von dieser . In einer früheren Frage zu exotischen Zustandsautomaten haben Alex ten Brink und Raphael die Rechenfähigkeiten einer besonderen Art von Zustandsmaschine angesprochen: Min-Heap-Automaten. Sie konnten zeigen, dass die von solchen Maschinen akzeptierte Menge von...