Können im Teilmengen-Summenproblem einige der angegebenen Zahlen gleich sein? Zum Beispiel könnten wir [ 1 , 1 , 1 , 2 , 3 , 4 ] haben und das Ziel ist 5 ? Kann ich davon ausgehen, dass ich eine bestimmte Lösung mit den Nummern 2 und 3 habe und …
Ich bin mir bewusst, dass einige Ints höhere oder niedrigere Kolmogorov-Komplexitäten haben. Zum Beispiel hat die Zahl 5.41126806512eine sehr geringe Komplexität, wie sie durch ausgedrückt werden kann 17/pi. Mir ist auch bewusst, dass der KC, obwohl er je nach Ausdruckssprache variiert, bis zu einer bestimmten Konstante immer derselbe ist. Ich …
Ich versuche, dieses Problem anhand von Algorithmen zu verstehen . von S. Dasgupta, CH Papadimitriou und UV Vazirani, Kapitel 8 , S. 281. Problem 8.19 Ein Drachen ist ein Graph auf einer geraden Anzahl von Eckpunkten, beispielsweise , in dem der Eckpunkte eine Clique bilden und die verbleibenden n Eckpunkte …
Ich sehe überall, dass die rekursive Gleichung für die Komplexität von Strassen alg lautet: Das ist mir nicht so klar. Der Parameter soll die Größe der Eingabe sein, aber es scheint, dass es sich hier um eine Dimension einer Matrix handelt, während die Eingabegröße tatsächlich . Außerdem ist jede Matrix …
Ich habe dieses Papier gelesen , in dem die Autoren Satz 1 erklären, in dem es heißt, dass "erreichbares Objekt" (wie im Papier definiert) NP-vollständig ist. Sie beweisen jedoch die Reduktion nur in eine Richtung, dh von 2P1N SAT zu erreichbarem Objekt. Dies beweist nur, dass das Problem NP-schwer ist; …
So NPNPNP steht für Probleme , bei denen wir kleine nachprüfbaren Zeugen haben YESYESYES - Instanzen und coNPcoNPcoNP für kleine nachprüfbare Zeugen für NONONO - Instanzen. Wie funktioniert das? PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} und so weiter?
Sei L1L1L_1 und wie folgt:L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} AnspruchL1≤PL2L1≤PL2L_1 \leq_P L_2 Skizzenbeweis Wenn ich wissen will, ob .r∈L1r∈L1r\in L_1 Die Anzahl der …
Ein üblicher Ansatz, um zu entscheiden, ob zwei gegebene Graphen isomorph sind, besteht darin, die sogenannte kanonische Bezeichnung (alternativ kanonischer Graph) jedes Graphen zu berechnen und zu überprüfen, ob diese übereinstimmen oder nicht. Tools wie Nauty berechnen den kanonischen Graphen über Suchbäume, die mit einigen cleveren Ideen beschnitten werden, die …
Ich bin mir sicher, dass mit den folgenden Überlegungen etwas nicht stimmt, da sonst viele P- gegen NP-Untersuchungen eingeschränkt würden, aber ich kann meinen Fehler nicht feststellen: Für jede feste ganze Zahl definieren SieB k : = { ⟨ & phgr; ⟩ |k>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and has a …
Ich bin neu in der Komplexitätstheorie und möchte wissen, was strukturelle Komplexitätstheorie ist. Welche Probleme versuchen Theoretiker auf diesem Gebiet zu lösen und wie sieht ihre Zukunft aus? Aus der Wikipedia: Die Theorie der strukturellen Komplexität oder einfach die strukturelle Komplexität ist das Studium von Komplexitätsklassen und nicht die rechnerische …
Dies ist eine Aufgabe des Bundeswettbewerb Informatik, aber da die Frist abgelaufen ist, ist es kein Betrug, diese Frage zu stellen. Finden Sie bei einem , gerichteten Graphen und den Werten eine Teilmenge der Knoten V_ {res} \ subseteq V , die \ sum_ {v \ in V_ {res}} c_v …
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über Zahnräder miteinander verbinden. Wenn eines dieser …
Ich habe mir kürzlich den folgenden Beweis ausgedacht, dass L = P P = NP impliziert. Angenommen, L = P. Sei A ein Problem in NP. Nach der Verifiziererdefinition von NP hat jede positive Lösung für A einen Zeugen, der in Polynomzeit verifiziert werden kann. Da P = L ist, …
Nach meiner heutigen Theorie der Berechnungstheorie kam mir die Frage in den Sinn: Wenn ein Problem mit einem endlichen Automaten gelöst werden kann, gehört dieses Problem zu P. Ich denke, es ist wahr, da Automaten sehr einfache Sprachen erkennen, würden alle diese Sprachen Polynomalgorithmen haben, um sie zu lösen. Stimmt …
Dies ist etwas, das ich nicht finden konnte - aber ich fand es immer interessant, dass das Pump-Lemma nur ein Lemma ist (zumal es den gleichen Namen für reguläre Sprachen, kontextfreie Sprachen usw. hat). Was ist das für ein Lemma?
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.