Вопросы с тегом «partition-problem»

18

Можно ли проверить, является ли вычислимое число рациональным или целым?

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно...

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

13

Промежуточные -полные проблемы?

Задача разбиения слабо NP-полна, поскольку имеет алгоритм полиномиального (псевдополиномиального) времени, если входные целые числа ограничены каким-либо полиномом. Однако 3-разбиение является сильно NP-полной задачей, даже если входные целые числа ограничены полиномом. Предполагая, , можем ли мы...

cc.complexity-theory np-hardness partition-problem

13

Разбиение на интервальные графики

Предположим, что существует граф . Я хочу проверить, можно ли разделить V на два непересекающихся множества V 1 и V 2 , так что подграфы, индуцированные V 1 и V 2, являются графами с единичным интервалом.G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Я знаю о NP-полноте определения...

graph-theory partition-problem interval-graphs

13

Еще один вариант PARTITION

У меня сведение следующей проблемы с разделом к определенной проблеме планирования: Входные данные: список целых положительных чисел в неубывающем порядке.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Вопрос: существует ли вектор такой,...

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