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

Що це означає, коли ми говоримо, що алгоритм ХXX асимптотично ефективніше, ніж YYY ? ХXX буде кращим вибором для всіх матеріалів. ХXX буде кращим вибором для всіх входів, крім невеликих входів. ХXX буде кращим вибором для всіх входів, крім великих входів. YYY буде кращим вибором для невеликих входів. Посилання на …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Мені цікаво, що це базується на кількох місцях в Інтернеті NP=NP=\sf NP= ко-NPNP\sf NP основна відкрита проблема ... але я не можу знайти жодних вказівок на те, чи це те саме P=NPP=NP\sf P=NP проблема ...

12 complexity-theory  complexity-classes  p-vs-np 

Це питання з Книги Драконів. Це граматика: S→ A a A b ∣ B b B aS→AaAb∣BbBaS \to AaAb \mid BbBa A → εA→εA \to \varepsilon B → εB→εB \to \varepsilon Питання задає питання, як показати, що це LL (1), але не SLR (1). Щоб довести, що це LL (1), …

12 formal-grammars  compilers  parsers 

- го числа Фібоначчі може бути обчислений в лінійний час з використанням наступного повторення:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i - го числа Фібоначчі також може бути обчислена як . Однак це має проблеми з питаннями округлення навіть …

11 algorithms  time-complexity  recurrence-relation 

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

11 trees  binary-trees  graph-traversal  search-trees 

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

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Я дізнався про широту пошуку вперше, і в голові з'явилося питання, чому BFS так називається. У книзі « Вступ до алгоритмів CLRS» я прочитав таку причину цього: Шеричний пошук названий так, тому що він розширює межу між виявленими та нерозкритими вершинами рівномірно по всій широті кордону. Однак я не в …

11 graphs  graph-theory  shortest-path  graph-traversal 

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

11 computability  automata  finite-automata  decision-problem 

Під час інтерв'ю мені дали наступну проблему: Надає рядок, який містить певну суміш паронів (не дужки або дужки - лише пароні) з іншими буквено-цифровими символами, ідентифікує всі паролі, які не мають відповідних батьків. Наприклад, у рядку ") (ab))" індекси 0 і 5 містять паролі, які не мають відповідних батьків. Я …

11 algorithms 

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

11 finite-automata  computation-models  linear-bounded-automata 

Колода карт - 52. Рука - 5 карт із 52 (не може мати копію). Яка найменша кількість бітів, щоб представити руку з 5 карт і як? Рука НЕ ​​залежить від порядку (KQ = QK). 64329 = 96432 Так, можна використовувати 52 біт. Це може представляти руку будь-якої кількості карт. Дано …

11 combinatorics 

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

11 algorithms  algorithm-analysis  arithmetic 

Припустимо, що ми читаємо послідовність з nnn чисел, по одному. Як знайти kkk '-й найменший елемент просто за допомогою використання клітинної пам'яті O ( k )O(k)O(k) та за лінійним часом ( O ( n )O(n)O(n) ). Я думаю , що ми повинні зберегти перші Kkk члени послідовності і коли отримаємо …

11 data-structures  search-algorithms  quicksort 

Загальне питання, як випливає з назви, таке: Яка різниця між DS та АБО / оптимізацією. На концептуальному рівні я розумію, що DS намагається отримати знання з наявних даних і використовує здебільшого статистичні, методи машинного навчання. З іншого боку, АБО використовує дані для прийняття рішень на основі даних, наприклад, оптимізуючи деяку …

11 optimization  data-mining 

Це питання стосується того, чи можна зводити кожну математичну теорему до питання, чи зупиняється одна машина Тьюрінга. Зокрема, мене цікавлять думки, які наразі є недоведеними. Наприклад: говорить Вікіпедія що наразі невідомо, чи є непарні ідеальні числа. Оскільки вирішити, чи дане число є ідеальним, можна написати машину Тьюрінга, яка перевіряє кожне …

11 formal-languages  computability  mathematical-foundations