Вопросы с тегом «polynomial-time»

Линейное программирование (LP) находится в P, а целочисленное программирование (IP) является NP-сложным. Но поскольку компьютеры могут манипулировать только числами с конечной точностью, на практике компьютер использует целые числа для линейного программирования. Из-за этого не должны ли LP и IP находиться в одном классе сложности?

35 complexity-theory  polynomial-time 

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Алгоритм псевдополиномиального времени - это алгоритм, который имеет полиномиальное время работы на входном значении (величина), но экспоненциальное время работы на входном размере (количество бит). Например, для проверки, является ли число простым или нет, требуется выполнить цикл по числам от 2 до n - 1 и проверить, является ли n mod …

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

Учитывая невзвешенный DAG (направленный ациклический граф) D=(V,A)D=(V,A)D = (V,A) и две вершины sss и ttt , возможно ли найти кратчайший и самый длинный путь от sss до ttt за полиномиальное время? Длина пути измеряется количеством ребер. Я заинтересован в поиске диапазона возможных длин пути за полиномиальное время. Ps., Этот вопрос …

14 algorithms  graphs  shortest-path  polynomial-time 

Я только что нашел это предложение на странице 6 книги Гари и Джонсона «Компьютеры и неразрешимость». Любой алгоритм, функция сложности времени которого не может быть настолько ограниченной, называется алгоритмом экспоненциального времени (хотя следует отметить, что это определение включает в себя некоторые неполиномиальные функции сложности времени, такие как , которые обычно …

13 algorithms  terminology  polynomial-time 

Из этого поста я узнал, что в стеке есть поток, и есть несколько относительно быстрых алгоритмов для просеивания интервала чисел, чтобы увидеть, есть ли в этом интервале простое число. Тем не менее, означает ли это, что общая проблема решения: (Существует ли простое число в интервале?) В P. (Было много ответов …

13 complexity-theory  np  polynomial-time  primes 

Я пытаюсь составить список алгоритмов / задач, которые являются «исключительно полезными», например, при решении задач, которые «кажутся» очень экспоненциальными по своей природе, но имеют какой-то особенно умный алгоритм, который в конечном итоге решает их. Примеры того, что я имею в виду: Линейное программирование (Симплексный алгоритм имеет экспоненциальное время; поиск решения …

12 complexity-theory  polynomial-time  efficiency 

У нас много проблем, таких как факторизация, которые сильно предположили, но не доказали, что они находятся вне P. Есть ли вопросы с противоположным свойством, а именно, что они сильно предположены, но не доказано, что они находятся внутри P?

12 complexity-theory  polynomial-time 

Задача линейного программирования: найти сильно полиномиальный алгоритм времени, который для заданной матрицы A ∈ Rm × n и b ∈ Rm решает, существует ли x ∈ Rn с Ax ≥ b. Я знаю, что в списке Стива Смейла перечислены некоторые нерешенные проблемы математики. Но такая проблема линейного программирования до сих …

12 algorithms  polynomial-time  linear-programming