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

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

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Я хочу надати докази частин програми Haskell, про яку я пишу, як частину своєї дипломної роботи. Поки що, мені не вдалося знайти хорошої довідкової роботи. Вступна книга Грем Хаттон « Програмування в Хаскеллі» ( Google Books ), яку я читав під час навчання Haskell - торкається кількох прийомів міркування про …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Цей доказ є доведенням за допомогою індукції і йде так: P (n) - твердження, що "Quicksort правильно сортує кожен вхідний масив довжиною n". Базовий регістр: кожен вхідний масив довжиною 1 вже відсортований (утримується P (1)) Індуктивний крок: fix n => 2. Зафіксуйте вхідний масив довжиною n. Необхідно показати: якщо P …

10 correctness-proof  induction  quicksort 

Я написав цей код Python і задумався, чи він іноді просто не закінчується (якщо припустити, що у нас є нескінченна пам'ять / час та обмеження глибини рекурсії). Інтуїтивно ви думаєте, що це припиняється, оскільки в якийсь момент вам пощастить , а якщо це не закінчиться, у вас є нескінченна кількість …

10 trees  probability-theory  termination 

З цієї посилання: Сувора позитивність Умова суворої позитивності виключає такі декларації, як data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Чому A негативний? Також чому B дозволено? Я розумію, чому це …

10 type-theory  inductive-datatypes 

Я намагався з’ясувати, чи вирішується проблема зупинки для тривимірних одновимірних стільникових автомати. Визначення Нехай позначає конфігурацію системи на етапі i . Більш формально f : A ∗ × N → A ∗ , де A - алфавіт.f( ш , я )f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Визначення. Стільниковий автомат зупинився в конфігурації …

10 computability  decision-problem  halting-problem  cellular-automata 

Self Types - це розширення обчислення конструкцій [1], що дозволяє мові виражати алгебраїчні типи даних, кодовані через кодування Скотта. Кодування Скотта забезпечує одну можливість узгодження зразка O(1), яка є одним з основних мотиваторів для включення індуктивних визначень на CC. Тим не менш, Self Types створюють набагато простішу і елегантну теорію …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

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

10 automata  finite-automata  proof-techniques  nondeterminism 

Відмова: Я знаю, що є подібні звукові питання вже тут і на Stackoverflow. Але всі вони стосуються зіткнень, про що я не прошу. Моє питання: чому зіткнень менше LookUp O(1)в першу чергу? Припустимо, у мене є цей хештел: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb Data4 mkwer …

10 complexity-theory  hash  hash-tables  performance 

x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Алгоритм грубої сили мав би переходити кожну точку і рахувати кількість точок, що знаходяться на відстані менше . Це дало б складність .rrrO(n2)O(n2)\mathcal{O}(n^2) Чи є кращий підхід?

10 algorithms  complexity-theory  computational-geometry 

Якщо P = N PП=NП\mathbf{P} = \mathbf{NP} , то L = N LL=NL\mathbf{L} = \mathbf{NL} ? Я задаю це питання тому, що для інших недетермінованих класів, здається, P = N PП=NП\mathbf{P} = \mathbf{NP} завжди встановлює, що вони рівні їх детермінованим аналогам.

10 complexity-theory  p-vs-np 

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

10 type-theory  applied-theory 

Це питання дещо суперечить попередньому питанню про множини, сформовані з множинних операцій на NP-повних множинах: Якщо множина, що виникає в результаті об'єднання, перетину або декартового добутку двох вирішальних множин і NP-повна, принаймні одна з обов'язково NP-важка? Я знаю, що обидва вони не можуть бути в P (якщо P! = NP), …

10 complexity-theory  np-hard  np  np-intermediate 

Це, ймовірно , дурна думка, але припустимо , що у нас є комп'ютер , який запрограмований для виконання нескінченну послідовність розрахунків і припустимо , що розрахунок займає 1 / 2 я секунд. Тоді цей комп’ютер може виконати нескінченну кількість обчислень за обмежений час.iгоiгоi^\text{th}1 / 2i1/2i1/2^i Чому це неможливо? Чи є …

10 computability  computation-models 

Нещодавно я прочитав справді цікавий запис із блогу Google Research Blog, який розповів про нейронну мережу. В основному вони використовують цю нейронну мережу для вирішення різних проблем, таких як розпізнавання зображень. Вони використовують генетичні алгоритми для "еволюції" ваг аксонів. Тому в основному моя ідея полягає в наступному. Якби я мав …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms