Вопросы с тегом «reference-request»

Вопросы, требующие статей в литературе по конкретным, узким вопросам.

2
Каково текущее состояние параллельных или параллельных программ в изоморфизме Карри-Ховарда?
В « Доказательствах и типах» Жирара мы можем прочитать: С алгоритмической точки зрения, секвенциальное исчисление не имеет изоморфизма Карри-Ховарда из-за множества способов написания одного и того же доказательства. Это мешает нам использовать его в качестве типизированного исчисления, хотя мы видим некоторую глубокую структуру такого рода, вероятно, связанную с параллелизмом.λλ\lambda Доказательства …

1
Уловка, использованная в доказательстве двукратно экспоненциальной сложности арифметики Пресбургера
Я разместил это на MathUnderflow, но не получил ответов, поэтому решил попробовать здесь, Я читаю старую статью Рабина и Фишера [опубликует ссылку, когда это возможно], где, помимо прочего, доказана двоякая экспоненциальная сложность арифметики Пресбургера. Доказательство основывается на существовании формулы неформально утверждающей « x < 2 2 k x + 1 …

1
Уникальные триангуляционные двойники простых многоугольников
Учитывая триангуляцию (без точек Штейнера) простого многоугольника , можно рассмотреть дуал этой триангуляции, который определяется следующим образом. Мы создаем вершину для каждого треугольника в нашей триангуляции и соединяем две вершины, если соответствующие треугольники имеют общее ребро. Известно, что двойной граф является деревом с максимальной степенью три.пPP Для моего приложения меня …

4
Почему бинарный поиск называется бинарным поиском?
Я слышал несколько возможных объяснений, поэтому я хотел бы получить надежную ссылку. Обновление 05.19: Меня интересует этот вопрос, потому что один из моих студентов написал в своей диссертации, что название происходит от объяснения ниже (1). До сих пор я думал / слышал, что это происходит из объяснения (2). Я бы …

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

1
Распределение вероятностей и вычислительная сложность
Этот вопрос о пересечении теории вероятностей и сложности вычислений. Одним из ключевых замечаний является то, что некоторые распределения проще генерировать, чем другие. Например, проблема Для заданного числа вернуть равномерно распределенное число с .i 0 ≤ i &lt; nnnniii0≤i&lt;n0≤i&lt;n0 \leq i < n легко решить. С другой стороны, следующая проблема является …

1
Какие существуют алгоритмы для решения линейных систем с натуральными числами?
Я смотрю на следующую проблему: Для заданных мерных векторов натуральных чисел v 1 , … , v m и некоторого входного вектора u , является ли u линейной комбинацией v i с коэффициентами натуральных чисел?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i т.е. есть ли где u = t 1 v 1 + ⋯ + …

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

1
Разница между языками, принятыми двумя DFA с разными начальными состояниями / принимающими государствами?
Недавно я задал вопрос по математике SE. Ответа пока нет. Этот вопрос связан с этим вопросом, но с техническими подробностями в отношении информатики. Даны два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) и где набор состояний, входной алфавит и функция перехода и одинаковы, начальные состояния и конечные (принимающие) состояния …

2
Сложность варианта подмножества суммы
Является ли этот вариант проблемы подмножества простым / известным? Принимая во внимание целого , и множество положительных целых чисел А = { х 1 , х 2 , . , , , x n } , так что каждый x i имеет не более k = 2 битов, установленных в …

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


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

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.