Theoretische Informatik

1

Einbetten eines Diagramms als Sammlung von interjunkten Tetraedern

Definieren Sie ein Netz in 3D als zusammenhängende Sammlung von Tetraedern mit disjunkten Innenräumen (Tetraeder teilen also nur k-Flächen, ). Gibt es bei einem beliebigen Graphen ein effizientes Verfahren, um zu testen, ob es als Netz eingebettet werden kann?k ≤ 2k≤2k \le 2 Hier ist eine Einbettung eine Abbildung von …

9 ds.algorithms graph-theory

2

Ist die Reihenfolge der Deklarationen in einem induktiven Typ von Bedeutung?

Ich habe mich gefragt, ob die Reihenfolge der induktiven Deklarationen von Bedeutung sein kann. In Coq können Sie beispielsweise Folgendes definieren Nat: Inductive Nat := | O : Nat | S : Nat -> Nat. oder Inductive Nat := | S : Nat -> Nat | O : Nat. Dies …

9 lo.logic type-theory coq dependent-type

1

Literatur rund um NP vs EXPTIME

Auch wenn es kein entscheidender Punkt ist, sehe ich keine Literatur zu dieser Frage. Gibt es Relativierungsergebnisse? Wäre es nicht ganz einfach, eine strikte Einbeziehung durch Anpassung des nicht deterministischen Zeithierarchiesatzes zu beweisen, indem alle möglichen Pfade der NP-Maschine untersucht werden?

9 cc.complexity-theory complexity-classes

2

Gibt es 'grafische' Algebren, die die 'Form' von Graphen beschreiben können?

Eines der Hauptprobleme bei der Aufzählung von Graphen ist die Bestimmung der "Form" eines Graphen, z. B. der Isomorphismusklasse eines bestimmten Graphen. Mir ist völlig bewusst, dass jeder Graph als symmetrische Matrix dargestellt werden kann. Um die Form zu erhalten, benötigen Sie jedoch eine Sammlung von Zeilen- / Spaltenpermutationen, wodurch …

9 graph-theory co.combinatorics algebra

2

Sind nicht deterministische Baumlaufautomaten stärker als deterministische?

Update: Es scheint, dass dieses Problem kürzlich untersucht und gelöst wurde. Siehe diesen Wiki-Artikel: http://en.wikipedia.org/wiki/Tree_walking_automaton Und auch diese Umfrage: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Angenommen, anstelle der üblichen Wortgruppe {0,1} * sind unsere Wörter nicht linear, sondern werden in einer Baumstruktur angegeben. Um zu verhindern, dass unsere Maschinen "verloren gehen", definieren Sie unsere …

9 cc.complexity-theory automata-theory space-bounded dfa

5

Wie entscheiden Sie, wann Sie über genügend Forschungsergebnisse verfügen, um eine Arbeit zu schreiben, und an welche Zeitschrift Sie die Arbeit senden?

In einigen Forschungsbereichen in CS haben wir einige sehr interessante Ergebnisse erzielt. Jetzt denken wir darüber nach, sie zu veröffentlichen. In der Gruppe, die wir sind, besteht die Philosophie darin, sofort kleine Dinge in Konferenzbeiträgen zu veröffentlichen, was in Ordnung, aber nicht das Beste ist. Jetzt denke ich darüber nach, …

9 soft-question research-practice writing paper-review conferences

2

Gibt es eine Datenstruktur für die schnelle Listenmanipulation und für Bestellabfragen?

Wir haben eine Menge von Listen von Elementen aus der Menge . Jedes Element von wird in einer einzigen Liste in . Ich suche eine Datenstruktur, die die folgenden Aktualisierungen durchführen kann:LLLN={1,2,3,...,n}N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNLLL concat(x,y)concat(x,y)concat(x, y) : Verkettet die Liste mit mit dem Ende …

9 ds.algorithms graph-algorithms ds.data-structures

1

Datenbankabfragesprachen für effiziente Abfragen

Es scheint, dass es in gängigen Abfragesprachen für relationale Datenbanken möglich ist, Abfragen zu erstellen, für deren Beantwortung viele Ressourcen erforderlich sind. In der Praxis verwalten Datenbankadministratoren dies, indem sie die Speichermenge pro Abfrage begrenzen und nach lang laufenden Abfragen suchen, wenn die Datenbank langsamer wird. Dies scheint eher ad-hoc …

