Информатика

Моя книга утверждает это Если задача решения B находится в P, а A сводится к B, то проблема решения A находится в P. Решение задачи B является NP-полным, если B находится в NP, и для каждой задачи в A в NP, A сводится к B. Решающая задача C является NP-полной, …

10 complexity-theory  np-complete  decision-problem 

В настоящее время этот вопрос не очень подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дебаты, споры, опрос или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, вновь открыть, обратитесь за …

10 education 

Мне нужно создать рекурсивный алгоритм, чтобы увидеть, является ли двоичное дерево бинарным деревом поиска, а также подсчитать, сколько там полных ветвей (родительский узел с левым и правым дочерними узлами) с предполагаемой глобальной переменной подсчета. Это назначение для моего класса структур данных. Пока у меня есть void BST(tree T) { if …

10 algorithms  recursion  trees 

Определение P - это язык, который может быть определен алгоритмом полиномиального времени. Определение P / poly может означать язык, который может быть определен схемой полиномиального размера (см. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Теперь, почему нельзя за полиномиальное время смоделировать схему полиномиального размера?

10 complexity-theory  time-complexity  circuits 

В настоящее время я работаю над тем, чтобы понять использование границы Чигера и неравенства Чигера и их использование для спектрального разделения, проводимости, расширения и т. Д., Но я все еще изо всех сил пытаюсь понять, что такое второе собственное значение матрицы смежности. Обычно в теории графов большинство концепций, с которыми …

10 graph-theory  adjacency-matrix 

На самом деле я обнаружил, что набор контекстно-зависимых языков, ( принятых языков) не так широко обсуждается, как (обычные языки) или (контекстно-свободные языки). А также открытая проблема не так известна, как «аналогичная» проблема: « ".CSLCSL\mathbf{CSL}R E G C F L D S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Является ли «теорема Райса для вычислимых вещественных чисел», то есть нет нетривиального нетривиального свойства числа, представленного данным вычислимым вещественным веществом, истинной? Соответствует ли это каким-то прямым образом связности истин?

10 computability  real-numbers  computable-analysis 

Из моего чтения кажется, что большинство грамматик занимается созданием бесконечного числа строк. Что делать, если вы работали наоборот? Если задано n строк длиной m, должна быть возможность создать грамматику, которая будет генерировать эти строки и только эти строки. Есть ли известный способ сделать это? В идеале название техники я могу …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Википедия говорит, что объединение по рангу без сжатия пути дает сложную временную сложность O(logn)O(log⁡n)O(\log n) , и что объединение по рангу и сжатию пути дает сложную временную сложность (где - обратная величина функции Аккермана). Однако в нем не упоминается время сжатия пути без ранга объединения, что я обычно реализую сам.O(α(n))O(α(n))O(\alpha(n))αα\alpha …

10 complexity-theory  time-complexity  union-find 

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

10 formal-languages  regular-languages  regular-expressions 

Я пытаюсь понять, как работает Slab Allocation и почему он отличается или лучше, чем обычный пейджинг. Я нашел эту диаграмму, которая, на мой взгляд, была бы полезна, если бы она имела больше объяснений Некоторые вопросы: Что представляют собой элементы размером 3 КБ и 7 КБ? Должны ли они быть связаны …

10 operating-systems  paging  memory-allocation 

Пытаясь улучшить производительность моего класса обнаружения столкновений, я обнаружил, что ~ 80% времени, проведенного в графическом процессоре, тратится на условия if / else, просто пытающиеся определить границы для сегментов, через которые он должен проходить. Точнее: каждый поток получает идентификатор, по этому идентификатору он выбирает свой треугольник из памяти (по 3 …

10 computer-architecture  parallel-computing 

Натуральные числа определяются индуктивно как (используя синтаксис Coq в качестве примера) Inductive nat: Set := | O: nat | S: nat -> nat. Существует ли стандартный способ конструктивного определения целых чисел (и, возможно, других множеств, таких как рациональные и действительные)?

10 arithmetic  dependent-types  coq 

Я понимаю , что сегментные дерева могут быть использованы , чтобы найти сумму юга массива . И что это может быть сделано за O ( log n ) в соответствии с руководством здесь .AAAO(logn)O(log⁡n)\mathcal{O}(\log n) Однако я не могу доказать, что время запроса действительно равно . Эта ссылка (и многие …

10 data-structures  runtime-analysis  search-trees  intervals 

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

10 terminology  programming-languages