Sei ein maximal induzierter Intervall-Teilgraph eines Graphen . Wenn， Was ist dann die kleinste Anzahl von ?HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) Die Zahl beträgt höchstens : Betrachten Sie einen Satz disjunkter Löcher.3n/43n/43n/4444 Kann es kleiner
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz...
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist? Wenn nein, haben Sie einige Vorschläge zu vernünftigen (Verallgemeinerungs-) Regeln, mit denen versucht werden kann, zu beweisen, dass Turing vollständig ist? Das Offensichtliche ist, dass das Spiel...
Angenommen, ich habe eine Ein-Bit-Zufallsvariable und n sei eine natürliche Zahl. Ich möchte eine Folge von Zufallsvariablen 0 = X 0 , X 1 , … , X n = X stX.∈ { 0 , 1 }X∈{0,1}X \in \{0,1\}nnn0 = X.0, X.1, … , X.n= X.0=X0,X1,…,Xn=X0 = X_0, X_1, \ldots, X_n = X H.( X. | { X. 0, … , X.k} ) = 1 -...
Mich interessiert, wie man beweist, dass ein Satz relativiert. Natürlich ist es einfach zu beweisen, dass ein Satz nicht relativiert, wie das Ergebnis von Baker-Gill-Solovay zeigt; aber wie kann man beweisen , dass ein Satz tut relativieren das heißt , dass es wahr relativ zu jedem Orakel ist? Gibt...
Beim Durchsuchen alter CStheory.se-Beiträge stieß ich auf einen faszinierenden Blog-Beitrag zum Problem der Matrixsterblichkeit . Sofern ich das Problem nicht falsch interpretiert habe, heißt es, dass bei einer endlichen Sammlung von 3 x 3 Matrizen mit ganzzahligen Einträgen für jeden Matrixwert...
Wie viele Kanten von müssen bei einem Diagramm mindestens gelöscht werden, um das Diagrammdreieck frei zu machen? Für mein ungeübtes Auge scheint dies ein schwieriges Problem zu sein.G.GGGGGG Ist bekannt, dass dieses Problem NP-vollständig ist? Was ist mit dem Analogon für orientierte Graphen (dh...
(Ich habe diese Frage vor zehn Tagen auf CS gepostet , seitdem keine Antwort mehr - also poste ich sie hier.) Jede CNF-Formel kann in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden. Es ist nicht immer möglich, wenn neue Variablen nicht zulässig sind (nehmen Sie...
Ich suche nach einer Referenz zum "Reduzieren" von Turing-Reduzierungen auf Mehrfachreduzierungen. Ich denke an eine Aussage der folgenden Form (ähnlich genug Aussagen würden mich auch befriedigen): Satz. Wenn , dann .A ≤ 2 f m B t tA ≤fT.B.A≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf...
Hinweis: Ich habe eine ähnliche Frage zum ungerichteten Diagramm gestellt . Gegeben Ein Digraph ohne Mehrfachkanten oder SchleifenGGG Ein Quellknoten sss Ein Zielknoten ttt Maximale Pfadlänge lll Ich suche nach - Ein Teilgraph von G , der einen beliebigen Knoten und eine beliebige Kante in G...
Was ist der schnellste bekannte Algorithmus zum Faktorisieren von Polynomen mit Variablen und Gesamtgrad ? Hier wächst und ist fest. Die meisten Arbeiten scheinen den Fall zu berücksichtigen, wenn wächst und fest ist. Ich interessiere mich für Ergebnisse sowohl über endliche Felder als auch über...
Hat jemand über die Möglichkeit einer Programmiersprache und eines Compilers nachgedacht, so dass der Compiler automatisch asymptotische Analysen im schlimmsten Fall durchführen kann? Der Anwendungsfall, an den ich denke, ist eine Programmiersprache, in der ich Code schreibe und kompiliere. Der...
Eine Möglichkeit, NP coNP zu beweisen, besteht darin, zu zeigen, dass es für jedes in Polynomzeit berechenbare Aussagenbeweissystem eine Familie von Tautologien gibt, für die Superpolynombeweislängen erfordert (wobei die Länge der Tautologie nachgewiesen wird). Ergebnisse wie das von Haken und...
Ein Nachrichtenauthentifizierungscode (MAC) wird durch ein Dreifach effizienter Algorithmen , die die folgenden erfüllen (die Definition stammt aus Abschnitt 4.3 des Katz -Lindell Buch ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) Bei Eingabe generiert der Algorithmus...
Gibt es ein natürliches vollständiges Graphproblem, das N P- vollständig bleibt, selbst wenn es auf eine in der Polynomzeit erkennbare Graphklasse beschränkt ist? Um degenerierte Fälle zu vermeiden, betrachten wir nur dichte Graphenklassen, in denen die Anzahl der nicht isomorphen ≤ n-...
Betrachten Sie das folgende Problem: Eingabe: (G1, G2) wobei G1 und G2 ungerichtete Graphen sind Frage: Ist die Größe des maximalen unabhängigen Satzes von G1 mindestens so groß wie die Größe des maximalen unabhängigen Satzes von G2? Dies scheint eine ziemlich natürliche Frage zu sein, und dennoch...
Ich arbeite daran, einen triangulierten Graphen in verbundene Untergraphen zu unterteilen, mit einigen Garantien für die Anzahl der Kanten zwischen den Partitionen. Hier ist ein Beispiel eines triangulierten Graphen, der in 4 "Cluster" unterteilt wurde: Was ich ursprünglich wollte, war ein...
Die c-chromatische Zahl wird im Papier definiert . Aufteilung von Graphen in cographs . Es wird nach der Mindestanzahl von Farben gefragt, die zum Färben von Scheitelpunkten verwendet werden, sodass jede Farbklasse eine Cograph ist . Cograph ist ein P4-freier Graph, dh es gibt keinen induzierten...
Kürzlich gab es einige neue Ergebnisse zur computergestützten experimentellen Untersuchung des Erdos-Diskrepanzproblems (EDP) (über SAT-Löser, siehe unten). Dieses Problem wurde von mehreren (T) CS-Forschern angeführt und untersucht. Die (möglicherweise tiefen?) Links zu (T) CS sind jedoch nicht so...
I vermute , dass , wenn eine einfache Dreieck freie Graph ist, dann gibt es eine Menge von höchstens n 2 / 25 Kanten , deren Löschung zerstört jeden ungeraden Zyklus.GG G n2/ 25n2/25 n^2/25 Weitere Informationen finden Sie in der Arbeit von Erdös et al. Von 1988, How to Make a Graph Bipartite ....