Dies ist ein Hausaufgabenproblem, das mir gegeben wurde, und ich habe stundenlang mein Gehirn geharkt (also bin ich mit einigen Hinweisen zufrieden). Ich weiß bereits, dass das Approximationsverhältnis nicht schlechter als . Ich habe ein Raddiagramm, in dem jede Kante kostet und der Abstand...
Bevor ich meine Frage stelle, möchte ich mit meinem Verständnis der Definitionen beginnen, um mich vor weiterer Verwirrung zu schützen und Hintergrundinformationen zu geben. Huffman-Code ist der Binärcode, der aus einem durch den Huffman-Algorithmus konstruierten Binärbaum induziert wird....
Ich entschuldige mich, wenn diese Frage schon einmal gestellt wurde, aber ich konnte kein Duplikat finden. Ich habe gerade The Annotated Turing gelesen und bin etwas verwirrt. Nach meinem Verständnis besteht das Entscheidungsproblem darin, ob ein Algorithmus existiert oder nicht, der bestimmen...
Gegeben eine Reihe von nnn Intervalle auf einer Linie gibt es eine O ( n logn )Ö(nLogn)O(n \log n)Algorithmus zum Finden von Intervallen, die in anderen Intervallen enthalten sind (z. B. Manber, "Using Induction to Design Algorithms", 1988). Gibt es einO ( n logn )Ö(nLogn)O(n \log n) Algorithmus...
Definieren Sie für eine Sprache : L.LLN.E.( L ) = { x ∈ L : x ist nicht das richtige Präfix einer Zeichenfolge in L }NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Ich versuche zu zeigen, dass kontextfreie...
L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Diese Sprache ist eindeutig endlich, daher muss dies eine reguläre Sprache sein. Jetzt, da jede reguläre Sprache kontextsensitiv ist,L.LList eine CSL. Wir können die Grammatik für definierenL.LL wie : S.→ ϵS→ϵS\rightarrow \epsilon Jetzt seit L.LList...
Ich las Struktur und Interpretation von Computerprogrammen (SICP), MIT. Was ich verstanden habe ist, dass es in einer rein funktionalen Programmiersprache keinen lokalen Staat gibt. SICP, S. 230 sagt: "Das Programmieren ohne Verwendung von Aufgaben, wie wir es in den letzten beiden Kapiteln dieses...
Bei einem gegebenen Eingabeelement (N Bytes) suche ich nach einer Funktion, die dies einer Ausgabe zuordnet (immer noch N Bytes). Die Funktion sollte folgende Eigenschaften haben: Es sollte 1: 1 sein, damit alle Eingaben einer Ausgabe zugeordnet werden und keine zwei Eingaben derselben Ausgabe...
Ich habe mehrere Zeitsätze ähnlich wie gelesen Schließlich wurden für die Standardbildklassifizierung Bag-of-Word-Merkmale, die auf SIFT-Deskriptoren basieren, als kritisch für hohe Leistungen befunden. Wir berechnen zunächst einen Standard-SIFT-Diskriptor an regelmäßigen Rasterpunkten über das...
Ich habe hier gelesen , dass "ein zufällig initialisierter Filter sehr ähnlich wie ein Kantendetektor wirkt!". Ich möchte wissen, ob es Papiere gibt, die dieses Phänomen beschreiben und
Wenn ich einen Graphen , eine Teilmenge der Eckpunkte und eine zweite Menge von Eckpunkten , was ist der beste Weg, um den kürzesten Weg zu finden, der die verbindet zwei Sets? Das heißt, wir suchen einen kürzesten Weg unter allen - Wegen. Wir können auch davon ausgehen, dass alle Kantengewichte...
Ich habe kürzlich in einem Artikel einen interessanten Kommentar darüber gelesen, wie seltsam nützlich Mathematik ist. Es wird erwähnt, dass Polynomzeit in der Realität nicht effizient bedeuten muss (z.O(n999999999999999999999)O(n999999999999999999999)O(n^{999999999999999999999})ist Polynomzeit,...
Das minimale Zap-Problem unten ist Übung 11 in Jeff Ericksons Vortrag über "Greedy Algorithm" . Das minimale Zap-Problem kann formeller wie folgt angegeben werden. Gegeben ein SatzCCC von nnn Kreise in der Ebene, jeweils angegeben durch ihren Radius und die (x,y)(x,y)(x, y) Berechnen Sie die...
Ich implementiere einen Interpreter für Lambda-Kalkül und möchte jetzt den Gleichheitstyp hinzufügen. Die Einführungsregel dafür ist einfach, aber die Eliminierungsregel ist für mich ziemlich dunkel. Ich habe diesen Stackoverflow-Thread gefunden, aber er erklärt das J-Axiom nur in einem Satz. Wie...
Das Folgende ist eine Übung, an der ich festhalte (Quelle: Sanjeev Arora und Boaz Barak; es sind keine Hausaufgaben): Zeigen Sie, dass es ein Orakel gibt AAAund eine Sprache so dass nicht auf 3SAT polynomialzeitreduzierbar ist, selbst wenn der Maschine, die die Reduktion berechnet, Zugriff gewährt...
Ich überprüfe einige Notizen zu Baumautomaten und versuche, einen Beweis dafür zu finden, dass der Professor unvollständig ist. Die Aussage lautet: Sei und . Beweisen Sie, dass Buchi nicht erkennbar ist.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every...
Ich habe kürzlich erfahren, dass für jeden Fall ein k-SAT-Problem mit mmm Klauseln und nnn Literale, wir haben eine Zuordnung von Literalen, so dass zumindest m ( 1 -2- k)m(1−2−k)m(1 - 2^{-k}) Klauseln sind erfüllt. Ich habe mich gefragt, ob wir eine (nicht triviale) Untergrenze zeigen können, wie...
Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei...
Ich war neugierig, ob es neue Entwicklungen bei der Lösung des Problems der Handlungsreisenden mit einem wiederkehrenden neuronalen Hopfield-Netzwerk gab. Ich habe das Gefühl, dass ich etwas über die jüngste Forschung gesehen habe, die hier einen Durchbruch erzielt hat, aber ich kann die...
Ich habe meinen Algorithmusunterricht sehr genossen, aber ich hatte das Gefühl, dass es an Genauigkeit mangelte. Die meiste Zeit konnte ich intuitiv verstehen, warum die vorgestellten Algorithmen funktionierten und warum sie die vorgestellte zeitliche Komplexität hatten, aber ich möchte in der Lage...