Информатика

Я читал о числах занятых бобров и о том, как они асимптотически растут больше, чем любая вычислимая функция. Почему это так? Это из-за невычислимости функции занятого бобра? Если так, то все ли невычислимые функции растут асимптотически больше, чем вычислимые? Редактировать: Хорошие ответы ниже, но я хотел бы объяснить на простом …

13 computability  asymptotics 

Рассмотрим следующую версию задачи Клика, где вход имеет размер и нас просят найти клику размера k . Ограничение состоит в том, что процедура принятия решения не может изменить входной граф в любое другое представление и не может использовать любое другое представление для вычисления его ответа, кроме log ( n k …

13 complexity-theory  time-complexity 

LLL - обычный язык над алфавитом . Левый фактор относительно - это язык Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Как я могу доказать, что регулярно?w−1Lw−1Lw^{-1}L

13 formal-languages  regular-languages  closure-properties 

Предположим, мне дано целых чисел фиксированной ширины (т.е. они помещаются в регистр ширины ), , так что их сумма a 1 + a 2 + ⋯ + a n = S также помещается в регистр ширины ш .nnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots a_na1+a2+⋯+an=Sa1+a2+⋯+an=Sa_1 + a_2 + \dots + a_n = Swww Мне …

13 algorithms  arrays  integers  numerical-analysis 

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

13 cryptography  pseudo-random-generators  shift-register 

Мне бы очень понравилась ваша помощь в следующем: Для любого фиксированного мне нужно решить, есть ли замыкание под следующими операторами:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} Соответствующие варианты: Обычные языки закрыты под соответственно A r , …

13 formal-languages  regular-languages  closure-properties 

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

13 operating-systems  os-kernel 

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

13 programming-languages  compilers  parsers 

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

13 complexity-theory  computability  reference-request 

Рассмотрим следующий протокол, предназначенный для аутентификации (Алиса) в 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 E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} - случайный одноразовый номер.RRR является предварительно общим симметричным ключом.KKK …

13 cryptography  protocols  authentication 

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

13 complexity-theory  reductions  np-complete 

Пусть 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 определяется следующим образом: Gf(x)=(f(x|S1),…,f(x|Sn))Gf(x)=(f(x|S1),…,f(x|Sn))G_f(x) = (f(x|_{S_1}) , \ldots, f(x|_{S_n}) ) Чтобы вычислить iii й бит GfGfG_f мы берем биты xxx с индексами в SiSiS_i и затем применяем fff …

13 cryptography  pseudo-random-generators 

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

13 algorithms  randomness  sudoku 

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

13 algorithms  optimization 

Я знаю, что существуют нерегулярные языки, поэтому является регулярным, но все примеры, которые я могу найти, являются контекстно-зависимыми, но не контекстно-свободными.L∗L∗L^* Если нет ни одного, как вы это докажете?

13 formal-languages  context-free  regular-languages