Информатика

Я ищу примеры проблемы, которая имеет нижнюю границу ) для входа x .Ω ( | x |2Ω(|x|2\Omega(|x|^2Иксxx Проблема должна иметь следующие свойства: доказательство времени выполнения для любого алгоритма - первым приоритетом должен быть как можно более простой аргумент нижней границы.Ω ( n2)Ω(n2)\Omega(n^2) Алгоритм O ( n 2 ) , если …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

У меня есть массив из 100 000 строк, все длиной kkk . Я хочу сравнить каждую строку с любой другой строкой, чтобы увидеть, отличаются ли любые две строки на 1 символ. Прямо сейчас, когда я добавляю каждую строку в массив, я проверяю ее по каждой строке, уже находящейся в массиве, …

19 algorithms  data-structures  program-optimization  comparison 

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

19 terminology  computer-architecture 

Алгоритм Рамер-Дуглас-Peucker для упрощения линии имеет наихудший среда выполнения. Для правильно распределенных случайных входов ожидаемая сложность времени выполнения . В 2D есть другие алгоритмы со сложностью времени выполнения худшем случае , которые вычисляют точно такой же результат, что и алгоритм Рамера-Дугласа-Пекера. Поскольку эти алгоритмы основаны на структуре данных «траектория (выпуклая) …

19 reference-request  computational-geometry  randomized-algorithms 

Блокировки, как правило, реализуются с помощью инструкций на уровне проверки и установки и обмена на уровне машины. Есть ли другие реализации, которые не используют их? Кроме того, можем ли мы сказать, что все аппаратные решения критической секции можно разделить на три, а именно: отключение прерываний, тестирование и установка и своп?

19 concurrency  synchronization  mutual-exclusion 

С приближением праздничного сезона я решил сделать несколько звезд с корицей . Это было весело (и результат вкусно), но мой внутренний ботаник съежился, когда я положил первый поднос со звездами в коробку, и они не поместились бы в один слой: Почти! Есть ли способ, которым они могли бы соответствовать? В …

19 algorithms  optimization  computational-geometry  tiling 

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

19 reference-request  data-structures  functional-programming  persistent-data-structure 

В статье Рамирес-Альфонсон « Сложность проблемы Фробениуса» доказана, что задача NP-полна с использованием редукций Тьюринга. Это возможно? Как именно? Я думал, что это было возможно только за полиномиальное время много одного сокращения. Есть ли какие-либо ссылки по этому поводу? Существуют ли два разных понятия NP-твердости, даже NP-полноты? Но тогда я …

19 complexity-theory  time-complexity  np-complete  reductions 

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

19 lambda-calculus  functional-programming 

Возможно ли для среды выполнения обнаружить бесконечные циклы и впоследствии остановить связанный процесс, или реализация такой логики будет эквивалентна решению проблемы остановки? Для целей этого вопроса я определяю «бесконечный цикл», чтобы обозначить последовательность инструкций и связанных данных начального стека / кучи, которые при выполнении возвращают процесс в точно такое же …

19 halting-problem 

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

19 artificial-intelligence  board-games 

В Linux файлы /dev/randomи/dev/urandom файлы являются блокирующими и неблокирующими (соответственно) источниками псевдослучайных байтов. Их можно читать как обычные файлы: $ hexdump /dev/random 0000000 28eb d9e7 44bb 1ac9 d06f b943 f904 8ffa 0000010 5652 1f08 ccb8 9ee2 d85c 7c6b ddb2 bcbe 0000020 f841 bd90 9e7c 5be2 eecc e395 5971 ab7f 0000030 …

19 operating-systems  cryptography  randomness  security  entropy 

Как отсортировать список из 5 целых чисел, чтобы в худшем случае потребовалось 7 сравнений? Мне все равно, сколько других операций выполняется. Я не знаю ничего конкретного о целых числах. Я пробовал несколько разных подходов «разделяй и властвуй», которые сводят меня к 8 сравнениям, например, следуя подходу сортировки слиянием или комбинируя …

19 algorithms  sorting 

Согласно этой статье в Википедии , неограниченные грамматики эквивалентны машинам Тьюринга. В статье отмечается, что я могу преобразовать любую машину Тьюринга в неограниченную грамматику, но она показывает только, как преобразовать грамматику в машину Тьюринга. Как мне действительно это сделать и преобразовать машину Тьюринга, распознающую язык в неограниченную грамматику? Я пытался …

19 formal-grammars  turing-machines  simulation 

Меня интересует вопрос об асимптотическом времени выполнения алгоритма Укконена , возможно, самого популярного алгоритма построения суффиксных деревьев за линейное (?) Время. Вот цитата из книги «Алгоритмы на строках, деревьях и последовательностях» Дэна Гасфилда (раздел 6.5.1): »... в Ахо-Corasick, Weiner, Ukkonen алгоритмы и McCreight все либо требуют пространство, илиΘ(m|Σ|)Θ(m|Σ|)\Theta(m|\Sigma|) временные рамки …

19 algorithms  data-structures  algorithm-analysis  strings