Запитання з тегом «cc.complexity-theory»

P проти НП та інших обчислень, обмежених ресурсами.

1
Які докази ми маємо для
Після пропозиції Джоша Грохова я перетворюю свій коментар з попереднього запитання в нове запитання. Які докази ми маємо для UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} ? Тут UPUP\mathsf{UP} - клас мов, впізнаваний за недетермінованими машинами Тюрінга в поліноміальних часах, які мають унікальний приймальний шлях на екземпляри "так" і не приймають шлях на екземпляри …
2
Класи графіків, де проблеми Гамільтонового циклу та Гамільтонового шляху мають різну складність
Під час пошуку інформаційної системи про графічні класи та їх включення я знайшов кілька класів графіків, для яких проблема гамільтонівського циклу не є повною, тоді як складність задач Гамільтонів Шлях НЕ відома. Деякі з цих класів - це двобічні графіки максимального ступеня 3, графіки 3-х ступенів максимального ступеня та 2-з’єднані …
2
Задача графіка Ізоморфізм
Я роблю огляд літератури щодо проблеми ізоморфізму Графа. Більшість робіт, які я читаю, написані Е. М. Луксом та Ласло Бабаєм. У цих роботах використовуються знання високого рівня з теорії груп та теорії складності. Оскільки я новачок у цій галузі, багато речей мені не зрозумілі. Чи може хтось запропонувати мені спосіб …
3
У якому класі є рандомізовані алгоритми, які помиляються з точно 25% шансом?
Припустимо, я розглядаю наступний варіант BPP, який назвемо E (xact) BPP: Мова є в EBPP, якщо є рандомизований TG поліном, який приймає кожне слово мови з точно 3/4 ймовірністю, і кожне слово не в мова з точно 1/4 ймовірністю. Очевидно, що EBPP міститься в BPP, але вони рівні? Це було …
5
Чому економісти повинні піклуватися про складність обчислень
Намагаючись переконати економістів у важливості теорії складності у друку, чи є стандартна посилання на цитування? Я знайомий з блозі Ноам Нісан в , обстеженні Тіма Роугарден в і главі 11 есе Ааронсон в . Ці посади доступні для вчених-комп'ютерів, але не використовують мову економістів і не публікуються у місцях, що …
1
У чому полягає складність цієї проблеми фарбування краю?
Останнім часом я стикався з наступним варіантом фарбування країв. З огляду на підключений непрямий графік, знайдіть забарвлення ребер, яка використовує максимальну кількість кольорів, одночасно задовольняючи обмеження, що для кожної вершини краї, що падають на v, використовують не більше двох кольорів.vvvvvv Перший мій здогад - це те, що проблема непроста. Класичні …
1
Складність вибірки (приблизно) перетворення Фур'є булевої функції
Одне, що можуть зробити квантові комп'ютери (можливо, навіть за допомогою лише квантових схем BPP + логічної глибини), це наблизити вибірку перетворення Фур'є булевої оціненої функції в P.± 1±1\pm 1 Тут і нижче, коли я говорю про вибірку перетворення Фур'є, я маю на увазі вибір x відповідно до . (Нормалізується при …
3
Конструктивно ефективні алгоритми без ефективної коректності та доказів ефективності
Я шукаю природні приклади ефективних алгоритмів (тобто в поліноміальний час) st їх правильність та ефективність можна довести конструктивно (наприклад, у або ), алеPRAPRAPRAHAHAHA ніяких доказів, що використовують лише ефективні поняття, не відомо (тобто ми не знаємо, як довести їх правильність та ефективність у або ).TV0TV0TV^0S12S21S^1_2 Я можу самостійно робити штучні …
2
Стан в нижніх межах схеми для полілогічно обмежених схем глибини
AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Однак отримання результатів конкретних нижніх меж на полілогоарифмічних глибинних схемах здається недосяжним за допомогою класичних методів, таких як обмеження входів та наближення поліномів до кінцевих полів. Я знаю документ STOC'96, який веде до теорії геометричної складності і який показує, що ефективне паралельне обчислення з використанням операцій без біт-розумних не …
1
Що таке # P-повні підродини # 2-SAT?
Коротка версія. Оригінальний доказ того, що # 2-SAT є #P -комплект , насправді показує, що ті екземпляри # 2-SAT, які є одноманітними (не включаючи заперечення жодних змінних) і двосторонніми (графік, сформований за допомогою пунктів над змінні - це двобічний графік) - #P -твердий. Таким чином, два випадки # 2-ТОН-SAT і …
1
Хто представив клас складності змінного струму?
Я вчив нижніх меж сьогодні, і один зі студентів запитав про причини назви C . Офіційне пояснення полягає в тому, що "A" означає "Чергування".А С0АС0AC^0АСАСAC Я туманно пам'ятаю, як мені говорили багато років тому, що Нік Піппенгер Стів Кук назвав честь Ніка Піппенгера (клас Ніка), а пізніше Ніка назвав S …
2
Чи можна реально виявити сильну твердість NP, використовуючи звичайне скорочення полімета?
Нещодавно я прочитав доказ, який мав на меті показати, що проблема була сильно важкою для NP, просто шляхом зменшення до неї (в поліноміальний час) від сильно важкої проблеми NP. Це не мало для мене сенсу. Я б подумав, що вам доведеться показати, що будь-які числа, що використовуються для скорочення, та …
1
Використання додаткової сили методу негативного противника
Негативний метод супротивника ( ADV±ADV±ADV^\pm ) - це СДП, який характеризує складність квантового запиту. Це узагальнення широко застосовуваного протиборчого методу ( ADVADVADV ) і долає два бар'єри, що перешкоджали протиборчому методу: Бар'єр тестування властивостей: якщо всі 0-екземпляри ϵϵ\epsilon -далі від усіх 1-екземплярів, тоді метод супротивника не може довести нижню межу …
3
Наскільки важко точно моделювання алгоритмів та пов'язані з ними операції на класах складності
Тизер Оскільки проблема довга, тут є особливий випадок, який охоплює її суть. Проблема: Нехай A є детермінованим алгоритмом для 3-SAT. Чи є проблема повного моделювання алгоритму А (на кожному екземплярі проблеми). P-Space важко? (Точніше, чи є підстави вважати, що це завдання є важким P-Space, чи щось у цьому напрямку випливає …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.