GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Ich sage, dass ein Untergraph von (mit derselben Scheitelpunktmenge) sp-äquivalent zu wenn . Mit anderen Worten, das Entfernen von Kanten von nach ändert nicht die Länge der kürzesten Wege; Die entfernten Kanten sind für einen kürzesten Weg...
Das verwirrt mich. Ein einfacher Fall des Zählens ist, wenn das Entscheidungsproblem in und es keine Lösungen gibt.PPP Eine Vorlesung zeigt, dass das Problem des Zählens der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen (äquivalent das Zählen der Anzahl von Zyklusabdeckungen in...
Ich besitze ein Buch, das, inspiriert von Russells Principia Mathematica (PM) und dem logischen Positivismus, versucht, einen bestimmten Bereich zu formalisieren, indem es Axiome bestimmt und daraus Theoreme ableitet. Kurz gesagt, es wird versucht, für seine Domäne das zu tun, was PM für die...
Es gibt eine sehr schöne Konstruktion von Conway mit surrealen Zahlen. Sie sind "Zahlen", die sowohl reelle Zahlen als auch Ordnungszahlen enthalten, vollständig geordnet sind und alle Eigenschaften eines Feldes haben (außer sie bilden keine Menge, sondern eine Klasse). Eine Einführung finden Sie...
Wurden jemals Partitionsbäume implementiert? Hier spreche ich über die Partitionsbäume aus der Rechengeometrie. Die frühesten (nahezu) optimalen Versionen davon waren Matousek und anderen zu verdanken, und zuletzt Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Es klingt verrückt für...
Gibt es konkrete (oder reichhaltige) Beispiele für die Anwendung von adischen Zahlen in der
Welche Beziehung besteht zwischen einfach getipptem Lambda-Kalkül und Logik höherer Ordnung? Unter Curry-Howard scheint es, dass einfach getippter Lambda-Kalkül der Aussagenlogik entspricht. Wie hängt es mit der Logik höherer Ordnung zusammen? Laut diesem Tutorial von Geuvers:...
Betrachten Sie das folgende Problem: Entscheiden Sie bei zwei Strings x, y, ob ein String-Homomorphismus f existiert, so dass f (x) = y ist. Es ist leicht zu zeigen, dass dieses Problem in . Gibt es noch andere Dinge, die wir zu diesem Problem sagen können? zB Ist es in c o N P oder sogar P...
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch...
Sei ein Feld. Wie üblich definieren wir für f ∈ k [ x 1 , x 2 , … , x n ] L ( f ) als die geradlinige Komplexität von f über k . Sei F die Menge der Monome von f , nämlich die Monome, die in f mit einem Koeffizienten ungleich Null erscheinen.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in...
Angenommen, unsere Eingabe ist ein binäres und wir müssen ausgeben , wobei eine konstante ganze Zahl ist. Dies ist nur eine Verschiebung, wenn eine Zweierpotenz ist, aber was ist mit anderen Zahlen? Können wir es mit einem Stromkreis mit konstanter Tiefe für jedes ? Was ist mit ?≤ x / c ≤ c c c c =...
Betrachten Sie die vollständigen Informationen zu kombinatorischen Spielen für zwei Spieler, die nach einer Polynomanzahl von Zügen enden. Abwechselnd wählen die Spieler aus einer endlichen Anzahl zulässiger Züge. Die übliche Frage ist, wie schwierig es ist, aus einer bestimmten Position den...
Ich denke über Ideen zu exakten Quantenalgorithmen nach. Insbesondere betrachte ich wahrscheinliche Einschränkungen von , das aus Sprachen besteht, die durch polytime-einheitliche Quantenschaltungsfamilien über einen beliebigen endlichen Gate-Satz genau entscheidbar sind.EQPEQP\mathsf{EQP} Die...
Ich würde gerne wissen (im Zusammenhang mit dieser anderen Frage ), ob Untergrenzen für das folgende Testproblem bekannt waren: Man erhält Abfragezugriff auf eine Folge nicht negativer Zahlen und ε ∈ ( 0 , 1 ) mit dem Versprechen, dass entweder ∑ n k = 1 a k = 1 oder ∑ n k = 1 a k ≤ 1 - ε .einn≥ ⋯...
Ist das Problem des endlichen inversen Halbgruppenisomorphismus GI-vollständig ? Hier wird angenommen, dass die endlichen inversen Halbgruppen durch ihre Multiplikationstabellen gegeben
Der Beweis von Goldreich et al., Dass drei Färbbarkeitsnachweise keine Wissensnachweise enthalten, verwendet Bit-Commitment für eine vollständige Färbung des Graphen in jeder Runde [1]. Wenn ein Graph Eckpunkte und e Kanten hat, ein sicherer Hash b Bits hat und wir die Fehlerwahrscheinlichkeit p...
Ich höre gerade Alan Kays 'Vortrag "Ist es wirklich komplex oder haben wir es nur kompliziert gemacht?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) wo er sagt, dass "Semaphoren eine schlechte Idee waren und es eine sogenannte Pseudozeit gab, die überlegen war" (um 51:40 im verlinkten...
Ein einmal gelesener Entscheidungsbaum ist wie folgt definiert: und F a l s e sind einmal gelesene Entscheidungsbäume.T.r u eTrueTrueF.a l s eFalseFalse Wenn und B einmal gelesene Entscheidungsbäume sind und x eine Variable ist, die in A und B nicht vorkommt , dann ist ( x ∧ A ) ∨ ( ˉ x ∧ B ) auch...
Ein Vector Addition System (VAS) ist eine endliche Menge von Aktionen . ist der Satz von Markierungen . Ein Lauf ist ein nicht-leeres Wort von Markierungen st . Wenn ein solches Wort existiert sagen wir , dass ist erreichbar von .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m n ∀ i ∈ { 0 , … , n - 1 } ,...
Ich bin in meinem alten tschechischen Algorithmus-Lehrbuch auf folgendes Problem gestoßen, leider ohne Hinweise oder Lösung. "Wir definieren Fibonacci-Wörter als , F 1 = b , F n + 2 = F n F n + 1 , wobei a und b allgemeine Buchstaben sind. Wie können Sie in einer bestimmten Zeichenfolge (über einem...