Теоретична інформатика

Це питання натхнене існуючим питанням про те, чи можна моделювати стек, використовуючи дві черги з амортизованим часом за операцію стека. Відповідь, здається, невідома. Ось більш конкретне запитання, відповідне окремому випадку, коли перші операції PUSH виконуються спочатку, а потім усі операції POP. Наскільки ефективно можна повернути список елементів за допомогою двох …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Які найбільш значущі наукові праці щодо основ генерики в C # і .NET?

12 pl.programming-languages 

Я задав це питання кілька тижнів тому під час 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 

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

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

Я читав у С.П. Джордана, Д. Госсета, "Дж. Дж. Дж. Госсе," проблеми для стоматичних матриць Гамільтоніана та Маркова ", що навряд чи .Q МАQМАQMAQ МА ⊆ А МQМА⊆АМQMA \subseteq AM Мене здивувало це твердження. То які належні стосунки між та ?A MQ МАQМАQMAА МАМAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

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

12 ds.algorithms  reference-request  approximation-algorithms 

Розкладання дерев у найгіршому випадку важко, але жадібний метод наближається до оптимального в невеликих мережах реального життя. Чи відомо щось про твердість розкладання дерева «типового» екземпляра якогось класу графіків? Чи є приклад сімейства графіків, де жадібні методи розкладання дерев погано роблять?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

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

12 cc.complexity-theory  graph-theory  counting-complexity 

Враховуючи термін t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))у теорії типу Мартіна-Лофа, у чому значення w(t(0)), де wоператор, який витягує свідка терміна екзистенційного типу?

12 lo.logic  type-theory  proof-theory 

Підраховуючи аргументи, можна показати, що існують многочлени ступеня n в 1 змінній (тобто щось із вигляду які мають складність ланцюга n. Також можна показати, що для такого полінома, як потрібно принаймні множення (це потрібно лише для отримання достатньо високого ступеня). Чи є явні приклади многочленів в 1 змінній із суперлогоарифмічною …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

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

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

Група Кліффорда квантових операторів породжується квантових операцій: Керований-Z , Адамард , і Фаза ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Схема, складена лише з цих воріт, може бути ефективно змодельована на класичному комп'ютері. Однак, якщо я правильно розумію, не всі класичні алгоритми можуть бути ефективно реалізовані за допомогою групових операцій Clifford, …

12 quantum-computing 

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

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

Працюючи над дещо незв’язаним проектом для Суреша, я нещодавно натрапив на певну роботу, виконану Пейджером та Оппером щодо користувальницьких систем, і частину їхньої роботи коротко обговорили проблеми, які неможливо перевірити за багаточлен. Мені не вдалося знайти багато інформації про інші проблеми, які неможливо перевірити в поліноміальний час або аналіз такої …

12 cc.complexity-theory  complexity-classes