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

Чи відомий результат класу складності 1-в-3-SAT з обмеженою кількістю змінних випадків? Я придумав наступне скоромовне скорочення з Пітером Найтінгейлом, але я хочу навести щось, якщо це буде відомо. Ось хитрість, яку ми придумали. Це показує, що 1-в-3-SAT обмежено 3 входами на змінну - NP повний і #P повний (оскільки 1-в-3-SAT …

11 reference-request  sat  reductions 

Існують алгоритмічна теорія графіків / теорія чисел / комбінаторика / теорія інформації / теорія ігор. Чи є алгоритмічний математичний аналіз? Згідно з wiki, математичний аналіз включає теорії диференціації, інтеграції, міри, меж, нескінченних рядів та аналітичних функцій. Добре зосередитись на реальному аналізі (wiki), який має справу з реальними числами та реально …

11 cc.complexity-theory  reference-request  soft-question  computability 

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

11 reference-request  soft-question 

Розглянемо наступну проблему: Давши два рядки x, y, вирішіть, чи існує гомоморфізм рядків f таким, що f (x) = y. Неважко показати, що ця проблема в . Чи можна сказати про цю проблему інші речі? наприклад, це в або навіть ?c o N P PNPNPNPcoNPcoNPcoNPPPP Ця проблема здається дуже природною, …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Як відомо, визначення обчислювальної складності алгоритму майже не суперечить, але визначення обчислювальної складності реалів або обчислювальних моделей над реалами не в такому випадку. Ми знаємо модель і модель Блума і Смайла в книзі «Комп'ютерний аналіз». І, здавалося б, модель в обчислювальному аналізі відповідає класичній моделі, але визначення обчислювальної складності дійсних …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Мені хотілося б знати (пов'язане з цим іншим запитанням ), чи були відомі нижчі межі для наступної проблеми тестування: одному надається запит на доступ до послідовності негативних чисел та , з обіцянкою, що або або .an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1)∑nk=1ak=1∑k=1nak=1\sum_{k=1}^n a_k = 1∑nk=1ak≤1−ε∑k=1nak≤1−ε\sum_{k=1}^n a_k \leq 1-\varepsilon Скільки запитів (пошукових …

11 reference-request  randomized-algorithms  property-testing 

Є дуже приємна конструкція Конвея сюрреалістичних чисел. Вони є "числами", що містять як дійсні числа, так і порядки, повністю упорядковані і мають усі властивості поля (за винятком того, що вони не утворюють множину, а клас). Для ознайомлення див., Наприклад, цей PDF-файл або Вікіпедію . Вони можуть бути ще більш узагальнені …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

Розглянемо графік (проблема має сенс як для спрямованих, так і непрямих графіків). Назвіть матрицю відстаней : - найкоротша відстань шляху від вершини до вершини в для певної фіксованої функції агрегації (наприклад, або ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Я би мовити , що підграф G′G′G' з GGG (з таким же безліччю вершин) є зр-еквівалентно …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

У теоремах безкоштовно! , Вадлер каже, що характеристика параметричності може бути повторно виражена через слабкі природні перетворення, і це буде предметом подальшої роботи. На який документ він посилається? Мені відомий категоричний підхід до парамтериктики використовує динатуральні перетворення, як у функціональному поліморфізмі Бейнбріджа, Фрейда, Щедрова та П. Дж. Скотта. Який взаємозв'язок …

11 reference-request  ct.category-theory  parametricity 

Чи відома наступна претензія? Претензія : Для будь-якого графіка з вершинами існує забарвлення таким чином, що кожен незалежний набір забарвлений не більше ніж кольорами.GGGnnnGGGO(n−−√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Чи знаєте ви проблеми, які W [1] є твердими навіть для обмежених графів ступенів? Метричний розмір є важким для графіків зі ступенем максимум 3, але він є W [2] -твердим. Червоно-синій Nonblocker раніше був W [1] -твердий на обмежених градусних графах, але в доведенні була помилка (книга Downey Fellows 2013), …

11 reference-request  parameterized-complexity 

Я читаю знамениту документацію Імпальязцо та Вігдерсона в 1997 році. Оскільки я новачок у цій галузі, і стаття є стислою версією конференції, мені важко дотримуватися їхніх доказів. Зокрема, деяким їх новим теоремам бракує доказів. Наскільки мені відомо, не було опубліковано версії журналу.P=BPPP=BPP\mathsf P=\mathsf{BPP} Я шукаю ресурси, з яких я можу …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Я шукаю ресурси (бажано, посібник) на розширені теми алгоритмів (теми, що виходять за рамки підручників з алгоритмами, такі як CLRS та DPV). Тип матеріалу, який може бути використаний для викладання тем з курсу алгоритмів, наприклад, курсу Еріка Демена та курсу « Розширені алгоритми» Девіда Каргера . Ресурси, які давали б …

11 ds.algorithms  reference-request  survey  books 

Мені цікаво вивчити повні проблеми графіка Ізоморфізм (GI). У статті "Проблеми, які поліноміально еквівалентні ізоморфізму графіка" Келлога С. Бута (1979), було доведено, що багато основних проблем є GI завершеними методами заміни Edge, методами композиції тощо. Я хотів би вивчити ще кілька прийомів, які використовуються в останніх роботах. Чи може хтось …

11 cc.complexity-theory  reference-request  graph-isomorphism 

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

11 reference-request  graph-algorithms  survey