Theoretische Informatik

1

Komplexität der einzigartigen st-Konnektivität

Ich möchte wissen, ob das folgende Problem in (nicht deterministischer Logspace) entschieden werden kann:NLNL\mathsf{NL} Gibt es bei einem gerichteten Graphen mit zwei unterschiedlichen Eckpunkten und einen eindeutigen Pfad von nach in ?GGGssstttssstttGGG Ich , dass es wahrscheinlich in da wir beide entscheiden können, ob es einen - - Pfad gibt …

11 reference-request graph-theory

2

Stellen Sie die Datenstruktur für effiziente wiederholte Einfügungen ein

Ich suche nach einer platzsparenden Datenstruktur, die Mengen (keine Wiederholung) von Elementen mit Wortgröße enthält und das schnelle Einfügen unterstützt (amortisiertes O (1)). Mit "platzsparend" meine ich im Idealfall Wörter zum Speichern von Elementen.nn+o(n)n+o(n)n + o(n)nnn Eine Menge zu sein ist ein wichtiger Teil der Frage: Wenn jedes Element mal …

11 ds.data-structures

2

Nichtlokale Spiele und Quantenkommunikation

Ich bin derzeit auf der Suche nach gutem Referenzmaterial, das nicht-lokale Spiele mit nützlichen Aspekten in der Quantenkommunikation in Verbindung bringt. Ich bin mir zum Beispiel bewusst, dass nicht-lokale Spiele die Komplexität der Kommunikation begrenzen und die Sicherheit von QKD-Protokollen gewährleisten können. Was ich gerne wissen würde ist, was sind …

11 reference-request quantum-computing communication-complexity quantum-information

1

Ein einfaches (?) Lustiges kombinatorisches Problem!

Lassen Sie uns und eine ganze Zahl t > 0 festlegen .0<E<10<E<100 für jedes und für jeden Vektor ˉ c ∈ [ 0 , 1 ] n, so dass ∑ i ∈ [ n ] c i ≥ E × n istnnnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n …

11 co.combinatorics it.information-theory

1

Untergrenzen für den Zeitraum der ganzzahligen Faktorisierung?

1975 hat Miller gezeigt, wie man die Faktorisierung der ganzen Zahl reduziert , um die Periode r einer Funktion f ( x ) = a x zu findenN.NNrrr so, dass f ( x + r ) = f ( x ) mit einigen zufällig ausgewählten a < N . Es …

11 cc.complexity-theory cr.crypto-security factoring

1

Wenn ein PDA M gegeben ist, so dass L (M) in DCFL ist, konstruiere ein DPDA N, so dass L (N) = L (M)

Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die akzeptierte Sprache akzeptiert von ?L ( M ) N M.M.MML ( M.)L(M)L(M)N.NNM.MM Ein …

11 reference-request computability fl.formal-languages automata-theory

1

Die Gleichwertigkeit zweier Definitionen von Vollständigkeit und Solidität in interaktiven Beweissystemen

Die Vollständigkeit und Solidität in interaktiven Proofsystemen wird informell definiert als: Vollständigkeit: Wenn eine Aussage wahr ist, die ehrlich Prover die überzeugen kann ehrlich Verifizierer dieser Tatsache whp . Solidität: Wenn eine Aussage falsch ist, kann der Betrüger den ehrlichen Prüfer (von der Gültigkeit der falschen Aussage) nicht überzeugen Der …

11 cc.complexity-theory interactive-proofs

4

Erfasst die Diagonalisierung das Wesen der Klassentrennung?

Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der Schlussfolgerung der Diagonalisierung oder in der diagonalisierten Turing-Maschinenkonstruktion verwendet werden könnten. Hier sind einige …

11 cc.complexity-theory complexity-classes relativization barriers

2

Exponate für ein Museum of Computing

Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den Bereichen Computer, Informatik, Kommunikation und Mathematik zu …

11 soft-question big-list ho.history-overview

2

Datenstruktur, die effiziente tagbasierte Suchvorgänge ermöglicht

Ich suche eine hocheffiziente Datenstruktur zur Speicherung von Daten ähnlich der folgenden. ID Tags Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Ich muss in der Lage sein, diese Struktur so abzufragen, dass ich eine Liste aller IDs bekomme, …

11 ds.data-structures application-of-theory db.databases

2

Lösbarkeit der Matrixfüllung

Die Matrix hat die Dimension n × n ( n - 1 ) . Wir wollen A mit ganzen Zahlen zwischen 1 und n einschließlich füllen .EINAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)EINAA111nnn Bedarf: Jede Spalte von ist eine Permutation von 1 , … , n .EINAA1 …

11 co.combinatorics cr.crypto-security coding-theory

3

Ist das MapReduce-Framework eine Art BSP?

Ist es richtig, das mapReduce- Framework als eine Art synchrones paralleles Massenprogrammierungsframework ohne lokale Speichererhaltung innerhalb von Prozessoren zwischen Synchronisierungen zu bezeichnen? Wenn nicht, welches parallele Programmiermodell kapselt das mapReduce-Framework am genauesten?

11 dc.parallel-comp machine-models

4

Ein endliches Modell finden

ϕϕ\phi ϕϕ\phiϕϕ\phi Der zweite Teil meiner Frage lautet: Gibt es bekannte Einschränkungen, so dass das Problem entscheidbar ist? Beispielsweise kann das Problem für Formeln erster Ordnung mit nur monadischen Prädikaten entscheidbar werden. Oder wenn wir ein monadisches Prädikat plus eine Nachfolgerbeziehung haben. Aber ich kann mir keinen Algorithmus vorstellen, um …

11 reference-request lo.logic computability finite-model-theory

3

Regelmäßige Graphen und Isomorphismus

Ich möchte fragen, ob es dazu bereits ein veröffentlichtes Ergebnis gibt: Wir nehmen alle möglichen unterschiedlichen Pfade zwischen jedem Knotenpaar zweier verbundener regulärer Graphen (mit dem Grad , sagen wir, und der Anzahl der Knoten ) und schreiben ihre Längen auf. Natürlich ist diese Anzahl unterschiedlicher Pfade exponentiell. Meine Frage …

11 graph-theory co.combinatorics graph-algorithms graph-isomorphism

2

Verweise auf Programmiersprachen basierend auf bedingten Logiken

Bedingte Logik ist eine Logik, die die traditionelle logische Implikation mit Modaloperatoren erweitert, die anderen Begriffen der Bedingung entsprechen (z. B. lautet die kausale Bedingung " verursacht" B "oder" B " probabilistische Konditionierung " ", die " gegebenes " lautet ).A□→BA◻→BA\; \square\!\!\!\!\to BA | B A B.AAAA|BA|BA|BAAABBB Normalerweise werden diese …

11 reference-request lo.logic pl.programming-languages type-theory proof-theory