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

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

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Предположим, что - параметризованный язык относительно некоторого алфавита Σ . К -slice из L является L K = L ∩ { ( х , к ) | х ∈ Е * } , множество экземпляров в L , которые имеют параметр K . Класс сложности X P содержит параметризованные языки …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Где я могу найти введение в вероятностные автоматы и что они распознают (определенные функции из слов в )? Существует ли стандартный термин для таких функций, которые распознаются вероятностными автоматами, аналогично «обычным языкам» для того, что распознают детерминированные конечные автоматы (DFA)?[0,1][0,1][0,1] Я ищу что-то похожее на изучение базовых вопросов по DFA …

10 reference-request  fl.formal-languages  probabilistic-automata 

Пусть AAA - матрица над конечным полем F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} а xxx , yyy - векторы пространства Fn2F2n\mathbb{F}_2^n . Меня интересует вычислительная сложность определения того, существует ли t∈Nt∈Nt \in \mathbb{N} , для которого Atx=yAtx=yA^t x = y , т. Е. Проблема достижимости для линейных динамических систем над конечными полями. Проблема …

10 cc.complexity-theory  reference-request  linear-algebra 

Рассмотрим следующую проблему: Учитывая матрицу мы хотим оптимизировать количество сложений в алгоритме умножения для вычисления v ↦ M v .MMMv↦Mvv↦Mvv \mapsto Mv Я нахожу эту проблему интересной из-за ее связи со сложностью умножения матриц (эта проблема является ограниченным вариантом умножения матриц). Что известно об этой проблеме? Есть ли интересные результаты, …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Рассматриваемые здесь преобразователи - это те, которые Википедия называет преобразователями конечного состояния . Поведение преобразователя , то есть вычисляемого им отношения, записывается как [ T ] : слово y является выходом для x тогда и только тогда, когда x [ T ] y .TTT[T][T][T]yYyxИксxx[T]yИкс[T]Yx[T]y Вопрос: разрешима ли следующая проблема: Дано: …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

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

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

В статье 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 

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

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

Существуют ли проблемы, которые разрешимы за полиномиальное время, только если P! = NP, и иначе разрешимы за (скажем) времени?O(2n)O(2n)O(2^n) Простым примером может быть: Если P! = NP, вычислите тест на простоту для случайного n-разрядного числа, в противном случае оцените случайную позицию наихудшего случая в обобщенных шахматах доски nxn с 2n …

10 cc.complexity-theory  reference-request 

Каково стандартное определение Planar 3-SAT? Я видел много разных определений. Какая оригинальная статья определила ее и доказала, что она является NP-полной?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Я пытаюсь найти распределение по Nnn случайным векторам, скажем, Икс1, … , ХNx1,…,xnx_1,\ldots, x_n , на Кkk мерной единичной сфере (где н > кn>kn > k ), которое минимизирует Максимумя ≠ jV a r ( xTяИксJ)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j) при условии ограничения Э [ хTяИксJ] = 0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 . Я попробовал …

10 reference-request  randomized-algorithms 

В главе 13 «Атомные объекты» книги «Распределенные алгоритмы» Нэнси Линч доказано, что линеаризуемость (также известная как атомарность) является свойством безопасности. То есть его соответствующее свойство trace непусто, закрыто по префиксу и закрыто по пределу , как определено в разделе 8.5.3. Неформально свойство безопасности часто интерпретируется как высказывание, что какая-то конкретная …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Учитывая направленный граф, мы хотим решить, содержит ли он направленный цикл четной длины. В этой статье 1997 года, написанной YUSTER и ZWICK, утверждается, что проблема не в том, что она находится в а также в том, что она не является N P -полной.ппPNпNпNP Есть ли какой-либо недавний результат, который разрешает …

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