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

Существует открытая проблема в формальных языках, известная как проблема разделения; который кратко изложен как заданные две отдельные строки длины , насколько большой DFA требуется, чтобы «разделить» их, то есть принять одну строку, но отклонить другую.nnn Вот некоторые соответствующие документы 1 , 2 . (У меня есть еще несколько, но у …

10 fl.formal-languages  automata-theory 

Пусть k > 0k>0k>0 фиксированная константа. Для целого числа Nnn мы хотим построить перестановку σ∈ SNσ∈Sn\sigma \in S_n такую, что: Конструкция использует постоянное время и пространство (т.е. предварительная обработка требует постоянного времени и пространства). Мы можем использовать рандомизацию. Учитывая i ∈ [ n ]i∈[n]i\in[n] , σ( я )σ(i)\sigma(i) может быть …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Возможно, основным источником проблем с производительностью в Haskell является случай, когда программа по неосторожности создает поток неограниченной глубины - это вызывает как утечку памяти, так и потенциальное переполнение стека при оценке. Классический пример - определение sum = foldr (+) 0в Haskell. Существуют ли системы типов, которые статически навязывают отсутствие таких …

10 type-theory  functional-programming  program-verification 

Q . Какова сложность нахождения наибольшего объемаограниченная ячейка в Arrangment из гиперплоскостей в размерности г ?nnnddd Я чувствую, что должен это знать ... Но я не нахожу окончательной ссылки. Это ? Как насчет специализации d = 2 : ячейка с наибольшей площадью в расположении линий?Ω(nd)Ω(nd)\Omega(n^d)d=2d=2d{=}2

10 computational-geometry  high-dimensional-geometry  arrangements 

В целом проблемы были классифицированы благодаря сложности вычислений. Но можно ли в дифференциальных уравнениях классифицировать дифференциальные уравнения в зависимости от их вычислительной структуры? Например, если неоднородное уравнение первого порядка сравнительно трудно решить, чем, скажем, однородное уравнение 100-го порядка, можно ли их классифицировать как отдельные классы выпуклости, учитывая, что метод решения …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

После эквивалентных вопросов относительно NP-полноты (см. Вопрос о весе и заданный вопрос ) мне стало интересно, как эти атрибуты влияют на параметризованные проблемы. Какие задачи жесткого графа являются -твердыми на ориентированных графах, но фиксированными параметрами, которые можно отследить на неориентированных графах?NпNпNPW[ 1 ]W[1]W[1] Какие задачи жесткого графа являются -твердыми на …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Это довольно известный факт, что для получения противоречия из неравенства (например, ) в теории типов Мартина-Лоэфа требуется вселенная.( 0 =1 ) → ⊥(0=1)→⊥(0=1) \to \bot Доказательство также довольно простое - в отсутствие юниверсов мы можем стереть зависимости из любого зависимого типа, чтобы получить простой тип в качестве формы, и, таким …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

Проблема изоморфизма графов - одна из самых давних проблем, которая не поддается классификации на или N P -полные задачи. У нас есть доказательства того, что оно не может быть N P -полным. Во-первых, изоморфизм графов не может быть N P -полным, если полиномиальная иерархия [1] не рухнет на второй уровень. …

10 cc.complexity-theory  graph-isomorphism 

В статье 1965 года " О вычислительной сложности алгоритмов " Хартманиса и Стернса авторы предполагают, что если машина Тьюринга в реальном времени вычисляет действительное число , например, в базе 10, то является либо рациональным числом, либо трансцендентное число.rrrrrr Существует ли вычислимое трансцендентное число, которое невозможно вычислить на машине Тьюринга в …

10 cc.complexity-theory  reference-request  examples 

Доказательство сложности является основной областью теории вычислительной сложности. Конечная цель этой области состоит в том, чтобы доказать , то есть любой доказатель не может дать доказательство неудовлетворенности данной входной формулой. Nп≠ c o NпNп≠соNпNP\neq coNP Граф - это одна из формальных моделей доказательств. Мой вопрос о дальнейшем ограничении этой модели. …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Эквивалентно, существует ли известная денотационная семантика для вероятностных функциональных языков программирования высшего порядка? В частности, существует ли доменная модель чистого нетипизированного вычисления, расширенная симметричной случайной операцией двоичного выбора.λλ\lambda мотивация Декартовы замкнутые категории обеспечивают семантику вычислений высших порядков . Вероятностные домены власти обеспечивают семантику для стохастических программ. CCC, закрытый в вероятностной …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Справочная информация: обработка транзакций была традиционной темой исследования в теории баз данных. В настоящее время распределенные транзакции популяризируются крупномасштабными распределенными системами хранения, которые обычно включают разделение данных (также называемое разделением ) и репликацию данных . Каковы основные проблемы исследования в распределенных транзакциях? Существуют ли известные теории и решения, которые нуждаются …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Каков стандартный подход к минимизации Büchi-Automata (или также Müller-Automata)? Перенос обычного метода из конечных слов, то есть установка двух состояний равными, если слова «заканчиваются» из принятых состояний одинаковы, не будут работать. Например, рассмотрим Büchi-Automoton, принимающий все слова с бесконечным числом a, состоящим из двух состояний: начального и конечного состояний, и …

10 fl.formal-languages  automata-theory 

Более чем 1,5-летняя гипотеза Римана имеет глубокие следствия в математике, и большое доказательство математической теории в настоящее время доказано условно и многочисленными вариантами. Недавно я наткнулся на ссылку на условный результат в TCS, основанный на гипотезе Римана. Поэтому мне интересно, Каковы основные последствия гипотезы Римана в TCS? В качестве начала …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Конкретно, что я имею в виду под сложением, мы определяем как алфавит . Учитывая регулярные языки и под некоторым алфавитом , смотреть на . { 0 , 1 , 2 , . , , , i } A B Σ i A × BΣяΣi\Sigma_i{ 0 , 1 , 2 , …

10 automata-theory