Preguntas etiquetadas con partition-problem

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

Tengo una reducción del siguiente problema de partición a un cierto problema de programación: Entrada: Una lista de enteros positivos en orden no decreciente.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Pregunta: ¿Existe un vector (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n tal que ∑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\} Sin la segunda condición, es solo PARTICIÓN, por lo …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Supongamos que hay un gráfico . Quiero probar si V puede dividirse en dos conjuntos disjuntos V 1 y V 2, de modo que las subgrafías inducidas por V 1 y V 2 sean gráficos de intervalo de unidad.G = ( V, E)sol=(V,mi)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Sé acerca de la completitud NP de …

13 graph-theory  partition-problem  interval-graphs 

El problema de partición es débilmente NP-completo ya que tiene un algoritmo de tiempo polinomial (pseudo-polinomial) si los enteros de entrada están limitados por algún polinomio. Sin embargo, 3-Partition es un problema NP-completo, incluso si los enteros de entrada están delimitados por un polinomio. Suponiendo, , ¿podemos demostrar que deben …

13 cc.complexity-theory  np-hardness  partition-problem 

En el OrderedPartitionproblema, la entrada es dos secuencias de enteros positivos, y . El resultado es una partición de los índices en dos subconjuntos disjuntos, y , de modo que:nnn(ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]}(bi)i∈[n](bi)i∈[n](b_i)_{i\in [n]}[n][n][n]IIIJJJ ∑i∈Iai=∑j∈Jai∑i∈Iai=∑j∈Jai\sum_{i\in I} a_i = \sum_{j\in J} a_i Para todo y para todo : .i∈Ii∈Ii\in Ij∈Jj∈Jj\in Jbi≤bjbi≤bjb_i\leq b_j En …

8 np-hardness  partition-problem 

En el problema de partición estándar , se nos dan algunos números cuya suma es y tenemos que decidir si se pueden dividir en dos subconjuntos cuya suma es . Se sabe que es NP-duro.2 s 2s2ssss Sin embargo, suponga que se nos permite designar uno de los números como …

8 np-hardness  reductions  partition-problem 

Estoy trabajando para intentar dividir un gráfico triangulado en subgrafías conectadas con algunas garantías sobre el número de bordes entre particiones. Aquí hay un ejemplo de un gráfico triangulado que se ha dividido en 4 "grupos": Lo que quería originalmente era un algoritmo que pudiera crear particiones de aproximadamente k …

8 graph-theory  graph-algorithms  planar-graphs  partition-problem  delaunay-triangulation 

Quiero dividir N números dados (pueden o no ser iguales) en 2 subconjuntos de modo que los 2 subconjuntos tengan una suma lo más cercana posible y también la cardinalidad de los conjuntos es igual (si n es par) o difiere solo en 1 ( si n es impar) Creo …

8 ds.algorithms  co.combinatorics  partition-problem