Запитання з тегом «co.combinatorics»

Я читаю опитування Тревісана та Лавтта щодо застосувань добавки комбінаторики в TCS. Більшість цих застосувань підпадають під обчислювальну складність , наприклад, нижчі межі. Цікаво, чи знайшла додаткова комбінаторика застосування в дизайні алгоритмів . Мотивація мого питання полягає в наступному: хоча зв'язок між адитивною комбінаторикою і складністю здається дещо природним, мені …

12 ds.algorithms  reference-request  co.combinatorics 

Це питання мотивоване цією публікацією. Чи можете ви визначити суму двох перестановок за багаточлен? , і мій інтерес до обчислювальних властивостей перестановок. А відмінності послідовності 1 , а 2 , ... п перестановок П чисел 1 , 2 , ... п + 1 утворюється шляхом знаходження різниці між кожними двома …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

В даний час я проводжу кілька досліджень формальної мови за участю класів мов вище регулярних, але нижче вільних від контексту. Я дивлюся на такі речі, як багатообласні машини з реверсивним обмеженням, односкладні лічильники, детерміновані КФЛ тощо. Мені цікаво, чи хтось знає хорошу книгу чи оглядовий документ, який окреслює властивості цих …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Я шукаю невеликий графік GGG чиє векторне хроматичне число менше, ніж хроматичне число, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( є вектор хроматичного числа д , якщо є завдання х : V → R D , де інтуїтивно вектори , пов'язані з сусідніми вершинами є далеко один від одного Ця вимога. ⟨ Х ( …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

У відомому документі H. Lenstra Integer програмування з фіксованою кількістю змінних 1983 р. Зазначено, що цілі програми з фіксованою кількістю змінних можуть бути вирішені за часом у поліномії по довжині даних. Я тлумачу це так. Програмування цілочисень загалом все ще є NP-повним, але якщо мій типовий розмір проблеми (наприклад, про …

12 co.combinatorics  linear-programming  integer-programming 

Тут: http://www.planarity.org/Klein_elementar_graph_theory.pdf (у вкладках глави) дається визначення комбінаторного вбудовування плоского графа. (з визначенням граней тощо). Хоча це можна було б легко використовувати для будь-якого графіка, вони визначають планарний графік як графік, для якого дотримується формула Ейлера (якщо вважати, що графік пов'язаний). Цілком зрозуміло, що для кожного плоского графіка визначення граней …

12 graph-theory  co.combinatorics  planar-graphs 

У книзі A = B Петковсека, Вільфа та Зейльбергера описані алгоритми для обчислення різних сум біномій. AFAIK, ці алгоритми все ще вдосконалюються різними авторами. Чи знаєте ви, де ми можемо знайти найсучасніші реалізації цих алгоритмів? А чи знаєте ви, чи існують реалізації в деяких безкоштовних програмних програм, таких як Sage …

12 ds.algorithms  co.combinatorics  implementation 

Якщо являє собою графік з максимальним ступенем 3 , і є мінор H , то G є топологічним мінор H .GGGHHHGGGHHH Вікіпедія цитує цей результат із "Теорії графіків" Дістеля. Він вказаний як Prop 1.7.4 в останній версії книги. У книзі бракує доказів або цитування. Чи відомі місця проживання (оригінального) доказу …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Я задав це питання кілька тижнів тому під час mathoverflow , але я не отримав відповіді. Тут під 3D-сіткою бічної довжини я маю на увазі графік G = ( V , E ) з V = { 1 , … , k } 3 і E = { ( ( …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Нехай і позначає через множину всіх графіків, які можна вбудувати на поверхню роду так, що всі вершини розташовані на зовнішній грані . Наприклад, - це набір зовнішніх площинних графіків. Чи може ширина графіків у бути верхньо обмеженою деякою функцією ?k ∈ Nk∈Nk\in\mathbb{N}ГкGkG_kкkkГ0G0G_0ГкGkG_kкkk Інший напрямок, очевидно, не дотримується, оскільки постійна ширина …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Знову проблема розбиття краю, складність якої мені цікаво, мотивована попереднім моїм питанням . Введення: кубічний графік G=(V,E)G=(V,E)G=(V,E) Запитання: чи є розділ на E 1 , E 2 , … , E s , таким чином, що підграф, індукований кожним E i, є або кігтом (тобто K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Проблеми з забарвленням графіків вже досить важкі для більшості людей . Незважаючи на це, мені доведеться бути важким і задати проблему щодо забарвлення гіперграфа. Питання. Які існують ефективні алгоритми для пошуку приблизно оптимального фарбування краю для k-рівномірних гіперграфів? Деталі --- K-рівномірний гіперграф - це той, у якому кожен край містить …

12 co.combinatorics  hypergraphs  graph-colouring 

Нехай - будь-яка кінцева структура. Чи має теорія першого порядку обмежений ранг квантора, в тому сенсі, що існує такий, що для всіх з є з і ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T \varphi\in\mathfrak{T} qr(φ)&gt;qqr(φ)&gt;q qr(\varphi) > q φ′∈Tφ′∈T \varphi'\in\mathfrak{T} qr(φ′)≤qqr(φ′)≤q qr(\varphi')\leq q φ′≡φφ′≡φ \varphi'\equiv\varphi

11 co.combinatorics  lo.logic  relational-structures 

Враховуючи набір гіперпланів, визначених нормальними векторами , його типи комірок (або знакові вектори) - це всі вектори для яких існує вектор так що і виконується для всіх . Тут позначає внутрішній добуток, а позначає знак ( або ) ненульового реального числа .год1, … , Годм∈ Rггод1,…,годм∈Rгh_1,\dots,h_m \in \mathbf R^d v …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Перехресне від МО . Нехай - клас графіків, визначений кінцевою кількістю заборонених індукованих підграфов, які всі мають циклічний характер (містять принаймні один цикл).CCC Чи є задачі з важким графіком NP, які можна вирішити в поліноміальний час для окрім кришки Clique та Clique?CCC Якщо я пам'ятаю правильно, це неможливо для незалежного …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics