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

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

16 probability-theory  scheduling  parallel-computing 

У Теорії обчислень Майкла Сіпсера на сторінці 270 він пише: P = клас мов, для членства яких можна швидко визначитися. NP = клас мов, на які можна швидко перевірити членство. Яка різниця між "вирішеним" та "перевіреним"?

16 complexity-theory  terminology  decision-problem 

Я самостійно навчаюсь автоматизованому доказуванню теореми / розв'язкам SMT / кореспондентам і розміщую низку питань про цей процес, починаючи тут . Чому це , що автоматизовані доведення теорем, тобто ACL2 і SMT вирішувачі не потрібна людська допомога при вибухозахищені асистенти, тобто Isabelle і Coq , робити? Знайдіть серіал 'Наступне питання …

16 logic  proof-assistants  automated-theorem-proving  smt-solvers 

За даними Вікіпедії : Неофіційно, з точки зору алгоритмічної теорії інформації, зміст інформації рядка еквівалентно довжині найкоротшого можливого автономного подання цієї рядка. Яке аналогічне неформальне суворе визначення "корисної інформації"? Чому «корисна інформація» не сприймається як більш природна чи більш фундаментальна концепція; Наївно це здається, що суто випадковий рядок за визначенням …

16 information-theory  terminology  kolmogorov-complexity 

Я намагаюся довести, що двійкова купа з ннn вузлами має рівно листя, враховуючи, що купа будується таким чином:⌈ n2⌉⌈н2⌉\left\lceil \frac{n}{2} \right\rceil Кожен новий вузол вставляється через перколат вгору . Це означає, що кожен новий вузол повинен бути створений у наступної доступної дитини. Що я маю на увазі під цим, це …

16 data-structures  binary-trees 

Зауважте, це питання, пов’язане з навчанням у курсі CS в університеті, це НЕ домашнє завдання і його можна знайти тут під іспитом осінь 2011 року2. Ось два питання, які я розглядаю з минулого іспиту. Вони, здається, пов'язані першими: Дозволяти FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Детермінований кінцевий автомат (DFA) - це модель машини машини, здатна приймати всі та лише звичайні мови. DFA можуть бути (і зазвичай є) визначені таким чином, що кожен стан повинен забезпечувати певний перехід для всіх елементів вхідного алфавіту; іншими словами, функція переходу повинна бути (загальною) функцією.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow …

16 formal-languages  automata  finite-automata 

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

16 formal-languages  automata  closure-properties 

Визначення будь-якої довільної сітки 9х9 вимагає надання позиції та значення кожного квадрата. Наївне кодування для цього може давати 81 (x, y, значення) триплети, що вимагає 4 біт для кожного x, y та значення (1-9 = 9 значення = 4 біта) на загальну суму 81x4x3 = 972 біт. Пронумерувавши кожен квадрат, …

16 combinatorics  modelling  information-theory  sudoku 

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

16 machine-learning  algorithms  pattern-recognition  logic 

За даними сторінки Вікіпедії щодо статичного єдиного призначення (SSA) , SSA використовується великими і відомими проектами, такими як LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey і V8, а сторінка для проектів, що використовують стиль продовження проходження (CPS) трохи бракує для порівняння. Я маю таке уявлення, що CPS віддають перевагу компіляторам та …

16 compilers  program-optimization  continuations 

Згідно з цією статтею, наступний рядок коду Lisp друкує "Hello world" на стандартний вихід. (format t "hello, world") Lisp, що є гомоніконімічною мовою , може розглядати код як дані таким чином: А тепер уявіть, що ми написали такий макрос: (defmacro backwards (expr) (reverse expr)) назад - це назва макросу, який …

16 programming-languages  functional-programming 

Комбінатор Y має тип . За кореспонденцією Керрі-Говарда, оскільки тип ( a → a ) → a заселений, він повинен відповідати справжній теоремі. Однак a → a завжди відповідає дійсності, тому видається, що тип комбінатора Y відповідає теоремі a , що не завжди відповідає дійсності. Як це може бути?( a …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

Ми знаємо, що обчислення максимального потоку, відповідно. мінімальний розріз мережі з ємністю еквівалентний; пор. теорема про максимальний потік min-cut . У нас є (більш-менш ефективні) алгоритми для обчислення максимальних потоків, і обчислення мінімального розрізу з максимальним потоком не є ні важким, ні дорогим. Але як щодо реверсу? З огляду на …

16 algorithms  graphs  network-flow 

Розробляючи алгоритми в квантових обчисленнях, я помітив, що є дві основні моделі, в яких це робиться. Деякі алгоритми, такі як проблема гамільтонових дерев NAND (Farhi, Goldstone, Guttman), працюють, розробляючи гамільтонівський і деякий початковий стан, а потім дозволяють системі розвиватися відповідно до рівняння Шредінгера протягом певного часу перш ніж проводити вимірювання.ттt …

16 algorithms  quantum-computing  computation-models