Информатика

Недавно мне задали эту проблему в алгоритмическом интервью, и я не смог ее решить. Учитывая два значения N и M, вы должны посчитать количество перестановок длины N (используя числа от 1 до N) так, что абсолютная разница между любым числом в перестановке и его положением в перестановке не равна М. …

13 algorithms  permutations  algorithm-design 

Учитывая две строки, как вы можете проверить, являются ли они перестановкой друг друга, используя пространство O (1)? Модификация строк никоим образом не допускается. Примечание: O (1) пробел по отношению как к длине строки, так и к размеру алфавита.

13 algorithms  strings  space-complexity 

Я изучаю формальные языки и системы баз производства (системы баз правил), и меня немного смущает вопрос, почему эти два слова «производство» и «правило» означают одно и то же во многих контекстах компьютерных наук. В английском языке они не означают одно и то же. Я не являюсь носителем английского языка, но …

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

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

13 formal-languages  regular-languages 

Кажется, я нашел общий способ преобразования любой рекурсивной процедуры в хвостовую рекурсию: Определите вспомогательную подпроцедуру с дополнительным параметром «result». Примените то, что будет применено к возвращаемому значению процедуры к этому параметру. Вызовите эту вспомогательную процедуру, чтобы начать. Начальным значением для параметра «result» является значение для точки выхода рекурсивного процесса, поэтому …

13 algorithms  logic  recursion  lisp 

Завтра моя презентация, и я хочу прояснить свои концепции ... Я прочитал это в DFA: «Для каждого состояния должен быть определен переход на все возможные символы (алфавит)». Является ли для каждого состояния определение перехода по всем возможным символам обязательным в DFA? Если нет, то приведите, пожалуйста, какие-нибудь примеры?

13 automata  finite-automata  nondeterminism 

Я думал о доказательствах и столкнулся с интересным наблюдением. Таким образом, доказательства эквивалентны программам через изоморфизм Карри-Говарда, а круговые доказательства соответствуют бесконечной рекурсии. Но из проблемы остановки мы знаем, что в общем случае проверка того, будет ли произвольная программа повторяться вечно, неразрешима. По Карри-Говарду, означает ли это, что не существует …

13 logic  curry-howard 

Я продолжаю слышать о том, как нужно изучать теорию категорий, чтобы действительно понять теорию языка программирования. До сих пор я выучил много PL, даже не ступая в царство категорий. Тем не менее, я подумал, что пришло время сделать прыжок, чтобы увидеть, что я пропустил. К сожалению, ни один из источников, …

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

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

13 np-complete  np 

Выражение комбинатора (скажем, в основе SK) можно рассматривать как функцию, которая отображает выражения исчисления комбинатора в выражения исчисления комбинатора. То есть выражение как функцию , где - множество всех синтаксически допустимых выражений комбинатора в базисе SK. Это отображение выполняется путем применения ввода к выражению, а затем приведение к нормальной форме, …

13 lambda-calculus  combinatory-logic 

Если P равен NP, все еще возможно ли будет спроектировать криптосистему, в которой оптимальный алгоритм криптоанализа занимает, скажем, квадрат времени, занимаемый законными алгоритмами шифрования и дешифрования? Есть ли такие алгоритмы уже существуют?

13 cryptography  encryption 

Когда мы говорим, что искусственная нейронная сеть является многослойным персептроном ? И когда мы говорим, что искусственная нейронная сеть является многослойной ? Связан ли термин персептрон с правилом обучения для обновления весов? Или это связано с нейронными единицами?

13 neural-networks  perceptron 

У меня есть определение алгоритма на месте от профессора, но я не понимаю его. In-situ алгоритмы относятся к алгоритмам, которые работают с Θ (1) памятью. Что это обозначает?

13 algorithms  terminology  landau-notation 

Я только что нашел это предложение на странице 6 книги Гари и Джонсона «Компьютеры и неразрешимость». Любой алгоритм, функция сложности времени которого не может быть настолько ограниченной, называется алгоритмом экспоненциального времени (хотя следует отметить, что это определение включает в себя некоторые неполиномиальные функции сложности времени, такие как , которые обычно …

13 algorithms  terminology  polynomial-time 

Из этого поста я узнал, что в стеке есть поток, и есть несколько относительно быстрых алгоритмов для просеивания интервала чисел, чтобы увидеть, есть ли в этом интервале простое число. Тем не менее, означает ли это, что общая проблема решения: (Существует ли простое число в интервале?) В P. (Было много ответов …

13 complexity-theory  np  polynomial-time  primes