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

Щоб зашифрувати повідомлення за допомогою одноразової клавіші k , зробіть E n c ( m 1 , k ) = m 1 ⊕ k .m1m1m_1kkkEnc(m1,k)=m1⊕kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Якщо ви використовуєте один і той же для шифрування іншого повідомлення m 2, ви отримаєте E n c ( m 2 …

20 cryptography  information-theory  encryption 

Я хочу проаналізувати визначені користувачем мови домену. Ці мови, як правило, близькі до математичних позначень (я не розбираю природну мову). Користувачі визначають свою DSL у позначенні BNF, наприклад: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Введення типу "подібне" 1 + ( 2 …

20 formal-languages  parsers  compilers 

Мені цікаво, чи є масово паралельні обчислювальні пристрої, які сьогодні є у графічних картах (наприклад, програмований у OpenCL ), достатньо, щоб імітувати 1D стільникові автомати (або, можливо, 2D стільникові автомати?). Якщо ми виберемо, яка кінцева сітка вміститься всередині пам'яті мікросхеми, чи можемо ми очікувати, що один перехід стільникового автомата, визначеного …

20 computer-architecture  parallel-computing  cellular-automata 

Мені хотілося б знати, чи універсально кількісний тип : є підтипом, або окремий випадок екзистенційно кількісно визначеного типу з однаковим підписом:TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\}TeTeT_eTe=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} Я б сказав "так": Якщо щось відповідає дійсності "для всіх X" ( ), …

20 logic  type-theory  typing 

Згідно з Іммерманом , клас складності, пов'язаний із SQL- запитами, є саме класом безпечних запитів у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (запити першого порядку плюс оператор підрахунку): SQL фіксує безпечні запити. (Іншими словами, всі запити SQL мають складність у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} , а всі проблеми - у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} може бути виражений у вигляді SQL-запиту.) Виходячи …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Існує багато способів визначення Колмогорова-Складності , і зазвичай всі ці визначення вони еквівалентні аж до постійної добавки. Тобто, якщо K1K1K_1 і K2K2K_2 є функціями складності колмогорова (визначеними різними мовами або моделями), то існує константа ccc така, що для кожного рядка xxx , |K1(x)−K2(x)|&lt;c|K1(x)−K2(x)|&lt;c|K_1(x) - K_2(x)| < c . Я вважаю, …

20 computability  kolmogorov-complexity 

Розгляньте не марковані, вкорінені двійкові дерева. Ми можемо стиснути такі дерева: коли є покажчики на підтрубки і T ′ з T = T ′ (трактуючи = як структурна рівність), ми зберігаємо (wlog) T і замінюємо всі покажчики на T ′TTTT′T′T'T=T′T=T′T = T'===TTTT′T′T' з покажчиками на . Див . Приклад відповіді …

20 algorithms  data-structures  trees  binary-trees 

Розглянемо дві можливості для задачі P проти NP: P = NP і P ≠≠\neq NP. Нехай Q є однією з відомих проблем, пов'язаних з NP. Щоб довести P = NP, нам потрібно створити єдиний багаточленний алгоритм часу для Q та довести, що A правильно вирішує Q. Щоб довести P NP, …

20 complexity-theory  p-vs-np 

Багато алгоритмів максимуму потоку, які я зазвичай бачу реалізованими, алгоритм Дініка, натискання реле та інші, можуть покращити свою асимптотичну вартість часу завдяки використанню динамічних дерев (також відомих як дерева-зрізані посилання). Реле натискання працює в або O ( V 3 ) або O ( V 2 √О ( V2Е)О(V2Е)O(V^2E)О( V3)О(V3)O(V^3)нормально, але …

20 reference-request  graphs  data-structures  network-flow 

Багато разів, якщо складності мають постійні, такі як 3n, ми нехтуємо цією константою і говоримо O (n), а не O (3n). Я не можу зрозуміти, як ми можемо знехтувати такими трикратними змінами? Деякі речі змінюються в 3 рази швидше, ніж інші! Чому ми нехтуємо цим фактом?

20 complexity-theory  asymptotics  landau-notation 

Розглянемо зображення фіксованої точки, яке може розглядатися як вироджений випадок плаваючого числа. Цілком можливо використовувати доповнення 2 для від’ємних чисел. Але чому біт знаків необхідний для чисел з плаваючою точкою, не слід, щоб біти мантіси використовували доповнення 2? Крім того, чому біти експонента використовують зміщення замість представленої величини (як аналогічно …

20 computer-architecture  floating-point  number-formats 

Цікаво, як знайти обхват розрідженого ненаправленого графіка. Під рідким я маю на увазі . Під оптимом я маю на увазі найнижчу часову складність.| Е| =O( | V| )|Е|=О(|V|)|E|=O(|V|) Я подумав про деяку модифікацію алгоритму Таряна для ненаправлених графіків, але не знайшов хороших результатів. Насправді я думав, що якщо мені вдасться …

20 algorithms  time-complexity  graph-theory 

Ну це загальне питання. І якщо хтось хоче зробити його реалізацією специфічною, то я віддаю перевагу речей, що стосуються Unix. Але спершу потрібно знати в основному такі проблеми: Я читаю, що один процес може мати декілька потоків. Кілька ниток одного процесу поділяють між собою речі. Я хочу знати, що вони …

20 operating-systems  threads 

Конкретно: 1) Кеш прямого відображення з 4096 блоками / рядками, в якому кожен блок має 8 32-бітних слів. Скільки бітів потрібно для тегів та полів індексу, припускаючи 32-бітну адресу? 2) Те саме питання, що і 1), але для повністю асоціативного кешу ? Виправте мене, якщо я помиляюся, чи це: біт …

20 computer-architecture  cpu-cache 

Мова складання перетворюється на машинну мову асемблером. Чому компілятор перетворює мову високого рівня в збірку? Чи не можна це безпосередньо перетворити з мови високого рівня в машинний код?

19 compilers  code-generation  assembly