Информатика

Предположим, что у нас есть генератор случайных чисел, который выводит числа в диапазоне [0..R−1][0..R−1][0..R-1] с равномерным распределением, и нам нужно генерировать случайные числа в диапазоне [0..N−1][0..N−1][0..N-1] с равномерным распределением. Предположим, что N&lt;RN&lt;RN < R и NNN не делит равномерно RRR ; чтобы получить действительно равномерное распределение, мы можем использовать метод …

21 probability-theory  randomness  random-number-generator  sampling 

Я закончил большую часть материала в книге Кормена «Введение в алгоритмы» и ищу книгу по алгоритмам, которая охватывает материал, выходящий за рамки книги Кормана. Есть какие-нибудь рекомендации? ПРИМЕЧАНИЕ: я спрашивал об этом в stackoverflow, но не слишком доволен ответом. ПРИМЕЧАНИЕ. Глядя на большинство комментариев, я думаю, что в идеале я …

21 algorithms  reference-request  books 

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

21 education 

Если взвешенный граф GGG имеет два разных минимальных остовных дерева T1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1) и T2=(V2,E2)T2=(V2,E2)T_2 = (V_2, E_2) , то верно ли, что для любого ребра eee в E1E1E_1 число ребер в E1E1E_1 с таким же весом, что и eee (включая само eee ), равно числу ребер в E2E2E_2 …

21 graph-theory  spanning-trees  weighted-graphs 

Я ищу объяснение того, как можно доказать, что две модели вычислений эквивалентны. Я читал книги по этому вопросу, за исключением того, что доказательства эквивалентности опущены. У меня есть базовое представление о том, что означает, что две модели вычислений эквивалентны (представление автоматов: если они принимают одни и те же языки). Есть …

21 proof-techniques  computation-models  simulation 

В сценарии, который я сейчас читаю по лямбда-исчислению, бета-эквивалентность определяется следующим образом: -эквивалентность является наименьшей эквивалентности , который содержит .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Я понятия не имею, что это значит. Может кто-нибудь объяснить это более простыми словами? Может быть с примером? Мне это нужно для леммы, вытекающей из теоремы Черча-Рассера: Если M N, …

21 logic  terminology  lambda-calculus  type-theory 

Что такое хорошая книга для начинающих по информатике для молодого человека, скажем, 15 лет? Я хочу начать в CS, но понятия не имею, с чего начать. У меня ограниченный опыт программирования.

21 education  reference-request 

Насколько мне известно, есть три основных алгебры процессов, которые вдохновили широкий спектр исследований формальных моделей параллелизма. Эти: CCS и калькуляция Робин Милнерππ\pi CSP Тони Хоаром и ACP Ян Бергстра и Ян Виллем Клоп Все трое, по-видимому, по сей день ведут довольно активную работу, и было проведено огромное количество исследований по …

21 logic  concurrency  process-algebras 

Я хочу доказать или опровергнуть существование алгоритма, который, учитывая массив целых чисел, находит три индекса i , j и k такие, что i &lt; j &lt; k и A [ i ] &lt; A [ j ] &lt; A [ k ] (или находит, что такой тройки не существует) за …

21 algorithms  arrays  subsequences 

Я знаю, что с ~ 2004 года закон Мура перестал работать на тактовую частоту процессора. Я ищу график, показывающий это, но не могу найти его: большинство диаграмм там показывают количество транзисторов или мощность в год. Где я могу найти некоторые данные, показывающие частоту процессора компьютеров (все в порядке, персональные компьютеры, …

21 computer-architecture  empirical-research  data-sets 

Рассмотрим индуктивный тип, который имеет некоторые рекурсивные вхождения во вложенном, но строго положительном месте. Например, деревья с конечным ветвлением с узлами, использующими общую структуру данных списка для хранения дочерних элементов. Inductive LTree : Set := Node : list LTree -&gt; LTree. Наивный способ определения рекурсивной функции над этими деревьями путем …

21 logic  coq  type-theory  recursion  proof-assistants 

При рассмотрении компьютерных моделей вычислений иерархия Хомского обычно характеризуется (по порядку) конечными автоматами, автоматами со спуском, линейными связанными автоматами и машинами Тьюринга. Для первого и последнего уровней 1 (обычные языки и рекурсивно перечислимые языки) не имеет значения сила модели, рассматриваем ли мы детерминированные или недетерминированные машины, то есть DFA эквивалентны …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Одной из возможных причин изучения классов сложности вычислений является понимание возможностей различных видов вычислительных ресурсов (случайность, недетерминизм, квантовые эффекты и т. Д.). Если мы посмотрим на это с этой точки зрения, то кажется, что мы можем получить одну правдоподобную аксиому для любой попытки определить, какие вычисления осуществимы в некоторой модели: …

21 complexity-theory  oracle-machines 

Здесь проблема. Даны , где каждый T i ⊆ { 1 , … , n } . Существует ли подмножество S ⊆ { 1 , … , n } с размером не более k таким, что S ∩ T i ≠ ∅ для всех i ? Я пытаюсь свести эту …

21 complexity-theory  reductions  np-hard 

Я преподаю информатику до 18 лет. После объяснения им обратной польской записи один из них спросил, почему это достаточно важно для участия в государственном экзамене. Я объяснил историческое значение калькуляторов 70-х годов, но это не помогло решить проблему. Так есть и параллельные практические или теоретические применения RPN.

21 terminology  education