Вопросы с тегом «complexity-theory»

Вопросы, связанные с (вычислительной) сложностью решения задач


2
Имеет ли
Является ли с оракулом доступ к N P больше, чем просто N P ? Как я понимаю, N P N P - это просто машина Тьюринга, которая может выполнять запросы к другой машине N P, если таковая, кроме N P, может имитировать N P N P ? Что-то не так …

2
В чем сложность вычисления коэффициента ранговой корреляции Спирмена?
Я изучал ранговый коэффициент корреляции Спирмена ρ = ∑я( хя- х¯) ( уя- у¯)Σя( хя- х¯)2Σя( уя- у¯)2-------------------√ρзнак равноΣя(Икся-Икс¯)(Yя-Y¯)Σя(Икся-Икс¯)2Σя(Yя-Y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . для двух списков и . В чем сложность алгоритма?Икс1, … , ХNИкс1,...,ИксNx_1, \dots, x_nY1, ... , уNY1,...,YNy_1, \dots, y_n Поскольку алгоритм должен просто вычислять …

6
Существуют ли варианты регулярного времени исполнения Big-O-Notation?
Есть несколько примечаний, таких как или и так далее. Мне было интересно, есть ли варианты таких в реальности, как или , или они математически неверны.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) Или было бы правильно сказать, что можно улучшить до ? Я не могу и не должен выяснять время выполнения, и мне не нужно ничего …

2
Существуют ли «O (1) -полные» проблемы?
Многие классы сложности имеют «полные» проблемы. Существуют ли полные задачи для класса сложности задач, которые можно решить за времени?O(1)O(1)O(1) Сложность состоит в том, что этот класс зависит от модели вычислений; проблема может быть решена за раз в одной разумной модели вычислений, но не в другой, учитывая, что «разумный» обычно означает …

1
Уловка, использованная в доказательстве двукратно экспоненциальной сложности арифметики Пресбургера
Я разместил это на MathUnderflow, но не получил ответов, поэтому решил попробовать здесь, Я читаю старую статью Рабина и Фишера [опубликует ссылку, когда это возможно], где, помимо прочего, доказана двоякая экспоненциальная сложность арифметики Пресбургера. Доказательство основывается на существовании формулы неформально утверждающей « x < 2 2 k x + 1 …

2
Найти центральную точку в наборе точек метрического пространства меньше, чем
У меня есть набор из точек, которые определены в метрическом пространстве - так что я могу измерить «расстояние» между точками, но больше ничего. Я хочу найти самую центральную точку в этом наборе, которую я определяю как точку с минимальной суммой расстояний до всех остальных точек. Метрические вычисления являются медленными, поэтому …

2
Возможна ли целочисленная сортировка в O (n) в трансдихотомной модели?
Насколько мне известно, не существует алгоритма наихудшего случая, который решает следующую проблему:O ( n )O(n)O(n) Для заданной последовательности длины состоящей из конечных целых чисел, найдите перестановку, где каждый элемент меньше или равен своему преемнику.Nnn Но есть ли доказательство того, что его нет в трансдихотомической модели вычислений ? Обратите внимание, что …

4
Может ли уникальность элемента быть решена за детерминированное линейное время?
Рассмотрим следующую проблему: Входные данные : списки X,YX,YX,Y целых чисел Цель : определить, существует ли целое число в обоих списках.xxx Предположим, что оба списка имеют размер . Существует ли детерминистический алгоритм с линейным временем для этой задачи? Другими словами, можете ли вы решить эту проблему за времени детерминистически, без использования …

2
Как использование машин оракула Тьюринга не приводит к противоречиям?
Как мы можем гарантировать, что мы продолжаем делать правильные и обоснованные заявления о классах сложности при использовании машин оракула Тьюринга? В соответствии с моим пониманием (на основе определений, данных во вводных учебниках по этой теме), машины оракула Тьюринга могут определить статус принадлежности строки по отношению к языку оракула за один …

1
Если кто-то показывает, что UNIQUE k-SAT находится в P, означает ли это P = NP?
Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ k-SAT такой же жесткий, как и k-SAT. Теперь возникает вопрос: если кто-то показывает, что UNIQUE k-SAT находится в P, означает ли это P = NP? Ссылки …

1
Как называется проблема? (разбиение графа на три обложки)
Мне было интересно, если у этой проблемы есть имя: Для простого графа, ребра которого окрашены в красный, синий и зеленый цвета, , существует ли раскраска вершин такая, что каждое ребро имеет конечную точку с тем же цветом?G = ( V, B ∪ R ∪ G )гзнак равно(В,В∪р∪г)G=(V,B\cup R\cup G)с : …

1
Распределение вероятностей и вычислительная сложность
Этот вопрос о пересечении теории вероятностей и сложности вычислений. Одним из ключевых замечаний является то, что некоторые распределения проще генерировать, чем другие. Например, проблема Для заданного числа вернуть равномерно распределенное число с .i 0 ≤ i &lt; nnnniii0≤i&lt;n0≤i&lt;n0 \leq i < n легко решить. С другой стороны, следующая проблема является …

1
Каковы подходящие изоморфизмы между формальными языками?
Формальный язык над алфавитом является подмножеством , то есть, набор слов в этом алфавите. Два формальных языка и равны, если соответствующие множества экстенсивно равны как подмножества . Можно использовать языки в теории сложности, чтобы формализовать понятие «проблемы». Можно было бы пожаловаться на то, что «в общем» равенство экстенсионально неразрешимо, но …


Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.