Информатика

У вас есть одна монета. Вы можете перевернуть его столько раз, сколько захотите. Вы хотите сгенерировать случайное числоrrr такое, чтогде.a≤r&lt;ba≤r&lt;ba \leq r < br,a,b∈Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ Распределение чисел должно быть равномерным. Это легко, если :b−a=2nb−a=2nb -a = 2^n r = a + binary2dec(flip n times write 0 for heads and 1 …

26 algorithms  probability-theory  randomness  random-number-generator 

Неформальная постановка задачи: Для строки, например, , мы хотим, чтобы некоторые буквы были окрашены в красный цвет, а некоторые - в синий (а некоторые нет), чтобы чтение только красных букв слева направо давало тот же результат, что и чтение только синих букв.ACCABBABACCABBABACCABBAB В примере мы могли бы покрасить их так:ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Я нашел несколько инструментов визуального программирования с открытым исходным кодом, таких как Blockly и друзья, и другие проекты, размещенные на Github, но не смог найти ни одного, который бы работал непосредственно с абстрактным синтаксическим деревом. Почему это? Я спрашиваю, потому что, как только я обнаружил, что у каждого компилятора есть …

25 programming-languages  language-design  syntax-trees 

Существует ли структура данных для ведения упорядоченного списка, которая поддерживает следующие операции за время амортизации ?O ( 1 )O(1)O(1) GetElement (k) : возвращает й элемент списка.Кkk InsertAfter (x, y) : вставить новый элемент y в список сразу после x. Удалить (x) : удалить x из списка. Для последних двух операций …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Довольно просто понять, почему проблема остановки неразрешима для нечистых программ (т. Е. Программ, в которых ввод / вывод и / или состояния зависят от состояния машины); но интуитивно кажется, что остановка чистой программы на идеальном компьютере может быть решена, например, статическим анализом. Это на самом деле так? Если нет, то …

25 halting-problem  static-analysis 

У меня возникли проблемы с пониманием доказательства неразрешимости проблемы остановки. Если возвращает то, останавливается ли программа a на входе b , почему мы должны передавать код P для a и b ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Почему мы не можем подать с помощью P и некоторого произвольного ввода, скажем, x ?H()H()H()PPPИксxx

25 computability  turing-machines 

Я читал книгу «Сингулярность близка», написанную Курцвейлом, и он упомянул обратимые ворота, например, ворота Фредкина . Преимущество использования таких элементов состоит в том, что мы можем избавиться от тепловых потерь, связанных с вычислениями, когда биты просто исчезают в тепле, и вычисления не потребуют какой-либо энергии. Эти предположения заставляют эти ворота …

25 computer-architecture 

Если проблема двух генералов неразрешима, как мы, люди, можем договориться о вещах? Я имею в виду, что мы общаемся каждый день и имеем те же ограничения, что и любая проблема общения, которую решает информатика. Почему это не влияет на нас?

25 computer-networks  communication-protocols 

Меня интересует вопрос о том, как лучше всего преподавать NP-полноту специальностям информатики. В частности, должны ли мы учить этому, используя сокращения Карпа или сокращения Тьюринга? Я чувствую, что концепции NP-полноты и сокращения - это то, что должен изучать каждый специалист по информатике. Однако, когда я учил NP-полноте, я заметил, что …

25 complexity-theory  np-complete  reductions  education  didactics 

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

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

В WP адекватное обсуждение пейджинга , которое, я думаю, я понимаю. Однако меня смущают статьи, в которых неоднократно используется термин Page Frame . Я думал, что рамки и страницы - это разные вещи. Может ли кто-нибудь, пожалуйста, уточнить разницу.

25 memory-management 

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

25 formal-languages  programming-languages  regular-expressions 

Есть ли ясная ссылка с псевдокодом о том, как реализовать интерпретатор Пролога на чисто функциональном языке? То, что я обнаружил до сих пор, похоже, имеет дело только с императивными языками, является просто демонстрацией реализованного самого Пролога или не предлагает никакого конкретного алгоритма, который можно использовать для интерпретации. Я был бы …

25 functional-programming  prolog  logic-programming 

Я использую решатель SAT для кодирования проблемы, и как часть экземпляра SAT, у меня есть логические переменные x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n где предполагается, что именно одна из них должна быть истинной, а остальные должны быть ложным (Я иногда видел, что это описывается как «горячая» кодировка.) Я хочу закодировать ограничение «ровно один из x1,…,xnx1,…,xnx_1,\dots,x_n …

25 satisfiability  sat-solvers  applied-theory 

Вот вопрос из прошлого экзамена, который я пытаюсь решить: Для неориентированного графа с положительными весами w ( e ) ≥ 0 я пытаюсь найти минимальный разрез. Я не знаю других способов сделать это, кроме использования теоремы о максимальном потоке. Но график ненаправленный, так как мне его направить? Я думал о …

25 algorithms  graph-theory