Angenommen, Sie haben eine Reihe von Ganzzahlsätzen ( ) und möchten Schnittpunkte einiger davon berechnen ( möglicherweise eine Abfrage, Sie möchten jedoch viele solcher Abfragen unterstützen oder vielleicht sogar alle möglichen Fragen) ∩ S 1 , S 3 , S 7S1,S2...SnS1,S2...SnS_1, S_2 ......
Ich habe eine Reihe von Agenten und eine Reihe von n Aufgaben, und ich muss jeden Agenten genau einer Aufgabe zuordnen, damit die Kosten minimiert werden. Einige Agenten sind mit einigen Aufgaben nicht kompatibel.nnnnnn Ich habe eine Implementierung des ungarischen Algorithmus, deren Lösung für...
Das Problem der maximalen Erfüllbarkeit (Max-Sat) ist das Problem, die maximale Anzahl von Klauseln zu finden, die in einer Booleschen Erfüllbarkeitsinstanz erfüllt werden können. Das genau 1: 2-Sat-Problem fragt, ob es bei einer Reihe von Klauseln mit jeweils zwei Literalen eine Reihe von...
Bei einer algebraischen Zahl αα\alpha bin ich daran interessiert, eine Annäherung von bis zu einer gegebenen Genauigkeit zu finden, wobei sich auf den Realteil der komplexen Zahl bezieht.ℜ ( )R(eα)ℜ(eα)\Re(e^\alpha)R()ℜ()\Re() Formal möchte ich eine rationale Zahl so berechnen, dass | ℜ ( e α ) - r...
Die meisten Ressourcen zu kategorialen Begriffen in der Programmierung beschreiben Monaden, aber ich habe noch nie eine kategoriale Beschreibung von Monadentransformatoren gesehen. Wie könnten Monadentransformatoren im Sinne der Kategorietheorie beschrieben werden? Insbesondere würde mich...
Wenn wir versuchen, einen Algorithmus für ein neues Problem zu konstruieren, ist das Teilen und Erobern (unter Verwendung von Rekursion) einer der ersten Ansätze, die wir versuchen. In einigen Fällen scheint dieser Ansatz jedoch erfolglos zu sein, da das Problem mit zunehmendem Input viel...
Gibt es eine kategoriale Semantik für nicht monotone Logik? Es scheint, dass die einfache Antwort darauf "Nein" ist, da der offensichtliche Begriff der Komposition für jedes Modell einer nicht-monotonen Logik fehlschlägt. Aber gibt es ein Modell, das tatsächlich mit einem entsprechend definierten...
Meine Frage bezieht sich auf den Beweis von Ajtais Hauptsatz in seiner bahnbrechenden Arbeit von 1996, Generieren harter Fälle von Gitterproblemen , die einen Zusammenhang zwischen harten und durchschnittlichen harten Gitterproblemen im schlimmsten Fall anzeigt. Dieser Beweis ist für mich schwer zu...
Es gibt einige Theoreme, hauptsächlich in der Graphentheorie und der kombinatorischen Optimierung, die oft als gute Charakterisierungen bezeichnet werden. Sie setzen normalerweise eine Eigenschaft in , indem sie zeigen, dass eine Eigenschaft entweder hält oder dass es ein gut identifiziertes...
Laut dem XOR Satisfiability Solver-Modul für die DPLL-Integration von Tero Laitinen benötigen wir CNF-Klauseln, um eine Literal-XOR-SAT-Klausel zu konvertieren , wenn wir die Anzahl der Literale nicht erhöhen möchten. Ich verstehe also, dass der Rechenaufwand für die Umwandlung eines...
Ich habe an einem unabhängigen Projekt mit Schwerpunkt auf zellularen Automaten gearbeitet und mich gefragt, ob dies etwas sein könnte, das ich irgendwo in der Graduiertenschule fortsetzen könnte. Ich habe einige mathematische Abteilungen mit symbolischer Dynamik sowie einige CS-Abteilungen mit...
Angenommen, für ein gegebenes Minimierungsproblem mit nur ganzzahligen Lösungen ist es schwer zu entscheiden, ob die optimale Lösung 5 oder 6 ist. Das heißt, ein Polynom-Zeit-Algorithmus mit einem Approximationsverhältnis besser als 6/5 würde P = N implizieren P .N.P.N.P.NPP.= N.P.P.=N.P.P=NP 1)...
Ein Graph ist lokal zweiteilig, wenn die offene Nachbarschaft jedes Scheitelpunkts einen zweigeteilten Graphen induziert. (Laut Suchanfragen könnte der gleiche Name für etwas anderes verwendet werden, das sich auf Oberflächen bezieht). Welche NP-harten Probleme für allgemeine Graphen werden für...
Es scheint mir, dass die Aufgabe zum Entfernen von Quadraten auf die Factoring- Aufgabe reduziert werden kann , aber dass es keine Möglichkeit gibt, das Factoring auf das Entfernen von Quadraten zu reduzieren. Gibt es eine Möglichkeit, dieses "Gefühl" präziser zu machen, dh eine allgemein...
Für Kolmogorov Komplexität durchwesentlichen optimalen Beschreibungssprachen induziert, ist eseine ganze Zahl existiert c , so dass für alle positiven ganzen Zahlen n , gibt es eine Zeichenkette x derartdassK.K.\hspace{.02 in}Kcccnnnxxxn<K.( x )<n+cn<K.(x)<n+c\;\;\; n \: < \: K(x) \: <...
Ich habe dieses Problem gesehen: Eine nicht zunehmende Folge positiver Ganzzahlen m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_k gilt als n-realisierbar, wenn die Menge In={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\} kann in kkk voneinander getrennte Teilmengen S1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k so,...
In dem Film Inception Cobb wird Ariadne gebeten, ein Labyrinth zu entwerfen, dessen Gestaltung doppelt so lange dauert. Dies bietet sich für ein allgemeines Problem an, bei dem wir eine Situation haben, in der die Ressourcen um einen gewissen Betrag begrenzt sind und jeder, der überprüft, ob...
Sei ein NP-vollständiges Graphproblem. Angenommen, X ist in Polynomzeit in Graphen mit begrenztem Durchmesser lösbar. Mit anderen Worten, X , das durch den Durchmesser parametrisiert ist, ist in XP. (Denken Sie daran, dass ein Problem in XP vorliegt, wenn es in n f ( k ) Zeit gelöst werden kann .)...
Sei SAT die Sprache jener Instanzen von SAT, die Variablen , sei -SAT die Sprache jener Instanzen von SAT, in denen jede Klausel enthalten ist höchstens Literale, und sei -SAT ihr Schnittpunkt. Sei , wobei das Infimum über alle Algorithmen (Maschinen in einem Rechenmodell) reicht. Sei s_ \ infty =...
Gibt es ein bedingtes Unmöglichkeitsergebnis oder ist die Frage völlig