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

Извините, если это наивный вопрос, но я не смог найти оправдания ни в одном из основных учебников, таких как Бонди-Мёрти, Дистел или Уэст. У совершенных графиков есть много прекрасных свойств, но какова единственная причина, по которой их называют идеальными? Или это просто эстетическое предпочтение Берге?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Каков наилучший детерминированный результат для поддержания динамического транзитивного замыкания в ориентированном графе только с вставкой ребер? Я читал некоторые статьи по проблеме динамического транзитивного замыкания с вставкой и удалением ребер. Однако, есть ли лучшие алгоритмы для этого только с вставкой ребер?

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

Мы знаем , что краевые раскраски графа являются вершинными раскрасками специального графа, а именно на линию граф от .GGG L(G)L(G)L(G)GGG Существует ли оператор графа такой, что раскраски вершин графа являются краевыми раскрасками графа ? Меня интересует такой оператор графа, который можно построить за полиномиальное время, т.е. граф можно получить из …

16 graph-theory  graph-algorithms 

В проблеме, над которой я сейчас работаю, естественно возникает расширение оператора шума, и мне было любопытно, была ли ранее работа. Сначала позвольте мне пересмотреть основной оператор шума для вещественных булевых функций. Для данной функции и , st , , мы определяем как TεTεT_{\varepsilon}f:{0,1}n→Rf:{0,1}n→Rf: \{0,1\}^n \to \mathbb{R}εε\varepsilonppp0≤ε≤10≤ε≤10 \leq \varepsilon \leq 1ε=1−2pε=1−2p\varepsilon …

16 boolean-functions  fourier-analysis 

Я читаю классическую «Твердость против случайности» Нисана и Вигдерсона. Пусть и исправим функцию . Они определяют семейство функций как псевдослучайное в случае, если для каждой схемы размера мы имеемl : N → N G = { G n : B l ( n ) → B n }B={0,1}B={0,1}B=\{0,1\}l:N→Nl:N→Nl\colon \mathbb{N} \to …

16 cr.crypto-security  pseudorandomness  pseudorandom-generators  security 

Я не обладаю знаниями в области теории сложности с участием групп, поэтому я прошу прощения, если это хорошо известный результат. Вопрос 1. Пусть - простой неориентированный граф порядка n . Какова вычислительная сложность (с точки зрения n ) определения, если GGGGnnnnnnGGG вершинно-транзитивным? Напомним, что граф является вершинно-транзитивным, если A u …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Предположим, что для каждого ϵ>0ϵ>0\epsilon > 0 существует машина Тьюринга MϵMϵM_{\epsilon} которая определяет язык LLL во времени O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Существует ли единственный алгоритм, определяющий LLL во времени O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Здесь член o(1)o(1)o(1) измеряется через nnn , длину ввода.) Имеет ли значение, если алгоритмы MϵMϵM_{\epsilon} вычислимы или …

16 cc.complexity-theory  asymptotics 

Пусть - множества, которые могут иметь общие элементы. Я ищу наименьшее множество такое, что .S1,S2,…,SnS1,S2,…,SnS_1,S_2,\ldots,S_nXXX∀i,X∩Si≠∅∀i,X∩Si≠∅\forall i,\,X\cap S_i \ne \emptyset У этой проблемы есть имя? Или это сводится к какой-то известной проблеме? В моем контексте описывают элементарные циклы сильно связного компонента, и я ищу наименьший набор вершин который пересекает все циклы.S1,…,SnS1,…,SnS_1,\ldots,S_nXXX

16 ds.algorithms  graph-algorithms 

В задаче прямоугольник упаковки, один дается набор прямоугольников и ограничивающий прямоугольник R . Задача состоит в том, чтобы найти расположение r 1 , … , r n внутри R так , чтобы ни один из n прямоугольников не перекрывался. Как правило, ориентация каждого прямоугольника г я фиксируется. То есть прямоугольники …

16 cc.complexity-theory  np-hardness  packing 

Предположим, что . Тогда хорошо известен следующий факт:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & (c(n)\rightarrow c) \end{cases} \end{eqnarray} Я хочу узнать …

16 graph-theory  co.combinatorics  randomness 

Не известно , если изоморфизм графов (GI) для сильно регулярных графов (SRGS) в P . Есть ли намеки на то, что это может или не может быть GI- Complete? Есть ли сильные последствия в таких случаях? (Аналогично убеждению, что GI не может быть NP-Complete).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Мы говорим, что булева функция f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} является юнтой, если имеет не более влияющих переменных.к kkф ffкkk Пусть - -юнта. Обозначим переменные через . Исправить Ясно, что существует такой, что содержит хотя бы из влияющих …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

Для двух матриц A и B задача принятия решения о том, существует ли матрица перестановок P такая, что B = P - 1 A P , эквивалентна (граф изоморфизма). Но если мы расслабим P как просто обратимую матрицу, то в чем сложность? Существуют ли какие-либо другие ограничения на обратимую матрицу …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

π 1 : A × B → A π 2 : A × B → BA×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to Aπ2:A×B→Bπ2:A×B→B\pi_2 : A \times B \to B Это не так удивительно, хотя естественное чтение типа F …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Читая блог Дика Липтона, я наткнулся на следующий факт в конце его поста о факторе Борна : Если для каждого существует отношение вида где , и каждый из , и является по длине в битах, тогда факторинг имеет полином размерные схемы.( 2 n ) ! = m - 1 ∑ …

16 ds.algorithms  reference-request  factoring  comp-number-theory