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

Является ли автоматическое доказательство теорем и поиск доказательств более простым в линейных и других пропозициональных субструктурных логиках, в которых отсутствует сжатие? Где я могу прочитать больше об автоматическом доказательстве теорем в этих логиках и роли сокращения в поиске доказательства?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Недавний подход к созданию децентрализованной онлайн-валюты под названием биткойн вызвал некоторый интерес. Цель состоит в том, чтобы иметь возможность переводить валюту без центрального органа и без двойных расходов или подделок. Их подход заключается в том, чтобы все узлы в сети пытались проверить транзакцию, выполнив расчет для проверки работоспособности, и тогда …

18 reference-request  cr.crypto-security 

Верно ли, что в полиномиальной иерархии существуют проблемы, разрешимые во времени (с помощью чередующейся машины Тьюринга на некотором уровне полиномиальной иерархии), которые не разрешимы в O ( n k - 1 ) на любом уровне полиномиальная иерархия? Другими словами - существует ли теорема временной иерархии для полиномиальной иерархии, как это …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

2 вопроса для вычислительных геометров или алгебраистов: Я только начинаю погружаться в вычислительную геометрию, и мне это нравится =) Я пытаюсь прочитать знаменитую статью Гибаса и Столфи под названием «Примитивы для манипулирования общими подразделениями и вычисления диаграмм Вороного» с целью реализации алгоритма триангуляции Делоне. Я испытываю желание пропустить все теоретические …

18 reference-request  cg.comp-geom  algebra 

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

18 reference-request  fl.formal-languages  parsing 

Проблема: нам дают набор палочек, имеющих целую длину. Общая сумма их длин n (n + 1) / 2. Можем ли мы разбить их, чтобы получить палочки размером за полиномиальное время? 1 , 2 , … , n1,2,...,N{1,2,\ldots,n} Удивительно, но единственная ссылка, которую я нахожу для этой проблемы, - это древнее …

18 reference-request  complexity-classes  puzzles 

Меня интересует следующая проблема: учитывая множество X и подмножества X_1, ..., X_n из X, найдите раскраску элементов X с помощью k цветов, чтобы все элементы в каждом X_i были по-разному окрашены. Более конкретно, я смотрю на случай, когда все X_i имеют размер k. Известно ли это в литературе под каким-то …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Проблема удовлетворенности является, конечно, фундаментальной проблемой в теоретической CS. Я играл с одной версией проблемы с бесконечным количеством переменных. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Базовая настройка. Пусть непустое и, возможно, бесконечное множество переменных . Литерал - это либо переменная либо ее отрицание . Предложение - это дизъюнкция конечного числа литералов . Наконец, мы …

18 reference-request  lo.logic  sat  topology  lattice 

В книге Сакаровича по теории автоматов во введении к разделу о рациональных числах в свободной группе написано, что представленный в нем материал закладывает «основу действительно математической теории языков без контекста». Тем не менее, это не указывается явно, так как языки без контекста и автоматные выпадающие программы выходят за рамки книги. …

17 context-free  automata-theory  reference-request 

Известно, что минимальный размер цепей, функцию четности, в точности равен . Нижняя оценка доказательства основана на методе исключения ворот.U2U2U_23 ( n - 1 )3(N-1)3(n-1) Недавно я заметил, что метод исключения затвора хорошо работает и для недетерминированных цепей, и мы можем доказать нижнюю границу для размера недетерминированных цепей, вычисляя функцию четности.U2U2U_23 …

17 cc.complexity-theory  reference-request  circuit-complexity 

Известен ли следующий класс графов в литературе? Класс графов параметризуется натуральными числами и и содержит каждый граф такой, что для каждой вершины подграф индуцируется на всех вершинах на расстоянии не более от в имеет длину не более .dddTTtG = ( V, E)граммзнак равно(В,Е)G=(V,E)v ∈ Vv∈Вv\in VграммграммGdddvvvграммграммGTTt Он обобщает концепцию локально …

17 reference-request  graph-theory  treewidth 

При попытке убедить экономистов в актуальности теории сложности в печати, есть ли стандартная ссылка для цитирования? Я знаком с постом в блоге Ноама Нисана , опросом Тима Раугардена и 11-й статьей эссе Скотта Ааронсона . Эти посты доступны для компьютерных ученых, но не используют язык экономистов и не публикуются в …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Я ищу естественные примеры эффективных алгоритмов (т.е. в полиномиальном времени) их правильность и эффективность могут быть доказаны конструктивно (например, в PRAпрAPRA или ), ноHAЧАСAHA не известно никаких доказательств, использующих только эффективные концепции (то есть мы не знаем, как доказать их правильность и эффективность в или ).S 1 2TV0TВ0TV^0S12S21S^1_2 Я могу …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

На большинстве сайтов, которые я посетил, читая эту интересную тему, говорится что-то вроде «единственные степени двух (кроме 2-х самих), которые встречаются в этой последовательности, - это те, которые имеют простой показатель степени» (MathWorld) или «После 2 эта последовательность содержит следующие степени 2: [...] которые являются основными степенями 2». (Википедия) Эти …

17 reference-request  primes