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

Оскільки лінійне програмування Integer не є повноцінним NP, у будь-якій проблемі в NP виникає скорочення Карпа. Я вважав, що це означає, що ILP завжди має форму поліноміального розміру для будь-якої проблеми. Але я бачив статті про конкретні проблеми НП, де люди пишуть речі на кшталт "це перша композиція з розміром …

14 complexity-theory  np-complete  reductions  linear-programming 

Більшість навчальних посібників з обчислення лямбда надають приклад, коли позитивні цілі чи булеві символи можуть бути представлені функціями. Що про -1 і я?

14 data-structures  lambda-calculus  integers  real-numbers 

Які пристрої та їх взаємозв'язки використовуються разом з квантовими процесорами? Чи сумісні вони з апаратними пристроями, такими як Кеш, ОЗУ, диски поточних комп'ютерів?

14 computer-architecture  quantum-computing 

Алгоритм рандомізованого відбору такий: Введення: Масив з n (чітких, для простоти) чисел та числа k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Вихід: "ранговий елемент" A (тобто той, який знаходиться в положенні k, якщо A було відсортовано)kkkAAAkkkAAA Спосіб: Якщо є один елемент в , повернути йогоAAA Виберіть елемент ("стрижень") рівномірно навманняppp Обчисліть …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

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

14 cryptography  encryption  digital-preservation 

Ми знаємо , що в по Іммерман-Szelepcsenyi теорема теорема і так є тому це багато-один журнальний простір, зведений до . Але чи існує пряме / комбінаторне скорочення, яке не проходить через графік конфігурації машин Тьюрінга в ?N Lst-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}N L - h a r d s t - n o n …

14 complexity-theory  reductions  space-complexity 

Припустимо , у нас є безліч з кодеров.S={a1,a2,a3,…,aN}S={a1,a2,a3,…,aN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Кожен має рейтинг та кількість золотих медалей , які вони вигравали досі.RiRiR_iEiEiE_i Програмна компанія хоче найняти рівно три кодери для розробки програми. Для найму трьох кодерів вони розробили таку стратегію: Спочатку вони упорядковують кодери у порядку …

14 algorithms  algorithm-design 

Я хочу встановити, що це частина мого домашнього завдання для курсу, який я зараз приймаю. Я шукаю допомоги у провадженні, а не відповіді. Це питання, про яке йдеться: П’ятикутна зірка у непрямому графіку - це 5-клік. Покажіть, що 5-POINTED-STAR , де 5-POINTED-STAR = містить 5-точкову зірку як підграф .∈ P∈П\in …

14 complexity-theory  time-complexity 

Я зацікавлений в обчисленні «-й потужності п × п матриця А . Припустимо, у нас є алгоритм множення матриць, який працює в O ( M ( n ) ) час. Тоді можна легко обчислити A n за часом O ( M ( n ) log ( n ) ) . …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Я зараз читаю про машинне навчання і цікавився, як застосувати його до гри Connect Four . Моя поточна спроба - це простий багатокласовий класифікатор, що використовує модель сигмоїдної функції та метод один проти всіх. На мою думку, вхідними функціями має бути стан (диск програвача 1, диск програвача 2, порожній) 7x6 …

14 machine-learning  board-games 

Припустимо, у нас є проста мова, яка складається з термінів: truetrue\mathtt{true} falsefalse\mathtt{false} якщо t1,t2,t3t1,t2,t3t_1,t_2,t_3 - терміни, то так само ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Тепер припустимо наступні правила логічного оцінювання: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: …

14 logic  semantics  proof-techniques  term-rewriting 

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

14 computability 

Алгоритми та структури даних про кеш-пам'ять - це досить нова річ, представлена ​​Frigo et al. у алгоритмах, що не враховують кеш, 1999 . Теза Прокопа з того ж року вводить і ранні ідеї. Документ Frigo et al. представити деякі експериментальні результати, що показують потенціал теорії та алгоритмів та структур даних, …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Я намагаюся довести, що бінарне дерево з вузлами має щонайбільше . Як би я міг робити це з індукцією?nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Для людей, які стежили в оригінальному питанні про купи, це було перенесено сюди .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Я пояснював другові відомий детермінований алгоритм вибору лінійного часу (медіана алгоритму медіанів). Рекурсія в цьому алгоритмі (хоча і дуже проста) є досить складною. Є два рекурсивні дзвінки, кожен з різними параметрами. Я намагався знайти інші приклади таких цікавих рекурсивних алгоритмів, але не зміг знайти жодного. Всі рекурсивні алгоритми, які я …

14 algorithms  recursion