Запитання з тегом «reference-request»

CMSOL підраховує монадійну логіку другого порядку, тобто логіку графіків, де домен - це сукупність вершин і ребер, є предикати для примикання вершин і вершин, а також є кількісне визначення по краях, вершинах, наборах ребер і вершинах наборів, і є предикат який виражає, чи розмір є модулем .SnКарткап , с( S)Cardn,p(S)\textrm{Card}_{n,p}(S)SSSнnnppp …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

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

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

Лінійне програмування, звичайно, сьогодні дуже добре зрозуміло. У нас багато роботи, яка характеризує структуру можливих рішень та структуру оптимальних рішень. Ми маємо сильну подвійність, багаточастові алгоритми тощо. Але що відомо про мінімальні максимальні рішення LP? Або, що рівно, максимально мінімальні рішення? (Це насправді не дослідницьке запитання, але, можливо, у нас …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Які проблеми з найвідомішим співвідношенням наближення досягаються алгоритмом, що повертає рівномірно випадкове рішення? Я знаю один з таких прикладів проблеми перекладу потоку перестановки : у статті " Напружені межі для планування потоку перестановок " Вісванат Нагараджан та Максим Свириденко довели, що випадкова послідовність завдань має гарантію ( - кількість машин …

12 ds.algorithms  reference-request  approximation-algorithms 

Нещодавно мені нагадали про проблему vs. як пояснив Стівен А. Кук з Математичного інституту глини.Н ПPP\mathsf{P}NPNP\mathsf{NP} Це викликало мій інтерес, і я хотів би дізнатися більше про нього. Першим кроком було б глибше розуміння проблеми та розуміння області загалом. Чи можете ви порекомендувати будь-які книги чи інші ресурси, де я …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Я шукаю ім’я або будь-які посилання на цю проблему. За даним зваженим графіком знайдіть розділ вершин на довстановлює , щоб максимально збільшити значення обрізаних ребер: Зверніть увагу, що деякі з наборів можуть бути порожніми. Таким чином, проблема є по суті max k-cut, за винятком не є частиною вхідних даних: алгоритм …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Я на другому курсі перебуваю в магістратурі, який не дуже пов’язаний з TCS, хоча я б хотів, щоб це було. Це, в основному, теорія управління, сигнали та системи, і я брав заняття в передових системах (надійний, нелінійний, оптимальний, стохастичний), вдосконаленій обробці сигналів та опуклої оптимізації. Я намагаюся знайти хорошу область …

12 reference-request  soft-question 

Які інші проблеми мови, відмінні від ізоморфізму графа, є в ? Чи можете ви дати кілька посилань?NП∩ c o A MNP∩coAMNP\cap coAM Оновлення: Я забув згадати , що я зацікавлений в мовах , невідомо, в .c o NПcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Яка мінімальна ширина дерева ланцюга на {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} для обчислення МАЖ? Тут МАЙ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} виводить 1, якщо принаймні половина його входів дорівнює 111 . Мене цікавить лише розмір ланцюга (повинен бути многочленом) і що вхід повинен бути прочитаний лише один раз, хоча вивільнення вхідних воріт може бути довільним (це …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Я читав про спадкову заміну простого обчислення лямбда та для логічної рамки з різними термінами та типами. Мені цікаво, чи є приклади спадкової заміни в залежно типовій системі з ієрархією Всесвіту? тобто де Тr u e : Sе т0: Sет1:Sет2Тrуе:Sет0:Sет1:Sет2 True : Set_0 : Set_1:Set_2 і т.д. Мені цікаво зокрема, …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Логіка першого порядку Монадики, також відома як клас Монадики проблеми вирішення, - де всі предикати беруть один аргумент. Було показано, що Акерманн може бути вирішеним, і він закінчується NEXPTIME . Однак такі проблеми, як SAT і SMT, мають швидкі алгоритми їх вирішення, незважаючи на теоретичні рамки. Мені цікаво, чи є …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Мене цікавить класична проблема РЕГУЛЯЦІЙНЕ ВКЛЮЧЕННЯ МОВИ. Давши регулярний вираз EЕE , позначимо через L(E)L(E)L(E) звичайну мову, пов'язану з ним. (Регулярні вирази знаходяться на фіксованому алфавіті ΣΣ\Sigma , з об'єднанням операцій, зіркою Kleene та конкатенацією.) Введення: Два регулярні вирази і E 2 Питання: Чи правда, що L ( E 1 …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

У мене є набір двійкових векторів і цільовий вектор який - вектор всіх.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Концепція: Якщо можна записати як лінійну комбінацію елементів над для всіх простих сил , то можна записати як лінійну комбінацію над , тобто існує лінійна комбінація …

11 reference-request  linear-algebra  finite-fields 

Нехай бути мовою і функції за двома параметрами з властивістю , що для всіх і , повертає елемент з якщо і тільки якщо обидва і є елементами :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Запитання Чи мають такі функції в літературі назву? Далі наведено кілька кумедних спостережень. …

11 reference-request  fl.formal-languages 

Антіцепь в DAG ( V,E)(V,Е)(V, E) є підмножина ⊆ V вершин, попарно недосяжний, а саме, немає v ≠ v ' ∈ таким чином, що v досяжна з V ' в Е . З теореми Ділворта в теорії часткового порядку відомо, що якщо DAG не має протиріччя розміром k ∈ N …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order