Als «reference-request» getaggte Fragen

Fragen, die Artikel in der Literatur zu bestimmten, engen Themen anfordern.

3
Theorie der Programmiersprache studieren
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, …


2
Was ist der Ursprung von λ für eine leere Zeichenkette?
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 …

1
Schnellste bekannte Komplexität für kombinatorischen ILP-Algorithmus?
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 …

2
Gibt es etablierte Komplexitätsklassen mit reellen Zahlen?
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 …

6

2
Effizientes Abtasten kürzester
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 …



1
Inversionspaare zählen
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 …

1
Wann hat
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 …

1
Forschung zur Bewertung der Leistung von Cache-Vergessenheit in der Praxis
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 …

1
Annäherung der minimalen Bandbreite an Binärbäumen
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 . …

4
Selbststudium der Informatik
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 …

1
Random Access Machines mit nur Addition, Multiplikation, Gleichheit
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 …

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.