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

Дозволяти L = { aн∣ ∃p ≥ n p, p + 2 є простими } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Чи регулярно ?LLL Це питання на перший погляд виглядало підозрілим, і я зрозумів, що це пов'язано з …

19 formal-languages  automata  regular-languages  finite-automata 

У « Алгоритміці Громковича для важких проблем» (2-е видання) є ця теорема (2.3.3.3, стор. 117): Існує (вирішальна) проблема рішення така, що для кожного алгоритму який вирішує існує інший алгоритм який також розв'язує і додатково виконуєA P A ′ PПPPАAAПPPA′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 \mathrm{Time}_A(n) An ∀ …

19 complexity-theory 

Я шукаю ефективний алгоритм, який дозволяє мені обробити шахматне дерево пошуку мінімаксу з обрізкою альфа-бета на розподіленій архітектурі. Знайдені нами алгоритми (PVS, YBWC, DTS див. Нижче) всі досить старі (1990 рік - останній). Я припускаю, що відтоді було багато суттєвих зрушень. Який сучасний стандарт у цій галузі? Також, будь ласка, …

19 algorithms  distributed-systems  board-games 

Наш професор попросив нас придумати функцію в OCaml, яка має такий тип 'a -> 'b тобто функція одного аргументу, який може бути будь-яким, і який може повернути інше що завгодно. Я думав використовувати raiseу функції, яка ігнорує її аргумент: let f x = raise Exit Але професор сказав, що в …

19 programming-languages  typing  functional-programming 

Закон Де Моргана часто вводиться у вступній математиці для курсу інформатики, і я часто бачу це як спосіб перетворити твердження з ІЛІ на АБО запереченням термінів. Чи є більш інтуїтивне пояснення, чому це працює, а не просто згадувати таблиці правди? Для мене це як використання чорної магії, що є кращим …

19 logic  discrete-mathematics  didactics 

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

19 graphs  combinatorics 

На курсах графіки внутрішньої графіки зазвичай є проект, який просить побудувати промінь-прослідник для візуалізації сцени. Багато учнів графіки, які вступають до середньої школи, кажуть, що хочуть працювати над відстеженням променів. І все ж здається, що трасування променів - це мертве поле у ​​таких місцях, як SIGGRAPH тощо. Чи справді найкращий …

19 graphics 

Для кожної обчислюваної функції чи існує проблема, яку можна вирішити в кращому випадку за час чи є обчислювальна функція така, що кожна проблема, яку можна вирішити в може також вирішуються в час?fffΘ(f(n))Θ(f(n))\Theta(f(n))fffO(f(n))O(f(n))O(f(n))o(f(n))o(f(n))o(f(n)) Це питання спливе в голову вчора. Я трохи про це думав зараз, але не можу це зрозуміти. Я …

19 complexity-theory 

Нещодавно я прочитав, що можна мати масиви, які не потрібно ініціалізувати, тобто можна використовувати їх, не витрачаючи часу, намагаючись встановити для кожного члена значення за замовчуванням. тобто ви можете почати використовувати масив так, ніби він був ініціалізований значенням за замовчуванням без необхідності його ініціалізації. (Вибачте, я не пам'ятаю, де я …

19 data-structures  arrays 

У книзі Сіпсера "Вступ до теорії обчислень" на сторінці 286 скорочено від проблеми 3SAT до гамільтонівського шляху. Чи є більш просте скорочення? Під простішим я маю на увазі скорочення, яке було б простіше зрозуміти (для студентів). Чи існує скорочення, яке використовує лінійну кількість змінних? Скорочення Sipser використовує змінних, де k …

19 complexity-theory  np-hard 

Я починаю особисте бібліографічне дослідження алгоритмів перевірки типу та хочу поради. Які найчастіше використовуються алгоритми, стратегії та загальні методи перевірки типу? Мені особливо цікаві складні алгоритми перевірки типу, які були реалізовані у широко відомих сильно статичних мовах типу, наприклад, C ++, Java 5+, Scala та інших. IE, алгоритми перевірки типу, …

19 algorithms  programming-languages  reference-request  type-checking 

Я аспірант, який проходить курс теорії обчислень, і у мене виникають серйозні проблеми із створенням контенту, коли мене просять. Я вмію слідкувати за підручником (Вступ до теорії обчислень Майкла Сіпсера) та лекціями; однак коли мене попросять довести щось або придумати офіційний опис конкретної ТМ, я просто задихаюся. Що я можу …

19 computability  education  intuition 

Багато посилань на операційні системи говорять, що при спільній (на відміну від попереджувальної) багатозадачності процес зберігає процесор, поки він явно не призупинить себе. Якщо запущений процес виконує запит вводу / виводу, який не вдається негайно задовольнити (наприклад, запитує ключовий обведення, який ще не доступний), чи планувач призупиняє його чи дійсно …

19 operating-systems  process-scheduling 

Оператор заданої різниці (наприклад, EXCEPTу деяких варіантах SQL) є одним із багатьох фундаментальних операторів реляційної алгебри. Однак є деякі бази даних, які не підтримують оператора заданої різниці безпосередньо, але які підтримують LEFT JOIN(свого роду зовнішнє з'єднання), і на практиці це можна використовувати замість операції набору різниць для досягнення того ж …

19 database-theory  relational-algebra  finite-model-theory 

Я деякий час працюю над динамічним програмуванням. Канонічний спосіб оцінювання динамічної рекурсії програмування - це створення таблиці всіх необхідних значень і заповнення її рядком за рядком. Дивіться, наприклад, Cormen, Leiserson et al: "Вступ до алгоритмів" для вступу. Я зосереджуюсь на табличній обчислювальній схемі у двох вимірах (заповнення по рядках) та …

19 algorithms  dynamic-programming