Theoretische Informatik

1

Ein -net für einen Bereichsraum ist eine Teilmenge N von X, so dass N \ cap R für alle R \ in \ mathcal {R} nicht leer ist, so dass | X \ cap R | \ ge \ varepsilon | X | .εε\varepsilon( X.,R )(X.,R.)(X,\mathcal{R})N.N.NX.X.XN.∩ R.N.∩R.N\cap RR ∈ R.R.∈R.R\in …

8 ds.algorithms cg.comp-geom vc-dimension epsilon-nets

2

Ist dies ein bekanntes kombinatorisches Optimierungs- / Planungsproblem?

Wir erhalten Stapel, die "Gegenstände" unterschiedlicher Farbe enthalten, und eine Maschine, die mehrere Gegenstände derselben Farbe auf einmal verarbeiten kann. Bei jedem Schritt können wir einen Gegenstand von der Oberseite jedes Stapels entfernen und in unsere Maschine legen (so effektiv kann die Maschine höchstens n Gegenstände in einem Schritt verarbeiten …

8 ds.algorithms reference-request scheduling

1

Kann Konsumieren / Produzieren in linearer Logik modelliert werden?

Die Frage ist, ob es möglich ist, zwei Arten des Zugriffs auf eine Ressource in linearer Logik zu modellieren. Ich weiß, dass zwei Arten von Ressourcen möglich sind, nämlich: !r⊢!r⊢!r \vdash r ist unendlich verfügbar r ist nur einmal verfügbar r⊢r⊢r \vdash \quad Aber was ist, wenn ich nicht entscheiden …

8 lo.logic linear-logic

4

Was ist die rechnerische Komplexität beim „Lösen“ von Schach?

Die Grundidee der Rückwärtsinduktion besteht darin, mit allen möglichen Endpositionen eines Spiels zu beginnen, in dem Spieler X gewinnt. Schauen Sie sich für Schach alle Möglichkeiten an, wie Weiß Schwarz schachmatt setzen kann. Arbeiten Sie nun rückwärts zu allen möglichen Bewegungen / Positionen, die es Weiß ermöglichen würden, sich in …

8 cc.complexity-theory graph-algorithms board-games

2

Was ist am einfachsten von allen anständigen LTL-zu-Buchi-Übersetzungen oder anderen LTL-Verifizierungsalgorithmen zu implementieren?

Ich schreibe einen Spielzeugmodellprüfer und bin an dem Punkt angelangt , an dem es Zeit ist, die Übersetzung von LTL in Buchi-Automaten zu implementieren. Aus verschiedenen offensichtlichen Gründen möchte ich, dass der Algorithmus einfach ist :) zB möchte ich, dass der Code so lange wie möglich extrem klar und präzise …

8 lo.logic automata-theory model-checking program-verification linear-temporal-logic

3

Auf der Suche nach Artikeln und Artikeln über sequentielle Systeme höherer Ordnung

Ich suche nach Arbeiten an Systemen, die den Sequenzen höherer Ordnung von K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ) ähnlich sind . Die einzige mir bekannte Arbeit ist die jüngste Arbeit von Iemhoff und Metcalfe ("Beweistheorie für zulässige Regeln", Annals of Pure and Applied Logic 159 (1-2), …

8 reference-request lo.logic proof-theory

3

Unterschied zwischen strenger Konsistenz und sequentieller Konsistenz

Ich verstehe strenge und sequentielle Konsistenz unabhängig voneinander ziemlich gut. Strict C erzwingt grundsätzlich die tatsächliche Reihenfolge, in der die Anweisungen auf der globalen Uhr ausgeführt wurden. Sequentielle Konsistenz erzwingt die Reihenfolge grundsätzlich nur auf einem Prozessor. Ich habe jedoch Probleme, Literatur zusammenzustellen. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html beschreibt die sequentielle Konsistenz so, dass …

8 pl.programming-languages dc.parallel-comp concurrency

2

DATALOG Referenzen

Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies abdecken?

8 reference-request lo.logic db.databases logic-programming

3

Was sind die bekannten pseudopolynomiellen PSPACE-vollständigen Probleme?

Können Sie bitte entweder eine Referenz angeben oder bestimmte Beispiele für PSPACE-vollständige Probleme nennen, die in pseudo-polynomialer Zeit lösbar sind? Zusätzliche Hinweise: Definition der Pseudo-Polynom-Zeit: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Als Antwort auf einige zuvor erwähnte Kommentare. Ich habe früher gefragt, ob es irgendwelche Probleme gibt, die PSPACE-vollständig sind und ein FPTAS haben. Die …

8 cc.complexity-theory complexity-classes

3

Polyzeit-Approximationsschema für Probleme mit Pseudo-Polynom-Zeitalgorithmen

Die Frage ist: Gibt es immer ein Polyzeit-Approximationsschema für NP-vollständige Probleme mit pseudo-polynomiellen Zeitalgorithmen (wie zum Beispiel Rucksack)?

8 cc.complexity-theory approximation-algorithms

1

Auswirkung verschiedener Graphoperationen auf die algebraische Konnektivität von Graphlaplace?

Die algebraische Konnektivität eines Graphen G ist der zweitkleinste Eigenwert der Laplace-Matrix von G. Dieser Eigenwert ist genau dann größer als 0, wenn G ein verbundener Graph ist. Die Größe dieses Werts gibt an, wie gut das Gesamtdiagramm verbunden ist. Zum Beispiel ändert das " Hinzufügen von Selbstschleifen " nicht …

8 graph-theory co.combinatorics spectral-graph-theory

1

VC Dimension verallgemeinert auf diskrete, nicht binäre, ungeordnete Domänen?

Die VC-Dimension ist ein Maß für die Komplexität von Funktionsklassen , die eng mit der Komplexität der Stichprobe verknüpft ist. Fat Shattering Dimension ist eine Verallgemeinerung, die für Domänen mit höherer Ordnung geeignet ist: dh . Gibt es eine Standardverallgemeinerung der VC-Dimension, die für Funktionen mit diskreten, ungeordneten Domänen geeignet …

8 reference-request lg.learning vc-dimension

1

Gibt es eine normalisierende (oder fortwährende) Reduktionsstrategie für untypisierte Kombinatoren?

Inspiriert von dieser Frage war ich neugierig, ob es eine Reduktionsstrategie für untypisierte SKI-Kombinatoren gibt, von der bekannt ist, dass sie entweder normalisiert oder dauerhaft ist. Wie beschrieben hier (Twelfed hier ), die nondeterminstic Regeln des combinator Kalkül sind diese: ichx → xIx→xIx \rightarrow x K.x y→ xKxy→xKxy \rightarrow x …

8 pl.programming-languages combinatory-logic

1

Summe der Produkte mit begrenzten Koeffizienten

Das folgende Lemma ist nicht schwer zu beweisen. Lemma : Sei c1≠ c2& Ne; ⋯ & ne; cr∈ [ n ]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] und . Wenn ganze Zahlen sind (einige von ihnen können negativ sein), so dass , dann ganze Zahlen befriedigend , so …

8 reference-request nt.number-theory

2

SDP-Relaxation des unabhängigen Sets

Ich schaue auf Seite 28 von Lovasz "Semidefinite Programme und kombinatorische Optimierung" und es gibt die folgende Annäherung an die Unabhängigkeitszahl des Graphen maxu′Zumaxu′Zu\max u' Z uZ≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Kann ich ein unabhängiges Set (oder etwas in der Nähe eines unabhängigen Sets) direkt …

8 ds.algorithms graph-theory semidefinite-programming independent-set