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

Це домашнє запитання з книги Уді Манбера. Будь-який натяк був би приємний :) Треба показати, що: n(log3(n))5= О(n1.2)n(log3⁡(н))5=О(н1.2)n(\log_3(n))^5 = O(n^{1.2}) Я спробував використовувати теорему 3.1 книги: (для,)f( n )c= О ( аf( n ))f(н)c=О(аf(н))f(n)^c = O(a^{f(n)})a > 1c > 0c>0c > 0a > 1а>1a > 1 Заміна: ( журнал3( n …

11 asymptotics  landau-notation  mathematical-analysis 

Fibonnaci кучного підтримує наступні операції: insert(key, data) : додає новий елемент до структури даних find-min() : повертає вказівник на елемент мінімальним ключем delete-min() : видаляє елемент з мінімальною клавішею delete(node) : видаляє елемент, на який вказує node decrease-key(node) : зменшує ключ елемента, на який вказує node Усі операції без видалення …

11 data-structures  priority-queues 

Це попередник мого іншого, більш розвиненого питання щодо перевірки стека. Інспекція стека - це механізм захисту, запроваджений в JVM для роботи із запущеним кодом, що походить з місць, що мають різний рівень довіри. Це питання спрямоване на пошук простого опису його функціональності. Так: Як працює перевірка стека?

11 terminology  security  stack-inspection 

У мене є домашнє завдання, яке я певний час бив головою, і буду вдячний за будь-які підказки. Йдеться про вибір відомої проблеми, NP-повнота якої доведена, а також побудова зведення від цієї проблеми до наступної проблеми, яку я називаю DGD (спрямований графік діагностики). Проблема Екземпляр DGD складається з вершин , спрямованих …

11 complexity-theory  np-hard  graph-theory 

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

11 algorithms  optimization  linear-programming 

В даний час я вивчаю обчислення лямбда і мені було цікаво наступні два різні види написання лямбда-терміна. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Чи є різниця в значенні чи способі застосування бета-версії, чи це лише два способи виразити одне і те ж? Особливо таке визначення створення пари змусило мене замислитися: пара …

11 logic  lambda-calculus 

Якщо я правильно розумію, NFA має таку ж виразну силу, як і регулярні вирази. Часто зчитувати еквівалентні регулярні вирази з NFA легко: ви переводите цикли на зірки, з'єднання як альтернативу тощо. Але що робити в цьому випадку: [ джерело ] Цикли, що перекриваються, важко зрозуміти, що приймає цей автомат (з …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Це може бути межею з обчислювальною когнітивною наукою, але мені цікаво, як процес, який супроводжується загальними алгоритмами прокладання маршрутів (наприклад, A * ), порівнюється з процесом, який люди використовують у різних ситуаціях проходження маршруту (з урахуванням тієї ж інформації). Чи подібні ці процеси?

11 algorithms  graphs  artificial-intelligence 

У мене є така мова {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Я намагаюся визначити, до якого класу мови Хомського він підходить. Я бачу, як це можна зробити за допомогою граматики, залежної від контексту, тому я знаю, що це як мінімум контекстно-залежна. Здається, це було …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Напій дозатор вимагає, щоб користувач , щоб вставити монету ( ), а потім натисніть одну з трьох кнопок: ˉ d чай просить чашку чаю е чаю , Ditto для кави, а ˉ г вимагає повернення (тобто машина дає назад монета: ˉ б ). Цей дозатор можна моделювати за допомогою наступного …

11 logic  concurrency  modelling  process-algebras  ccs 

Перезапис система являє собою набір правил у вигляді . Якщо ми застосуємо це правило до рядка w, замінимо будь-яку підрядку A in w на підрядку B і навпаки.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB З огляду на початковий рядок можемо ми вивести B A A B у системі за допомогою таких правил:AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow …

11 computability  term-rewriting 

Як можна визначити, чи має певна послідовність цифр? ππ\piнадихнуло мене запитати, чи можна обчислити такі невинно виглядаючі варіанти: f( n ) = { 10якщо n¯ зустрічається в десятковому поданні πінакшеf(н)={1якщо н¯ зустрічається в десятковому поданні π0інакшеf(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} …

11 computability  real-numbers 

Нехай , , , - це нескінченна послідовність безконтекстних мов, кожна з яких визначена загальним алфавітом Σ . Нехай L - це нескінченна спілка L_1 , L_2 , L_3 , \ крапки ; тобто L = L_1 \ чашка L_2 \ чашка L_3 \ чашка \ крапки .L1L1L_1L2L2L_2L3L3L_3……\dotsΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = …

11 formal-languages  context-free  closure-properties 

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

11 cpu-pipelines  computer-architecture 

Розглянемо файлову систему, націлену на деякі вбудовані пристрої, яка робить не більше, ніж зберігає файли в структурі ієрархічної директорії. У цій файловій системі бракує багатьох операцій, до яких ви можете використовуватись у таких системах, як Unix та Windows (наприклад, дозволи на її доступ є абсолютно різними і не прив’язані до …

11 operating-systems  filesystems