Запитання з тегом «reference-request»

Існує багато спроб довести або або P ≠ N P , і, природно, багато людей замислюються над цим питанням, маючи ідеї довести будь-який напрямок.P=NPП=NП\mathsf{P} = \mathsf{NP} P≠NPП≠NП\mathsf{P} \neq \mathsf{NP} Я знаю, що є підходи, які, як було доведено, не працюють, і, мабуть, більше таких, які мають історію невдач. Також, здається, …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Я знаю загальну концепцію рекурсії. Я натрапив на концепцію хвостової рекурсії під час вивчення алгоритму швидкості. У цьому відео алгоритму швидкого сортування з MIT о 18:30 секунди професор говорить, що це хвостовий рекурсивний алгоритм. Мені не ясно, що насправді означає рекурсія хвоста. Чи може хтось пояснити концепцію належним прикладом? Деякі …

52 algorithms  reference-request  recursion 

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

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Чому така компанія, як Twitter, зацікавлена ​​в таких алгебраїчних поняттях, як групи, моноїди та кільця? Перегляньте їх сховище в github: twitter / algebird . Все, що я міг знайти, це: Реалізація Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom , HyperLogLog та CountMinSketch . Вони дозволяють думати про такі …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Класично, існує 3 популярних способу думати про обчислення: машина Тьюрінга, схеми та лямбда-числення (я використовую це як улов для більшості функціональних поглядів). Усі 3 були успішними способами роздумувати про різні типи проблем, і різні галузі використовують різну формулювання з цієї причини. Однак, працюючи з квантовими обчисленнями, я тільки коли-небудь замислююся …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

У мене виникають проблеми з пошуку хороших ресурсів, які дають найгірший випадок на місці стабільного алгоритму сортування. Хтось знає про якісь хороші ресурси?O(nlnn)O(nln⁡n)O(n \ln n) Просто нагадування, на місці означає, що він використовує переданий масив, а алгоритм сортування може використовувати лише постійний додатковий простір. Стабільний означає, що елементи з тим …

35 algorithms  reference-request  sorting  in-place 

Дійкстра у своєму нарисі « Про жорстокість справді викладання обчислювальної науки» робить наступну пропозицію щодо вступного курсу програмування: З одного боку, ми навчаємо, як виглядає предикатне числення, але ми робимо це зовсім інакше, ніж філософи. Для того, щоб навчити програміста-початківця до маніпулювання неінтерпретованими формулами, ми навчаємо його більше як булева …

33 reference-request  programming-languages  education  didactics 

В даний час я граю з прогнозами часових рядів (спеціально для Forex). Я бачив декілька наукових праць про мережі ехо-стану, які застосовуються до прогнозу Forex. Чи існують для цього інші хороші алгоритми машинного навчання? Також було б цікаво витягнути «вигідні» зразки із часових рядів.

28 reference-request  machine-learning  artificial-intelligence 

Я часто чую фрази на кшталт "справжня семантика одночасності" та "справжня еквівалентність сумісності" без будь-яких посилань. Що означають ці терміни і чому вони важливі? Назвіть декілька прикладів справжньої еквівалентності одночасності та яка потреба в них? Наприклад, у яких випадках вони є більш застосовними, ніж більш стандартні еквіваленти (бісумуляція, еквівалентність слідів …

28 terminology  reference-request  concurrency 

Для звичайного мови , нехай , як число слів в довжини . Використовуючи канонічну форму Йордану (застосовану до неозначеної матриці переходу деякої DFA для ), можна показати, що для досить великих , де - складні многочлени, а - складні "власні значення". (Для малих ми можемо мати додаткові умови форми , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

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

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

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

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

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

24 complexity-theory  reference-request  satisfiability 

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

24 reference-request  education  distributed-systems 

Ці термінології мене бентежать. Як я розумію SAT вирішувач: вирішити відповідність логіки пропозицій (використовуючи DPLL або локальний пошук). Процедура прийняття рішення - це процедура вирішення відповідності певної рішучої теорії першого порядку. SMT solver - це рішення SAT + процедура прийняття рішення. Підтвердження теореми вказує на щось на зразок динамічної логіки, …

24 algorithms  terminology  reference-request  decision-problem