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

Наприкінці 1990-х, коли я навчався в аспірантурі, папір JH Saltzer; Д. П. Рід; Д.Д. Кларк: аргументи в кінці системи . ACM Trans. Обчислення. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 був дуже потрібний для читання в кожному класі операційних систем у кожному університеті, і все одно, здається, …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

У мета математики Хайтіна ! Квест «Омега» , він коротко розповідає про десяту проблему Гільберта. Потім він каже, що будь-яке Діофантинове рівняння можна змінити на два рівні многочлени з позитивними цілими коефіцієнтами: .p = 0p = 0p=0p=0p = 0⟺p1= р2p=0⟺p1=p2p=0 \iff p_1 = p_2 Потім він каже, що ми можемо …

10 logic  halting-problem 

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

10 complexity-theory  formal-languages 

Струм з плаваючою комою (ANSI C з плаваючою точкою, подвійний) дозволяють уявити наближення дійсного числа. Чи є спосіб представити реальні числа без помилок ? Ось у мене виникла ідея, яка є все, але не ідеальною. Наприклад, 1/3 - це 0,33333333 ... (база 10) або o101010101 ... (база 2), але також …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

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

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

З доказу Міллера-Рабіна , якщо число проходить тест перманентності Ферма , воно також повинне пройти тест Міллера-Рабіна з тією ж базою (змінна в доказі). І складність обчислень однакова.аaa Далі йде тест на перманентність Ферма : Хоча числа Кармікеля набагато рідше, ніж прості числа, 1 їх досить багато, що тест перманентності …

10 algorithms  primes 

У нас було кілька питань щодо співвідношення скорочень Кука та Карпа . Зрозуміло, що скорочення Кука (скорочення Тюрінга в поліномічному часі) не визначають таке ж поняття NP-повноти, як скорочення Карпа (скорочення багаточленного часу багато-один), яке зазвичай використовується. Зокрема, скорочення Кука не можуть відокремити NP від ​​ко-NP, навіть якщо P NP. …

10 complexity-theory  reference-request  np-complete  reductions 

Розглянемо лінійні програми Пr я m a l :А х⃗ ≤ b⃗ макс. c⃗ Тх⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ ТАхв у⃗ Тб⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Вступ та позначення: Ось нова і проста версія мого алгоритму, яка, здається, припиняється (згідно моїх експериментів), і тепер я хотів би це довести. Нехай позначення посилається на розмірну точку даних (вектор). У мене є три множини A, B і C, такі, що , , : xi∈Rpxi∈Rpx_i \in \mathbb{R}^pppp|A|=n|A|=n|A| = n|B|=m|B|=m|B| …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Я працюю над невеликим компілятором обчислення лямбда, який має працюючу систему виводу типу Хіндлі-Мілнера, і тепер також підтримує рекурсивну, давайте (не у зв'язаному коді), що, на мою думку, повинно бути достатньо, щоб зробити Тьюрінг завершеним . Проблема зараз полягає в тому, що я не маю уявлення, як скласти списки його …

10 lambda-calculus  type-theory  type-inference 

Моя проблема така: У мене є фізичний макет, представлений у вигляді графіка. Вузли являють собою гачки / канали, де дріт може закріплюватися, а Краї - це можливе з'єднання між двома вузлами, звідки може пройти дріт. Існують деякі спеціальні Вузли, що називаються сплітерами, з яких один дріт можна розділити на 2 …

10 algorithms  graph-theory  optimization 

Які позначення використовуються для обговорення коефіцієнтів функцій у нотації big-O? У мене дві функції: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Очевидно, що обидві функції є O(x2)O(x2)O(x^2) , дійсно Θ(x2)Θ(x2)\Theta(x^2) , але це не дозволяє порівняти далі. Як я обговорюю коефіцієнти 7 і 3. Зниження …

10 terminology  asymptotics  landau-notation 

Припустимо, алгоритм має відношення періодичності виконання: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n&lt;n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. для деякої постійної . Припустимо, що многочлен в , можливо, квадратичному. Швидше за все, буде експоненціальною в .0&lt;δ&lt;10&lt;δ&lt;10 < \delta < …

10 asymptotics  recurrence-relation 

Для функцій або обчислень у нас є такі терміни, як: Детермінований - детермінізм Чисто - чистота Тепер який правильний відповідний іменник для побічних ефектів ? "Побічна вільність"? "Побічна свобода"? "Побічна ефективність"?

10 terminology  programming-languages 

Мені потрібно зберегти колекцію цілих чисел у межах від 0 до 65535, щоб я міг швидко зробити наступне: Вставте нове ціле число Вставте діапазон суміжних цілих чисел Видаліть ціле число Видаліть усі цілі числа нижче цілого числа Перевірте, чи є ціле число Мої дані мають властивість, що вона часто містить …

10 data-structures  efficiency  search-trees  integers