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 verstehen.λλ\lambda Ich habe SICP gelesen (ein ziemlich aufschlussreiches Buch), aber ich versuche, …
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 bestimmten Proof-Assistenten auswählen …
Normalerweise benutze ich das Symbol für eine leere Zeichenkette (leeres Wort oder leere Zeichenkette). Aber ich weiß, dass manche Leute λ anstelle von ε verwenden .εε\varepsilonλλ\lambdaεε\varepsilon Ich denke, leitet sich vom Wort "Leer" ab. Ich weiß jedoch nicht, woher λ stammt .εε\varepsilonλλ\lambda In der Automatentheorie gibt es den Epsilon-Übergang von …
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 wie CPLEX verwendet werden, aber ich …
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 ist PPP NP-hart. Meine Antwort war im …
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 …
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 ist.GGGssstttGGGssstttssstttGGG Selbst in vielen eingeschränkten Graphen kann die …
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 werden?
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 N C aufgrund seiner …
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 a[j]i<ji<ji \lt j Ein Ansatz, um dies zu erreichen, besteht darin, eine Zusammenführungssortierung durchzuführen, aber …
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 …
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 das Potenzial der Theorie und der Cache-vergessenen Algorithmen …
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 Bandbreitenminimierung. Garey, Graham, Johnson und Knuth, SIAM J. Appl. Math. 34, Nr . …
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 studieren und nicht CS. Meine Frage …
In der Literatur ist ziemlich klar, dass kostenpflichtige RAMs mit primitiver Multiplikation insofern unvernünftig sind, als sie können von Turing-Maschinen nicht in Polynomzeit simuliert werden kann PSPACE-vollständige Probleme in der Polynomzeit lösen Alle Referenzen, die ich zu diesem Thema finden kann (Simon 1974, Schonhage 1979), beziehen sich jedoch auch auf …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.