«partition-problem» 태그된 질문

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

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 

특정 파티션 문제로 다음과 같은 파티션 문제가 줄었습니다. 입력 : 양의 정수 목록 감소하지 않는 순서).a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n 질문 : 합니까는 벡터가 존재 (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\} 두 번째 조건이 없으면 단지 PARTITION이므로 NP-hard입니다. 그러나 두 번째 조건은 많은 추가 정보를 제공하는 것으로 보입니다. …

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

그래프 가 있다고 가정하십시오 . 만약 I는 테스트하려는 V는 두 개의 분리 된 세트들로 분할 될 수 V 1 과 V 2 에 의해 유도 된 서브 그래프되도록 V 1 과 V 2 단위 구간 그래프이다.G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 구간 번호를 결정하는 NP- 완전성에 대해 알고 있지만 위의 문제는 다릅니다. 이제 문헌에서 나는 …

13 graph-theory  partition-problem  interval-graphs 

입력 정수가 일부 다항식에 의해 제한되는 경우 다항식 (의사 다항식) 시간 알고리즘을 사용하므로 파티션 문제는 NP가 거의 없습니다. 그러나 입력 정수가 다항식으로 묶여 있어도 3- 파티션은 NP- 완전한 문제입니다. 라고 가정하면 중간 NP 완료 문제가 존재 함을 증명할 수 있습니까? 대답이 '예'인 경우, "자연적인"후보 문제가 있습니까?P≠NPP≠NP\mathsf{P \ne NP} 여기서 중간 …

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