9 cc.complexity-theory pl.programming-languages db.databases finite-model-theory

1

Begrenzen Sie die Anzahl der Kanten zwischen Sterngraphen, sodass der Graph planar ist

Ich habe einen Graphen der nur aus Sterngraphen besteht. Ein Sterngraph besteht aus einem zentralen Knoten mit Kanten zu jedem anderen Knoten darin. Sei H 1 , H 2 , … , H n verschiedene Sterngraphen unterschiedlicher Größe, die in G vorhanden sind . Wir nennen die Menge aller Knoten, …

9 graph-theory co.combinatorics puzzles

1

Glättungsanalyse: Wenn ein Problem eine pseudopolynomielle Komplexität aufweist, ist es in Glättung P?

Ich war fasziniert von der außergewöhnlichen Explosion in der geglätteten Analyse und wurde von einer Behauptung in der Arbeit Smoothed Analysis of Integer Programming beeindruckt . Dies besagt, dass die ganzzahlige lineare Programmierung in geglättetem P ist, wenn sie polynomiell begrenzt ist. Dies war aufgrund der Tatsache, dass die Ganzzahlprogrammierung …

9 cc.complexity-theory smoothed-analysis

1

Heuristiken zur Optimierung

Da es Freitag ist, ist es Zeit für eine CW-Frage. Ich suche nach Heuristiken, die bei Optimierungsproblemen weit verbreitet sind. Um den Umfang auf "theoretisch freundlichere" Heuristiken zu beschränken, sind hier die Regeln (einige willkürlich, andere nicht). Es sollte eine genau definierte Methode ohne zahlreiche Parameter und mit einer konkreten …

9 ds.algorithms reference-request optimization heuristics

2

Polynomalgorithmen für UPB (Unextendable Product Bases)

Betrachten Sie einen Hilbert-Raum . Eine nicht erweiterbare Produktbasis (UPB) ist eine Menge von Produktvektoren so dass:H.= H.1⊗ ⋯ ⊗ H.nH.=H.1⊗⋯⊗H.nH = H_1 \otimes \dots \otimes H_n| vich⟩ = | v1ich⟩ ⊗ ⋯ ⊗ | vnich⟩|vich⟩=|vich1⟩⊗⋯⊗|vichn⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle a) Alle …

9 quantum-computing linear-algebra quantum-information

1

Entscheiden, ob eine Platzhalterzeichenfolge vollständig mit einer anderen Platzhalterzeichenfolge in einem Satz übereinstimmt

Hier ist ein Problem, das mich schon eine Weile nervt. Angenommen, eine Zeichenfolge ist eine Folge von 1s und 0s, und eine Platzhalterzeichenfolge ist eine Folge von 1, 0 und? S. Alle Zeichenfolgen und Platzhalterzeichenfolgen haben dieselbe Länge. Dies sind Standard-UNIX-Platzhalter. 10 ?? 1 entspricht 10011, 10111 usw. - a? …

9 ds.algorithms ds.data-structures approximation-algorithms string-matching string-search

1

Uneinheitliche vs. einheitliche Gegner

Diese Frage stellte sich im Zusammenhang mit der Kryptographie, aber ich werde sie im Folgenden in Bezug auf die Komplexitätstheorie vorstellen, da die Menschen hier mit letzterer besser vertraut sind. Diese Frage bezieht sich auf Probleme in NP, jedoch nicht auf Average-P / Poly und Beating Nonuniformity von Oracle Access …

9 cc.complexity-theory cr.crypto-security np advice-and-nonuniformity average-case-complexity

2

Maximieren der Summenkantengewichte

Ich frage mich, ob das folgende Problem einen Namen hat oder irgendwelche damit verbundenen Ergebnisse. Sei G=(V,w)G=(V,w)G = (V,w) ein gewichteter Graph, wobei das Gewicht der Kante zwischen und bezeichnet und für alle , . Das Problem besteht darin, eine Teilmenge von Eckpunkten zu finden, die die Summe der Gewichte …

9 reference-request graph-theory approximation-algorithms terminology approximation-hardness