Betrachten Sie das Problem , aus einer gegebenen Sammlung von Kandidaten eine maximale disjunkte Menge zu finden - eine maximale Menge nicht überlappender geometrischer Formen. Dies ist ein NP-vollständiges Problem, aber in vielen Fällen liefert der folgende Algorithmus eine Annäherung an einen...
Shor erklärte in seinem Kommentar zu der Antwort von anonymen Elchen auf diese Frage: Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren? , dass es vollständig ist, den Unterschied zweier Permutationen zu identifizieren. Leider sehe ich keine einfache Reduktion des...
Karatsubas Algorithmus zur schnellen Multiplikation wurde erstmals in A. Karatsuba und Yu veröffentlicht. Ofman (1962), "Multiplikation vieler digitaler Zahlen mit automatischen Computern", Proceedings of the UdSSR Academy of Sciences 145: 293–294. Laut Karatsuba (1995, "Die Komplexität der...
Wenn ich Schwanzgrenzen unterrichte, benutze ich die übliche Progression: Wenn Ihr rv positiv ist, können Sie Markovs Ungleichung anwenden Wenn Sie Unabhängigkeit und auch begrenzte Varianz haben, können Sie die Ungleichung von Chebyshev anwenden Wenn für jedes unabhängige RV auch alle Momente...
f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Es ist klar , dass für jede Sprache gilt , daß für jede Zeit gebunden superpolynomielle . Ich frage mich, ob das Gegenteil dieser Aussage auch zutrifft. Das heißt, wenn wir für jede superpolynomielle ,...
Es ist ein klassisches Ergebnis, dass jede Fan-In-2-UND-ODER-NICHT-Schaltung, die PARITÄT aus den Eingangsvariablen berechnet, eine Größe von mindestens und diese scharf ist. (Wir definieren Größe als die Anzahl der UND- und ODER-Gatter.) Der Beweis erfolgt durch Gattereliminierung und es scheint...
Wenn auf eingeschränkte 000 - 111 Eingänge, jeden {+,×}{+,×}\{+,\times\} -Schaltung F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) berechnet , eine Funktion F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} . Um eine Boolesche Funktion zu erhalten, können wir nur ein Fanin-1-Schwellwertgatter als Ausgangsgatter...
Ich weiß, dass die Komplexität der meisten Varietäten von typisierten Lambda-Kalkülen ohne das Y-Kombinator-Primitiv begrenzt ist, dh es können nur Funktionen mit begrenzter Komplexität ausgedrückt werden, wobei die Grenze größer wird, wenn die Ausdruckskraft des Typensystems zunimmt. Ich erinnere...
Bei meiner Recherche bin ich auf folgendes Ergebnis gestoßen. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 wobei und zufällig aus .m=ω(n−−√)m=ω(n)m=\omega(\sqrt...
Für randomisierte Algorithmen die reelle Werte annehmen, ist der "Median-Trick" eine einfache Methode, um die Wahrscheinlichkeit eines Ausfalls auf einen Schwellenwert zu reduzieren , und zwar nur auf Kosten eines multiplikativen Gemeinkosten. Wenn nämlich die Ausgabe von mit einer...
Gibt es ein natürliches Problem in P, für das die bekannteste gebundene Laufzeit die Form , wobei α eine irrationale Konstante ist?O (
László Babai hat kürzlich bewiesen, dass das Graph-Isomorphismus-Problem in quasipolynomialer Zeit vorliegt . Siehe auch seinen Vortrag an der Universität von Chicago, Anmerkung aus den Vorträgen von Jeremy Kun GLL nach 1 , GLL nach 2 , GLL nach 3 . Nach Ladner Theorem, wenn P≠ NPP≠NPP \neq NP ,...
Es ist bekannt, dass das folgende Problem PSPACE-vollständig ist: Ist wenn der reguläre Ausdruck ist ?L ( β ) = Σ *ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Was ist mit der Bestimmung der Äquivalenz zu anderen (festen) regulären Ausdrücken ?αα\alpha Unter normalen Ausdruck , tut ?L ( β ) = L ( α...
Der CoC soll der Höhepunkt aller drei Dimensionen des Lambda-Würfels sein. Das ist mir überhaupt nicht klar. Ich glaube, ich verstehe die einzelnen Dimensionen, und die Kombination von beiden scheint zu einer relativ einfachen Vereinigung zu führen (vielleicht fehlt mir etwas?). Aber wenn ich mir...
Das folgende Problem ist kürzlich in meiner Forschung aufgetreten. Da ich kein Experte für algorithmische Fragen bin, habe ich intensiv nach geeigneten Problemen gesucht, um sie zu reduzieren. Ich verstehe nicht, wie 3SAT funktionieren würde, und obwohl ZOE im Geiste ähnlich ist, ist eine...
Ich schreibe Artikel in theoretischer Informatik und bin manchmal ein nicht anonymer Einzelautor. Früher habe ich die 1. Person Plural in solchen Papieren verwendet, zB: Wir werden zeigen, dass die Komplexitätsklassen X und Y zusammenfallen. Ich spreche weder Englisch als Muttersprache noch sehr...
Es scheint mir, dass die von verwendete Makrosprache möglicherweise als eine Art System zur Umschreibung von Begriffen oder eine Art Programmiersprache mit Call-by-Name-Scoping angesehen werden kann.TEXTEX\TeX Sogar moderne Implementierungen der Engine (z. B. ) interpretieren Code ganz direkt, und...
Vor kurzem habe ich die schmerzhafte lustige Erfahrung gemacht, einem jungen talentierten Autodidakten, der noch nie einen formalen Kurs in Algorithmen oder Komplexität belegt hat, informell das Konzept der Computerkomplexität zu erklären. Es überrascht nicht, dass viele Begriffe zunächst seltsam...
Ich suche nach Sprachen, die "wahrscheinlich nicht kontextfrei" sind, aber wir können sie mit bekannten Standardtechniken nicht (dis) beweisen. Gibt es eine aktuelle Umfrage zu diesem Thema oder einen offenen Problembereich einer aktuellen Konferenz? Wahrscheinlich gibt es nicht viele Sprachen, von...
Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird). Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders...