Theoretische Informatik reference-request

1

Gibt es Varianten von sichtbaren Pushdown-Automaten, mit denen Wörter auf den Stapel geschoben werden können?

Ich frage mich, ob es Papiere oder Forschungsergebnisse gibt, die sich mit sichtbaren Pushdown-Automaten befassen, aber es erlaubt, dass Wörter anstatt einzelner Buchstaben auf den Stapel geschoben werden. Alternativ könnte eine Konstruktion, mit der Symbole auf symbols- verschoben werden können, dasselbe Ziel erreichen.ϵϵ\epsilon Offensichtlich können solche Variationen gebildet werden, aber …

16 reference-request fl.formal-languages automata-theory context-free context-free-languages

2

Lineare Diophantingleichung in nicht negativen ganzen Zahlen

Es gibt nur sehr wenige Informationen über das NP-vollständige Problem der Lösung der linearen Diophantingleichung in nicht-negativen ganzen Zahlen. Das heißt, gibt es eine Lösung in nicht-negativen zu der Gleichung a 1 x 1 + a 2 x 2 + . . . + a n x n = b …

16 cc.complexity-theory reference-request np-hardness counting-complexity

1

Parametrizität und projektive Eliminierungen für abhängige Datensätze

π 1 : A × B → A π 2 : A × B → BA × B≜ ∀ & agr; .( A → B → α ) → αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1: A × B → Aπ1:A×B→A\pi_1 : A …

16 reference-request pl.programming-languages dependent-type parametricity

4

Parametrisierter Algorithmus zum Auffinden von Fahrrädern

Eine gegebene Vertex ungerichteten Graphen, was ist das bekannteste Laufzeit für gebundene finden einen Untergraphen , die eine -biclique? Gibt es schneller parametrisierte Algorithmen als den -Zeitalgorithmus zum "Erraten" einer Seite des Fahrrads und zum Überprüfen, ob es mindestens andere Eckpunkte gibt, die auf alle von ihnen zutreffen ?k × …

16 ds.algorithms reference-request graph-algorithms parameterized-complexity

1

?

Während ich Dick Liptons Blog las, stieß ich gegen Ende seines Bourne-Factor- Posts auf folgende Tatsachen : Wenn für jedes nnn eine Beziehung der Form (2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} wobei m=poly(n)m=poly(n)m = poly(n) , und jedes der akaka_k , bkbkb_k und ckckc_k sind poly(n)poly(n)poly(n) in Bitlänge, dann Factoring …

16 ds.algorithms reference-request factoring comp-number-theory

1

Wie heißt dieses Problem mit gerichteten Graphen?

Nehmen Sie einen gerichteten Graphen bei dem die Kanten mit einer natürlichen Zahl verziert sind. Wir wollen die Menge aller Pfade P zwischen zwei Eckpunkten v 1 und v 2 so, dass jede aufeinanderfolgende Kante im Pfad mit einer natürlichen Zahl verziert wird, die größer ist als die natürliche Zahl, …

16 ds.algorithms reference-request graph-algorithms terminology

1

Ich suche Scotts originales LCF-Papier

Ist das folgende Manuskript öffentlich verfügbar? Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford. In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; Zusätzlich führt Abschnitt 10.1, Domänentheorie , einige …

16 reference-request lo.logic type-theory domain-theory

1

Tautologien / Widersprüche im Durchschnitt jenseits des zufälligen k-CNF-Modells

Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche Formeln (oder zweifach über Tautologien, dh Negationen von Widersprüchen). Diese …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

2

Finden der größten Anzahl von Punkten mit begrenztem Durchmesser

Bei gegebenen Punkten in R d und einem Abstand l ergibt sich die größte Teilmenge dieser Punkte, so dass der euklidische Abstand von keinem von beiden größer als l ist .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Wie komplex ist dieses Problem? In der graphischen Darstellung über die Punkte , die eine Kante hat , wenn …

16 ds.algorithms reference-request cg.comp-geom

2

Ergibt Bit Commitment im informationstheoretischen Sicherheitsmodell eine vergessene Übertragung?

Angenommen, Sie haben zwei willkürlich mächtige Teilnehmer, die sich nicht vertrauen. Sie haben Zugriff auf Bit-Commitments (z. B. versiegelte Umschläge mit Daten, die ein Spieler dem anderen übergeben kann, die jedoch erst geöffnet werden können, wenn der erste Spieler dem zweiten einen Schlüssel gibt). Können Sie dies verwenden, um ein …

16 reference-request cr.crypto-security

1

Referenz für (ungerade-Loch, Anti-Loch) -freie Graphen?

X-freie Graphen sind solche, die keinen Graphen von X als induzierten Untergraphen enthalten. Ein Loch ist ein Zyklus mit mindestens 4 Eckpunkten. Ein ungerades Loch ist ein Loch mit einer ungeraden Anzahl von Eckpunkten. Ein Anti- Loch ist das Komplement eines Lochs. Die (ungeradzahligen, ungeradzahligen) Graphen sind genau die perfekten …

16 reference-request graph-theory co.combinatorics graph-classes

2

Eine Leseliste über experimentelle Algorithmen

Wie im Bereich der Arbeiten im ACM Journal on Experimental Algorithmic JEA . Welches waren die grundlegenden Arbeiten? Was sind die Hauptergebnisse? Wie zeichnen sie sich aus? Interessante Verbindungen zu anderen Bereichen der Informatik?

16 ds.algorithms reference-request experimental

9

Gibt es ein Buch über die philosophischen Implikationen der theoretischen Informatik?

Ich finde einige Bücher über Computer, aber alle handeln von Technologie. Ich möchte etwas mehr mit der Theorie zu tun haben.

15 reference-request soft-question philosophy

2

Wo kann man mehr über theoretische Informatik erfahren?

Ich bin ein Doktorand in Mathematik, und theoretische Informatik ist ein Bereich, von dem ich nie verstanden habe, worum es geht, weil ich keine gute Lektüre zu diesem Thema finden konnte. Ich möchte wissen, worum es in dieser Domain eigentlich geht, um welche Themen es sich handelt, welche Voraussetzungen erforderlich …

15 reference-request soft-question books

1

Permutationen mit verbotenen Teilfolgen

Lassen Sie bezeichnen die Menge { 1 , . . . , n } und C (n, k) bezeichnen die Menge aller k- Kombinationen von Elementen aus [ n ] ohne Wiederholung. Sei p = p 1 p 2 . . . p k ist ein k- Tupel in C …

15 reference-request co.combinatorics permutations

Als «reference-request» getaggte Fragen