Информатика

14
Как доказать существование числа, которое не может быть записано ни одним алгоритмом?

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

14
Будет ли эта программа завершена для каждого целого числа?

В Частичном тесте для подготовки к GATE возник вопрос: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Я ответил: «Это прекратится для всех целых чисел», потому что даже для некоторых отрицательных целых чисел это прекратится как ошибка переполнения стека . Но мой друг не согласился, сказав,...

14
«Знаменитые логики допустили здесь неловкие ошибки», - говорится в сообщении SICP. К чему это относится?

Вот контекст ( Структура и интерпретация компьютерных программ , раздел 1.1.8, под заголовком «Локальные имена»): Формальный параметр процедуры играет особую роль в определении процедуры, поскольку не имеет значения, какое имя имеет формальный параметр. Такое имя называется связанной переменной , и...

14
Энтропия Шеннона 0,922, 3 различных значения

Учитывая строку значений энтропии Шеннона в логарифм  приходит к 0,922 . Из того, что я понимаю, в базе  2 энтропия Шеннона, округленная в большую сторону, является минимальным числом битов в двоичном коде, чтобы представить одно из значений.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Взято...

14
Как будет отличаться процессор, предназначенный исключительно для функционального программирования?

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

14
Шаги, которые гарантируют выход из лабиринта

Имеется двухмерный лабиринт, где вы можете дать 4 команды «двигаться вверх / вниз / вправо / влево». Зная лабиринт, а не где находится человек, как найти минимальную последовательность команд, которая гарантирует выход из лабиринта? Я ищу единственную последовательность команд, которая будет...

14
Что такое «ключ» в информатике?

Я немного запутался в том, что именно означает «ключ» в компьютерной науке. Я понимаю пары ключ-значение, первичные ключи и т. Д. Но я не могу найти определение того, что сам по себе термин «ключ» означает. Насколько я могу судить, это просто часть данных. В CLRS данные, связанные с узлами дерева,...

14
Можно ли проверить сортировку списка без сравнения соседей?

Список nnn элементов может быть проверен как отсортированный путем сравнения каждого элемента с его соседом. В моем приложении я не смогу сравнивать каждый элемент с его соседом: вместо этого сравнения иногда будут между удаленными элементами. Учитывая, что список содержит более трех элементов, а...

13
Генератор случайных судоку

Я хочу создать совершенно случайную судоку . Определите сетку Судоку как сетку целых чисел от 1 до 9, где некоторые элементы могут быть опущены. Сетка - это правильная головоломка, если есть уникальный способ ее завершения, чтобы соответствовать ограничениям Судоку (каждая строка, столбец и...

13
Определение событий, связанных с датами в абзаце

Существует ли алгоритмический подход для определения того, что даты, указанные в абзаце, соотносятся с конкретными событиями (фразами) в абзаце? Пример, рассмотрим следующий абзац: В июне 1970 года великий лидер принес присягу. Но только после мая 1972 года, после смерти государственного министра,...

13
Анализируя модифицированную версию карточной игры «Война»

Простая игра, в которую обычно играют дети, в игру «Война» играют два человека, используя стандартную колоду из 52 игральных карт. Сначала колода перемешивается, и все карты раздаются двум игрокам, так что у каждой по 26 случайных карт в случайном порядке. Предположим, что игрокам разрешено...

13
Есть ли абстрактная машина, которая может фиксировать энергопотребление?

При сообщении алгоритмической сложности алгоритма предполагается, что базовые вычисления выполняются на некоторой абстрактной машине (например, ОЗУ), которая приближается к современному ЦП. Такие модели позволяют нам сообщать о временной и пространственной сложности алгоритмов. Теперь, с...

13
Доказательство безопасности генератора псевдослучайных чисел Нисана-Вигдерсона

Пусть S={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq i\leq n} - частичный (m,k)(m,k)(m,k) -дизайн, а f:{0,1}m→{0,1}f:{0,1}m→{0,1}f: \{0,1\}^m \to \{0,1\} - булева функция. Генератор Нисана-Вигдерсона Gf:{0,1}l→{0,1}nGf:{0,1}l→{0,1}nG_f: \{0,1\}^l \to \{0,1\}^n определяется следующим образом:...

13
Все системные вызовы блокируются?

Я читал статью, которая описывает переключение между пользовательским пространством и пространством ядра, которое происходит при системном вызове. В статье говорится Приложение ожидает завершения системного вызова, прежде чем возобновить выполнение в пользовательском режиме. Теперь до сих пор я...

13
Разрушить протокол аутентификации на основе предварительного симметричного ключа

Рассмотрим следующий протокол, предназначенный для аутентификации (Алиса) в B (Боб) и наоборот.AAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,RAB→A:E(RA,K)A→B:E(⟨RA+1,PA⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad...

13
Разрешимые ограничения проблемы почтовой корреспонденции

Проблема почтовой корреспонденции (PCP) неразрешима. Ограниченная версия PCP является -полной и отмеченная версией PCP (слова одного из двух списков, должны отличаться по первой букве) в P S P A C E [1].Н ПNп\mathrm{NP}P S P A C EпSпAСЕ\mathrm{PSPACE} Используются ли эти ограниченные версии, чтобы...

13
Сокращение от задачи с 3 разделами до проблемы сбалансированного разделения

Проблема 3-Перегородка спрашивает , может ли набор из целых чисел может быть разделена на п наборов из трех чисел таким образом, что каждый набор сумм до некоторого заданного целого числа B . Задача сбалансированного разбиения спрашивает, можно ли разбить 2 n целых чисел на два одинаковых набора...

13
Почему использование лексера / парсера для двоичных данных так неправильно?

Я часто работаю с лексером / парсерами , в отличие от комбинатора парсеров, и вижу людей, которые никогда не посещали уроки по синтаксическому анализу, спрашивают о парсинге двоичных данных. Обычно данные не только двоичные, но и контекстно-зависимые. Это в основном приводит к тому, что токен...

13
Выбор метчиков для регистра сдвига с линейной обратной связью

Меня смущает, как выбираются метчики для регистров сдвига с линейной обратной связью. У меня есть диаграмма, которая показывает LFSR с полиномом связи . Пять ступеней обозначены: и а ответвления выходят из и .C(X)=X5+X2+1C(X)=X5+X2+1C(X) = X^5 + X^2 + 1R4,R3,R2,R1R4,R3,R2,R1R4, R3, R2,...