Ich übersetze ein Buch über LISP und es berührt natürlich einige Elemente des Kalküls. Daher wird dort neben einigen Modellen des λ- Kalküls ein Begriff der Extensionalität erwähnt , nämlich: P ω und D ∞ (ja, mit der Unendlichkeit oben). Und es wird gesagt, dass P ω eine Dehnung ist, während D ∞...
Dies ist ähnlich wie bei SAT, außer dass wir die Zuordnung jeder Variablen kennen, aber die Zuweisung eines booleschen Operators nicht kennen. Ist es in diesem Fall ein NPC-Problem, die Zuordnung jedes Operators so zu finden, dass der Ausdruck einen bestimmten booleschen Wert ergibt? Eigentlich...
Ich suche nach einer Möglichkeit, Diagramme zu erstellen, damit die optimale Scheitelpunktabdeckung bekannt ist. Es gibt keine Einschränkungen hinsichtlich der Anzahl der Knoten oder Kanten, nur dass der Graph vollständig verbunden ist. Die Idee ist, ein Diagramm zu erstellen, das nicht einfach...
Gibt es Anwendungen der Abstrakten Algebra für die Programmiersprachentheorie? Gibt es etwas, das für das Sprachdesign und die Compiler-Implementierung nützlich
Ich versuche, ein einfaches konkaves Polygon mit einem Minimum an Rechtecken zu bedecken. Meine Rechtecke können beliebig lang sein, aber sie haben maximale Breiten, und das Polygon hat niemals einen spitzen Winkel. Ich dachte darüber nach, mein konkaves Polygon in Dreiecke zu zerlegen, die einen...
Eine Färbung eines m × n- Gitterskkkm×nm×nm \times n ist eine Funktion . Ein gebrochenes Rechteck in C ist ein Tupel ( i , i ' , j , j ' ) , das C ( i , j ) = C ( i ' , j ) = C ( erfüllt ).C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - das heißt, genau drei...
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies...
Es wird allgemein angenommen, dass einige Rechenprobleme wie der Graphisomorphismus nicht NP-vollständig sein können, da sie nicht genügend Struktur oder Redundanz besitzen, um rechenintensiv (NP-hart) zu sein. Ich interessiere mich für die verschiedenen formalen Begriffe für die Struktur von...
Der Satz von Courcelle besagt, dass jede in der monadischen Logik zweiter Ordnung definierbare Grapheneigenschaft in linearer Zeit auf Graphen mit begrenzter Baumbreite entschieden werden kann . Dies ist einer der bekanntesten algorithmischen Metasätze. Motiviert durch Courcelles Theorem machte ich...
Welche Art von Hierarchiesätzen gibt es für die Schaltungstiefe? Aussagen wie wenn und f ( n ) ∈ n O ( 1 ), dann ist S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D e p t h ( n O (G( n ) ∈ o ( f( n ) )g(n)∈o(f(n))g(n) \in o(f(n))f( n ) ∈ nO ( 1 )f(n)∈nO(1)f(n) \in...
Was ist derzeit über die Annäherbarkeit des Gattungsproblems bekannt? Eine vorläufige Suche zeigt mir, dass eine konstante Faktornäherung für ausreichend dichte Graphen trivial ist und ein Approximationsalgorithmus ausgeschlossen wurde. Sind diese Informationen aktuell oder sind bessere Grenzen...
Lassen Sie uns die Färbung ein wenig lockern, dh wir lassen zu, dass einer kleinen Anzahl benachbarter Scheitelpunkte dieselbe Farbe zugewiesen wird. Eine monochromatische Komponente ist definiert als eine verbundene Komponente in dem Teilgraphen, die durch den Satz von Eckpunkten induziert wird,...
Ich interessiere mich für die Frage, ob NP gleich coNP ist oder nicht. Ich würde mich sehr über Ratschläge zu guten Veröffentlichungen zum Thema freuen. Ich weiß, dass diese Frage eng mit der Frage verbunden ist, ob P gleich NP ist oder nicht (so dass, wenn NP! = CoNP, dann P! = NP). Prost,...
Ich weiß, wie einige negative Ereignisse definitiv schlecht sein können: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false :: False false = yc id Ich bin mir jedoch nicht sicher,...
Ich interessiere mich für das Sonnenblumensystem und seine Anwendungen in der Informatik. Wenn ein Universum und eine Sammlung von k Mengen A i gegeben sind, wird es als k-Sonnenblumen-System bezeichnet, wenn A i ∩ A j = Y für alle i ≠ j ist . Und Y heißt als Kern und A i - Y heißt Blütenblätter....
Einige Hintergrundinformationen: Ich bin daran interessiert, "weniger bekannte" Untergrenzen (oder Härteergebnisse) für das Problem "Lernen mit Fehlern" (LWE) und Verallgemeinerungen wie "Lernen mit Fehlern über Ringe" zu finden. Für spezifische Definitionen usw. finden Sie hier eine schöne Umfrage...
Die ETH gibt an, dass SAT im schlimmsten Fall in subexponentieller Zeit nicht gelöst werden kann. Was ist mit dem Durchschnittsfall? Gibt es natürliche Probleme in NP, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind? Unter Durchschnittsfall versteht man die...
Ein sehr interessantes offenes Problem bei der Untersuchung von Komplexitätsmaßen der Booleschen Funktion ist die sogenannte Vermutung der Empfindlichkeit gegenüber der Blockempfindlichkeit. Hintergrundinformationen zur Empfindlichkeit gegenüber Blockempfindlichkeit finden Sie im folgenden Blogpost...
Gibt es mit folgenden Eigenschaften:L ∈ N P.L∈NPL\in {\bf NP} Es ist bekannt, dass P = N P impliziert .L ∈ P.L∈PL\in {\bf P}P = N P.P=NP{\bf P}={\bf NP} Es gibt keine (bekannte) Polynomzeit Turing Reduktion von (oder ein anderen N P -komplette Problem) zu L .S.A T.SATSATN P.NP{\bf NP}L.LL Mit...
Alle meine Lehrbücher verwenden denselben Algorithmus zum Erstellen eines DFA mit einem regulären Ausdruck: Erstellen Sie zuerst einen NFA, der die Sprache des regulären Ausdrucks erkennt, und konvertieren Sie dann den NFA mithilfe der Teilmengenkonstruktion (auch als "Powerset" bezeichnet) in...