Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Anforderung von Referenzen zu Ergebnissen des Multicommodity Flow-Cut
Dies ist eine etwas subjektive Frage. Ich bin daran interessiert, die Literatur zu Flow-Cut-Ergebnissen mit mehreren Unterkünften zu studieren, insbesondere zu den „positiven“ Ergebnissen, die zeigen, dass Flow eine gute Annäherung an den Cut darstellt (z. B. innerhalb eines Faktors, der in der Anzahl der Flows konstant oder polylogarithmisch ist). …
3
Beispielfrage für 1-Wege-Quanten-endliche Automaten
Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA mit den folgenden Übergangsregeln: ,Va|q0⟩ = 12| q0⟩ + 12| q1⟩ + …
1
Nicht-CFL-Verschlusseigenschaften
Ich wurde von einem Studenten wie folgt gefragt und konnte keine vollständige Antwort finden: Gibt es Schließungseigenschaften für die Klasse von Sprachen, die nicht kontextfrei sind? Es ist ziemlich einfach, Beispiele zu finden, die zeigen, dass es nicht unter Schnittmenge und Iteration geschlossen ist (Kleene-Sternoperator), aber wie wäre es mit …
1
Erfahrene autodidaktische theoretische Informatiker
Erfolgreiche Autodidaktmusiker, Maler, Autoren und Architekten sind zwar sehr häufig anzutreffen, aber ich kenne keine berühmten Autodidakten auf dem Gebiet der TCS. Gibt es Beispiele für einen versierten autodidaktischen theoretischen Informatiker (dh jemanden, der eine bedeutende Arbeit veröffentlicht hat, ohne jemals zur Schule zu gehen)?
2
Max-Cut der kleinen geschlossenen Familie
Es ist bekannt, dass planare Graphen aus einer geschlossenen Familie mit verbotenen Minderjährigen , Graphen mit begrenzter Baumbreite auch Graphen geschlossener Familien ohne H k als Nebenwert sind .K3,3,K5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Ich gehe davon aus, dass Diagramme mit begrenztem Maximalschnitt Diagramme mit geschlossenen Familien bilden. Wenn ein beliebiger Graph , der …
2
Sichere Mehrparteienberechnung der Anzahl von 1s mal der Anzahl von 0s in einer gemeinsam genutzten Zeichenfolge
Angenommen, es gibt N>2N.>2N>2 Parteien pjpjp_j mit jeweils einem Bit . Ich möchte die Multiplikation der Anzahl von Einsen mit der von Nullen berechnen, dh . R = ( ∑ b j ) × ( N - ∑ b j )bj∈{0,1}bj∈{0,1}}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R.=(∑bj)×(N.- -∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Die Berechnung sollte in dem Sinne sicher sein, …
3
Dreiecke in einem Diagramm finden: andere Ansätze neben dem Testen von Eigenschaften?
Wir arbeiten an einem Artikel, in dem einige Algorithmen zum Auffinden von Dreiecken und Netzwerkmotiven (Untergraphen konstanter Größe, auch als Graphlets bezeichnet) in einer verteilten Umgebung vorgestellt werden. Wir charakterisieren den Kompromiss zwischen der Anzahl der Dreiecke im Diagramm und der erforderlichen Kommunikationslast. Ich suche nach Hinweisen auf Arbeiten zu …
1
Die Roll Problem
Edit: Ich denke, der Geist der Frage war gut, aber es muss verbessert werden. Die für den Münzwurf getroffenen Annahmen machten diese Frage trivial, und der Würfelwurf ist immer noch nicht genau genug definiert. Was sind vernünftige Annahmen, die wir über einen Würfelwurf machen können, die die Frage nachvollziehbar, aber …
2
Gibt es irgendwelche Arbeiten zur Entwicklung der Differenzrechnung von Turingmaschinen (oder einfacheren formalen Sprachen)?
Ich versuche, einige Begriffe einer Differenzrechnung zwischen einer von einem Entwickler konzipierten fiktiven Ideal Turing-Maschine (z. B. was auch immer von einem Softwareentwickler beabsichtigt ist), und den Maschinen zu entwickeln, die die Software darstellen, die tatsächlich entworfen wird, und implementiert, sagen wir M α bzw. M β .M.ichMIM_IM.αMαM_\alphaM.βMβM_\beta Insbesondere ist …
2
Verwendung negativer Ergebnisse zum Nachweis positiver Ergebnisse in der Berechenbarkeitstheorie
Viele Ergebnisse in der Kryptographie hängen von Unmöglichkeitsergebnissen / Vermutungen in der Komplexitätstheorie ab. Beispielsweise wird angenommen, dass die Kryptographie mit öffentlichem Schlüssel unter Verwendung von RSA aufgrund der Vermutung über die Unmöglichkeit des Factorings (und der modularen Root-Finding-Probleme) möglich ist. Meine Frage ist : Haben wir ähnliche Ergebnisse in …
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.