Информатика

Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования. Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.λλ\lambda Я читаю SICP (довольно поучительная книга), но я хочу углубиться в теорию функционального программирования. Есть ли какие-нибудь …

16 reference-request  lambda-calculus  functional-programming  books 

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

16 algorithms  graph-theory 

Алгоритм минимизации DFA Бжозовского создает минимальный DFA для DFA путем:граммGG обращая все ребра в , делая начальное состояние принимающим, а принимающее - начальным, чтобы получить NFA для обратного языка,N ′граммGGN'N′N' используя конструкцию powerset, чтобы получить для обратного языка,грамм'G′G' обращая ребра (и начально-принимающий обмен) в чтобы получить NFA для исходного языка, …

16 algorithms  finite-automata  runtime-analysis 

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

16 algorithms  combinatorics  strings  dynamic-programming 

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

16 algorithms  education  algorithm-analysis  didactics  sorting 

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

16 numeral-representations 

Мне неясно, как используются фразы «бесконечный» язык или «конечный» язык в компьютерной теории. Я думаю, что корень проблемы в том, что такой язык, как , бесконечен в том смысле, что он может генерировать бесконечное (но счетное) количество строк. Тем не менее, он все еще может быть распознан конечным автоматом.L={ab}∗L={ab}∗L=\{ab\}^* Также …

16 formal-languages  terminology  regular-languages 

Правда ли, что последовательная согласованность является более сильным свойством, чем когерентность кэша? В соответствии с Сорин, Даниэль Дж; Hill, Mark D; Вуд, Дэвид А. Учебник по последовательности памяти и согласованности кэша , Morgan & Claypool, 2011 последовательная согласованность может быть описана как (не формально): Модель памяти с последовательной согласованностью указывает, …

16 computer-architecture  cpu-cache  shared-memory 

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

16 algorithms  graph-theory  shortest-path 

Зачем нам сначала переворачивать ядро ​​в 2D свертке? В чем выгода этого? Итак, почему мы не можем оставить это без внимания? http://www.songho.ca/dsp/convolution/convolution2d_example.html вход ядро выход «Сначала переверните ядро, представляющее собой заштрихованную коробку, в горизонтальном и вертикальном направлении»

16 image-processing 

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

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

У меня сложилось впечатление, что для каждой NP-полной задачи для бесконечно большого числа входных размеров число экземпляров yes на всех возможных входных данных размера (по крайней мере) экспоненциально по .NNnNNnNNn Это правда? Можно ли это доказать (вероятно, только в предположении, что )? Или мы можем, может быть, искусственно, найти проблему, …

15 complexity-theory  np-complete  np-intermediate 

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

15 algorithms  data-structures  terminology  computational-geometry 

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

15 algorithms  turing-machines  combinatorics 

У нас есть сетки. У нас есть набор прямоугольников на этой сетке, каждый прямоугольник может быть представлен как двоичная матрица -by- . Мы хотим накрыть сетку этими прямоугольниками.N 1 N 2 RN1× N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2ррR Является ли версия решения этого набора проблем NP-полной? Ввод: коллекция прямоугольников на сетке (размер ввода: …

15 complexity-theory  np-complete  set-cover