Q . Wie komplex ist es, die größte volumenbegrenzte Zelle in einer Anordnung von Hyperebenen in Dimension?nnnddd Ich denke, ich sollte das wissen ... Aber ich finde keine endgültige Referenz. Ist es ? Wie wäre es mit der Spezialisierung : Die größte flächenbegrenzte Zelle in einer Anordnung von...
In formalen Sprachen gibt es ein offenes Problem, das als Trennungsproblem bekannt ist. Dies wird kurz als gegeben gegeben, wenn zwei unterschiedliche Zeichenfolgen der Länge , wie groß ein DFA ist, um sie zu "trennen", was bedeutet, dass eine Zeichenfolge akzeptiert, die andere jedoch abgelehnt...
Was ist die Komplexität des folgenden Problems ( P? NP-hard?):∈∈\in Eingabe: ein gerichteter azyklischer Graph , eine Menge von Rückwärtskanten und zwei verschiedene Knoten und .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Frage: Es sei bezeichnen den Graph , gebildet durch das...
Beim Testen der Polynomidentität suchen wir nach einem deterministischen Algorithmus, um auf die Gleichheit zweier Polynome . Die Derandomisierung bekannter effizienter randomisierter Algorithmen und die Erstellung eines effizienten deterministischen Algorithmus ist ein wichtiges offenes Problem....
Wie komplex ist es bei zwei Permutationen und h über n Elemente (dh Mitgliedern von S n ), die Reihenfolge der durch g , h erzeugten Untergruppe zu berechnen ? Oder einfach nur zu entscheiden, ob die Untergruppe in der Ordnung n ist ! (dh alle von S n
Es ist ein altes offenes Problem, ob ein Direktsummensatz für die deterministische Kommunikationskomplexität gilt, dh ob das Lösen unabhängiger Instanzen eines Problems t- mal schwieriger ist als das Lösen einer einzelnen Instanz. [FKNN95] zeigte die folgenden Ergebnisse:tttttt Ein negatives...
Sei eine feste Konstante. Bei einer gegebenen ganzen Zahl wollen wir eine Permutation so konstruieren, dass:n σ ∈ S nk > 0k>0k>0nnnσ∈ S.nσ∈Sn\sigma \in S_n Die Konstruktion verwendet konstante Zeit und Raum (dh die Vorverarbeitung benötigt konstante Zeit und Raum). Wir können Randomisierung...
Ich frage mich, ob es eine Möglichkeit gibt, eine Art "Normalform" für binäre Entscheidungsbäume (BDT) auf nachvollziehbare Weise zu geben. Genauer gesagt: Ein BDT ist ein Baum mit internen Knoten, die durch boolesche Variablen gekennzeichnet sind, und Blättern, die mit 000 oder 111 . Ein BDT...
In diesem Blog geht es darum, mit einem Computer "verdrehte kleine Labyrinthe" zu erzeugen und diese aufzuzählen. Die Aufzählung kann mit Wilsons Algorithmus durchgeführt werden , um die UST zu erhalten , aber ich erinnere mich nicht an die Formel für wie viele dort.
Es sei eine Zahl angegeben. Betrachten Sie die folgende Sprache L n = {nnn .L.n= {w w|w ∈ { 0 , 1 }n}}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} In Worten ist die Menge von Kopierzeichenfolgen der Länge 2 n .L.nLnL_n2 n2n2n Betrachten Sie die folgenden...
Sei eine erbliche Klasse von Graphen. (Hereditary = zu nehmen Untergraphen in Bezug geschlossen.) Es sei Q n den Satz von bezeichnen n -eckiges Graphen in Q . Nehmen wir an, dass Q fast alle Graphen enthält , wenn sich der Bruchteil aller in Q n fallenden n- Vertex-Graphen 1 nähert, als n → ∞...
Interaktionskombinatoren wurden zuvor als Kompilierungsziel für den λ-Kalkül vorgeschlagen. Dieses Papier implementiert den vollständigen λ-Kalkül. Es ist auch bekannt, dass es möglich ist, Interaktionsnetzcodierungen des λ-Kalküls für die Teilmenge von λ-Termen zu optimieren , die EAL-typisierbar...
Das Borsuk-Ulam-Theorem besagt, dass es für jede stetige ungerade Funktion ggg von einer n-Kugel in den euklidischen n-Raum einen Punkt x0x0x_0 so dass g(x0)=0g(x0)=0g(x_0)=0 . Simmons und Su (2002) beschreiben eine Methode zur Approximation des Punktes x0x0x_0 Verwendung von Tuckers Lemma . Es ist...
Unter http://www.dharwadker.org/tevet/isomorphism/ wird ein Algorithmus vorgestellt, mit dem ermittelt werden kann, ob zwei Diagramme isomorph sind. Angesichts einer Reihe von "interessanten" Behauptungen von A Dharwadker bin ich nicht geneigt, es zu glauben. Bei meiner Untersuchung stelle ich...
Der folgende λ-Term, hier in normaler Form: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implementiert einen Sortieralgorithmus für kirchenkodierte Listen. Das heißt, das Ergebnis von: sort (λ...
In Polymath-Projekten arbeitet eine große Gruppe an einem offenen Problem. Welche Probleme scheinen in diesem Rahmen am besten zu funktionieren? Gibt es gute Kandidaten für ein Polymath-Projekt in der theoretischen Informatik? Gibt es Hindernisse, die es weniger wahrscheinlich machen, dass...
Aus dem Artikel zur Bewertungsstrategie auf Wikipedia: Der Begriff der Reduktionsstrategie in der Lambda-Rechnung ist ähnlich, aber unterschiedlich. Aus dem Artikel zur Reduktionsstrategie auf Wikipedia: Es ähnelt dem Begriff der Bewertungsstrategie in der Informatik, unterscheidet sich jedoch...
Betrachten Sie das folgende Problem: Bei einer gegebenen Matrix wollen wir die Anzahl der Additionen im Multiplikationsalgorithmus zur Berechnung von v ↦ M v optimieren .M.MMv ↦ M.vv↦Mvv \mapsto Mv Ich finde dieses Problem interessant, weil es mit der Komplexität der Matrixmultiplikation...
Es ist bekannt, dass bestimmte Klassen von NP- Problemen Dichotomiesätze haben , die garantieren, dass jede Aufgabe in der Klasse entweder NP- vollständig oder in P ist . Das bekannteste derartige Ergebnis ist Schäfers Dichotomiesatz zusammen mit einer Reihe von Verallgemeinerungen. Mein...
Die hier betrachteten Wandler sind jene, die Wikipedia Finite-State-Wandler nennt . Das Verhalten eines Wandlers , dh die von ihm berechnete Beziehung, wird geschrieben [ T ] : Ein Wort y ist eine Ausgabe für x iff x [ T ] y .T.TT[ T.]][T][T]yyyxxxx [ T.] yx[T]yx[T]y Frage: Ist das folgende Problem...