Theoretische Informatik

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

3
Zeugenfindung in Minkowski-Summe von ganzen Zahlen
Lassen Sie AAA und BBB werden Teilmengen von { 0 , ... , n }{0,…,n}\{0,\ldots,n\} . Wir sind daran interessiert, die Minkowski-Summe A + B = { a + b | zu finden a ∈ A , b ∈ B } A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} . χ X : …
16 convolution  fft 
1
Berechnen der Parität einer Permutation auf Streaming-Weise
Ich suche nach einem One-Pass-Algorithmus, der die Parität einer Permutation berechnet. Ich gehe davon aus, dass eine Eingabepermutation durch stream . Die Ausgabe sollte die Parität der Permutation sein. Die Frage, die mich interessiert, wie viel Speicher ein deterministischer Algorithmus verwenden sollte. Gibt es einen zufälligen Algorithmus für das Problem?π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], …
3
Beispiele für
Ich benötige eine Liste von vollständigen Sprachen. Im Complexity Zoo sind zwei solche Probleme aufgeführt :Σp2Σ2p\Sigma_2^p Mindestäquivalent DNF. Gibt es bei einer DNF-Formel F und einer Ganzzahl k eine DNF-Formel, die F mit k oder weniger Vorkommen von Literalen äquivalent ist? Kürzester Implikant. Gibt es bei gegebener Formel F und …
1
Inwieweit kann die Mathematik von Real auf berechenbare Real angewendet werden?
Gibt es einen allgemeinen Satz, der besagt, dass die bekanntesten Ergebnisse in Bezug auf die Verwendung reeller Zahlen tatsächlich verwendet werden können, wenn nur berechenbare reelle Zahlen betrachtet werden? Oder gibt es eine ordnungsgemäße Charakterisierung der Ergebnisse, die gültig bleiben, wenn nur die berechenbaren Realwerte berücksichtigt werden? Eine Nebenfrage ist, …
1
Kann ständige Mehrdeutigkeit die Zustandskomplexität einer regulären Sprache verringern?
Wir sagen , dass NFA ist ständig mehrdeutige Existieren k ∈ N , so dass jedes Wort w ∈ & Sigma; * durch entweder akzeptiert wird 0 oder (exakt) k Pfaden.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Wenn Automat für ständig mehrdeutig ist k = 1 , dann M heißt Eindeutiges FA (UFA).MMMk=1k=1k=1MMM Sei …
2
Zum in
Ich versuche die Komplexität von Funktionen zu verstehen, die über Schwellenwert-Gatter und dies führte mich zu . Insbesondere interessiert mich, was derzeit über das Lernen in , da ich kein Experte auf diesem Gebiet bin.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Was ich bisher entdeckt habe, ist: Alle können in quasipolynomialer Zeit …
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.