Ich entwerfe eine einfache statisch typisierte funktionale Programmiersprache als Lernerfahrung. Es scheint, dass das Typsystem, das ich bisher implementiert habe, (mit ein wenig zusätzlicher Arbeit) Schnitt- und Vereinigungstypen enthalten könnte, z. B .: <Union String Integer> <Union...
Ich habe daran gearbeitet, einige Ergebnisse aus der Komplexität von Berechnungen in die theoretische Biologie, insbesondere Evolution und Ökologie , einfließen zu lassen , mit dem Ziel, für Biologen interessant / nützlich zu sein. Eine der größten Schwierigkeiten, mit denen ich konfrontiert war,...
Jeder weiß, dass es viele Entscheidungsprobleme gibt, die für allgemeine Diagramme NP-schwer sind, aber ich interessiere mich für Probleme, die sogar NP-schwer sind, wenn das zugrunde liegende Diagramm ein Pfad ist. Können Sie mir helfen, solche Probleme zu sammeln? Ich habe bereits eine verwandte...
Viele algorithmische Graphenprobleme können sowohl in ungewichteten als auch in gewichteten Graphen in Polynomzeit gelöst werden. Einige Beispiele sind der kürzeste Pfad, der minimale Spannbaum, der längste Pfad (in gerichteten azyklischen Graphen), der maximale Fluss, der minimale Schnitt, der...
Dies ist eine Art offene Frage, für die ich mich im Voraus entschuldige. Gibt es Beispiele für Aussagen, die (scheinbar) nichts mit Komplexität oder Turing-Maschinen zu tun haben, deren Antwort aber implizieren würde ?P≠NPP≠NP\mathbf{P}\neq
Im Anschluss an eine vorherige Frage , was sind die besten aktuellen Raum untere Schranken für SAT? Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term...
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
Ich habe gelesen, dass Church anfangs den Kalkül als Teil seines Postulate of Logic- Papiers vorschlug (was eine dichte Lektüre ist). Doch Kleene bewies, dass sein "System" inkonsistent war. Danach extrahierte Church relevante Dinge für seine Arbeit über "effektive Berechenbarkeit" und gab seine...
Ich habe Andrej Bauers Artikel Erste Schritte in der Theorie der synthetischen Berechenbarkeit gelesen . Abschließend stellt er fest, dass Unsere Axiomatisierung hat ihre Grenzen: Sie kann keine Ergebnisse in der Berechenbarkeitstheorie nachweisen, die sich nicht auf Orakelberechnungen relativieren...
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator...
Sei die Variable x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_n . Der Abstand zwischen zwei Variablen ist definiert als d(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b|. Der Abstand zwischen zwei Literalen ist der Abstand zwischen den entsprechenden beiden Variablen. Angenommen , ich habe eine...
Gibt es eine gute Umfrage, die verschiedene Extraktoren, Konzentratoren und Superkonzentratoren vergleicht und die besten Methoden in Bezug auf den Kompromiss zwischen Zufälligkeit, Zeit und Raum aufzeigt?
Ein Komplexitätsklassentrennungsbeweis verwendet die Einheitlichkeit von Komplexitätsklassen im Wesentlichen dann, wenn der Beweis das Ergebnis für eine ungleichmäßige Version nicht beweist. Beispielsweise verwenden Beweise, die auf Diagonalisierung basieren (wie Zeit- und Raumhierarchiesätze), die...
Wir wissen viel über die Einschränkungen von Schaltungen mit konstanter Tiefe (Polynomgröße). Da (polynomische Größe) Formeln mit konstanter Tiefe ein noch eingeschränkteres Berechnungsmodell darstellen, können alle Probleme, von denen bekannt ist, dass sie nicht in AC 0 vorliegen, auch nicht mit...
Welche interessanten Unterschiede gibt es zwischen Theorie und Praxis der Sicherheit und Kryptographie? Am interessantesten werden natürlich Beispiele sein, die auf der Grundlage der praktischen Erfahrung neue Wege für die theoretische Forschung aufzeigen :). Die Antworten könnten beinhalten (sind...
Wenn fff eine konvexe Funktion ist, dann besagt Jensens Ungleichung, dass f(E[x])≤E[f(x)]f(E[x])≤E[f(x)]f(\textbf{E}[x]) \le \textbf{E}[f(x)] ist und mutatis mutandis, wenn fff konkav ist. Natürlich kann man im schlimmsten Fall E[f(x)]E[f(x)]\textbf{E}[f(x)] in Bezug auf
Ich habe diese Frage bereits vor einiger Zeit auf MathOverflow gepostet , aber meines Wissens ist sie immer noch offen. Deshalb veröffentliche ich sie hier in der Hoffnung, dass jemand davon gehört hat. Problemstellung Lassen , Q und R drei Trennwände in seiner p nicht leeren Teile (bezeichnet P h...
Könnte jemand bitte auf eine oder mehrere Websites verweisen, auf denen eine funktionierende Implementierung eines #SAT-Lösers heruntergeladen werden kann? Mich interessieren diejenigen, die die genaue Anzahl der Lösungen zurückgeben, keine
Ist BQP gleich BPP mit Zugang zu einem Orakel der verborgenen Abelschen
Wenn Sie Ergebnisse zusammenstellen, ist es oft wünschenswert, einige professionell aussehende Diagramme zu haben, anstatt Diagramme in MS Paint zusammenzustellen. Was ist der Standard zum Zeichnen von