Информатика

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

11 algorithms  sorting  strings  data-mining 

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

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

⊊⊊\subsetneq

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, используя теоремы иерархии. Это мой аргумент, но когда я показал его нашему учителю и после дедукции, он сказал, что это проблематично, когда я не могу найти вескую причину для принятия. Мы начнем, предполагая , что P=NPP=NPP=NP . Тогда из этого следует, что …

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

Я работаю над тяжелым упражнением в учебнике и просто не могу понять, как поступить. Здесь проблема. Предположим, что у нас есть язык L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 },L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq …

10 formal-languages  automata  context-free 

Я слышал обо всех этих предупреждениях об атаке «человек посередине», и мне интересно, как это может сработать, если человек посередине только слушает ваш поток и не хочет изменять само сообщение. Может ли человек посередине не просто взять ключи, обмененные противниками, изменить ключи, а затем снова расшифровать и зашифровать сообщение? Как …

10 cryptography  security 

Пусть → β→β\to_\beta - β-β\beta редукция в λ-λ\lambda вычислении. Определить β-β\beta расширение ← β←β\leftarrow_\beta по t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ← β←β\leftarrow_\beta является слитым ? Другими словами, имеем ли мы это для любого l , d , rl,d,rl,d,r , если l …

10 lambda-calculus  term-rewriting 

В зависимо-типизированном программировании есть два основных способа разложения данных и выполнения рекурсии: Зависимое сопоставление с образцом : определения функций приведены в виде нескольких предложений. Унификация гарантирует, что все пропущенные случаи невозможны, а внешний решатель гарантирует, что рекурсия обоснована. Сепараторы : Каждый индуктивный тип данных имеет ассоциированный константу Е D , …

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

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

10 lambda-calculus 

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

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

Вам дан массив длины . Каждый элемент массива принадлежит одному из K классов. Вы должны переставить массив, используя минимальное количество операций подкачки, чтобы все элементы одного и того же класса всегда были сгруппированы вместе, то есть они образуют непрерывный подмассив. Например: NnnКKK Осталось еще три действительных соглашения.[ 2 , 1 …

10 terminology  reference-request  sorting  arrays 

Моя главная проблема заключается в том, является ли генетическое программирование активной областью исследований с некоторыми многообещающими приложениями на практике. Похоже, что в области машинного обучения нейронные сети являются основным модным словом, о котором сегодня упоминается в основных новостях, но я никогда не слышал о подобной «истории успеха» генетического программирования.

10 machine-learning  evolutionary-computing 

Я читаю газету Тьюринга «Вычислительная техника и интеллект» ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) и нашел фрагмент, в котором он говорит: Я установил на компьютере Манчестера небольшую программу, использующую только 1000 единиц хранения, в результате чего машина, снабженная одним шестнадцатизначным числом, отвечает другой в течение двух секунд. Я бы никому не понравился, чтобы …

10 algorithms  history 

Я много раз встречал этот термин в различных учебных материалах по КС: L2 CS162 (Калифорнийский университет в Беркли): Отображение в памяти ввода-вывода L4 CS162 (Калифорнийский университет в Беркли): Файлы с отображенной памятью L24 CS61 (UC Berkeley): «Операции ввода-вывода с отображением в памяти»: регистры управления / данных устройства отображаются в адресное …

10 data-structures  operating-systems  memory-management