Информатика

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

10 complexity-theory 

Я изучал ранговый коэффициент корреляции Спирмена ρ = ∑я( хя- х¯) ( уя- у¯)Σя( хя- х¯)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 Поскольку алгоритм должен просто вычислять …

10 complexity-theory  time-complexity  space-complexity 

Для данного плоского графа встроены в плоскости, определяется набором отрезков Е = { е 1 , . , , , e m } , каждый сегмент e i представлен своими конечными точками { L i , R i } . Создайте структуру данных DCEL для плоского подразделения, опишите алгоритм, докажите …

10 algorithms  data-structures  computational-geometry  doubly-connected-edge-list 

Есть ли способ оценить, сколько данных добавляется во всемирную паутину каждую секунду? Есть ли какие-либо исследования по этому поводу?

10 computer-networks 

На этом сайте есть много вариантов вопроса о том, могут ли ТМ решить проблему остановки, будь то для всех других ТМ или определенных подмножеств. Этот вопрос несколько другой. Он спрашивает, может ли тот факт, что проблема остановки относится ко всем ТМ, может быть решен ТМ. Я верю, что ответ отрицательный, …

9 computability  turing-machines  undecidability  halting-problem 

Coq включает в себя выражения let на своем основном языке. Мы можем переводить выражения let в приложения, подобные этому: let x : t = v in b ~> (\(x:t). b) v я понимаю, что это не всегда работает, потому что значение vне будет доступно при проверке типов b. Однако это …

9 type-theory  dependent-types  type-checking  coq 

Часто утверждается (например, в Википедии ), что время выполнения поиска в ширину (BFS) на графе G=(V,E)G=(V,E)G=(V,E) равно O(|V|+|E|)O(|V|+|E|)O(|V|+|E|) . Тем не менее, любой связный граф имеет |V|≤|E|+1|V|≤|E|+1|V|\leq |E|+1 , и даже в несвязном графе, BFS никогда не будет смотреть на вершинах вне компонента , который содержит начальную вершину. Этот компонент …

9 algorithm-analysis  search-algorithms 

Я работаю через Sipser Book (2-е издание) и наткнулся на этот пример, который я не понимаю. В книге говорится, что этот NFA принимает пустую строку εε\epsilon . Может ли кто-нибудь объяснить мне, почему это так? Насколько я понимаю, εε\epsilon перейдет к Q3Q3q_3 который не является состоянием принятия.

9 regular-languages  finite-automata  nondeterminism 

Задача состоит в том, чтобы доказать или опровергнуть существование , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i <j \ leq32 . ( d обозначает расстояние Хэмминга)ССC|с | = 6 , ∀ c ∈ C|с|знак равно6,∀с∈С|c| = 6,\forall c\in C| С|= 32|С|знак равно32|C| = 32d( ся, сJ) …

9 information-theory  coding-theory  encoding-scheme 

Я столкнулся с этой проблемой и изо всех сил пытаюсь найти способ приблизиться к ней. Любые мысли будут с благодарностью! Предположим, нам дана матрица { - 1 , 0 , 1 }н × к {−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} , например, ⎡⎣⎢⎢⎢⎢⎢⎢1- 10- 11001- 101010000010- 11- 11- 1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} …

9 algorithms  optimization  combinatorics  matrices  permutations 

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

9 algorithms  graphs  graph-theory  reference-request 

Есть несколько примечаний, таких как или и так далее. Мне было интересно, есть ли варианты таких в реальности, как или , или они математически неверны.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) Или было бы правильно сказать, что можно улучшить до ? Я не могу и не должен выяснять время выполнения, и мне не нужно ничего …

9 complexity-theory  time-complexity  optimization  big-o-notation 

Одно из утверждений о теореме Райса приведено на странице 35 «Вычислительная сложность: современный подход» (Арора-Барак): Частичная функция от до - это функция, которая не обязательно определяется на всех ее входах. Мы говорим, что TM вычисляет частичную функцию если для каждого для которого определено , и для каждого для которого не …

9 computability  turing-machines  undecidability  rice-theorem 

Я хотел бы сравнить производительность структур данных, закодированных функцией (Черча / Скотта), и классически закодированных (ассемблер / C). Но прежде чем сделать это, мне нужно знать, насколько эффективно / может быть представление функции в памяти. Эта функция, конечно, может быть применена частично (иначе говоря, замыкание). Я заинтересован как в текущем …

9 lambda-calculus  functional-programming 

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

9 complexity-theory  time-complexity  constant-time