Theoretische Informatik np-hardness

2

Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren?

Es gab zwei Fragen vor kurzem auf cs.se gefragt , die entweder verwandt waren oder hatte einen Sonderfall entspricht folgende Frage: Angenommen, Sie haben eine Folge von n Zahlen, so dass ∑ n i = 1 a i = n ( n + 1 ) . Zerlegen Sie es in …

29 cc.complexity-theory ds.algorithms co.combinatorics np-hardness permutations

2

Wann impliziert "X ist NP-vollständig" "#X ist # P-vollständig"?

Sei ein (Entscheidungs-) Problem in NP und sei # dessen Zählversion.XXXXXX Unter welchen Bedingungen ist bekannt, dass "X NP-vollständig ist" "#X ist # P-vollständig"?⟹⟹\implies Natürlich ist die Existenz einer sparsamen Reduktion eine solche Bedingung, aber dies ist offensichtlich und die einzige Bedingung, die mir bekannt ist. Das ultimative Ziel wäre …

29 cc.complexity-theory np-hardness counting-complexity

1

Funktionen, die nicht effizient berechenbar, aber lernbar sind

Wir wissen, dass (siehe z. B. Theoreme 1 und 3 von [1]) unter geeigneten Bedingungen Funktionen, die von Turing-Maschinen in polynomieller Zeit effizient berechnet werden können ("effizient berechenbar"), durch polynomielle neuronale Netze ausgedrückt werden können mit vernünftigen Größen und kann somit mit polynomieller Abtastkomplexität ("lernbar") unter beliebigen Eingangsverteilungen gelernt werden. …

28 cc.complexity-theory np-hardness machine-learning turing-machines lg.learning

2

Eine Kategorie von NP-vollständigen Problemen?

Ist es sinnvoll, eine Kategorie aller NP-vollständigen Probleme zu betrachten, wobei Morphismen als Mehrfachzeitverkürzungen zwischen verschiedenen Instanzen gelten? Hat jemand jemals eine Veröffentlichung darüber veröffentlicht, und wenn ja, wo finde ich sie?

28 cc.complexity-theory np-hardness ct.category-theory

3

Hatte "Wo sind die wirklich schweren Probleme?" Etwas dagegen? Was sind aktuelle Ideen zu diesem Thema?

Ich fand dieses Papier sehr interessant. Zusammenfassend lässt sich festhalten, warum in der Praxis selten der schlimmste Fall eines NP-vollständigen Problems auftritt. Die Idee in dem Artikel ist, dass Instanzen normalerweise entweder sehr unter- oder sehr überfordert sind, was beide relativ einfach zu lösen sind. Es schlägt dann für ein …

27 np-hardness worst-case

2

Ladner's Theorem vs. Schaefer's Theorem

Beim Lesen des Artikels "Ist es an der Zeit, den Sieg bei der Zählung der Komplexität zu erklären?" über an dem „Gödels verlorenen Brief und P = NP“ Blog, erwähnte sie die Dichotomie für CSPs. Nachdem ich ein paar Links gefolgt, gegoogelt und Wikipeds gemacht hatte, stieß ich auf Ladners …

27 cc.complexity-theory np-hardness complexity-classes sat csp

2

Ist es möglich zu finden, ob eine Sequenz in Polynomialzeit in dem folgenden Problem existiert?

Ich habe eine Zeit lang über das folgende Problem nachgedacht und keine polynomielle Lösung dafür gefunden. Nur rohe Quelle. Ich habe versucht, ein NP-Complete-Problem ohne Erfolg zu reduzieren. Hier ist das Problem : Sie haben eine sortierte Menge positiver ganzzahliger Paare. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} (Ai,Bi)<(Aj,Bj)⇔Ai<Aj∨(Ai=Aj∧Bi<Bj)(Ai,Bi)<(Aj,Bj)⇔Ai<Aj∨(Ai=Aj∧Bi<Bj)(A_i, B_i) …

27 ds.algorithms np-hardness sorting

3

Entscheiden Sie, ob der Kernel einer Matrix einen Vektor ungleich Null enthält, dessen Einträge alle -1, 0 oder 1 sind

