Theoretische Informatik

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

2
Was ist der Unterschied zwischen Reduktionsstrategien und Bewertungsstrategien?
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 geringfügig davon. Was ist der subtile Unterschied zwischen Bewertungsstrategien und Reduktionsstrategien, auf den …
2
Massive Online-Zusammenarbeit zur Lösung offener Probleme in der theoretischen Informatik
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 Polymath-Projekte in der theoretischen Informatik im Vergleich zu anderen Bereichen …
1
Ist "sort" für elementare affine Logik typisierbar?
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 (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 n)))) Ähnlich, sort_below = …
1
Wie codiert man den abstrakten Algorithmus von Lamping mithilfe von Interaktionskombinatoren?
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 ist. In diesem Artikel wird diese Teilmenge des λ-Kalküls implementiert, indem EAL-typisierbare λ-Terme in …
1
Ist jemandem ein Gegenbeispiel zum Dharwadker-Tevet Graph Isomorphism-Algorithmus bekannt?
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 fest, dass der Algorithmus definitiv die richtige Antwort liefert und Ihnen sagt, dass …
2
Genaue Formel für die Anzahl der Spannbäume eines Rechtecks
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. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Im Prinzip besagt der Matrixbaumsatz …
1
Kommunikationsprobleme, für die ein deterministischer Direktsummensatz nicht bekannt ist
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 Ergebnis: Es gibt eine Teilfunktion (aufgrund von [O90]), deren deterministische Kommunikationskomplexität …
1
Können wir eine k-weise unabhängige Permutation auf [n] konstruieren, indem wir nur konstante Zeit und Raum verwenden?
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 verwenden. Wenn , kann in konstanter Zeit …
1
Zum Derandomisieren von Polynomidentitätstests
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. Gibt es ein vollständiges Problem für PIT, so dass die Derandomisierung von Identitätstests für diese …
0
Einfacher Weg auf Tag mit rückwärtigen Kanten
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 Hinzufügen die Kanten von . Gibt es in einen einfachen Pfad von …
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.