Computerwissenschaften

4

Travelling Salesman Problem mit dem neuronalen Netz

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 wissenschaftlichen Arbeiten nirgendwo finden. Ist jemandem eine …

7 np-hard neural-networks traveling-salesman

1

Beweisen, dass eine (Baum-) Sprache nicht von Buchi erkennbar ist

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 path in t contains a finite number of …

7 automata trees buchi-automata

1

Eliminierungsregel für den Gleichheitstyp alias J-Axiom

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 kann es intuitiv verstanden werden?

7 lambda-calculus intuition equality

1

Wie kann ich zeigen, dass der Cook-Levin-Satz nicht relativiert?

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 wirdL∈NPAL∈NPAL \in NP^ALLLAAA . …

7 complexity-theory np nondeterminism oracle-machines relativization

1

Gierige Strategie zur Berechnung der Mindestanzahl von Strahlen, die alle Ballons treffen

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 minimale Anzahl von Strahlen vom …

7 algorithms optimization greedy-algorithms

1

Wie finde ich den kürzesten Weg von einem Scheitelpunkt in Menge zu Menge

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 …

7 algorithms graphs optimization shortest-path

3

Warum sind die meisten (oder alle?) Polynomzeitalgorithmen praktisch?

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, aber nicht effizient). Ist es nicht so, dass alle Algorithmen in der Polynomzeit, wie höchstens, auch realistisch sind?O(n4)O(n4)O(n^4)oder so? Ich …

7 algorithms complexity-theory polynomial-time

1

Computer Vision: Warum verhalten sich Zufallsfilter ähnlich wie Kantendetektoren?

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 erklären.

7 machine-learning computer-vision

1

Was ist der Unterschied zwischen "Merkmalen" und "Deskriptoren" in der Bildverarbeitung / im maschinellen Lernen?

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 gesamte Bild. Quelle: "Mehrklassen-Bildsegmentierung unter Verwendung bedingter Zufallsfelder und globaler Klassifizierung" von Nils Plath, Marc Toussaint, Shinichi …

7 machine-learning computer-vision features

1

Klasse der Sprache, die nur die leere Zeichenfolge enthält?

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 eine CSL, diese Grammatik …

7 formal-languages regular-languages context-sensitive

1

Können wir alles in imperativen Sprachen mit einer funktionalen Sprache tun, wenn dies keinen „Zustand“ zulässt?

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 Buches getan haben, wird dementsprechend als …

7 programming-languages functional-programming programming-paradigms

3

1-zu-1 kryptografisch sicheres Bit-Shuffling

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 zugeordnet werden. Bei einem Ausgabeelement sollte …

7 discrete-mathematics cryptography hash

1

Kontextfreie Sprachen werden nicht geschlossen, wenn sie "erweiterungsfrei" sind.

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 …

7 formal-languages context-free closure-properties

1

Verständnis von Turings Antwort auf das Entscheidungsproblem

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 kann, ob eine Aussage beweisbar ist. In der …

7 computability turing-machines logic decision-problem incompleteness

1

Huffman-Code VS Hu-Tucker-Code

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. Hu-Tucker-Code ist der Binärcode, der aus einem alphabetischen Suchbaum induziert wird. Laut …

7 binary-trees huffman-coding