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

Я використовував FSM в цифрових схемах послідовних схем. Але я не знайомий з Кінцевими Автоматами. Чи може хтось допомогти мені в розумінні "основної" різниці між ними?

16 terminology  automata  finite-automata 

Ми говоримо , що мова є щільним , якщо існує такий поліном р такою , що | J c ∩ Σ n | ≤ р ( п ) для всіх п ∈ N . Іншими словами, для будь-якої заданої довжини п існують тільки поліноміальний безліч слів довжини п , які …

16 complexity-theory  time-complexity  np-complete  satisfiability 

У цьому питанні ми розглядаємо лише машини Тьюрінга, які зупиняються на всіх входах. Якщо k ∈ N,k∈Nk \in \mathbb{N} то через T kTkT_k позначаємо машину Тюрінга, кодом якої є kkk . Розглянемо наступну функцію s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} In other words, s(x,y)s(x,y)s(x,y) is the code …

16 computability  turing-machines 

Я цікаво , якщо це взагалі можливо, так як {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Тому PDA, який може відрізнити слово w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} від решти {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} може також прийняти його, що мені звучить суперечливо. Я думаю, мені потрібно скористатися недетермінованим характером …

16 formal-languages  automata  context-free  pushdown-automata 

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

16 data-structures  priority-queues 

Нехай - фіксована функція, що може бути сконструйована за часом.fff Класичний результат універсального моделювання для ТМ (Hennie and Stearns, 1966) стверджує, що існує двосмугова ТМ така, що данаUUU опис TM та⟨M⟩⟨M⟩\langle M \rangle рядок введення ,xxx виконує кроки та повертає відповідь на . І може вважатися будь-якою функцією в .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Якщо у мене є граматика типу 3, вона може бути представлена ​​на автоматичному віджиманні (не виконуючи жодної операції над стеком), тому я можу представляти регулярні вирази за допомогою контекстних вільних мов. Але чи можу я знати, якщо граматика типу 3 - , , тощо, не будуючи таблиць розбору?L R ( …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Вступ Крок перший Я написав стандартну нейромережу, що працює на зворотному ходу, і, щоб перевірити її, я вирішив створити її на карті XOR. Це мережа 2-2-1 (з функцією активації tanh) X1 M1 O1 X2 M2 B1 B2 З метою тестування я вручну встановив верхній середній нейрон (M1) як ворота AND, …

16 machine-learning  neural-networks 

У книзі Марк де Берг та ін. "Обчислювальна геометрія: алгоритми та програми" є дуже простий алгоритм грубої сили для обчислення триангуляцій Делоне. В алгоритмі використовується поняття незаконних країв - ребра, які можуть не відображатись у дійсній триангуляції Делоне і повинні бути замінені деякими іншими ребрами. На кожному кроці алгоритм просто …

16 algorithms  time-complexity  algorithm-analysis  computational-geometry  runtime-analysis 

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

16 algorithms  reference-request  discrete-mathematics 

Визначення : Багатокутник PPP у площині називається монотонним щодо прямої LLL , якщо кожна пряма, прямокутна на LLL перетинає PPP не більше ніж удвічі. Враховуючи багатокутник PPP , чи можна визначити, чи існує якась така лінія LLL , що багатокутник PPP є монотонним щодо LLL ? Якщо так, то як? …

16 algorithms  computational-geometry 

|P|=n|P|=n|P| = nkkkkkknnnC={c1,c2,…,ck}C={c1,c2,…,ck}C = \{ c_1,c_2,\ldots,c_k\}kkkcost(C)=maximinjD(pi,cj)cost(C)=maximinjD(pi,cj)\text{cost}(C) = \max_i \min_j D(p_i, c_j)DDDпозначає евклідову відстань між вхідною точкою та центральною точкою . Кожна точка присвоює собі найближчий центр кластера, групуючи вершини в різних кластерів.pipip_icjcjc_jkkk Проблема відома як (дискретна) проблема кластеризації, і вона -тверда. Це може бути показано зменшенням від -повної домінуючої заданої …

16 algorithms  computational-geometry 

Я дуже боюся з цією властивістю: Нехай X,YX,YX,Y - простори когерентності, а f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) монотонна функція. fff є безперервним тоді і тільки тоді, коли f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , для всіх D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) таким чином, що DDD є направленою множиною. Спрямований набір визначається таким чином: POSETD⊆D⊆D …

16 terminology  programming-languages  semantics 

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

16 complexity-theory  cryptography  asymptotics 

Я помітив, що при реалізації алгоритмів пошуку використовуються різні структури даних. Наприклад, ми використовуємо черги для впровадження першого широтного пошуку, стеки для здійснення першого глибинного пошуку та міні-купи для реалізації алгоритму A * . У цих випадках нам не потрібно чітко будувати дерево пошуку. Але я не можу знайти просту …

16 algorithms  graphs  data-structures  search-algorithms