In letzter Zeit habe ich mich für algebraische Geometrie interessiert und angefangen, darüber zu lesen. Ich weiß immer noch sehr wenig über dieses Gebiet, aber ich möchte wissen, ob es irgendeinen Zusammenhang mit meinem Hauptgebiet, der Typentheorie und den Programmiersprachen hat. Ich weiß, dass...
Kontext : Es gibt mehrere Artikel , die die Auswirkungen geschlossener zeitlicher Kurven (CTCs) auf die Quantenkomplexität untersuchen. Im Jahr 2008 veröffentlichten Aaronson und Watrous ihre berühmte Arbeit zu diesem Thema, die zeigt, dass bestimmte Formen der Zeitreise klassische und...
In TCS gibt es eine Art von Ergebnissen, die normalerweise als Bootstrapping-Ergebnisse bezeichnet werden . Im Allgemeinen ist es von der Form Wenn Satz AAA gilt, gilt Satz A′A′A' . wobei AAA und A′A′A' Sätze sind, die ähnlich aussehen, und AAA scheinbar "schwächer" ist als A′A′A' , weshalb wir...
Für viele Probleme hat der Algorithmus mit der besten asymptotischen Komplexität einen sehr großen konstanten Faktor, der durch die große O-Notation verborgen ist. Dies tritt bei der Matrixmultiplikation, der Ganzzahlmultiplikation (insbesondere dem jüngsten O (n log n)
In [1] haben Garey et al. Identifizieren Sie das, was später als das Problem der Summe der Quadratwurzeln bekannt wird, während Sie die NP-Vollständigkeit des euklidischen TSP erarbeiten. Bestimmen Sie bei gegebenen ganzen Zahlen ein1, ein2, … , A.na1,a2,…,ana_1, a_2, \ldots, a_n und L.LL , ob...
Ich habe mich gefragt, ob die Suche nach planaren 3-Farben bekanntermaßen von Komplexität oder niedriger ist. Dies scheint eine intuitive Konsequenz zu sein, die auf den Ergebnissen planarer Trennzeichen basiert. In Wikipedia werden jedoch nur unabhängige Mengen, Steiner-Bäume, Hamilton-Zyklen und...
Sei ein zufälliger Graph an Kanten. Mit sehr hoher Wahrscheinlichkeit hat viele Zyklen. Unser Ziel ist es, einen dieser Zyklen so schnell wie möglich auszugeben .G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Angenommen, wir haben Zugriff auf in Form einer...
Bei der Einführung der modularen Zerlegung von Graphen verwenden die meisten Autoren den 11-Vertex-Graphen, den ich aus Wikipedia kopiere. Die Frage ist, wer der ursprüngliche Designer davon ist (sind). (Ich frage nicht, wer diese Grafik für Wikipedia gezeichnet hat, sondern die ursprüngliche...
Ein besonderes Programmierproblem, auf das ich kürzlich gestoßen bin, reduziert sich darauf, Hamilton-Pfade in einem rechteckigen Raster zu finden, das ungefähr so aussehen würde: A 0 0 0 0 0 0 0 0 0 C D Welche effektiven Heuristiken könnten angewendet werden, um sie zu finden - und insbesondere...
Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren,...
Es gab vor kurzem ein beanspruchtes Beweis dafür , dass P.≠ N.P.P.≠N.P.P \ne NP . Nicht lange nach seiner Veröffentlichung wurden einige Probleme mit diesem Beweis aufgeworfen . Also ... ist der Beweis richtig oder nicht? (Bitte beantworten Sie dies nur, wenn Sie Beweise haben ... diese Frage kann...
Ich möchte etwas gut in der Suche nach Zeichenfolgen und im Mustervergleich sein. Können Sie mich auf einige gute Online-Ressourcen verweisen? Übungsprobleme wären toll. Vielen
Gibt es einen verallgemeinerten Algorithmus zum Finden der Umkehrfunktion einer beliebigen bijektiven Funktion? Damit dieser Algorithmus nützlich ist, muss er eventuell angehalten werden, sobald die richtige Antwort gefunden wurde. Abgesehen von der Anforderung, dass die Lösung irgendwann gefunden...
Angenommen, ist eine stetige Funktionf:R×R→Rf:R×R→Rf:\mathbf{R}\times \mathbf{R} \to \mathbf{R} x1…xnx1…xnx_1 \ldots x_n ist eine Menge realer Werte, die wir berechnen möchten argmina∑if(a,xi)argmina∑if(a,xi)\text{argmin}_a \sum_i f(a,x_i) mit vorgeschriebener Genauigkeit Gibt es einige Ergebnisse...
Gibt es da draußen einen Algorithmus, der einen Wert zurückgeben kann, der einen Grad an Zufälligkeit anzeigt? Ich glaube, es heißt Datenentropie . Ich habe kürzlich diesen Artikel gelesen: http://faculty.rhodes.edu/wetzel/random/mainbody.html Würde sein Ansatz, Münzwürfe zu analysieren, für Bytes...
Reduziertes bestellt Binary Decision Diagrams (ROBDD) ist eine effiziente Datenstruktur für die Darstellung von Booleschen Funktionen mehreren Variablen . Ich möchte eine Vorstellung davon bekommen, wie effizient sie sind.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Zum Beispiel wissen...
Eine Möglichkeit, die maximale Gewichtsübereinstimmung anzuzeigen, besteht beispielsweise darin, dass jeder Scheitelpunkt ein Dienstprogramm , das dem Gewicht der Kante entspricht, an der es übereinstimmt, und ansonsten Null.vvvfv=w(ev)fv=w(ev)f_v= w(e_v) könnte eine maximale Gewichtsanpassung dann...
Ich habe angefangen, Inzidenzstrukturen und kombinatorische Designs zu untersuchen (mögliche Motivation: einige Strukturen in der verallgemeinerten Selbstorganisation nach oben zu begrenzen), und der Wikipedia-Artikel gibt die folgende interessante, aber ungeklärte Aussage ab: Blockdesigns haben...
Angenommen, Sie haben Männer und n Frauen. Jede Person hat m Attribute. Jede Person gibt eine Reihe von Attributen an, die ein möglicher Kandidat haben sollte. Ein Matching ist eine Menge von Paaren. Jedes Paar bindet einen Mann an eine Frau. Die Zufriedenheit eines Matchings ist die Anzahl der...
Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k...