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

O(nlogn)O(nlog⁡n)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}его первоначального значения, а затем используйте основную сортировку. Но модели с округлением имеют проблематичную теорию сложности, и это заставило меня задуматься, а как насчет более слабых моделей вычислений? Итак, насколько точно может быть аппроксимирован одномерный TSP в модели вычисления с линейным деревом сравнения (каждый узел сравнения проверяет знак линейной …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

В последнее время я начал изучать алгоритмы аппроксимации для NP-сложных задач и интересовался теоретическими причинами их изучения. (Вопрос не должен быть подстрекательским - мне просто любопытно). Из исследования алгоритмов аппроксимации возникла действительно прекрасная теория - связь между теоремой PCP и твердостью аппроксимации, гипотеза UGC, алгоритм аппроксимации Гомана-Уильямсона и т. Д. …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Для конкретности рассмотрим LP для решения игры с нулевой суммой для двух игроков, где у каждого игрока есть действий. Предположим, что каждая запись матрицы выплат имеет самое большее 1 в абсолютном значении. Для простоты давайте не будем делать предположений об ограниченности.nnnAAA Предположим, что время выполнения доступно для приблизительного значения этой …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

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

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 

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

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Мне сказали, что есть несколько хороших алгоритмов полиномиального времени для аппроксимации числа простых путей в ориентированном графе от заданной начальной вершины до заданной конечной вершины t . Кто-нибудь знает хорошую ссылку на эту тему?sssTTt Справочная информация: подсчет точного числа путей в общем графе # P-полон, но для задачи могут существовать …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Задача, которую мы здесь рассматриваем, - это расширение хорошо известной проблемы интервальной раскраски. Вместо интервалов мы рассматриваем прямоугольники, стороны которых параллельны осям. Цель состоит в том, чтобы закрасить прямоугольники минимальным количеством цветов, чтобы любые два перекрывающихся прямоугольника были назначены разным цветам. Эта проблема, как известно, NP-сложная. Синь Хань, Казуо Ивама, …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Существует стандартная теория приближений, в которой коэффициент приближения равен supAOPTвирAОпT\sup\frac{A}{OPT} (для задач сMINMяNMINзадачами),AAA- значение, возвращаемое некоторым алгоритмомAAAаOPTОпTOPT- оптимальное значение. И еще одна теории, что издифференциального приближениягде отношение приближенияinfΩ−AΩ−OPTинфΩ-AΩ-ОпT\inf\frac{\Omega-A}{\Omega-OPT} ,ΩΩ\Omega - наихудшее значение допустимого решения для данного случая. В Авторы этой теории утверждают , что она имеет определенные преимущества по сравнению …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Учитывая набор S из nxn матриц перестановок (который является лишь малой долей из n! Возможных матриц перестановок), как мы можем найти подмножества T минимального размера в S, чтобы при добавлении матриц T было по крайней мере 1 в каждой позиции? Меня интересует эта проблема, где S - небольшая подгруппа в …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Этот вопрос был ранее размещен на бирже компьютерных наук здесь . Представьте, что вы очень успешный коммивояжёр с клиентами по всей стране. Чтобы ускорить доставку, вы разработали парк одноразовых доставочных дронов, каждый из которых имеет эффективный радиус действия 50 километров. Благодаря этой инновации, вместо того, чтобы ездить в каждый город, …

15 ds.algorithms  approximation-algorithms  tsp 

Есть исследования об алгоритмах аппроксимации для NP полных задач за полиномиальное время и точных алгоритмов за экспоненциальное время. Проводятся ли исследования по алгоритмам аппроксимации для полных задач NP в субэкспоненциальном времени вида где ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Меня особенно интересуют то, что известно о проблемах, приближающихся к сложному полиномиальному времени, таких как число …

15 approximation-algorithms  approximation-hardness 

Рассмотрим следующую проблему: учитывая граф запросов G=(V,E)G=(V,E)G = (V, E) и опорный граф , мы хотим найти инъективное отображение которое минимизирует количество ребра такие, что . Это обобщение проблемы изоморфизма подграфа, где мы позволяем подграфам быть изоморфными вплоть до нескольких отсутствующих ребер и хотим найти способ минимизировать количество отсутствующих ребер.f …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

ΣИксΠi j ∈ Eе( хя, хJ)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)МаксимумИксΠi j ∈ Eе( хя, хJ)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Где max или сумма берется по всем меткам VVV , произведение берется по всем ребрам ЕEE для графа G = { V, E}G={V,E}G=\{V,E\} а еff - произвольная функция. Эту величину легко …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Учитывая темы, затронутые на конференции, такие как STOC, активно ли исследователи алгоритмов или сложности используют COQ или Изабель? Если да, то как они используют это в своих исследованиях? Я предполагаю, что большинство людей не будут использовать такие инструменты, потому что доказательства были бы слишком низкими. Кто-нибудь использует этих помощников в …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants