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

Відповідно до цих приміток , вважається , що DFS має просторову складність , де - коефіцієнт розгалуження дерева, а - максимальна довжина будь-якого шляху в просторі стану.O(bm)O(bm)O(bm)bbbмmm Те саме сказано на цій сторінці у Вікікнижці про неінформований пошук . Тепер "інфобокс" статті Вікіпедії про DFS представляє наступне для складності простору …

11 graphs  algorithm-analysis  graph-traversal  space-analysis 

У проблемах із задоволенням обмежень евристику можна використовувати для покращення продуктивності розв'язувача. Три простих евристики для простих зворотних рішень: Мінімальні залишкові значення (скільки значень все ще дійсні для цієї змінної) Ступінь евристики (на скільки інших змінних впливає ця змінна) Найменше обмежувальне значення (яке значення залишить найбільше інших значень для інших …

11 artificial-intelligence  constraint-satisfaction 

Під час співбесіди на посаду розробника Java мене попросили: Напишіть функцію, яка займає два парами: a Рядок, що представляє текстовий документ і ціле число, що забезпечує кількість повернених елементів. Реалізуйте функцію таким чином, що вона повертає список рядків, упорядкованих за частотою слова, першим найчастіше зустрічається слово. Ваше рішення має виконуватися …

11 algorithms  sorting  strings  data-mining 

Як я розумію, проблема присвоєння є в P, оскільки угорський алгоритм може вирішити її в поліноміальний час - O (n 3 ). Я також розумію, що проблема присвоєння є цілою лінійною проблемою програмування , але на сторінці Вікіпедії зазначено, що це NP-Hard. Для мене це означає, що проблема присвоєння полягає …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Мені потрібно знати, під яким класом CFL закритий, тобто який набір є доповненням до CFL. Я знаю, що CFL не закривається під комплементом, і я знаю, що P закритий під комплементом. Оскільки CFL PI може сказати, що доповнення CFL включено в P (так?) Все ще залишається питання, чи є доповненням …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Зокрема, якщо я визначив новий K2K2K_2 як K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) замість K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) буде {S,K2,I}{S,K2,I}\{S, K_2,I\} -калькуляція є конкурентною основою? Я здогадуюсь "ні", просто тому, що я не можу створити звичайний K-комбінатор з комбінаторів SSS , III та K2K2K_2 , але …

10 lambda-calculus  combinatory-logic 

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

10 complexity-theory  time-complexity  p-vs-np 

Я чув про всі ці запобігання атаці "Man-In-The-Middle Attack", і мені цікаво, як це може працювати, якщо чоловік посередині лише слухає ваш потік і не хоче змінювати повідомлення. Чи може людина посередині не просто взяти ключі, помінені супротивниками, змінити ключі, а потім розшифрувати та зашифрувати повідомлення ще раз? Як сертифікат …

10 cryptography  security 

Я працюю над важкою вправою в підручнику, і просто не можу зрозуміти, як діяти далі. Ось проблема. Припустимо, у нас є мова де - деяке ірраціональне число. Як я можу довести, що не є контекстною мовою?L = { a i b j : i ≤ j γ , i ≥ …

10 formal-languages  automata  context-free 

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

10 lambda-calculus 

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

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Нехай - -редукція у -calculus. Визначити -разложеніі по .→ β→β\to_\beta β β\betaλ λ\lambdaβ β\beta← β ←β\leftarrow_\betat ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Чи ? Іншими словами, чи маємо ми, що для будь-якого , якщо l \ to_ \ beta ^ * d \ leftarrow_ …

10 lambda-calculus  term-rewriting 

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

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Вам надається масив довжиною . Кожен елемент масиву належить до одного з K класів. Ви повинні переставити масив, використовуючи мінімальну кількість операцій підкачки, щоб усі елементи з одного класу завжди групувалися, тобто вони утворювали суміжний підмасив. Наприклад: нnnКKK Залишаються три інші чинні домовленості.[ 2 , 1 , 3 , 3 …

10 terminology  reference-request  sorting  arrays 

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

10 machine-learning  evolutionary-computing