SAT-Löser lösen immer effizienter große Instanzen und werden in verschiedenen Zusammenhängen als Back-End eingesetzt. Jedes Mal, wenn jemand sie zur Lösung eines Problems in einem bestimmten Bereich verwenden möchte, muss er / sie eine Ad-hoc-Codierung entwickeln, die nicht nur die richtigen...
Ich habe erfahren, dass die Grafikverarbeitungseinheit so etwas wie Memory Coalescing hat. Als ich darüber las, war mir das Thema nicht klar. Steht dies in irgendeiner Weise im Zusammenhang mit der Parallelität der Speicherebenen? Ich habe in Google gesucht, konnte jedoch keine zufriedenstellende...
Einige wichtige Aspekte: Ich bin ein Freizeitinformatiker und ein angestellter Software-Ingenieur. Also, entschuldigen Sie, wenn diese Aufforderung etwas außerhalb des linken Feldes zu liegen scheint - ich spiele routinemäßig mit mathematischen Simulationen und offenen Problemen, wenn ich nichts...
Ich bin selbstlernende Beweis Assistenten und entschied sich für einige grundlegende Beweise zu starten und arbeiten , um meinen Weg nach oben. Gibt es ein Repository für die Hierarchie der Beweise, da Beweise auf anderen Beweisen basieren und so eine Hierarchie bilden? Ich weiß, dass ich einen...
Bei Stack Overflow las ich eine Frage, ob es NP- schwierig sei, alle einfachen Zyklen in einem Diagramm mit einem bestimmten Knoten aufzulisten, und mir fiel ein, dass ich mir keine Komplexitätsklasse vorstellen konnte, für die dies gut geeignet war Sprechen Sie über Probleme der Form "Listen Sie...
Was sind einige Beispiele für schwierige Entscheidungsprobleme, die in der Polynomzeit gelöst werden können? Ich suche nach Problemen, bei denen der optimale Algorithmus "langsam" ist oder bei denen der schnellste bekannte Algorithmus "langsam" ist. Hier sind zwei Beispiele: Erkennen perfekter...
In letzter Zeit habe ich großes Interesse daran, Aspekte von (funktionalen) Programmiersprachen zu verstehen und zu beweisen. Wenn ich jedoch tiefer in die Materie eintauche, sind Dinge wie Berechnung, Kategorietheorie und Denotationssemantik ohne angemessene Erklärung etwas schwierig zu...
Das Problem der minimalen Bandbreite besteht darin, eine Reihenfolge von Graphknoten auf einer ganzzahligen Linie zu finden, die den größten Abstand zwischen zwei benachbarten Knoten minimiert. Das Entscheidungsproblem ist auch für binäre Bäume NP-vollständig. Komplexitätsergebnisse für die...
Cache-vergessene Algorithmen und Datenstrukturen sind eine ziemlich neue Sache, die von Frigo et al. in Cache-vergessenen Algorithmen, 1999 . Prokops Dissertation aus dem gleichen Jahr stellt auch die frühen Ideen vor. Das Papier von Frigo et al. präsentieren einige experimentelle Ergebnisse, die...
Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also...
Kann mich jemand auf von Experten begutachtete Artikel verweisen, in denen die Vor- oder Nachteile des Schreibens von Code in einem funktionalen Stil untersucht werden? Gibt es Papiere, in denen die Anwendungen von Lambda Calculus in Bereichen wie Maschinelles Lernen, Sprachdesign usw. erörtert...
Lassen ein Graph, und sei und zwei Eckpunkten sein . Können wir effizient einen kürzesten - - Pfad gleichmäßig und unabhängig von der Menge aller kürzesten Pfade zwischen und zufällig ? Der Einfachheit halber können wir annehmen, dass einfach, ungerichtet und ungewichtet
Gemäß dem Wikipedia-Artikel bedeutet das L in "Abtastung von links nach rechts" und das "R" bedeutet "Ableitung ganz rechts". In Knuths Originalarbeit über L R ( k ) -Grammatiken definiert er L R ( k ) (auf Seite 610) als eine Sprache, die "mit gebundenem k von links nach rechts übersetzbar ist"...
Nehmen wir an, wir haben zwei Zahlen lll und und wollen für l \ le i, \, j \ le r finden .max ( i ⊕ j ) l ≤ i ,rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Der naive Algorithmus überprüft einfach alle möglichen Paare; Zum Beispiel in Ruby hätten wir: def max_xor(l, r) max = 0...
Ich habe eine Reihe verwandter Fragen zu diesen beiden Themen. Erstens, nur die meisten Komplexität Texte über die Klasse Glanz . Gibt es eine gute Ressource, die die Forschung ausführlicher behandelt? Zum Beispiel etwas, das alle meine folgenden Fragen behandelt. Außerdem gehe ich davon aus, dass...
Ich bin ein 16-jähriger Mann, dem kürzlich ein Freund eine große Enzyklopädie über Informatik geschenkt hat. Normalerweise interessiere ich mich nicht so für Computer und Technologie, aber die Informatik hat begonnen, mich zu faszinieren. Ich habe jedoch vor, Physik und / oder Mathematik zu...
Ich frage mich, welcher Algorithmus in Bezug auf die Big- Notation am bekanntesten ist, um die ganzzahlige lineare Programmierung zu lösen?OOO Ich weiß, dass das Problem vollständig ist, also erwarte ich nichts Polynomielles. Ich weiß, dass es viele Heuristiken gibt, die in praktischen Anwendungen...
Eine klassische Anwendung von Teilen und Erobern besteht darin, das folgende Problem zu lösen: Zählen Sie für ein Array verschiedener, vergleichbarer Elemente die Anzahl der Inversionspaare im Array: Paare so dass und .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt...
Wikipedia's Graph Isomorphism Problem Seite scheint darauf hinzudeuten, dass es nicht gelöst wurde. Ein Freund von mir wies jedoch auf einen polynomialen Zeitalgorithmus für den Graphisomorphismus hin . Ich bin nicht raffiniert genug, um der Argumentation in der Zeitung zu folgen. Ich habe meinen...
Das Post Correspondence Problem (PCP) ist nicht zu entscheiden. Die beschränkte Version des PCP ist -vollständig und die markierte Version des PCP (die Wörter einer der beiden Listen müssen sich im ersten Buchstaben unterscheiden) ist in P S P A CN PNP\mathrm{NP} [1].P S P A C...