Вопросы с тегом «approximation-algorithms»

В другом посте cstheorySE упоминается, что PSPACE-полнота подразумевает APX-жесткость. Кто-нибудь может объяснить / поделиться ссылкой на это? Это "плотно"? (т. е. существуют ли PSPACE-полные задачи, задача оптимизации которых допускает постоянную аппроксимацию множителя за много времени?) Как насчет полноты для некоторого уровня PH? Означает ли это приблизительную твердость?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

В своей статье « Приблизительные расстояния» оракулы Торупа и Цвика показали, что для любого взвешенного неориентированного графа можно построить структуру данных размера которая может возвращать ( 2 k - 1 ) -приближенный расстояние между любой парой вершин в графе.O ( к н1 + 1 / к)О(КN1+1/К)O(k n^{1+1/k})( 2 к - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Есть ли способ закодировать экземпляр суммы подмножества или проблему разбиения числа так, чтобы (небольшое) решение целочисленного отношения дало ответ? Если не точно, то в каком-то вероятностном смысле? Я знаю, что LLL (и, возможно, PSLQ) использовались с умеренным успехом в решении задач Subset Sum в области «низкой плотности», где диапазон выбранных …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Недавно я узнал о гипотезе Жадности о самой короткой проблеме суперструн . В этой задаче нам дан набор строк и мы хотим найти самую короткую суперструну то есть такую, чтобы каждая как подстрока .s1,…,sns1,…,sns_1,\dots, s_n ssssisis_isss Эта задача является NP-трудной, и после длинной серии работ наиболее известный алгоритм приближения для …

14 reference-request  approximation-algorithms  greedy-algorithms 

Мы дали направленный ациклический граф с номером , связанным с каждой вершиной ( г : V → N ), и целевым числом Т ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} Проблема DAG подмножества суммы (может существовать под другим именем, ссылка будет большой) спрашивает , есть ли вершины , таким образом, что Σ …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Известно, что многие логические проблемы (например, проблемы выполнимости нескольких модальных логик) не разрешимы. Есть также много неразрешимых проблем в теории алгоритмов, например, в комбинаторной оптимизации. Но на практике эвристики и приближенные алгоритмы хорошо работают для практических алгоритмов. Таким образом, можно ожидать, что приближенные алгоритмы для логических задач также могут быть …

13 lo.logic  approximation-algorithms  undecidability 

Набор-функция fff монотонно субмодулярная , если для всех A,BA,BA,B , f(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Более сильным свойством является f(A)+f(B)+f(C)+f(A∪B∪C)≥f(A∪B)+f(B∪C)+f(A∪C)+f(A∩B∩C).f(A)+f(B)+f(C)+f(A∪B∪C)≥f(A∪B)+f(B∪C)+f(A∪C)+f(A∩B∩C). \begin{multline*} f(A) + f(B) + f(C) + f(A\cup B\cup C) \geq \\f(A\cup B) + f(B\cup C) + f(A\cup C) + f(A \cap B …

13 ds.algorithms  approximation-algorithms  submodularity 

Фиксированный параметр и аппроксимация - это совершенно разные подходы для решения сложных задач. У них разная мотивация. Приближение ищет более быстрый результат с приближенным решением. Фиксированный параметр ищет точное решение с временной сложностью в терминах экспоненциальной или некоторой функции k и полиномиальной функции n, где n - размер ввода, а …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Input вселенная и семейство подмножеств , скажем, . Будем считать , что подмножества можно покрыть , то есть, .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Инкрементный последовательность покрытие представляет собой последовательность подмножеств , скажем, , что удовлетворяетA …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Какая связь между PLSPLS\mathsf{PLS} и APXAPX\mathsf{APX} ? Другими словами, аппроксимируются ли задачи, допускающие локальный поиск за полиномиальное время? Означают ли приближенные задачи оптимизации алгоритм локального поиска вообще?

12 cc.complexity-theory  approximation-algorithms 

Сглаженный анализ был применен много раз, чтобы понять время выполнения точных алгоритмов для многих задач, таких как линейное программирование и k-средних. В этой области есть довольно общие результаты, например, Хейко Рёглин и Бертольд Вёкинг, Сглаженный анализ целочисленного программирования , 2005. Некоторые из этих общих результатов, кажется, полагаются на леммы об …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

В моей работе возникает следующая проблема: Существует ли известный алгоритм, который аппроксимирует хроматическое число графа без независимого набора порядка 65? (Таким образом, альфа (G) <= 64 известна, а | V | / 64 - тривиальная нижняя, | V | тривиальная верхняя граница. Но существуют ли более проверенные аппроксимации при этом …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Что известно о следующей проблеме? Для набора функций : f : { 0 , 1 } n → { 0 , 1 } найдите наибольшую подгруппу S ⊆ C с учетом ограничения VC-Dimension ( S ) ≤ k для некоторого целого числа k .СCCе: { 0 , 1 }N→ { …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Я ищу имя или какие-либо ссылки на эту проблему. Для заданного взвешенного графа найти разбиение вершин с точностью доустанавливает таким образом, чтобы максимизировать значение срезов: Обратите внимание, что некоторые из множеств могут быть пустыми. Таким образом, проблема, по сути, заключается в максимальном k-сокращении, за исключением того, что не является частью …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut