Комп'ютерна наука

Я реалізував топологічний сортування на основі статті у Вікіпедії, яку я використовую для вирішення залежності, але вона повертає лінійний список. Який алгоритм можна використовувати для пошуку незалежних шляхів?

13 algorithms  graphs  parallel-computing  scheduling 

Я задавав подібне запитання на cstheory.SE . Відповідно до цієї відповіді на Stackoverflow існує алгоритм, який на не ледачому чистому функціональному мові програмування має складність , тоді як той самий алгоритм в імперативному програмуванні - Ω ( n ) . Додавання лінивості до мови FP зробило б алгоритм Ω ( …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

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

13 complexity-theory  time-complexity 

Припустимо , що я даюсь фіксованої ширини цілих чисел (тобто вони поміщаються в регістр ширини ш ), 1 , 2 , ... п такі , що їх сума 1 + 2 + ⋯ + п = S також міститься в регістр ширини w .нnnшwwа1, а2, … Анa1,a2,…ana_1, a_2, \dots a_nа1+ …

13 algorithms  arrays  integers  numerical-analysis 

Я дуже люблю вашу допомогу з наступним: Для будь-якого фіксованого мені потрібно вирішити, чи є закриття під такими операторами:L2L2L_2 Аr( L ) = { x ∣ ∃ y∈ L2: х у∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Ал( L ) = { x ∣ ∃ …

13 formal-languages  regular-languages  closure-properties 

LLL - звичайна мова над алфавітом . Лівий коефіцієнт щодо - це мова L w ∈ Σ ∗ w - 1 L : = { v ∣ w v ∈ L }Σ = { a , b }Σ={a,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in \Sigma^*ш- 1L : = { v ∣ …

13 formal-languages  regular-languages  closure-properties 

Мене бентежить те, як вибираються крани для регістрів зсуву лінійної зворотної зв'язку. У мене є діаграма, яка показує LFSR з поліномом з'єднання . Позначено п'ять ступенів: R 4 , R 3 , R 2 , R 1 і R 0, а крани виходять з R 0 і R 3 .C(X)=X5+X2+1C(X)=X5+X2+1C(X) …

13 cryptography  pseudo-random-generators  shift-register 

Проблема 3-Перегородки запитує , є чи набір цілих чисел може бути розділена на набори з трьох чисел таким чином, що кожен набір сум до деяких заданих цілого числа . Проблема врівноваженого розділу запитує, чи можна цілих чисел розділити на два рівні множини кардинальності, щоб обидва набори мали однакову суму. Обидві …

13 complexity-theory  reductions  np-complete 

Я часто працюю з лексером / парсерами , на відміну від комбінатора парсера і бачу людей, які ніколи не брали клас на розбір, запитують про розбір бінарних даних. Зазвичай дані не тільки двійкові, але й контекстно-залежні. Це в основному призводить до наявності лише одного типу токена, лексеми для байта. Чи …

13 programming-languages  compilers  parsers 

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

13 complexity-theory  computability  reference-request 

Розглянемо наступний протокол, призначений для автентифікації від (Alice) до B (Bob) і навпаки.АAAБBB A → B :B → A :A → B :"Я Аліса" , RАЕ( RА, К)Е( ⟨ RА+ 1 , РА⟩ , К)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, …

13 cryptography  protocols  authentication 

Я читав статтю, яка описує переключення між простором користувача та простором ядра, що відбувається під час системного виклику. У статті йдеться Додаток очікує завершення системного виклику перед тим, як відновити виконання режиму користувача. Тепер, до цих пір я припускав, що деякі системні дзвінки є blocking, тоді як інші є non-blocking. …

13 operating-systems  os-kernel 

Нехай - часткове ( m , k ) -дизайн, а f : { 0 , 1 } m → { 0 , 1 } - булева функція. Генератор Нісана-Вігдерсона G f : { 0 , 1 } l → { 0 , 1 } n визначається так: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 …

13 cryptography  pseudo-random-generators 

Чи існує алгоритмічний підхід для визначення того, що дати, зазначені в абзаці, співвідносяться з певними подіями (фразами) в абзаці? Приклад, розглянемо наступний параграф: У червні 1970 року великий вождь склав присягу. Але лише після травня 1972 року після смерті Державного міністра він взяв на озброєння країну. Поки він користувався підтримкою …

13 algorithms  data-mining  natural-language-processing 

У просту гру, яку зазвичай грають діти, у гру Війна грають двоє людей, використовуючи стандартну колоду з 52 гральних карт. Спочатку колоду перетасовують і всі картки роздають двом двом гравцям, так що кожна має 26 випадкових карт у випадковому порядку. Будемо вважати, що гравцям дозволяється оглядати (але не змінювати) обидві …

13 algorithms  optimization