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

Бумага Лаури Хелла и Хосе Мария Turull-Torres, Вычисление запросов с помощью логики высшего порядка , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 предлагает логику VO, логику переменного порядка. Это позволяет определять количество заказов по переменным. VO довольно мощный и может выражать некоторые невычислимые запросы. (Как указывает Артур Мильхиор ниже, …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Это продолжение недавнего вопроса Дэвида Эппштейна и мотивировано теми же проблемами. Предположим, у меня есть вершина с весами действительных чисел на его вершинах. Первоначально все вершины не отмечены. Я могу изменить набор отмеченных вершин, либо (1) помечая вершину без неотмеченных предшественников, либо (2) снимая пометку с вершины без отмеченных преемников. …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Какие существуют полезные алгоритмы, которые работают с огромными потоками данных, и их результаты довольно малы, и можно вычислить результат для смеси двух потоков, каким-то образом объединив их результаты? Я могу назвать несколько: Очевидные вещи, как сумма, мин, макс, кол, топ-К и т. Д Приближенные так называемые «основанные на эскизах» потоковые …

12 ds.algorithms  big-list  data-streams 

Проблемы окраски графа уже достаточно сложны для большинства людей . Тем не менее, мне придется столкнуться с трудностями и задать вопрос о раскраске гиперграфа. Вопрос. Какие эффективные алгоритмы существуют для нахождения приблизительно оптимальной раскраски ребер для k-равномерных гиперграфов? Детали --- K-равномерный гиперграф - это такой, в котором каждое ребро содержит …

12 co.combinatorics  hypergraphs  graph-colouring 

Концепция секретной схемы обмена часто приписывается Шамиру (A. Shamir, Как поделиться секретом , Comm. ACM, 22 (1979), pp. 612-613.) И Blakey (GR Blakey, Защита криптографических ключей , в Proc. NCC, vol. 48, 1979, pp. 313-317.). Общая идея заключается в том, что какой-то секрет S скрыт от участников, каждый из которых …

12 cr.crypto-security  application-of-theory 

Потоковые алгоритмы требуют, чтобы рандомизация по большей части выполняла какие-либо нетривиальные задачи, а из-за ограничения малого пространства нужны PRG, которые занимают мало места. Я знаю два метода, которые были процитированы для использования в потоковых алгоритмах: зависимые независимые PRG, такие как 4-мудрое независимое семейство, используемое Alon / Matias / Szegedy для …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

Известно, что для обучения PAC существуют естественные классы понятий (например, подмножества списков решений), для которых существуют полиномиальные разрывы между сложностью выборки, необходимой для теоретического обучения информации неограниченным в вычислительном отношении учеником, и сложностью выборки, необходимой для полиномиального ученик времени (см., например, http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE или http://portal.acm.org/citation.cfm?id=301437 ) Эти результаты, похоже, зависят от …

12 machine-learning  lg.learning  sample-complexity 

Какие еще языки проблем, отличные от изоморфизма графов, есть в ? Можете ли вы дать некоторые ссылки?Nп∩ c o A MNP∩coAMNP\cap coAM Обновление: Я забыл упомянуть , что я заинтересован в языках , не известно, в .c o NпcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

В чисто функциональном худшем случае отсортированные списки с возможностью прокрутки по постоянному времени, Brodal et al. представить чисто функциональные сбалансированные деревья с O (1) сцеплением и O (lg n) вставкой, удалением и поиском. Структура данных несколько сложна. Существует ли более простое сбалансированное дерево поиска с O (1) сцепленным, функциональным или …

12 functional-programming  ds.data-structures 

Пусть отдельные точки находятся в . Мы говорим, что точки и являются соседями, если | ij | &lt;3 \ pmod {n-2} , что означает, что каждая точка является соседом с точками с индексами в пределах 2 , обтеканием.R 2 i j1...n1...n1 ... nR2R2\mathbb{R}^2iiijjj|i−j|&lt;3(modn−2)|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2}222 Проблема в: Для каждой …

12 cg.comp-geom 

Отсюда я читаю доказательства и наткнулся на техническую (хотя и крайне важную) проблему. Я знаю, что это довольно специфично, и контекст проблематичен, но я не мог понять это сам. На страницах 51 и 55 после представления «стандартных» верификаторов они поворачиваются, чтобы модифицировать верификаторы для проверки разделенных назначений. В первом случае …

12 cc.complexity-theory  pcp 

Помимо научных кругов, которые, несомненно, являются домом для теоретиков, меня интересуют промышленные работы, связанные с теоретической информатикой, которые требуют чисто математического образования. Ура!

12 career  computational-mathematics 

Заранее извиняюсь за этот мягкий вопрос, на который нет закрытого, правильного ответа. Это, вероятно, лучший форум, чтобы задать мой вопрос. Я студент третьего курса теоретической группы из 15 лучших школ США. До сих пор я неплохо справлялся. У меня есть первая авторская теоретическая статья и первая авторская практическая статья. Мой …

12 soft-question  advice-request 

Легко наблюдение состоит в том, что если проблема разрешима недетерминированной программы полиномиальное время , используя O ( журнал N ) недетерминированных битов (то есть, все свидетели логарифмические в длину), то ∈ P .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Если тогда кто-то задает вопрос: «Легче ли проверить свидетеля, чем найти его?» для таких …

12 cc.complexity-theory 

Пусть о Л -терминов быть определены следующим образом :sizesizesizeλλ\lambda ,size(x)=1size(x)=1size(x) = 1 size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Пусть сложность -term определяется как число параллельных бета-сокращений от до его нормальной формы (с использованием оптимального оценщика в смысле Леви).λλ\lambdattttxtxt x Я ищу …

12 lo.logic  computability  pl.programming-languages  lambda-calculus