Информатика

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

35 automata  finite-automata 

Линейное программирование (LP) находится в P, а целочисленное программирование (IP) является NP-сложным. Но поскольку компьютеры могут манипулировать только числами с конечной точностью, на практике компьютер использует целые числа для линейного программирования. Из-за этого не должны ли LP и IP находиться в одном классе сложности?

35 complexity-theory  polynomial-time 

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

35 algorithms  runtime-analysis  binary-search 

Я знаю, что у Идриса есть зависимые типы, но он не завершен. Что он не может сделать, отказавшись от полноты Тьюринга, и связано ли это с наличием зависимых типов? Я предполагаю, что это довольно специфический вопрос, но я не знаю много о зависимых типах и связанных системах типов.

35 computability  programming-languages  type-theory  dependent-types 

У меня проблемы с поиском хороших ресурсов, которые дают наихудший случай на месте стабильногоO ( n lnн )O(nln⁡n)O(n \ln n) алгоритма сортировки. Кто-нибудь знает какие-нибудь хорошие ресурсы? Просто напоминание, означает, что он использует переданный массив, а алгоритму сортировки разрешено использовать только постоянное дополнительное пространство. Стабильный означает, что элементы с одинаковым …

35 algorithms  reference-request  sorting  in-place 

Классически, есть 3 популярных способа думать о вычислениях: машина Тьюринга, схемы и лямбда-исчисление (я использую это как ловушку для большинства функциональных представлений). Все 3 были плодотворными способами думать о различных типах проблем, и разные области используют разные формулировки по этой причине. Однако когда я работаю с квантовыми вычислениями, я всегда …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

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

35 information-theory  data-compression  entropy 

Большинство из нас изучали программирование с использованием «текстовых» языков программирования, таких как Basic, C / C ++ и Java. Я считаю, что для людей более естественно и эффективно мыслить визуально. Визуальное программирование позволяет разработчикам писать программы, манипулируя графическими элементами. Я предполагаю, что использование визуального программирования должно улучшить качество кода и …

35 programming-languages 

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

35 programming-languages  education 

Вот стандартный псевдокод для поиска в ширину: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Здесь pushи popпредполагаются операции …

35 algorithms  graphs 

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

34 complexity-theory  np 

Видя, что в иерархии Хомского языки типа 3 могут распознаваться конечным автоматом без внешней памяти (т. Е. Конечным автоматом), тип 2 - конечным автоматом с одним стеком (т. Е. Автоматом с понижением) и тип 0 - конечный автомат с двумя стеками (или, что эквивалентно, лента, как в случае с машинами …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Можно ли предложить мне алгоритм линейного времени , который принимает в качестве входных данных ориентированного ациклического граф и две вершины S и T и возвращает число простых путей от й до т в G . У меня есть алгоритм, в котором я буду запускать DFS (Поиск в глубину), но если …

34 algorithms  graphs 

Это может звучать как глупый вопрос, но мне действительно интересно узнать, как компьютер знает, что ? Кроме того, как компьютер узнает, что порядок целых чисел равен и алфавит A, B, C, D, ...? Это где-то хранится в оборудовании или операционная система предоставляет такую ​​информацию?1 , 2 , 3 , 4 …

34 computer-architecture  reference-question 

Мне интересно, есть ли стандартный способ измерения "сортировки" массива? Будет ли массив с медианным числом возможных инверсий считаться максимально несортированным? Под этим я подразумеваю, что это в основном как можно дальше от сортировки или обратной сортировки.

34 algorithms  algorithm-analysis  sorting  arrays