Als «partition-problem» getaggte Fragen

5
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

1
Eine andere Variante von PARTITION
Ich habe eine Reduzierung des folgenden Partitionsproblems auf ein bestimmtes Planungsproblem: Eingabe: Eine Liste positiver Ganzzahlen in nicht absteigender Reihenfolge.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Frage: Gibt es einen Vektor so dass(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} Ohne die zweite Bedingung ist es nur PARTITION, daher NP-hart. Die zweite Bedingung …

1
Aufteilung in Intervallgraphen
Angenommen, es gibt einen Graphen . Ich möchte testen, ob V in zwei disjunkte Mengen V 1 und V 2 unterteilt werden kann, so dass die durch V 1 und V 2 induzierten Teilgraphen Einheitsintervallgraphen sind.G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Ich weiß um die NP-Vollständigkeit bei der Bestimmung von Intervallnummern, aber das obige Problem …

1
Intermediate
Das Partitionsproblem ist schwach NP-vollständig, da es einen Polynom-Zeitalgorithmus (Pseudo-Polynom-Zeitalgorithmus) aufweist, wenn die Eingabe-Ganzzahlen durch ein Polynom begrenzt sind. 3-Partition ist jedoch ein starkes NP-vollständiges Problem, selbst wenn die Eingabe-Ganzzahlen durch ein Polynom begrenzt sind. Unter der Annahme, , können wir beweisen, dass intermediäre NP-vollständige Probleme existieren müssen? Wenn die …

1
Ein Partitionsproblem mit Auftragsbeschränkungen
In dem OrderedPartitionProblem besteht die Eingabe aus zwei Folgen von positiven ganzen Zahlen, und . Die Ausgabe ist eine Aufteilung der Indizes in zwei disjunkte Teilmengen und , so dass:nnn( aich)i ∈ [ n ](ai)i∈[n](a_i)_{i\in [n]}( bich)i ∈ [ n ](bi)i∈[n](b_i)_{i\in [n]}[ n ][n][n]ichIIJ.JJ ∑ich ∈ icheinich= ∑j ∈ J.einich∑i∈Iai=∑j∈Jai\sum_{i\in …


4
Partitionieren von Diagrammen bei gleichzeitiger Minimierung der Kanten zwischen Partitionen
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 Algorithmus, der Partitionen von ungefähr k Dreiecken erstellen konnte …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.