Computerwissenschaften

1

Konstruieren Sie einen PDA für das Komplement von

Ich frage mich , ob dies überhaupt möglich ist, da . Daher könnte ein PDA, der ein Wort vom Rest von es genauso gut akzeptieren , was für mich widersprüchlich klingt.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}{ a ∗ b ∗ c ∗ }w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n …

16 formal-languages automata context-free pushdown-automata

1

Universelle Simulation von Turingmaschinen

Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die Antwort von M auf x zurück . Und für g kann …

16 complexity-theory reference-request turing-machines machine-models simulation

2

Müssen neuronale Netze immer konvergieren?

Einführung Schritt eins Ich habe ein standardmäßiges neuronales Backpropegating-Netzwerk geschrieben und mich zum Testen für eine XOR-Zuordnung entschieden. Es ist ein 2-2-1-Netzwerk (mit Tanh-Aktivierungsfunktion) X1 M1 O1 X2 M2 B1 B2 Zu Testzwecken habe ich das obere mittlere Neuron (M1) manuell als UND-Gatter und das untere Neuron (M2) als ODER-Gatter …

16 machine-learning neural-networks

6

Prioritätswarteschlange für teilweise geordnete Prioritäten mit infima

Ich habe einige Objekte mit Priorität, die zusammengesetzt sind und nur teilweise geordnet sind . Ich muss die Objekte in der Reihenfolge dieser Priorität auswählen (dh jedes Mal einen minimalen Gegenstand erhalten). Aber anstatt die Bestellung willkürlich abzuschließen, wäre es mir lieber, wenn die Warteschlange so stabil wäre, dass sie, …

16 data-structures priority-queues

2

Sind reguläre Ausdrücke

Wenn ich eine Typ-3-Grammatik habe, kann sie auf einem Pushdown-Automaten dargestellt werden (ohne dass eine Operation auf dem Stapel ausgeführt wird), sodass ich reguläre Ausdrücke mithilfe kontextfreier Sprachen darstellen kann. Aber kann ich wissen, ob eine Typ-3-Grammatik , L L ( 1 ) , S L R ( 1 ) …

16 formal-languages regular-languages formal-grammars parsers regular-expressions

1

Wie teste ich, ob ein Polygon in Bezug auf eine beliebige Linie monoton ist?

Definition : Ein Polygon in der Ebene heißt monoton in Bezug auf eine Gerade L , wenn jede zu L orthogonale Linie P höchstens zweimal schneidet .PPPLLLLLLPPP Ist es möglich, bei gegebenem Polygon zu bestimmen, ob irgendeine Linie L existiert, so dass das Polygon P in Bezug auf L monoton …

16 algorithms computational-geometry

1

Komplexität des Brute-Force-Delaunay-Triangulationsalgorithmus

In dem Buch "Computational Geometry: Algorithms and Applications" von Mark de Berg et al. Gibt es einen sehr einfachen Brute-Force-Algorithmus zur Berechnung von Delaunay-Triangulationen. Der Algorithmus verwendet den Begriff der illegalen Kanten - Kanten, die möglicherweise nicht in einer gültigen Delaunay-Triangulation vorkommen und durch einige andere Kanten ersetzt werden müssen. …

16 algorithms time-complexity algorithm-analysis computational-geometry runtime-analysis

1

Polytime- und Polyspace-Algorithmus zur Bestimmung des führenden Schnittpunkts von n diskreten monotonen Funktionen

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 Besseres zu tun habe. Während ich mit der Riemann-Hypothese spielte , stellte …

16 algorithms reference-request discrete-mathematics

2

Laufzeit des optimalen gierigen

Wir erhalten eine Menge zweidimensionaler Punkte und eine ganze Zahl . Wir müssen eine Sammlung von Kreisen finden, die alle Punkte so einschließen, dass der Radius des größten Kreises so klein wie möglich ist. Mit anderen Worten, wir müssen eine Menge von Mittelpunkten finden, so dass die Kostenfunktion wird minimiert. …

16 algorithms computational-geometry

1

Sind asymptotische Untergrenzen für die Kryptographie relevant?

Eine asymptotische Untergrenze wie Exponentialhärte impliziert im Allgemeinen, dass ein Problem "von Natur aus schwierig" ist. Verschlüsselung, die "von Natur aus schwierig" zu knacken ist, gilt als sicher. Eine asymptotische Untergrenze schließt jedoch nicht aus, dass eine große, aber begrenzte Klasse von Probleminstanzen einfach ist (z. B. alle Instanzen mit …

16 complexity-theory cryptography asymptotics

2

Scott-stetige Funktionen: eine alternative Definition

Ich kämpfe wirklich mit dieser Eigenschaft: Lassen seine Kohärenz Räume und f : C L ( X ) → C L ( Y ) eine monotone Funktion sein. f ist kontinuierlich , wenn und nur wenn f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f …

16 terminology programming-languages semantics

2

Was ist der Unterschied zwischen "Entscheidung" und "Verifikation" in der Komplexitätstheorie?

In Michael Sipsers Berechnungstheorie auf Seite 270 schreibt er: P = die Klasse von Sprachen, für die die Mitgliedschaft schnell entschieden werden kann. NP = die Klasse von Sprachen, für die die Mitgliedschaft schnell überprüft werden kann. Was ist der Unterschied zwischen "entschieden" und "verifiziert"?

16 complexity-theory terminology decision-problem

2

Wie implementiert man einen AO * -Algorithmus?

Mir ist aufgefallen, dass bei der Implementierung von Suchalgorithmen unterschiedliche Datenstrukturen verwendet werden. Beispielsweise verwenden wir Warteschlangen zur Implementierung der Breitensuche, Stapel zur Implementierung der Tiefensuche und Min-Heaps zur Implementierung des A * -Algorithmus . In diesen Fällen muss der Suchbaum nicht explizit erstellt werden. Ich kann aber keine einfache …

16 algorithms graphs data-structures search-algorithms

2

Wie wirkt sich eine Abweichung in der Ausführungszeit der Aufgabe auf die Makespan aus?

wir haben eine große Auflistung von Tasks und eine Auflistung von identischen (in Bezug auf die Leistung) Prozessoren , die vollständig in ausgeführt werden parallel. Für interessante Szenarien können wir annehmen . Jedes benötigt einige Zeit / Zyklen, um abgeschlossen zu werden, sobald es einem Prozessor zugewiesen wurde. Sobald es …

16 probability-theory scheduling parallel-computing

2

Warum brauchen einige Inferenz-Engines menschliche Hilfe, andere nicht?

Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess . Warum benötigen automatisierte Theorembeweiser, dh ACL2- und SMT-Löser, keine menschliche Unterstützung, während Beweisassistenten, dh Isabelle und Coq , dies tun? Die nächste Frage der Serie finden Sie hier .

16 logic proof-assistants automated-theorem-proving smt-solvers