Bei einem gegebenen mmm von nnn binären Matrix MMM (Einträge sind 000 oder 111 ), ist das Problem , zu bestimmen , ob es existiert zwei binäre Vektoren v1≠v2v1≠v2v_1 \ne v_2 , so daß Mv1= Mv2Mv1=Mv2Mv_1 = Mv_2 (alle Operationen durchgeführt über ZZ\mathbb{Z} ). Ist das Problem NP-schwer? Es ist …

27 cc.complexity-theory np-hardness linear-algebra

3

Ist es NP-schwer, internationale Drafts korrekt zu spielen?

Ist das folgende Problem NP-schwer? Wenn Sie eine Kartenkonfiguration für internationale Entwürfe haben , finden Sie einen einzigen legalen Schritt.n × nn×nn\times n Das entsprechende Problem für amerikanische Kontrolleure (auch englische Entwürfe genannt) ist in der Polynomzeit trivial lösbar. Es gibt drei Hauptunterschiede zwischen diesen beiden Spielen.n × nn×nn\times n …

26 cc.complexity-theory np-hardness open-problem board-games

4

Bounded-Cardinality-Bounded-Frequency-Set-Cover: Härte der Approximation

Berücksichtigen Sie das Problem der minimalen Mengenabdeckung mit den folgenden Einschränkungen: Jede Menge enthält höchstens Elemente, und jedes Element des Universums kommt in höchstens Mengen vor.fkkkfff Beispiel: Der Fall und f = 2 entspricht dem Minimum Vertex Cover Problem in Graphen mit maximalem Grad 4.f = 2k=4k=4k = 4f=2f=2f = …

26 cc.complexity-theory reference-request approximation-algorithms set-cover np-hardness

1

Erkennen von Sequenzen mit allen Permutationen von als Teilsequenzen

Für jeden , sage ich , dass eine Folge von ganzen Zahlen in ist -komplette , wenn für jede Permutation von geschrieben als eine Folge von paarweise verschiedenen ganzen Zahlen , ist die Folge eine Teilfolge von , dh es gibtso dass für alle .n>0n>0n > 0sss{1,…,n}{1,…,n}\{1, \ldots, n\}nnnpp\mathbf{p}{1,…,n}{1,…,n}\{1, \ldots, …

25 cc.complexity-theory co.combinatorics np-hardness permutations

1

Ein Problem bei der Kantenpartitionierung in kubischen Diagrammen

Wurde die Komplexität des folgenden Problems untersucht? Eingabe : ein kubischer (oder regelmäßiger) Graph , eine natürliche ObergrenzeG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Frage : Gibt es eine Aufteilung von in Teile der Größe so dass die Summe der Ordnungen der (nicht notwendigerweise verbundenen) …

25 graph-theory np-hardness co.combinatorics

2

Was sind die Konsequenzen, wenn Factoring NP-vollständig ist?

Gibt es Referenzen dazu?

25 cc.complexity-theory reference-request np-hardness factoring

5

Überprüfung der einzigartigen SAT-Lösungen

Stellen Sie sich das folgende Problem vor: Gibt es bei einer CNF-Formel und einer Zuweisung, die diese Formel erfüllt, eine andere zufriedenstellende Zuweisung für diese Formel? Wie komplex ist dieses Problem? (Es ist sicherlich in NP, aber ist es auch NP-schwer?) Was ist, wenn Sie die Aufgabe nicht erhalten und …

25 cc.complexity-theory np-hardness sat unique-solution

2

Hamiltonizität von k-regulären Graphen

Es ist bekannt, dass es NP-vollständig ist, um zu testen, ob ein Hamilton-Zyklus in einem 3-regulären Graphen existiert, auch wenn es planar (Garey, Johnson und Tarjan, SIAM J. Comput. 1976) oder bipartit (Akiyama, Nishizeki, und Saito, J. Inform. Proc. 1980) oder um zu testen, ob ein Hamilton-Zyklus in einem 4-regulären …

24 graph-theory np-hardness hamiltonian-paths

Als «np-hardness» getaggte Fragen