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

Я читав Гальвін Операційні системи і натрапив на нижній рядок, Однак, не всі небезпечні стани є тупиком. Небезпечний стан може призвести до тупикової ситуації Може хтось, будь ласка, пояснить, як тупик! = Небезпечний стан? Я також зловив ту ж лінію тут Якщо безпечної послідовності не існує, система перебуває в небезпечному …

10 operating-systems  deadlocks 

Я читаю "Душу нової машини" Трейсі Кіддер, де команда компанії Data General розробила нову машину (кодова назва "Eagle", пізніше названа MV / 8000). Це 32-бітове розширення попередньої архітектури (16-бітове Eclipse). Однією з обертових тем, здається, є те, що вони не хочуть створювати машину з режимом біт і що їм це …

10 computer-architecture 

Я намагався вирішити наступну вправу, але я застряг, намагаючись знайти всі критичні пари . У мене є такі питання: Як я можу знати, яка критична пара створила нове правило? Звідки я знаю, що знайшов усі критичні пари? Нехай де є двійковим, є одинарним, а - константою. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, …

10 logic  first-order-logic 

Існує спосіб виконати нечіткий синтаксичний аналіз (приймає рядки навіть з помилками помилок на певну відстань редагування), з DFA та автоматизованими автоматами Levenshtein, введеними під час введення слова. Чи можна зробити щось подібне з аналізатором Ерлі? Мені важко зрозуміти алгоритм, не кажучи вже про відповідь на це питання.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Прочитавши досягнення глибокого розуму google в іграх Atari , я намагаюся зрозуміти q-learning та q-мережі, але мене трохи збентежило. Плутанина виникає в понятті коефіцієнта дисконтування. Короткий підсумок того, що я розумію. Для оцінки значення оптимального очікуваного значення дії використовується глибока згорткова нейронна мережа. Мережа повинна мінімізувати функцію втрат де E …

10 artificial-intelligence  neural-networks  reinforcement-learning 

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

10 context-free  parsers  lr-k 

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

10 computability  turing-machines  simulation  turing-completeness 

Я знаю, що кількісна задача булевої формули для формули де не містить кількісних показників і лише змінні - приклад проблемиОднак мені цікаво, чи є якісь природні проблеми, відомі як , подібно до того, як мінімізація ланцюга є природною проблемою (детальніше див. Ієрархію поліномів )?ψ=∀x1…∀xn∃y1…∃ynϕψ=∀x1…∀xn∃y1…∃ynϕ \psi = \forall x_1 \ldots \forall …

10 complexity-classes 

Що означає "позитивна позиція" та "негативна позиція" в контексті теорії типів? Єдине, що я зрозумів з публікації блогу Боба Харпера на цю тему, це те, що існує зв'язок між полярністю в цьому сенсі в теорії типів і полярністю в логіці, але я не знаю, що це за зв'язок.

10 type-theory 

Щодо потоку Доведення, що перетворення з CNF в DNF є NP-Hard (і пов'язаної з ним математичної нитки ): Як щодо іншого напрямку, від DNF до CNF? Легко чи важко? На сторінці 2 цього документу вони, начебто, натякають, що обидва напрямки однаково важкі, коли кажуть: " Ми зацікавлені в максимальному розмірі …

10 complexity-theory  logic  satisfiability  normal-forms 

Поширені приклади важких проблем NP (клика, 3-SAT, обкладинка вершин тощо) є типом, коли ми не знаємо, чи відповідь заздалегідь "так" чи "ні". Припустимо, що у нас є проблема, в якій нам відомо, що відповідь "так", і ми можемо перевірити свідка в поліноміальний час. Чи можемо ми завжди знайти свідка в …

10 complexity-theory  np-hard  search-problem 

Нехай - функція, яка є досить приємною (наприклад, безперервна, диференційована, не надто багато локальних максимумів, можливо, увігнута тощо). Я хочу знайти максимум f : значення x ∈ R d, що робить f ( x ) якомога більшим.f: Rг→ Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Якби у мене була процедура точно оцінювати …

10 optimization  approximation 

Проблема полягає в наступному: У нас є двовимірний масив / сітка чисел, кожне з яких представляє певну "вигоду" або "прибуток". У нас також є два фіксованих цілих числа і h (для "ширини" і "висоти") і фіксованого цілого числа n .шwwгодhhнnn Тепер ми хочемо накласти на сітку прямокутників розмірами w × …

10 algorithms  optimization  combinatorics  approximation 

Я дивився сюди , і помітив, що найкращий час для множення двох бітних чисел є , але я легко помічаю алгоритм, який працює в .O ( n ⋅ log n ⋅ 2 O ( log ∗ n ) O ( n ⋅ log n )nnnO(n⋅logn⋅2O(log∗n)O(n⋅log⁡n⋅2O(log∗⁡n)O(n\cdot \log n \cdot 2^{O(\log^* n)}O(n⋅logn)O(n⋅log⁡n)O(n\cdot …

10 runtime-analysis 

Доведено, що проблема вирішення того, чи є вхід паліндром чи ні, не вимагає місця на машині Тьюрінга. Однак навіть зберігання входу займає простір значить, це не означає, що всі машини Тьюрінга потребують місця ?Ω ( логn )Ω(журнал⁡н)\Omega(\log n)ннnΩ ( n )Ω(н)\Omega(n) Звичайно, тут немає суперечності, оскільки будь-яка функція, яка використовує …

10 turing-machines  space-complexity