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

Функція максимального зсуву бобра, , має відомі значення для . Чи є якась основна, структурна причина, чому немислимо, що ми коли-небудь знаходимо для ? Що так відрізняється від ніж ? Або ? Десь на цьому шляху повинна існувати якась принципова різниця, інакше в принципі була б обчислюваною для всіх , …

13 computability  busy-beaver 

Припустимо , у мене є граф з на (невідомо) набір зроблене паросполучення . Припустимо, цей набір не порожній, тоді наскільки складно вибірково рівномірно вибирати ? Що робити, якщо я добре з розподілом, близьким до рівномірного, але не зовсім рівномірним, то чи є ефективний алгоритм?GGGM(G)M(G)M(G)GGGM(G)M(G)M(G)

13 algorithms  complexity-theory  matching  sampling 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

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

13 finite-automata  efficiency  nondeterminism 

Роблячи розумовий аналіз, можна: Давши ціле k, підсумовуйте всі цифри (в базі 10), і якщо результат кратний 3, то k кратне 3. Чи знаєте ви, що алгоритм працює аналогічно, але працює на двійкових цифрах (бітах)? Спочатку я думав використати готові функції моєї мови для перетворення цілого числа в ascii для …

13 algorithms 

Чи існують міцні структури в грі життя Конвей ? Наприклад, хтось сконструював космічний корабель із щитом, який поглинає всі малі генератори та планери, з якими він стикається?

13 cellular-automata 

Це моє перше повідомлення після того, як деякий час був пасивним користувачем. Я хотів би задати деякі питання, якщо можна. Я не математик, але моє питання стосується галузі математики / інформатики. Зокрема, проблема P vs NP. Я знаю, що це проблема, яку елітні професіонали ще не змогли вирішити ... Незалежно, …

13 complexity-theory  p-vs-np 

Я шукаю алгоритм O (V + E) для пошуку перехідного скорочення, заданого DAG. Це видалити якомога більше ребер, так що якщо ви могли досягти v з u, для довільних v і u, ви все одно можете дістатися після видалення ребер. Якщо це стандартна проблема, будь ласка, вкажіть мене на якесь …

13 algorithms  graphs  dag 

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

13 terminology  reference-request  distributed-systems  history 

Є багато популярних мов. Але, вчені-комп’ютери говорять нам, що для того, щоб зрозуміти поведінку програм на цих мовах однозначно і недвозначно сперечатися з поведінкою програми (наприклад, довести їх ідентичність), нам потрібно перекласти їх на іншу, добре зрозумілу мову. Вони називають таку мову "семантикою". Автори пропонують одну з багатьох семантик. Вони …

13 formal-languages  semantics 

Бруньє та Оно знайшли алгебраїчну формулу функції розділення , яка, як відомо, є проривом. Я не в змозі зрозуміти папір, але чи має це якісь алгоритмічні наслідки для швидкого обчислення функції розділу?

13 algorithms  complexity-theory  number-theory 

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

13 data-structures  lattices 

Будь ласка, врахуйте наступний потрійний вклад: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Тут заява виконується рівно разів. Невже хтось може пояснити, як отримана ця формула? Дякую.n(n+1)(n+2)6n(n+1)(n+2)6n(n+1)(n+2)\over6

13 algorithms  time-complexity  algorithm-analysis 

Прогноз Naive Bayes робить свої прогнози, використовуючи цю формулу: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) де - нормалізуючий фактор. Для цього потрібно оцінити параметри з даних. Якщо ми робимо це з -smoothing, то отримуємо оцінкуαα\alphaP(Xi=xi|Y=y)P(Xi=xi|Y=y)P(X_i=x_i|Y=y)kkk P^(Xi=xi|Y=y)=#{Xi=xi,Y=y}+k#{Y=y}+nikP^(Xi=xi|Y=y)=#{Xi=xi,Y=y}+k#{Y=y}+nik\hat{P}(X_i=x_i|Y=y) = \frac{\#\{X_i=x_i,Y=y\} + k}{\#\{Y=y\}+n_ik} де є можливі значення для . Я з цим добре. Однак …

13 machine-learning  probability-theory  statistics 

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

13 computability  asymptotics