Теоретическая информатика

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

16 computability  turing-machines  board-games  halting-problem  recreational 

Является ли следующая проблема в PTIME или coNP-hard: Даны два булевых выражения и в переменных без отрицания (т. Е. Выражения полностью построены с помощью и ). Решите, есть ли , то есть имеют ли они одинаковое значение для всех назначений переменных.е1е1e_1е2е2e_2Икс1, … , ХNИкс1,...,ИксNx_1,\dots,x_n∧∧\wedge∨∨\veeе1≡ е2е1≡е2e_1 \equiv e_2 Если оба выражения …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

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

16 soft-question  advice-request  career 

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

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Существует теоретическое доказательство того, что наивная декартова конструкция продукта для пересечения DFAs - «лучшее, что мы можем сделать». А как насчет объединения двух DFA? Тривиальная конструкция включает в себя преобразование каждого DFA в NFA, добавление эпсилон-перехода и определение результирующего NFA. Можем ли мы сделать лучше? Существует ли известная граница для …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Фон Бинарное дерево решений представляет собой корневое дерево , где каждый внутренний узел (и корень) помечен индекс J ∈ { 1 , . , , , n } , так что путь от корня к листу не повторяет индекс, листья помечаются выходами в { A , B } , а …

16 ds.algorithms  query-complexity  decision-trees 

Доступна ли следующая рукопись публично? Дана Скотт, 1969, Теория вычислимых функций высшего типа . Неопубликованные заметки семинара, 7 страниц, Оксфордский университет. Эта статья обсуждается в разделе 8.1.2, Типы как множества , в Cardone & Hindley, 2006 История лямбда-исчисления и комбинаторной логики ; кроме того, в разделе 10.1, « Теория предметной …

16 reference-request  lo.logic  type-theory  domain-theory 

Возьмем ориентированный граф края которого украшены натуральным числом. Нам нужно множество всех путей P между двумя вершинами v 1 и v 2 , чтобы каждое последующее ребро в пути было украшено натуральным числом, которое больше натурального числа, украшающего предыдущее ребро.GGGPPPv1v1v_1v2v2v_2 Заявка на это будет расписание автобусов или поездов. Если вы …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Существует ли какая-либо теория языков программирования, описывающая интерфейсы сторонних функций (FFI) и привязки к нескольким языкам? Я задал некоторые вопросы реализации на стеке потока , который здесь не подходит. Но я хотел бы спросить с точки зрения этого сайта и посмотреть, что я мог бы получить отсюда. Очень ценю ваш …

16 pl.programming-languages  semantics 

Мы часто хотим определить объект соответствии с некоторыми правилами вывода. Эти правила обозначают производящую функцию F , которая, когда она монотонна, возвращающую мере неподвижную точку М F . Возьму А : = μ F , чтобы быть «индуктивным определением» А . Кроме того, монотонность F позволяет нам рассуждать с «принципом …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

Мне было интересно, есть ли хорошая библиография попыток исследовать гипотезу Коллатца как формальную грамматику? (или любые другие попытки в сообществе CS иметь дело с этим классом порождающих явлений и их «препятствующими» свойствами).

16 fl.formal-languages  nt.number-theory  halting-problem 

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

16 computability  turing-machines  terminology  physics  natural-computing 

Хорошо известно, что случайные формулы -CNF над n переменными с предложениями c n являются неудовлетворительными (т.е. являются противоречиями) с большой вероятностью для достаточно большой постоянной c . Таким образом, случайные формулы k- CNF (для достаточно больших c ) представляют собой естественное распределение по неудовлетворительным булевым формулам (или двойственно, по тавтологиям, …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Обозначим через колмогоровскую сложность строки x . Существуют ли такие строки, что K ( x x ) < K ( x ) . (Здесь x x - это сцепление x с самим собой). Похожий , но другой вопрос был задан здесь , но контрпример дается в ответ на этот вопрос …

16 cc.complexity-theory  kolmogorov-complexity 

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

16 ds.data-structures  functional-programming