Вопросы с тегом «co.combinatorics»

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Я искал далеко и широко для таких приложений и в основном оказался коротким. Я могу найти множество применений топологии и подобных структур на счетных (или неисчисляемых) наборах, но редко я нахожу неисчислимые наборы в качестве объекта изучения компьютерными учеными, что приводит к необходимости использования методов анализа.

18 co.combinatorics  big-picture 

Пусть F1F1F_1 - выполнимая формула CNF с nnn переменными и mmm предложениями. Пусть SF1SF1S_{F_1} - пространство решений F1F1F_1 . Рассмотрим проблему определения для данной F1F1F_1 другой формулы CNF F2F2F_2с тем же набором переменных, что и для F1F1F_1 , с SF2=SF1SF2=SF1S_{F_2} = S_{F_1} (то же пространство решений, что и для F1F1F_1 …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

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

18 co.combinatorics 

Рассмотрим перестановку σσ\sigma из [1..n][1..n][1..n] . Инверсия определяется как пара (i,j)(i,j)(i, j) индексов, такая что i&lt;ji&lt;ji < j и σ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) . Определите AkAkA_k как число перестановок в [1..n][1..n][1..n] с не более чем kkk инверсиями. Вопрос: Какова жесткая асимптотическая оценка для AkAkA_k ? Ранее был задан связанный вопрос: количество …

17 co.combinatorics  permutations 

Этот вопрос похож на один из моих предыдущих вопросов. Известно, что является запрещенным минором для графов с шириной не более t .Kt+2Kt+2K_{t+2}ttt Существует ли красиво построенное, параметризованное, бесконечное семейство графов (кроме полных графов и сеточных графов), которые являются минимально запрещенными минорами для графов любой длины дерева. Другими словами, существует ли …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Учитывая , сколько из -DNF с переменными и предложениями являются тавтологическими? (или сколько CNF неудовлетворительно?)к н м кm,n,km,n,km, n, kkkknnnmmmkКk

17 co.combinatorics  lo.logic  sat 

Я пытался прочитать « Жемчужины разработки функциональных алгоритмов », а затем « Алгебру программирования », и есть очевидное соответствие между рекурсивно (и полиномиально) определенными типами данных и комбинаторными объектами, имеющими то же самое рекурсивное определение и впоследствии ведущим к тому же формальному степенному ряду (или порождающим функциям), как показано во …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Поскольку термин перегружен, сначала дается краткое определение. Poset - это множество наделенное частичным порядком ≤ . Для двух элементов a , b ∈ X , мы можем определить x ∨ y (join) как их наименьшую верхнюю границу в X и аналогично определить x ∧ y (meet) (join) как наибольшую нижнюю …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

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

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Линейное расширение из ч.у.м. является линейным порядком на элементах , такие , что в влечет в для всех .P P x ≤ y P x ≤ y L x , y ∈ PLLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Линейное расширение граф представляет собой график , на множестве линейных расширений посета, где …

17 graph-theory  co.combinatorics 

Меня интересуют свойства случайных ориентированных графов с фиксированной степенью ddd . Я представляю модель случайного графа, где каждая вершина выбирает d соседей (скажем, с заменой) uar Вопрос : Известно ли что-нибудь о стационарном времени распределения и перемешивания случайных блужданий на этих случайных графах (для различных значений )? ddd Меня особенно …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

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

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Предположим, что . Тогда хорошо известен следующий факт: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 

Мы говорим, что булева функция 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