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

В разделе 2.2 B-деревьев , забывающих о кеше, деревья поиска с сильно сбалансированным весом определяются как: Для некоторой константы каждый узел v на высоте h имеет Θ ( d h ) потомков.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Они утверждают: Деревья поиска, которые удовлетворяют свойствам 1 и 2, включают сбалансированные по весу B-деревья, детерминированные списки пропусков …

11 ds.data-structures  skip-lists 

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

11 sat  soft-question  proofs 

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

11 gt.game-theory 

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

11 randomness  derandomization 

Это может звучать больше как вопрос социальных наук, чем вопрос TCS, но это не так. Читая « Рандомизированные алгоритмы », описывающие проблему стабильного брака, можно прочитать следующее (p54) «Можно показать, что для каждого списка предпочтений существует, по крайней мере, один стабильный брак. (Любопытно, что это не так в гомосексуальном моногамном …

11 ds.algorithms  graph-theory  matching 

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

11 cc.complexity-theory  approximation-hardness 

Представьте себе функциональный язык программирования, единственными типами данных которого являются числовые скаляры и произвольные вложения массивов. В языке отсутствуют какие-либо средства неограниченной итерации, поэтому запрещено следующее: явные циклы (во всяком случае, без побочных эффектов) рекурсия произвольные функции первого класса (без y-комбинатора) Язык, однако, имеет: функции верхнего уровня лексически ограниченные пусть …

11 complexity-classes  functional-programming  dc.parallel-comp 

Я считаю, что ответ на этот вопрос хорошо известен; но, к сожалению, я не знаю. В квантовых вычислениях мы знаем, что смешанные состояния представлены матрицами плотности. А следовая норма разности двух матриц плотности характеризует различимость двух соответствующих смешанных состояний. Здесь определение нормы следа является суммой всех собственных значений матрицы плотности …

11 quantum-computing  quantum-information 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Immerman (Descriptive Complexity, 1999) представляет EF-игры для экзистенциального монадического второго порядка (Ajtai-Fagin games) на стр. 127. Так как MSO для слов эквивалентна обычным языкам, игру можно написать следующим образом.∃∃\exists Язык является регулярным тогда и только тогда, когда у Далилы нет выигрышной стратегии в следующей игре: 1. Самсон выбирает c , …

11 lo.logic  automata-theory  descriptive-complexity 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Какова точная временная сложность неориентированного алгоритма пространства журналирования st-связности Омера Рейнгольда?

11 cc.complexity-theory  randomness 

(X,d)(X,d)(X, d)(Y,f)(Y,f)(Y, f)μ:X→Yμ:X→Y\mu : X \rightarrow Yμμ\muρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} \{ \frac{d(x,y)}{f(\mu(x), \mu(y))}, \frac{f(\mu(x), \mu(y))}{d(x,y)} \} Есть и другие показатели качества: Дхамдхер и др. Изучают «среднее» искажение: σ=∑d(x,y)∑f(μ(x),μ(y)).σ=∑d(x,y)∑f(μ(x),μ(y)). \sigma = \frac{\sum d(x,y)}{\sum f(\mu(x), \mu(y))}. Тем не менее, интересующая меня мера - это та, которая используется MDS-подобными методами, которая …

11 approximation-algorithms  cg.comp-geom  embeddings 

Во многих учебниках легко найти доказательства сокращения предмета и строгой нормализации для Системы F, а также иногда есть определения Системы F с парами, где (t, r) - это термин, а не только кодировка. Вопрос в том, что будет ссылкой на эту систему?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

В графе независимое множество - это подмножество вершин, которое не содержит ребра в качестве индуцированного подграфа. Проблема нахождения наибольших независимых множеств в графе является фундаментальным и сложным в этом вопросе. Давайте рассмотрим более общий вопрос поиска (размера) наибольшего множества H-свободных в графе, где H-free означает, что оно не индуцирует подграф, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics