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

Чи всі генератори псевдовипадкових чисел в кінцевому рахунку періодичні? Або вони взагалі періодичні? Під періодичним я маю на увазі, що, як і раціональні числа, вони зрештою генерують періодичну послідовність ... І псевдовипадкова означає алгоритмічне / математичне генерування випадкових чисел ...

24 randomness  pseudo-random-generators 

З огляду на будь-яку обчислювальну проблему, чи реально можливе завдання знайти нижню межу для таких обчислень? Я вважаю, що це зводиться до того, як визначено один обчислювальний крок та яку модель ми використовуємо для доказування, але враховуючи це, чи дійсно ми доводимо нижню межу, ніж загалом? Що я маю на …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

З огляду на набір монет з різними конфесіями і значення v, яке ви хочете знайти найменшу кількість монет, необхідних для представлення значення v.з 1 , . . . , с нc1,...,cnc1, ... , cn Наприклад, для монети 1,5,10,20 це дає 2 монети на суму 6 і 6 монет на суму …

24 algorithms  combinatorics  greedy-algorithms 

Якщо у мене є якась функція, часова складність якої є O ( mn ), де m і n - розміри двох її входів, ми б називали її часову складність "лінійною" (оскільки вона лінійна як у m, так і в n ) або "квадратична" ( оскільки це виріб двох розмірів)? Або …

24 terminology  asymptotics  landau-notation 

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

24 formal-languages  computability  turing-machines 

Нехай - булева формула, що складається із звичайних операторів AND, OR або NOT, а також деяких змінних. Я хотів би, щоб підрахувати число задовольняють призначень для . Тобто, я хочу знайти кількість різних присвоєнь значень істини змінним для яких приймає справжнє значення. Наприклад, формула має три задовольняючі завдання; має чотири. …

24 complexity-theory  reference-request  satisfiability 

Мені здається, що "мається на увазі" в англійській мові не означає те саме, що логічний оператор "передбачає", подібно до того, як слово "АБО" у більшості випадків означає "Ексклюзивне АБО" у повсякденному мовному використанні. Візьмемо два приклади: Якщо сьогодні понеділок, то завтра вівторок. Це правда . Але якщо ми скажемо: Якщо …

24 terminology  logic  first-order-logic  propositional-logic 

Зараз я вивчаю найкоротші шляхи в спрямованих графіках. Існує безліч ефективних алгоритмів пошуку найкоротшого шляху в мережі, як-от dijkstra або bellman-ford. Але що робити, якщо графік динамічний? Під динамікою я маю на увазі, що ми можемо вставляти або видаляти вершини під час виконання програми. Я намагаюся знайти ефективний алгоритм оновлення …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

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

24 algorithms  optimization  genetic-algorithms 

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

24 reference-request  education  distributed-systems 

Враховуючи множину натуральних чисел X, розглянемо набір усіх можливих сум: sums(X)={∑i∈Ai|A⊆X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Наприклад, sums({1,5})={0,1,5,6}sums({1,5})={0,1,5,6}\textrm{sums}(\left\{1,5\right\}) = \left\{0, 1, 5, 6\right\} тоді як sums({1,1})={0,1,2}сум({1,1})={0,1,2}\textrm{sums}(\left\{1,1\right\}) = \left\{0, 1, 2\right\} . Який найбільш ефективний алгоритм обчислення зворотної операції (вимірюється у розмірі вхідного набору сум)? Зокрема, …

24 algorithms  optimization  combinatorics  integers 

Дивовижна кількість проблем має досить природне скорочення до лінійного програмування (LP). Див. Розділ 7 [1] для прикладів, таких як мережеві потоки, двостороннє узгодження, ігри з нульовою сумою, найкоротші шляхи, форма лінійної регресії та навіть оцінка схеми! Оскільки оцінка ланцюга зводиться до лінійного програмування, будь-яка проблема в повинна мати форму лінійного …

24 algorithms  reductions  sorting  linear-programming 

В останній статті CACM [1] автори представляють реалізацію для поетапних функцій . Вони використовують термін так, ніби він був добре відомий, і жодна з посилань не виглядає очевидним вступом. Вони дають коротке пояснення (зміна мого та посилального номера змінено; в оригіналі - 22) У контексті генерування програм багатоступеневе програмування (MSP, …

24 terminology  programming-languages  meta-programming 

Ми знаємо, що DFA еквівалентні NFA в потужності виразності; Існує також відомий алгоритм перетворення NFA в DFA (на жаль, я зараз знаю винахідника цього алгоритму), який, в гіршому випадку, дає нам станів, якщо в нашому NFA був станів. S2S2S2^SSSS Моє запитання: що визначає найгірший сценарій? Ось транскрипція алгоритму у випадку …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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

24 computability