Gibt es bekannte Algorithmen für das folgende Problem, die den naiven Algorithmus übertreffen? Eingabe: Matrix AAA und Vektoren b,cb,cb,c , wobei alle Einträge von A,b,cA,b,cA,b,c nichtnegative ganze Zahlen sind. x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{...
Wie viele Zyklen ( k ≥ 3 ) gibt es in einem n Scheitelpunktgraphen, so dass der Graph keinen Zyklus C m ( m > k ) hat .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Zum Beispiel , k = 3 , dann hat der Graph höchstens zwei C 3 , so dass G kein C k hat ( k > 3 )...
Do Natürliche Proofs , Relativierung und Algebrization beeinflussen auch die Trennung von anderen Komplexitätsklassen wie etc?L≠NL≠NP≠coNP≠PH≠PSPACEL.≠N.L.≠N.P.≠cÖN.P.≠P.H.≠P.S.P.EINC.E.L\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Zum Beispiel sollte die Barriere für natürliche Beweise jeden Beweis...
Wir alle wissen, dass die minimale Komplexität eines vergleichsbasierten Sortieralgorithmus Vergleiche sind. Ich versuche eine blinde Sortierung durchzuführen, dh wenn eine Zahl einen Schaltkreis (mit booleschen, arithmetischen und "Vergleichs" -Gattern) ausgibt, der eine Liste von Elementen...
Wir haben einen Zeitalgorithmus, um zu bestimmen, ob ein Graph einen Zyklus der Länge genau . Wie können wir mit demselben oder einem anderen Algorithmus herausfinden, wie viele solcher Zyklen in vorhanden sind? G k k G.f( k ) n3f(k)n3f(k)
Ich versuche jetzt besser zu verstehen, was "abstrakte Interpretation" in Programmiersprachen ist. Ich habe ein gutes Buchkapitel gefunden, das die Idee erklärt, die Domäne um ein am wenigsten festes Element zu erweitern, die vier Axiome, die einen festen Punkt für eine stetige Funktion ergeben,...
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform...
Sei xi∈{−1,0,+1}xich∈{- -1,0,+1}}x_i \in \{-1,0,+1\} für i∈{1,…,n}ich∈{1,…,n}}i \in \{1,\ldots,n\} mit dem Versprechen, dass x = ∑ni = 1xich∈ { 0 , 1 }x=∑ich=1nxich∈{0,1}}x = \sum_{i=1}^n{x_i} \in \{0,1\} (wobei die Summe über Z.Z.\mathbb{Z} ). Wie komplex ist es dann zu bestimmen, ob x = 1x=1x = 1...
Diese Frage ist im Wesentlichen die Frage, die ich bei Mathoverflow gestellt habe. Die MSO-Logik (Monadic Second Order) ist eine Logik zweiter Ordnung mit Quantifizierung über unäre Prädikate. Das heißt, Quantifizierung über Mengen. Es gibt mehrere MSO-Logiken, die für in der Informatik untersuchte...
Als professioneller Softwareentwickler habe ich viele wirklich interessante technische Arbeiten gesehen, von denen viele als technische Artikel in Fachzeitschriften und Websites wie http://www.drdobbs.com und http://www.codeproject.com veröffentlicht wurden und viele andere, hier einige Beispiele...
Ich bin mit linearen Programmen vertraut, da sie Probleme mit linearen Zielfunktionen und linearen Einschränkungen lösen können. Aber was kann semidefinite Programmierung lösen, was lineare Programmierung nicht kann? Ich weiß bereits, dass semidefinite Programme eine Verallgemeinerung linearer...
Gibt es ein System ähnlich dem Lambda-Kalkül, das sich stark normalisiert, ohne dass ein Typsystem hinzugefügt werden
Fetus, wenn Sie nicht davon gehört haben, können bis zu lesen hier . Es verwendet ein System von 'Aufrufmatrizen' und 'Aufrufdiagrammen', um alle 'Rekursionsverhalten' von rekursiven Aufrufen in einer Funktion zu finden. Um zu zeigen, dass eine Funktion beendet wird, zeigt sie, dass alle...
Ich bin daran interessiert zu wissen, wie wir die Konzepte von Limits und Colimits bei der Modellierung von Problemen im täglichen Leben verwenden können. Könnte vielleicht jemand (Software-) Engineering-Beispiele liefern? Oder allgemein intuitiv beschreiben, für welche Art von...
Angenommen, ich habe Mengen mit Elementen aus r möglichen. Jeder Satz hat die Größe n ( n < r ), wobei sich die Sätze überlappen können. Ich möchte feststellen, ob die folgenden zwei Probleme NP-vollständig sind oder
Ich habe eine naive Frage: Gibt es eine Turing-Maschine, deren Beendigung wahr ist, aber durch keine natürliche, konsistente und endlich axiomatisierbare Theorie bewiesen werden kann? Ich bitte eher um einen bloßen Existenznachweis als um ein konkretes Beispiel. Dies könnte einen Zusammenhang mit...
Was sind einige der besten Quellen (Bücher und Papiere), um Kommunikationskomplexität allein und in Verbindung mit ihrer Beziehung zur rechnerischen Komplexitätstheorie zu motivieren und zu
Ist es nicht einfacher, die Transitivität eines Digraphen zu überprüfen, als (in Bezug auf die asymptotische Komplexität) den transitiven Verschluss des Digraphen vorzunehmen? Kennen wir eine Untergrenze besser als um festzustellen, ob ein Digraph transitiv ist oder nicht?Ω (...
Es gab einige Fragen ( 1 , 2 , 3 ) zur transitiven Vervollständigung, die mich zum Nachdenken gebracht haben, ob so etwas möglich ist: Angenommen, wir erhalten einen eingabegerichteten Graphen und möchten Fragen vom Typ " ?" Beantworten , dh fragen, ob bei der transitiven Vervollständigung eines...
In dem Problem der gepflanzten Cliquen muss man eine Clique wiederherstellen, die in einem Erdos-Renyi-Zufallsgraphen gepflanzt ist . Dies wurde hauptsächlich für . In diesem Fall ist bekannt, dass es polynomial lösbar ist, wenn und für hart vermutet wird .kkkG ( n, p )G(n,p)G(n,p)p =...