Информатика

Я знаю немного теории зависимых типов. Из википедии: Зависимый тип - это тип, определение которого зависит от значения. И из моего курса теории типов я вспоминаю, что зависимый тип: Семейство типов, проиндексированных по типу. Но у меня путаница в отношении зависимых типов, типов уточнения и логики хора. Потому что из …

18 dependent-types  hoare-logic 

У меня NP-полное решение проблемы. Учитывая пример проблемы, я хотел бы разработать алгоритм, который выводит ДА, если проблема выполнима, и НЕТ, в противном случае. (Конечно, если алгоритм не является оптимальным, он будет делать ошибки.) Я не могу найти никаких приближенных алгоритмов для таких задач. Я специально искал SAT и нашел …

18 algorithms  satisfiability  approximation  decision-problem 

Я удивлен, что люди продолжают добавлять новые типы в теории типов, но никто, кажется, не упоминает минимальную теорию (или я не могу найти ее). Я думал, что математики любят минимальные вещи, не так ли? Если я правильно понимаю, в теории типов с непредсказуемым образом достаточно Propλ-абстракции и Π-типов. Говоря достаточно, …

18 type-theory  dependent-types 

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

18 lambda-calculus  programming-paradigms 

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

18 data-structures  reference-request  trees  history 

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

18 computability  memory-management  memory-hardware 

Набор Мандельброта - прекрасное существо в математике. Существует множество красивых изображений этого набора, созданных с высокой точностью, поэтому, очевидно, этот набор в некотором смысле «вычислим». Однако меня беспокоит тот факт, что он даже не рекурсивно перечислим - просто потому, что множество неисчислимо. Это можно решить, потребовав какого-то конечного представления точек. …

18 computability 

Говорят, что «Юджин Густман», компьютерная программа, разработанная для имитации 13-летнего мальчика, сумела убедить 33% судей, что это был человек, и, таким образом, прошла тест Тьюринга. Компьютерная программа, она же чатбот, притворялась 13-летним украинским мальчиком, для которого английский был вторым языком - что-то совсем другое. Для меня Евгений звучит точно так …

18 reference-request  artificial-intelligence  history  turing-test 

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

18 algorithm-analysis  runtime-analysis  sorting  quicksort 

Основное определение машины Тьюринга (ТМ), по крайней мере, в моем собственном справочнике (Hopcroft + Ullman 1979), является детерминированным. Следовательно, мое собственное понимание проблемы остановки главным образом относится к детерминированной ТМ, хотя я знаю, что это может быть рассмотрено для других видов автоматов. Я также заметил, что детерминизм часто более или …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Размышляя над одной проблемой, я понял, что мне нужно создать эффективный алгоритм, решающий следующую задачу: Проблема: нам дан двумерный квадратный прямоугольник со стороной nnn , стороны которого параллельны осям. Мы можем посмотреть на это через верх. Тем не менее, есть также mmm горизонтальных сегментов. Каждый сегмент имеет целочисленную координату yyy …

18 algorithms  data-structures  time-complexity  computational-geometry 

Учитывая смещенную NNN стороннюю матрицу, как можно случайное число в диапазоне [1,N][1,N][1,N]равномерно генерировать N ] ? Распределение вероятностей граней матрицы неизвестно, все, что известно, это то, что каждая грань имеет ненулевую вероятность и что распределение вероятности одинаково для всех бросков (в частности, броски независимы). Это очевидное обобщениесправедливых результатов с несправедливой …

18 probability-theory  randomized-algorithms  random-number-generator 

Существует ли алгоритм / систематическая процедура для проверки того, является ли язык свободным от контекста? Другими словами, учитывая язык, указанный в алгебраической форме (подумайте о чем-то вроде ), проверьте, является ли язык контекстно-свободным или нет , Представьте, что мы пишем веб-сервис, чтобы помочь студентам со всеми домашними заданиями; Вы указываете …

18 algorithms  formal-languages  context-free  decision-problem 

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

18 reference-request  computational-geometry  lower-bounds  packing 

Рассмотрим следующую очень простую компьютерную программу: for i = 1 to n: y[i] = x[p[i]] Здесь и y - это n- элементные массивы байтов, а p - это n- элементный массив слов. Здесь n большое, например, n = 2 31 (так что только незначительная часть данных помещается в любой тип …

18 parallel-computing  cpu-cache  memory-hardware