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

На малюнку нижче я намагаюся зрозуміти, що саме приймає ця NFA. Що мене бентежить - стрибок у .ϵϵ\epsilonq0q0q_0 Якщо введено , чи система переходить до та (стан прийняття)?000q0q0q_0 q1q1q_1 Якщо введено , чи система переміщується як на і на ?111q1q1q_1q2q2q_2 Чи переходить система лише до (прийняти стан), якщо не вказано …

12 automata  finite-automata  nondeterminism 

Мета - створити DFA з регулярного виразу, а використання "Regular exp> NFA> DFA convert" - це не варіант. Як слід робити це? Я задав це питання нашому професору, але він сказав мені, що ми можемо використовувати інтуїцію, і люб'язно відмовився давати будь-які пояснення. Тож я хотів вас запитати. "Регулярний досвід> …

12 automata  finite-automata  regular-expressions  simulation 

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

12 complexity-theory  graph-isomorphism  group-theory 

З точки зору найгіршого асимптотичного періоду виконання, яка NP-повна проблема має найшвидший відомий (точний) алгоритм і який алгоритм? Чи є щось відоме, що швидше, ніж ?О ( н.)2∗ 2н)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

У мене є дуже загальне питання. Це пов’язано з дослідженнями. Мене цікавить теорія графіків. Я пройшов курс по ньому. Я займався деякими темами, пов'язаними з обома теоріями графів, з точки зору того, як робити це студентом з математики, а також вивчив деякі алгоритми графіків. Я збираюся на стажування в галузі …

12 graph-theory  graphs 

Проблема, пов'язана з обмеженим деревом, полягає у тому, що у вас є непрямий графік G ( V , E ), і ви повинні вирішити, чи має воно дерево, що охоплює, таким чином, що кожна вершина має ступінь не більше k .kkkG(V,E)G(V,E)G(V,E)kkk Я розумію, що для випадку це проблема гамільтонівського шляху. …

12 spanning-trees 

Пробачте наївність, що буде очевидно в тому, як я задаю це питання, а також у тому, що я його задаю. Математики зазвичай використовують оскільки це найпростіша / найприємніша база в теорії (за рахунок обчислення). Але комп'ютери, здається, роблять все в двійковому, тож чи швидше на машині обчислити, ніж ?досвідexp\exp2**xMath::exp(x)

12 binary-arithmetic  numerical-analysis  numeral-representations 

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

12 formal-languages  regular-languages  closure-properties 

У мене є набір точок СCC , і я маю відстань між кожною точкою Д ( Рi, Сj)D(Pi,Pj)D(P_i,P_j) . Ці відстані є евклідовими, але точки фактично знаходяться в просторі функцій. З пунктів СCC я хочу вибрати підмножину з нnn точок. Виклик цього підмножини сss . Я хочу вибрати цей підмножина, …

12 optimization 

У нас були аналогові комп'ютери кілька десятиліть тому. Комп'ютери сучасного часу є цифровими. Що з квантовими комп'ютерами? Це аналоговий чи цифровий? Я запитую це, оскільки у кубіта може бути багато речей одночасно.

12 quantum-computing 

По-перше, я хотів би сказати, що мій текст нижче може містити помилки, тому сміливо вказуйте на будь-які помилки в моїй постановці питання. Розглянемо нетипічне обчислення лямбда з булевими та if-висловлюваннями, терміни яких задані цим синтаксисом: t ::= v | t t | if t t t | x v ::= …

12 programming-languages  lambda-calculus 

Коментар над tex.SE змусив мене замислитися. Заява по суті: Якщо я можу написати компілятор для мови X мовою X, то X є повним Тьюрінгом. З точки зору обчислюваності та формальної мови, це: Якщо вирішує і , тоді .L ⊆ L Т М ⟨ М ⟩ ∈ L F L = …

12 computability  turing-completeness 

Я використовую нейронні мережі, щоб передбачити часовий ряд. Питання, з яким я стикаюсь зараз, - як кодувати дату / час / серійний номер. кожного вхідного набору як вхід до нейронної мережі? Чи слід використовувати 1 кодування C (використовується для кодування категорій), як описано тут ? Або я повинен просто годувати …

12 machine-learning  artificial-intelligence  neural-networks 

Я намагаюся вирішити проблему SAT із змінами 25k пунктів 5k. Оскільки вона працює протягом години (попередня пластика), і я хотів би вирішити більш великі після цього, я шукаю багатоядерний SAT-Solver. Оскільки, здається, є багато рішучих SAT, я досить розгублений. Чи міг би хтось вказати на мене найкращим для моєї справи? …

12 algorithms  reference-request  parallel-computing  sat-solvers 

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

12 memory-management  paging  garbage-collection