Информатика

Я планирую провести зимний курс по разному количеству тем, одной из которых будут составители. Теперь я столкнулся с этой проблемой, думая о заданиях, которые нужно давать на протяжении всего квартала, но это поставило меня в тупик, поэтому я мог бы вместо этого использовать его в качестве примера. public class DeadCode …

32 computability  proof-techniques  compilers 

Я изучаю ЦП и знаю, как он читает программу из памяти и выполняет ее инструкции. Я также понимаю, что ОС разделяет программы в процессах, а затем чередует каждую из них так быстро, что вы думаете, что они выполняются одновременно, но на самом деле каждая программа запускается отдельно в ЦП. Но …

32 operating-systems 

Если что-то простое, то это должно быть полностью объяснимо несколькими словами. Это можно сделать для λ-исчисления: Λ-исчисление - это синтаксическая грамматика (в основном, структура) с правилом редукции (что означает, что процедура поиска / замены неоднократно применяется к каждому вхождению определенного шаблона, пока такой шаблон не существует). Грамматика: Term = (Term …

32 functional-programming  type-theory 

Эта 579-битная программа в двоичном лямбда-исчислении имеет неизвестный статус остановки: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 То есть неизвестно, завершается ли эта программа или нет. Чтобы определить это, вы должны решить гипотезу Коллатца - или, по крайней мере, для всех чисел до 2 ^ 256. В этом хранилище …

32 algorithms  computability  kolmogorov-complexity 

Я ищу помощь в понимании алгоритма обнаружения цикла Флойда. Я прошел объяснение в Википедии ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Я могу видеть, как алгоритм обнаруживает цикл в O (N) времени. Однако я не могу представить себе тот факт, что как только указатели черепахи и зайца встречаются в первый раз, начало цикла можно …

32 algorithms  linked-lists 

Существуют ли полные лямбда-исчисления по Тьюрингу? Если да, то каковы несколько примеров?

31 computability  lambda-calculus  type-theory 

Я только что закончил первую главу « Введение в теорию вычислений » Майкла Сипсера, в которой объясняются основы конечных автоматов. Он определяет обычный язык как что-либо, что может быть описано конечными автоматами. Но я не мог найти, где он объясняет, почему обычный язык называется «обычный»? Каково происхождение термина «регулярный» в …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Скажем, что и b 1 b 2 … b n - две строки одинаковой длины. Anagramming из двух строк является взаимно однозначное отображение р : [ 1 ... п ] → [ 1 ... п ] такое , что я = Ь р ( я ) для каждого I .a1a2…ana1a2…ana_1a_2\ldots …

31 algorithms  strings  search-algorithms  natural-language-processing 

Скажем, мне нужно смоделировать следующее дискретное распределение: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Наиболее очевидный способ - нарисовать случайных битов и проверить, все ли они равны 0 (или 1 ). …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Я узнаю о радикальных деревьях (иначе говоря, сжатых попытках) и попытках Патриции, но я нахожу противоречивую информацию о том, действительно ли они одинаковы. Основное дерево может быть получено из обычного (несжатого) дерева путем объединения узлов с их родителями, когда узлы являются единственными дочерними. Это также касается попыток Патриции. Чем отличаются …

31 data-structures  trees 

У меня возникают проблемы с интуитивным пониманием того, почему PSPACE обычно отличается от EXPTIME. Если PSPACE является множеством задач, разрешимых в пространственном полиноме с входным размером f(n)f(n)f(n) , то как может быть класс задач, которые испытывают большее экспоненциальное увеличение времени и не используют экспоненциальное пространство? Ответ Ювала Фильмуса уже чрезвычайно …

31 complexity-theory  complexity-classes  intuition 

Таким образом, TSP (задача коммивояжера) проблема решения является NP полной . Но я не понимаю, как я могу проверить, что данное решение TSP на самом деле является оптимальным за полиномиальное время, учитывая, что нет способа найти оптимальное решение за полиномиальное время (потому что проблема не в P)? Что-нибудь, что могло …

31 complexity-theory  np-complete  traveling-salesman 

Мне интересно, есть ли хороший пример для простой для понимания проблемы NP-Hard, которая не является NP-Complete и не неразрешима? Например, проблема остановки - NP-Hard, а не NP-Complete, но неразрешима. Я считаю, что это означает, что это проблема, решение которой можно проверить, но не за полиномиальное время. (Пожалуйста, исправьте это утверждение, …

31 complexity-theory  computability  np-hard 

Почему компьютеры используют двоичную систему счисления (0,1)? Почему они не используют троичную систему счисления (0,1,2) или любую другую систему счисления?

31 computer-architecture  binary-arithmetic 

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

31 algorithms  efficiency  arrays  sorting