Запитання з тегом «p-vs-np»

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

16 cc.complexity-theory  p-vs-np 

Всі ми знаємо, що показ має бар'єри. Ми всі вивчали ці бар'єри , тому що ми вважаємо , що P ≠ N P .P≠NPP≠NPP\ne NPП≠ NПP≠NPP\ne NP Однак припустимо, що і є мудрі люди, які вважають, що така можливість існує . Якщо це дійсно так, то сам факт, що ми …

15 p-vs-np  barriers 

Наскільки я це розумію, доказ того, що P = NP або P would NP повинен бути нерелятивізуючим (як у оракулах теорії рекурсії). Практично всі докази, здається, відносні. Які гарні приклади , які не є Релятівізуемих доказів, з тих , що Р = NP / P ≠ NP доказу було б …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Виходячи з математики фону, здається , цікаво мені , що на всьому комп'ютері вчені , як правило , до роботи в припущенні , що P≠NPP≠NPP \neq NP . Хоча як доказування так і не існує, загалом, якщо щось не може бути спеціально недоведеним і в математиці, і в науці, це …

12 p-vs-np 

в 1979 році Хопкрофт / Уллман писав, що L ⊆ P ⊆ NP ⊆ PSpace відомий, але L ⊊ PSpace є єдиним відомим (і тривіальним) вмістом, хоча всі вони вважаються належним вмістом, і "де все ще стоїть" ~ 4 десятиліття пізніше . з тих пір чи є відомий зв’язок між …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Я цілком впевнений, що я не вперше розважаюсь над ідеєю, яку я збираюся представити. Однак було б корисно, якщо мені вдасться знайти будь-яку літературу, пов’язану з ідеєю. Ідея полягає в тому, щоб побудувати машину Тьюрінга M з властивістю, що якщо P = NP, то M буде вирішувати 3-SAT в поліноміальний …

12 reference-request  turing-machines  p-vs-np 

Виправте NP-повну проблему пошуку, наприклад, форму пошуку SAT. Пошук Левіна забезпечує алгоритм L для вирішення X, який є оптимальним у певному сенсі. Зокрема, алгоритм - "Виконати всі можливі програми P у доопрацюванні на вході x , як тільки якийсь P повернеться відповісти y перевіряє, чи правильно". Оптимально в тому сенсі, …

12 cc.complexity-theory  time-complexity  p-vs-np 

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

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

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

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Перш за все, моє розуміння теореми про незавершеність (та формальної логіки взагалі) дуже наївно, а також мої знання з теоретичної інформатики (мається на увазі лише один аспірантура, який я брав, поки я ще магістрант), тому це питання може бути дуже наївний. Наскільки я міг знайти, спроможність P проти NP є …

11 np-hardness  proofs  p-vs-np 

Мене цікавить питання про те, чи рівний NP співзвучність чи ні. Я дуже вдячний за пораду щодо хороших публікацій, яку прочитав на цю тему. Для запису я знаю, що це питання тісно пов'язане з питанням, чи P дорівнює NP чи ні (такий, якщо NP! = CoNP, то P! = NP). …

11 cc.complexity-theory  reference-request  p-vs-np 

У статті Стівена Кука про проблему Р проти НП [1] він констатує наступне [2]: Теза техніко-економічного обґрунтування: природна проблема має здійсненний алгоритм, якщо вона має алгоритм поліноміального часу. Моє запитання: що саме він (або взагалі взагалі насправді, що означає) означає " природну проблему"? Говорити про природні проблеми, здається, досить часто, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Припустимо, P! = NP. Ми знаємо, що ми можемо зробити прості екземпляри 3-SAT в будь-який час. Ми також можемо створити те, що ми вважаємо важкими прикладами (адже наші алгоритми не можуть їх швидко вирішити). Чи є щось, що заважає набору жорстких екземплярів бути довільно малим, доки для будь-якого заданого розміру …

9 np-hardness  p-vs-np