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

Я часто чую фрази на кшталт "справжня семантика одночасності" та "справжня еквівалентність сумісності" без будь-яких посилань. Що означають ці терміни і чому вони важливі? Назвіть декілька прикладів справжньої еквівалентності одночасності та яка потреба в них? Наприклад, у яких випадках вони є більш застосовними, ніж більш стандартні еквіваленти (бісумуляція, еквівалентність слідів …

28 terminology  reference-request  concurrency 

Для звичайного мови , нехай , як число слів в довжини . Використовуючи канонічну форму Йордану (застосовану до неозначеної матриці переходу деякої DFA для ), можна показати, що для досить великих , де - складні многочлени, а - складні "власні значення". (Для малих ми можемо мати додаткові умови форми , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Я шукаю структуру даних, яка зберігає набір рядків над набором символів , здатним виконувати наступні операції. Позначимо , в якості структури даних , що зберігає безліч рядків .D ( S ) SΣΣ\SigmaD (S)D(S)\mathcal{D}(S)SSS Add-Prefix-Seton : заданий деякий набір (можливо, порожніх) рядків, розмір яких обмежений постійною, а довжина рядків обмежена постійною, …

28 data-structures  time-complexity  strings  stacks 

Ми знаємо, що після замовлення post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] та попереднє замовлення pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) і в порядку проходження респ. секвенціалізація. in L(x) => [x] in N(x,l,r) => (in …

28 algorithms  binary-trees 

У Вікіпедії написано, що "... сортування вибору майже завжди перевершує сортування бульбашок та сортування гномів". Чи можете мені хто-небудь пояснити, чому сортування селекції вважається швидшим, ніж сортування бульбашок, хоча вони мають: Найгірша складність часу :O(n2)O(n2)\mathcal O(n^2) Кількість порівнянь : O(n2)O(n2)\mathcal O(n^2) Найкраща складність часу : Сорт бульбашки:O(n)O(n)\mathcal O(n) Сортування вибору:O(n2)O(n2)\mathcal …

28 algorithms  runtime-analysis  efficiency  sorting 

Я намагаюся зрозуміти методи кластеризації. Що я думаю, я зрозумів: При контрольованому навчанні дані категорій / міток присвоюються відомим до обчислення. Отже, мітки, класи або категорії використовуються для того, щоб "вивчити" параметри, які дійсно значущі для цих кластерів. У навчанні без нагляду набори даних присвоюються сегментам, без відомих кластерів. Чи …

28 machine-learning  data-mining  clustering 

Розгляньте спрямовані графіки. Ми називаємо вузол vvv superstar тоді і тільки тоді, коли до нього не можна дістатися жодного іншого вузла, але всі інші вузли мають край до . Формально:vvv \qquad \displaystyle v суперзірка : ⟺ o u t d e g ( v ) = 0 ∧ i n …

28 algorithms  graphs 

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

28 complexity-theory  satisfiability  heuristics 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

(Я студент, який має математичну освіту, і хотів би знати, як рахувати кількість певного виду двійкових дерев.) Переглядаючи сторінку Вікіпедії для Бінарних дерев , я помітив це твердження, що кількість укорінених бінарних дерев розміром nnn буде таким каталонським номером : Cn=1n+1(2nn)Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}{2n \choose n} Але я не розумію, як …

28 combinatorics  binary-trees  discrete-mathematics 

Комбінатор з фіксованою точкою FIX (він же Y-комбінатор) в (нетипізованому) лямбдальному обчисленні ( λλ\lambda ) визначається як: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Я розумію його призначення і можу простежити виконання …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Яка принципова відмінність між малою та великою операційною семантикою? Мені важко зрозуміти, що це таке, і мотивацію їх мати.

28 semantics  operational-semantics  small-step-semantics 

Це посилання надає алгоритм пошуку діаметра непрямого дерева за допомогою BFS / DFS . Підведення підсумків: Запустіть BFS на будь-якому вузлі s у графі, запам'ятавши останній вузол u. Запустіть BFS з запам'ятовування вузла v, виявленого останнім. d (u, v) - діаметр дерева. Чому це працює? Сторінка 2 цього дає міркування, …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

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

27 complexity-theory  np-complete  proof-techniques  reductions 

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

27 computability  turing-machines  halting-problem