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

Припустимо, в університеті є семінар-практикум. У нас є набір kkk питань Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} і набір nnn учнів S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Кожен учень сумнівається у певній підгрупі питань, тобто для кожного студента sjsjs_j , нехай Qj⊆QQj⊆QQ_j \subseteq Q - це набір …

13 algorithms  complexity-theory  np-complete  np-hard 

Мене нещодавно задали цю проблему в алгоритмічному інтерв'ю і не змогли її вирішити. Враховуючи два значення N і M, ви повинні порахувати кількість перестановок довжиною N (використовуючи числа від 1 до N) таким чином, що абсолютна різниця між будь-яким числом перестановки та його положенням у перестановці не дорівнює М. Приклад …

13 algorithms  permutations  algorithm-design 

Дано два рядки, як ви можете перевірити, чи є вони перестановкою один одного, використовуючи пробіл O (1)? Змінювати рядки не дозволяється жодним чином. Примітка: пробіл O (1) стосовно довжини рядка ТА розміру алфавіту.

13 algorithms  strings  space-complexity 

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

13 formal-languages  regular-languages 

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

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Завтра - моя презентація, і я хочу прояснити свої концепції ... Я прочитав, що в DFA "Для кожного стану слід визначити перехід усіх можливих символів (алфавіту)". Чи обов'язкове для кожної держави визначення переходу на всі можливі символи в DFA? Якщо її немає, то, будь ласка, наведіть будь-які приклади?

13 automata  finite-automata  nondeterminism 

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

13 algorithms  logic  recursion  lisp 

Я постійно чую, як треба вивчити теорію категорій, щоб справді зрозуміти теорію мови програмування. Поки що я навчився великій кількості PL, не вступаючи ніколи в сферу категорій. Однак я подумав, що настав час зробити стрибок, щоб побачити, чого я пропустив. На жаль, жодне з джерел, які я можу знайти, здається, …

13 reference-request  programming-languages  type-theory  category-theory 

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

13 logic  curry-howard 

Вираз комбінатора (скажімо, на основі SK) можна розглядати як функцію, яка відображає вирази числення комбінатора на вирази числення комбінатора. Тобто вираз можна розглядати як функцію X : L → L , де L - сукупність усіх синтаксично дійсних виразів комбінатора в основі SK. Це відображення виконується шляхом застосування вводу до …

13 lambda-calculus  combinatory-logic 

Мій викладач виступив із заявою Будь-яка кінцева проблема не може бути заповнена NP У той час він говорив про судоку, кажучи щось про те, що для судоку 8x8 існує кінцевий набір рішень, але я не можу точно пригадати, що він сказав. Я записав записку, яку я цитував, але все ще …

13 np-complete  np 

Якщо P дорівнює NP, чи все-таки можна буде спроектувати криптосистему, де алгоритм оптимального криптоаналізу займає, скажімо, квадрат часу, зайнятий законними алгоритмами шифрування та дешифрування? Чи вже існують такі алгоритми?

13 cryptography  encryption 

У мене є визначення алгоритму на місці від професора, але я його не розумію. Алгоритми in-situ відносяться до алгоритмів, які працюють із Θ (1) пам'яттю. Що це означає?

13 algorithms  terminology  landau-notation 

Коли ми говоримо, що штучна нейронна мережа є багатошаровим Перцептроном ? І коли ми скажемо, що штучна нейронна мережа є багатошаровою ? Чи пов’язаний термін персептрон з правилом навчання оновлення ваг? Або це пов'язано з одиницями нейронів?

13 neural-networks  perceptron 

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

13 algorithms  terminology  polynomial-time