Вопросы с тегом «np-hardness»

Рассмотрим следующую проблему: Учитывая набор из положительных чисел { a 1 , … , a n }, в которых k ≥ 3 является константой, мы хотим разбить набор на m подмножеств размера k так, чтобы произведение суммы каждого подмножества максимальноn=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk Эта …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Этот вопрос похож на NP-сложные задачи на деревьях : Существует большое количество NP-полных задач, которые можно отследить на рефератах . Есть ли какие-либо известные проблемы, которые остаются NP-полными, если они ограничены Cographs? Чтобы быть более точным, меня интересуют примеры, в которых входные данные состоят исключительно из неориентированного, невзвешенного реферата . …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Опять проблема с разделением ребер, сложность которой мне интересна, мотивированная предыдущим моим вопросом . Вход: кубический графG = ( V, E)G=(V,E)G=(V,E) Вопрос: есть ли разбиение на , так что подграф, индуцированный каждым является либо когтем (то есть , часто называемым звездой), либо путём ( т.е. )?E 1 , E 2 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Ширина дерева показывает, насколько близок график к дереву. Несколько NP-трудных задач можно решить на графах с ограниченной шириной дерева. Если проблема остается NP-трудной на деревьях, то ширина дерева не может нас спасти. Это было мотивом одного из моих предыдущих вопросов, в котором задавались проблемы с NP-сложными задачами на деревьях. Существует …

12 np-hardness  directed-acyclic-graph 

Следующий вопрос использует идеи из криптографии, примененные к теории сложности. Тем не менее, это чисто теоретический вопрос сложности, и для его ответа не требуется никаких криптовалют. Я намеренно пишу этот вопрос очень неформально. В отсутствие подробностей, это, возможно, указано немного неправильно. Пожалуйста, не стесняйтесь указывать на исправления в ваших ответах. …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Зафиксируем конечную группу . Меня интересует следующая проблема решения: входными данными являются некоторые элементы группы с частичным порядком на них, и вопрос заключается в том, существует ли перестановка элементов, которая удовлетворяет порядку и такова, что композиция элементов в этом порядок дает нейтральный элемент группы .G eGGGGGGeee Формально задача теста заключается …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Я думал о том, к какому классу принадлежит этот язык: - граф, - натуральное число, а - хроматическое числоL = { ⟨ G , к ⟩ | GLзнак равно{⟨грамм,К⟩|граммL =\{ \langle G,k \rangle \mid G ККkККkG }грамм}G\} Я думал о как (1) «нет раскраски k-1 цветов» и (2) «есть раскраска …

11 cc.complexity-theory  np-hardness  complexity-classes 

Прежде всего, мое понимание теоремы Гёделя о неполноте (и формальной логики в целом) очень наивно, а также мои знания в области теоретической информатики (имеется в виду только один выпускной курс, когда я еще студент), поэтому этот вопрос может быть очень наивно Насколько я мог найти, доказуемость P против NP является …

11 np-hardness  proofs  p-vs-np 

Была ли эта проблема изучена раньше? Учитывая метрический неориентированный граф G (длины ребер удовлетворяют неравенству треугольника), найдите множество S вершин, таких что MST (G [S]) максимизировано, где MST (G [S]) - минимальное остовное дерево подграфа, индуцированное С. Была ли эта проблема изучена ранее? Это NP-жесткий? Большое спасибо.

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Я ищу сильно NP-трудные проблемы для сокращения. До сих пор я обнаружил следующие проблемы: 3-х секционная задача проблема упаковки в мусорное ведро Числовое 3-мерное сопоставление TSP Любая NP-полная задача без числовых данных, например, СООТВЕТСТВИЕ, ГАМИЛЬТОНИЙСКИЙ ЦИКЛ, 3-ЦВЕТНОСТЬ. Кто-нибудь знает список сильно NP-сложных проблем? Если нет, давайте построим один здесь. Знаете …

11 np-hardness  big-list  hamiltonian-paths 

Существует ли со следующими свойствами:L ∈ N PL∈NPL\in {\bf NP} Известно , что влечет P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Там нет (известного) полинома Тьюринга уменьшения (или какой -либо другой Н Р -полной проблемы) к L .SА ТSATSATН ПNP{\bf NP}LLL Другими словами, …

11 cc.complexity-theory  np-hardness  reductions 

Это похоже на SAT, за исключением того, что мы знаем назначение каждой переменной, но не знаем назначения какого-либо логического оператора. В таком случае, является ли поиск присваивания каждого оператора таким образом, чтобы выражение оценило данное логическое значение как проблему NPC? На самом деле, мне было интересно, если поиск назначения арифметических …

11 cc.complexity-theory  np-hardness 

Проблема разбиения с 3-мя кликами - это проблема определения , можно ли разбить вершины графа, скажем, , на 3 клики. Эта проблема является NP-трудной из-за простого сокращения проблемы 3-окрашиваемости. Нетрудно видеть, что ответ на эту проблему прост, когда diam ( G ) = 1 или diam ( G ) > …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Nurikabe - это основанная на ограничениях головоломка, похожая на Minesweeper / Nonograms; числа помещаются в сетку, которая должна быть заполнена значениями включения / выключения для каждой ячейки, причем каждое число указывает область соединенных «включенных» ячеек этого размера, и некоторые незначительные ограничения на область «выключенных» ячеек (это должен быть подключен и …

11 cc.complexity-theory  np-hardness  puzzles 

Этот вопрос был мотивирован вопросом, заданным на stackoverflow . Предположим, вам дано корневое дерево (т. Е. Есть корень, а у узлов есть дочерние элементы и т. Д.) На n узлах (обозначены 1 , 2 , … , n ).TTTNnn1 , 2 , … , n1,2,…,n1, 2, \dots, n Каждая вершина …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory