Информатика

Рассмотрим проблемы решения, изложенные на каком-то «разумном» формальном языке Скажем, формулы в арифметике Пеано высшего порядка с одной свободной переменной в качестве системы отсчета, но я в равной степени заинтересован и в других моделях вычислений: диофантовых уравнениях, словесных задачах при переписывании правил с использованием машин Тьюринга и т. Д. Ответ …

20 computability  undecidability 

Я хочу разобрать определенные пользователем доменные языки. Эти языки обычно близки к математическим обозначениям (я не разбираю естественный язык). Пользователи определяют свои DSL в нотации BNF, например так: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Подобные входные данные 1 + ( 2 …

20 formal-languages  parsers  compilers 

Есть много способов определить сложность Колмогорова , и обычно все эти определения они эквивалентны с точностью до аддитивной постоянной. То есть, если K1K1K_1 и K2K2K_2 являются функциями сложности Колмогорова (определяемыми через разные языки или модели), то существует постоянная ccc такая, что для каждой строки xxx , |K1(x)−K2(x)|&lt;c|K1(x)−K2(x)|&lt;c|K_1(x) - K_2(x)| < …

20 computability  kolmogorov-complexity 

Рассмотрим немаркированные, укоренившиеся двоичные деревья. Мы можем сжать такие деревья: всякий раз , когда есть указатели на поддерева и с (интерпретируя как структурное равенство), мы сохраняем (без потери общности) и заменить все указатели на с указателями на . См . Ответ Ули для примера.T ′ T = T ′ = …

20 algorithms  data-structures  trees  binary-trees 

Я хотел бы знать, является ли универсально-количественный тип : T a = ∀ X : { a ∈ X , f : X → { T , F } } подтипом или частным случаем экзистенциально-количественной оценки тип T e с той же сигнатурой: T e = ∃ X : { …

20 logic  type-theory  typing 

По словам Иммермана , класс сложности, связанный с запросами SQL, - это в точности класс безопасных запросов в (запросы первого порядка плюс оператор подсчета): SQL захватывает безопасные запросы. (Другими словами, все запросы SQL имеют сложность в , и все проблемы в могут быть выражены как запрос SQL.)Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} Исходя из этого …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Рассмотрим две возможности для задачи P против NP: P = NP и P ≠≠\neq NP. Пусть Q будет одной из известных NP-трудных задач. Чтобы доказать P = NP, нам нужно спроектировать единый полиномиальный алгоритм времени A для Q и доказать, что A правильно решает Q. Чтобы доказать P ≠≠\neq NP, …

20 complexity-theory  p-vs-np 

Многие алгоритмы максимального потока, которые я обычно вижу реализованными, алгоритм Dinic, push relbel и другие, могут улучшить свои асимптотические временные затраты за счет использования динамических деревьев (также известных как деревья среза ссылок). Push-релабель запускается в или или нормально, но с динамическими деревьямиO ( V 3 ) O ( V 2 …

20 reference-request  graphs  data-structures  network-flow 

Рассмотрим представление с фиксированной точкой, которое можно рассматривать как вырожденный случай с плавающей точкой. Вполне возможно использовать дополнение 2 для отрицательных чисел. Но почему знаковый бит необходим для чисел с плавающей запятой, разве биты мантиссы не должны использовать дополнения 2? Кроме того, почему биты экспоненты используют смещение вместо представления величины …

20 computer-architecture  floating-point  number-formats 

Интересно, как найти обхват разреженного неориентированного графа. Под редким я подразумеваю . Под оптимальным я подразумеваю минимальную временную сложность.| Е| =O( | V| )|E|=O(|V|)|E|=O(|V|) Я думал о некоторой модификации алгоритма Тарьяна для неориентированных графов, но я не нашел хороших результатов. На самом деле я думал, что если бы я мог …

20 algorithms  time-complexity  graph-theory 

Много раз, если сложности имеют константы, такие как 3n, мы пренебрегаем этой константой и говорим O (n), а не O (3n). Я не могу понять, как мы можем пренебречь такими трехкратными изменениями? Некоторые вещи меняются в 3 раза быстрее, чем другие! Почему мы пренебрегаем этим фактом?

20 complexity-theory  asymptotics  landau-notation 

Ну, это общий вопрос. И если кто-то захочет сделать это специфичным для реализации, тогда я предпочту Unix-связанные вещи. Но для начала нужно знать следующие проблемы в целом: Я прочитал один процесс может иметь несколько потоков. Несколько потоков одного процесса делят вещи между ними. Я хочу знать, что они разделяют, а …

20 operating-systems  threads 

Ассемблер конвертирует язык ассемблера в машинный язык. Зачем компилятору конвертировать язык высокого уровня в ассемблер? Разве он не может напрямую преобразовать язык высокого уровня в машинный код?

19 compilers  code-generation  assembly 

Иногда легко определить временную сложность алгоритма, если внимательно его изучить. Алгоритмы с двумя вложенными циклами , очевидно, N 2 . Алгоритмы , которые исследуют все возможные комбинации N групп из двух значений, очевидно , 2 N .NNNN2N2N^2NNN2N2N2^N Однако я не знаю, как «определить» алгоритм со сложностью . Например, рекурсивная реализация …

19 algorithm-analysis  time-complexity  intuition 

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

19 data-compression