Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

2
MSOL-Optimierungsprobleme bei Diagrammen mit begrenzter Gruppenbreite und Kardinalitätsprädikaten
CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und Scheitelpunkte Sätze, und es gibt ein Prädikat , die …
2
Minimale maximale Lösungen von LPs
Die lineare Programmierung ist heutzutage natürlich sehr gut bekannt. Wir haben viel Arbeit, die die Struktur machbarer Lösungen und die Struktur optimaler Lösungen charakterisiert. Wir haben die starke Dualität, Poly-Time-Algorithmen usw. Aber was ist über minimale Maximallösungen von LPs bekannt? Oder gleichermaßen Maximum-Minimum-Lösungen? (Dies ist eigentlich keine Forschungsfrage, aber vielleicht …
3
Was sind die Probleme mit dem besten Näherungsverhältnis, das mit einem Algorithmus erzielt wird, der eine gleichmäßig zufällige Lösung liefert?
Was sind die Probleme mit dem bekanntesten Näherungsverhältnis, das mit einem Algorithmus erzielt wird, der eine gleichmäßig zufällige Lösung liefert? Ich kenne ein solches Beispiel für das Permutationsfluss-Ladenproblem : Viswanath Nagarajan und Maxim Sviridenko haben in der Zeitung " Tight Bounds for Permutation Flow Shop Scheduling " bewiesen, dass zufällige …
2
Minimale Baumbreite der Schaltung für MAJORITY
Was ist die minimale Baumbreite einer Schaltung über {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} für die Berechnung von MAJ? Hier MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} gibt 1 aus, wenn mindestens die Hälfte seiner Eingänge 111 . Ich kümmere mich nur um die Größe der Schaltung (sollte polynomisch sein) und dass ein Eingang nur einmal gelesen werden …
2
Erbliche Substitution durch eine Universushierarchie
Ich habe über die erbliche Substitution des einfachen Lambda-Kalküls und des logischen Rahmens mit unterschiedlichen Begriffen und Typen gelesen . Ich frage mich, gibt es Beispiele für erbliche Substitution in einem abhängig typisierten System mit einer Universumshierarchie? dh wo True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 usw. Ich frage mich insbesondere, …
1
Parametrisierte Komplexität der Einbeziehung regulärer Sprachen
Ich interessiere mich für das klassische Problem REGELMÄSSIGE SPRACHEINKLUSION. Bei einem regulären Ausdruck bezeichnen wir mit L ( E ) die damit verbundene reguläre Sprache. (Reguläre Ausdrücke befinden sich in einem festen Alphabet Σ mit der Operations Union, dem Kleene-Stern und der Verkettung.)EEEL(E)L(E)L(E)ΣΣ\Sigma Eingabe: Zwei reguläre Ausdrücke und E 2 …
2
Stand der Technik für die Monadenklasse?
In der monadischen Logik erster Ordnung, auch als monadische Klasse des Entscheidungsproblems bekannt, nehmen alle Prädikate ein Argument an. Es wurde von Ackermann als entscheidbar erwiesen und ist NEXPTIME-vollständig . Probleme wie SAT und SMT haben jedoch trotz der theoretischen Grenzen schnelle Algorithmen, um sie zu lösen. Ich frage mich, …
1
Binärvektor
Ich habe eine Menge von binären Vektoren S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } und einen Zielvektor t = 1 k, der der All- One -Vektor ist.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k …
1
Wie heißt eine Funktion
Let eine Sprache und sein eine Funktion von zwei Parametern mit der Eigenschaft , dass für alle und , kehrt ein Element der genau dann, wenn sowohl als auch Elemente von :f : & Sigma; ⋆ × & Sigma; ⋆ → & Sigma; ⋆ x y f L x y …
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.