Запитання з тегом «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 є здійсненним КНФ Формула з nnn змінних і mmm положень. Нехай SF1SF1S_{F_1} - простір рішення F1F1F_1 . Розглянемо задачу визначення, враховуючи F1F1F_1 , інший КНФ формула F2F2F_2 з тим же набором змінних , як F1F1F_1 , з SF2=SF1SF2=SF1S_{F_2} = S_{F_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 

З огляду на m,n,km,n,km, n, k , скільки kkk -DNF з змінними та застереженнями є тавтологією? (або скільки -CNF не задовольняє?)m knnnmmmkkk

17 co.combinatorics  lo.logic  sat 

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

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

Оскільки термін перевантажений, спочатку коротке визначення. Пост - це набір наділений частковим порядком . Враховуючи два елементи , ми можемо визначити x \ vee y (приєднатись) як їх найменшу верхню межу в X , і аналогічно визначити x \ wedge y (meet) (join) як найбільшу нижню межу.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee …

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

Враховуючи випадкову ходу на графіку, час покриття - це перший раз (очікувана кількість кроків), коли кожна вершина була вдарена (охоплена) ходою. Для підключених ненаправлених графіків час покриття, як відомо, є верхньою межею на O(n3)O(n3)O(n^3) . Існують сильно пов'язані диграфи з експоненціалом часу покриття в nnn . Прикладом цього є Орграф …

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

Лінійне розширення з ч.у.м. є лінійним порядком на елементах , такі , що в тягне в для всіх .LLLPП\mathcal{P}PП\mathcal{P}x≤yх≤уx \leq yPП\mathcal{P}x≤yх≤уx \leq yLLLx,y∈Pх,у∈Пx,y\in\mathcal{P} Лінійне розширення граф являє собою графік , на безлічі лінійних розширень відвідати, де дві лінійних розширення є суміжними , якщо вони точно ді ер і далі в …

17 graph-theory  co.combinatorics 

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

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

Добре відомо, що К5К5K_5 і К3 , 3К3,3K_{3,3} є забороненими неповнолітніми для плоских графіків. Існують сотні заборонених неповнолітніх для графіків, вбудованих на торі. Кількість заборонених неповнолітніх для графіків, вбудованих на поверхню роду g, є експоненціальною функцією g . Моє запитання таке: Чи є явний графік ГтГтG_t на вершинах t (що …

17 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

Вибачте, якщо це наївне питання, але я не зміг знайти виправдання в жодній з головних підручників, таких як Бонді-Мерті, Дістель чи Вест. Ідеальні графіки мають багато прекрасних властивостей, але яка єдина причина, яку вони називають досконалою? Або це просто естетичні переваги Берже?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Ми говоримо, що булева функція є -junta, якщо має максимум впливає на змінні.f : { 0 , 1 } n → { 0 , 1 } f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}k kkf ffkkk Нехай - -'юнта. Позначимо змінні через . Виправити Зрозуміло, що існує такий, що містить принаймні впливних змінних .f …

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