Мене цікавить, чи існують якісь хороші статті-описи чи опитування, до яких я можу звернутися, коли пишу про операторів класу складності : операторів, які перетворюють класи складності, роблячи такі речі, як додавання до них кількісних показників. Приклади операторів Далі можна трактувати як мінімальний список операторів, відповідь на які слід описати. Тут …
Край кришки являє собою підмножину ребер графа, що кожна вершина графа суміжно принаймні , одного краю кришки. Наступні два документи говорять про те, що підрахунок обкладинки крайок є #P -комплект : Простий FPTAS для підрахунку обкладинки країв та генерування обкладинки країв графіків шляху . Однак, якщо я щось не пропустив, …
Теореми ієрархії є основними інструментами. Чимала їх кількість була зібрана в попередньому запитанні (див. Які ієрархії та / або теореми ієрархії ви знаєте? ). Деякі розділення класів складності безпосередньо випливають із теорем ієрархії. Приклади таких відомих розділень: , , , .P ≠ E X P N P ≠ N E …
Коли ми дивимось книгу, теорія типу гомотопії - ми бачимо наступні теми: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 The unit …
Однозначні кінцеві автомати (UFA) - це особливий тип недетермінованих кінцевих автоматів (NFA). NFA називається однозначним, якщо кожне слово має щонайменше один приймаючий шлях.w∈Σ∗w∈Σ∗w\in \Sigma^* Це означає .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Відомі пов'язані результати автоматики: Мінімізація NFA завершена PSPACE. Мінімізація NFA на обмежених мовах є DP-Hard . Мінімізація UFA завершена NP . …
Я шукаю проблеми, які, як відомо, є NPC для спрямованих графіків, але мають поліноміальний алгоритм для непрямих графіків. Я бачив питання щодо навпаки проблем, спрямованих на "Направлені", які легші, ніж їх "непрямий" варіант , але я шукаю жорсткість на спрямованій стороні. Наприклад, відомо, що набір крайових зворотних зв'язків є NPC …
Нещодавно Гоуерс окреслив проблему, яку він називає "дискретною рішучістю Бореля", вирішення якої пов'язане з доведенням нижчих меж ланцюга. Чи можете ви надати короткий виклад підходу, пристосованого до аудиторії складних теоретиків? Що потрібно для цього підходу, щоб довести що- небудь , в тому числі відновити відомі нижчі межі?
У роботі Ефективний алгоритм для ізоморфізму графів Корнейла та Готлиба, 1970 р., Було викладено гіпотезу, згідно з якою зазначений алгоритм спирався на розв’язання ГІ у поліноміальний час. А саме: що репрезентативні графіки демонструють розділення автоматифізму даного графа Очевидно, ця гіпотеза досі не доведена (інакше ми б знали, що GI знаходиться …
Є лише дуже мало інформації, яку я можу знайти про повну NP-задачу розв’язання лінійного рівняння діофантину в негативних цілих числах. Тобто чи є рішення в невід’ємних рівняння , де всі константи позитивні? Єдина відома згадка про цю проблему, про яку я знаю, - це в Теорії лінійного та цілого програмування …
Це питання, ймовірно, знаходиться на межі між темою та поза темою, однак тут я бачив подібні запитання, тому я його запитую. Я реалізую унікальний вирішувач kkk -SAT, вхід якого є формулою kkk -CNF, що має щонайменше 111 задовольняюче завдання. Щоб перевірити його практичну поведінку, мені потрібен набір таких формул. Я …
Мені запропонували викладати нову програму середньої школи TCS, яка вимагає побудови навчальної програми. Я дуже хотів би почути думки та пропозиції щодо цього. По-перше, хтось знає із середніх шкіл, де програму TCS викладали успішно (або безуспішно)? Ідея передбачає трирічну програму (10–12 класи, вік 16–18 років), приблизно 8 годин на тиждень, …
Будь- плоский , відповідно, внешнепланарним граф задовольняє умову , відповідно, , для кожного подграфа з . Крім того, (зовнішні) планарні графіки можна розпізнати в поліноміальний час.| E ′ | ≤ 3 | V ' | - 6 | E ′ | ≤ 2 | V ' | - 3 G …
Мені цікаво, чи існують документи чи дослідження, що займаються видимими автоматичними витисканнями, але дозволяють слова, а не однієї літери, висуватися на стек. Крім того, конструкція, яка дозволила натискати символи на -переходи, могла досягти тієї ж мети.ϵϵ\epsilon Очевидно, що такі зміни можуть бути сформовані, але мені цікаво, чи це руйнує властивості …
Вийшов новий документ, в якому стверджується квазіполіноміальний алгоритм для дискретного логарифму. http://arxiv.org/abs/1306.4244 Якщо це правильно, чи означає це, що у нас більше немає експоненціального поділу за складністю класичного алгоритму та його квантової версії для задачі дискретного логарифму? Чи має це значення для теорії квантової складності?