Theoretische Informatik

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

1
Wo ist der Fehler in der Methode von Blum-Feldman-Micali?
Blum, Micali und Feldman (BFM) haben ein neues (kryptografisches) Modell vorgestellt, bei dem alle Parteien (ehrlich oder kontrovers) Zugriff auf eine Zeichenfolge haben. Es wird davon ausgegangen, dass die Zeichenfolge gemäß einer Verteilung (normalerweise einer gleichmäßigen Verteilung) von einer vertrauenswürdigen Partei ausgewählt wird. Es wird als Referenzzeichenfolge bezeichnet , und …
1
Trennung zwischen grobkorrelierten Gleichgewichten und korrelierten Gleichgewichten
Ich suche nach Beispielen für Techniken zum Nachweis des Preises von Anarchiegrenzen, die die Fähigkeit haben, den Preis der Anarchie über grobkorrelierte Gleichgewichte (die begrenzte Menge der Dynamik ohne äußeres Bedauern) vom Preis der Anarchie über korrelierte Gleichgewichte (die Begrenzung) zu trennen Satz von No-Swap-Regret-Dynamiken). Sind natürliche Separationen dieser Art …
1
Vollständigkeit und kontextsensitive Sprachen.
Ich interessiere mich für zwei Fragen bezüglich kontextsensitiver Sprachen (CSL) und Vollständigkeit: Gibt es einen Begriff von Vollständigkeit für CSL und welche Sprachen sind vollständig? Gibt es natürliche CSL, die NP-vollständig sind? Für 2. kann ich mir natürlich NP-vollständige Sprachen vorstellen, die CSL sind (da CSL gleich NSPACE [ ] …
1
Können wir entscheiden, ob eine bleibende Karte eine eindeutige Laufzeit hat?
Angenommen, wir erhalten eine nxn-Matrix M mit ganzzahligen Einträgen. Können wir in P entscheiden, ob es eine Permutation so dass wir für alle Permutationen ?σσ\sigmaπ≠σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ( i )ΠMiσ(i)≠ΠMichπ(ich)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Bemerkungen. Man kann das Produkt natürlich durch eine Summe ersetzen, das Problem bleibt gleich. Wenn die Matrix nur 0/1 Einträge …
5
Stärkere Vorstellungen von Uniformierungen?
Eine Lücke, die mir immer bewusst war und die ich nicht wirklich verstehe, ist die zwischen ungleichmäßiger und gleichmäßiger Rechenkomplexität, wobei die Schaltungskomplexität die ungleichmäßige Version darstellt und Turing-Maschinen dort, wo die Dinge gleichförmig sind. Ich nehme an, "Uniform" ist eine Möglichkeit, die Klasse der Algorithmen einzuschränken, z. B. eine …
1
Empfindlichkeit der Diagrammeigenschaften
In [1] zeigt Turan, dass die Empfindlichkeit (im Artikel als "kritische Komplexität" bezeichnet) einer Grapheneigenschaft streng größer als wobei die Anzahl der Eckpunkte im Graphen ist. Er geht weiter zu der Vermutung, dass jede nicht-triviale Grapheneigenschaft eine Sensitivität . Er erwähnt, dass dies für verifiziert wurde . Wurden bei dieser …
1
Effizientere ungleichmäßige Derandomisierung?
Adleman, FOCS'78 zeigte, dass jede randomisierte Schaltung für Eingänge der Länge ungleichmäßig derandomisiert werden kann. Die Konstruktion dupliziert jedoch effektiv die ursprüngliche Schaltung O ( n ) mal, so dass die derandomisierte Schaltung um einen Faktor von O ( n ) größer ist als die ursprüngliche . Gibt es eine …
1
Erweiterungen der Beta-Theorie der Lambda-Rechnung
Die Beta-Eta-Theorie der Lambda-Rechnung lautet Post-complete. Können zusätzliche Regeln hinzugefügt werden, um die Beta-Theorie des Lambda-Kalküls zu erweitern und konfluente Theorien zu erhalten, die von der Beta-Eta-Theorie abweichen? Nachsatz Diese Frage verstieß gegen meine eigene Regel, dass Fragen erklären sollten, warum sich der Fragesteller darum kümmert. Es fiel mir eines …
3
Können nichtdeterministische endliche Automaten (NDFA) effizient in subexponentielle endliche Automaten (DFA) umgewandelt werden?
Vor 20 Jahren habe ich ein Paket für reguläre Ausdrücke erstellt, das Konvertierungen von regulären Ausdrücken in eine Finite-State-Maschine (DFA) enthielt, und eine Vielzahl von geschlossenen Operationen für reguläre Ausdrücke (Kleene-Stern, Verkettung, Umkehrung, Mengenoperationen usw.) unterstützt. Ich war mir nicht sicher über die schlechteste Leistung meines Pakets. Ein DFA hat …
3
Welche
Neil Immermans berühmtes Bild der Welt ist das folgende (zum Vergrößern klicken): Seine Klasse "Wirklich machbar" beinhaltet keine andere Klasse; meine frage ist dann: Was ist ein AC 0- Problem, das als unpraktisch angesehen wird, und warum?
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.