Запитання з тегом «clique»

5
Причини, з яких графік може бути не
Хоча трохи розмірковуючи над цим питанням , я намагався визначити всі різні причини, за якими графік може бути кольоровим. Це єдині 2 причини, які мені вдалося визначити поки що:kG=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk k + 1GGG містить кліку розміром . Це очевидна причина.k+1k+1k+1 Там існує підграф з таким чином, що обидва наступні …

5
Чи можна перевірити, чи є обчислюване число раціональним чи цілим?
Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції 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 

2
Твердість параметризованого КЛІКУ?
Нехай 0≤p≤10≤p≤10\le p\le 1 і розглянемо проблему рішення CLIQUE p Введення: ціле число s , графік G з t вершинами та ребрами Питання: чи містить кліку принаймні вершин?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsсs Екземпляр CLIQUE містить пропорцію з усіх можливих ребер. Очевидно CLIQUE легко для деяких значень . CLIQUE містить лише …

2
Давши вільний графік
Проблема kkk -cycle полягає в наступному: Екземпляр: Непрямий графік GGG з nnn вершинами і до ребра.(n2)(n2)n \choose 2 Питання: Чи існує (правильний) -цикл у ?kkkGGG Передумови: Для будь-якого фіксованого ми можемо вирішити -цикл за .kkk2k2k2kO(n2)O(n2)O(n^2) Рафаель Юстер, Урі Цвік: Шукати навіть цикли ще швидше. SIAM J. Дискретна математика. 10 (2): …

1
2FA стан складності k-Clique?
У простому вигляді: Чи може двосторонній кінцевий автомат розпізнавати vvv -поверхові графіки, які містять трикутник із станами o(v3)o(v3)o(v^3) ? Деталі Тут представляють інтерес vvv -верхові графіки, кодовані за допомогою послідовності ребер, кожен край - пара різних вершин від {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} . Припустимо, (Mv)(Mv)(M_v) - це послідовність двосторонніх кінцевих автоматів (детермінованих або …

1
Чи є підрахунок максимальних кліків у графі незрівнянності # P-повний?
Це питання мотивоване запитанням MathOverflow Peng Zhang . Валіант показав, що підрахунок максимальних кліків у загальному графіку є # P-повним, але що робити, якщо ми обмежимось графами незрівнянності (тобто ми хочемо порахувати максимальні античаїни у скінченному наборі)? Це питання видається досить природним, що я підозрюю, що воно було розглянуто раніше, …

1
3-клічний розділ для графіків фіксованого діаметра
Проблема 3-Clique Partition - це проблема визначення, чи можна вершини графа, скажімо , розділити на 3 кліки. Ця проблема є важкою для NP шляхом простого скорочення від 3-х кольорових проблем. Не важко зрозуміти, що відповісти на цю проблему легко, коли diam ( G ) = 1 або diam ( G …

1
Покращення загального зниження Кука для Clique до SAT?
Мені цікаво зменшити -Clique до SAT, не зробивши примірник значно більшим.кkk Кліка знаходиться в NP, тому її можна звести до SAT, використовуючи логарифмічний простір. Безпосереднє зменшення підручника Гарі / Джонсона підриває екземпляр до кубічного розміру. Однак -Clique є в P для кожного фіксованого k, тому "повинно" бути ефективне зниження принаймні …

1
Обчислення закриття профспілки
Дано сімейство не більше ніж n підмножин { 1 , 2 , … , n } . Замикання об'єднання Р інший набір сімейство С , що містить кожен набором , який може бути побудований з об'єднанням 1 або більше множин в F . За | C | ми позначимо число …

4
Кількість кліків у графіку: Місяць та Мозер 1965
Я шукаю повний текст результату кліки Місяць і Мозер 1965 р. Про кліки в графах (існують графіки з кількістю максимальних експоненціальних кліків у ). На платній стіні мого університету немає доступу до конкретного журналу. (Насправді попередній перегляд дає перші кілька речень доказу, але потім залишає мене без решти!)нnn Мене зацікавив …

2
Алгоритм переліку кліків
Я читаю стару статтю МК Голумбіка про графіки EPT (перетин країв шляхів на дереві). У статті показано, що кількість максимальних кліків екземпляра графіка EPT є многочленом. Звідси робиться висновок, що якщо оракул повідомляє про той графікГGG є графіком EPT, тоді можна знайти максимальну кліку за допомогою стандартного алгоритму переліку кліків. …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.