Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Warum hat Tomita GLR erstellt und Earley nicht verwendet?
Wenn ich mir Earley Parsing anschaue, sieht es sehr elegant aus und ich frage mich, warum GLR-Techniken populär werden? Weiß jemand, was mit Earley falsch war, als er analysierte, dass Tomita GLR erstellt hat? Performance? Alle Veröffentlichungen zu dieser Diskussion werden sehr geschätzt.
11 parsing 
4
Anwendungen von
Gibt es konkrete (oder reichhaltige) Beispiele für die Anwendung von adischen Zahlen in der Informatik?ppp
11 survey 
3
Bedeutet
Bezeichne mit den minimalen In-Grad in G und mit δ - ( G ) den minimalen In-Grad.δ+( G )δ+(G)\delta^+(G)GGGδ- -( G )δ−(G)\delta^-(G) In einer verwandten Frage habe ich die Ghouila-Houri-Erweiterung des Dirac-Theorems über Hamilton-Zyklen erwähnt , was darauf hindeutet, dass wenn dann ist G Hamiltonian.δ+( G ) , δ- -( …
4
Welche Eigenschaften von planaren Graphen verallgemeinern sich auf höhere Dimensionen / Hypergraphen?
Ein planarer Graph ist ein Graph, der in die Ebene eingebettet werden kann, ohne dass sich die Kanten kreuzen. Sei ein einheitlicher Hypergraph, dh ein Hypergraph, so dass alle seine Hyperkanten die Größe k haben.G=(X,E)G=(X,E)G=(X,E)kkk Es wurden einige Arbeiten zum Einbetten von Hypergraphen in die Ebene durchgeführt (im Kontext von …
2
Ist das N Queens Problem NP-schwer?
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies sei ein NP-schweres Problem (z. B. web.mst.edu/~ercal/387/slides/NP-Hard.ppt). Ich konnte …
4
Beziehung zwischen Rechenkomplexität und Information
Ich arbeite in einem rechnergestützten neurowissenschaftlichen Labor, das die gegenseitige Information zwischen Paaren oder Gruppen von Neuronen quantifiziert. Vor kurzem verlagerte der Chef seinen Fokus auf die Messung der "Komplexität der neuronalen Dynamik". Bei der Verfolgung dieser Forschungsrichtung scheinen einige Leute in meiner Gruppe "komplex" mit "hat eine hohe Entropie" …
2
Minimum True Monotone 3SAT
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE MONOTONE 3SAT INSTANZ: Setze U von …
4
Wiederherstellen der Steigung einer digitalisierten Linie
Wurde daran gearbeitet, die Steigung eines Liniensegments nach seiner Digitalisierung wiederherzustellen? Das kann man natürlich nicht mit perfekter Genauigkeit machen; Was man will, ist eine Methode, aus einer digitalisierten Linie ein Intervall möglicher Steigungen abzuleiten. (Der Begriff einer digitalisierten Linie, den ich verwende, ist Rosenfelds: die Menge von Paaren wobei …
2
Sind Orakel assoziativ?
Diese Frage mag eine offensichtliche Antwort haben ... aber hier ist die Frage trotzdem. Intuitiv ist es die folgende plausible Aussage: "Eine Maschine mit einer Subroutine A, die wiederum eine Subroutine B hat, ist dieselbe wie eine Maschine mit einer Subroutine A, die Zugriff auf Subroutine B hat". Um dieses …
6
Führen Sie Mehrfachreduktionen und Turing-Reduktionen durch, um denselben Klassen-NPC zu definieren
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter Karp-Reduktion und das in C unter Turing-Reduktion ist …
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.