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

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

3
Пояснення у стилі Вікіпедії теорії геометричної складності
Чи може хтось надати стисле пояснення підходу Мулмулі щодо ГКТ, зрозумілого не експертам? Пояснення, яке було б підходящим для сторінки Вікіпедії на цю тему (яка на даний момент є заглушкою). Мотивація: Я «читаю» книгу Скотта Ааронсона «Квантові обчислення з часів Демокрита» з моїм другом, який є дослідником теорії струн. У …
8
Кращі верхні межі на SAT
В іншій темі Джо Фіцсімонс запитав про "найкращі нинішні межі на 3SAT". Я хотів би піти іншим шляхом: які найкращі поточні верхні межі на 3SAT? Іншими словами, яка часова складність найефективнішого рішення SAT? Зокрема, чи можна знайти субэкспоненциальный (але суперполіномний) алгоритм для SAT?
5
Теоретичні пояснення практичного успіху вирішувачів SAT?
Які теоретичні пояснення існують для практичного успіху вирішувачів SAT, і чи може хтось дати огляд "стилю вікіпедії" та пояснення, пов'язуючи їх разом? За аналогією, згладжений аналіз ( версія arXiv ) для алгоритму симплекс робить велику роботу, пояснюючи, чому він працює так добре на практиці, незважаючи на те, що він займає …
22
Які ієрархії та / або теореми ієрархії ви знаєте?
В даний час я пишу опитування щодо теорем ієрархії на TCS. Шукаючи супутні документи, я помітив, що ієрархія є фундаментальним поняттям не лише в ТКС та математиці, але в численних науках, від теології та соціології до біології та хімії. Бачачи, що кількість інформації величезна, я сподіваюся, що я можу попросити …
12
Основи Грьобнера в TCS?
Хтось знає про цікаве застосування баз Грьобнера в теоретичній інформатиці? Основи Грьобнера використовуються для розв’язання багатозмінних поліноміальних рівнянь, що є загальним завданням NP. Мені було цікаво, чи використовувались якісь спеціальні випадки, що забезпечують ефективні алгоритми / конструкції / докази в сферах TCS або TCS (комбінаторика, теорія кодування).
3
Наслідки алгоритму квазіполіноміального часу для задачі графіка ізоморфізму
Проблема Графічного ізоморфізму (ГІ), мабуть, є найбільш відомим кандидатом на NP-проміжну проблему. Найвідоміший алгоритм - це субекспоненціальний алгоритм із часом виконання . Відомо, що GI не єNP-комплектним, якщополіноміальна ієрархія неруйнується.2O ( n журналн√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Якими були б теоретичні наслідки складності алгоритму квазіполіноміального часу для задачі Графічного ізоморфізму? Чи може …
5
Затишні мікрорайони "P" та "NP-hard"
Нехай - алгоритмічне завдання. (Це може бути проблема рішення або проблема оптимізації чи будь-яке інше завдання.) Назвемо "на поліномічній стороні", якщо припустити, що є NP-жорстким, що означає, що поліноміальна ієрархія руйнується. Назвемо "на стороні NP", якщо припускати, що допускає поліноміальний алгоритм, який означає, що поліноміальна ієрархія руйнується.XXXXXXXXXXXXXXXX Звичайно, кожна проблема …
3
Характеристика з фіксованою глибиною
Це питання про складність схеми. (Визначення знаходяться внизу.) Яо і Бейгель-Таруї показали, що кожне сімейство ланцюгів розміром має еквівалентне сімейство схем розміром глибини дві , де вихідний затвор є симетричною функцією, а другий рівень складається з ворота вентилятора в. Це досить чудовий "глибинний колапс" сімейства ланцюгів: із схеми глибини 100 …
3
Які причини того, що дослідники обчислювальної геометрії віддають перевагу моделі BSS / real-RAM?
Фон Обчислення реальних чисел складніші, ніж обчислення на натуральних числах, оскільки дійсні числа є нескінченними об'єктами і існує незліченно багато реальних чисел, тому реальні числа не можуть бути достовірно представлені кінцевими рядками над скінченним алфавітом. На відміну від класичної обчислюваності за кінцевими рядками, де різні моделі обчислень, такі як: лямбда-числення, …
3
Докази того, що матричне множення не є в
Поширена думка, що для всіх можна помножити дві матриць уϵ > 0ϵ>0\epsilon > 0n × nн×нn \times nО ( н.)2 + ϵ)О(н2+ϵ)O(n^{2 + \epsilon}) . Деяке обговорення тут . Я запитав деяких людей, більш знайомих з дослідженням, чи вважають вони, що існує незалежно від , що існує алгоритм для матричного …
2
Чи відомі проблеми ПРАМИ, ФАКТОРИНГИ, які є P-жорсткими?
Нехай PRIMES (він же тестування первинності ) є проблемою: З огляду на натуральне число , є просте число?nнnnнnn Нехай проблема FACTORING : Враховуючи натуральні числа , при , чи має коефіцієнт з ?m 1 ≤ m ≤ n n d 1 < d < mнnnмmm1 ≤ m ≤ n1≤m≤n1 \leq …
3
Чи є проблема цілочисельної факторизації складнішою за факторизацію RSA:
Це перехресний пост від math.stackexchange. Нехай FACT позначає цілочисельну задачу факторингу: заданий знаходить праймери та цілі числа такі щоp i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pi∈ N ,pi∈N,p_i \in \mathbb{N},еi∈ N …
3
Чому ворота mod_m цікаві?
Райан Вільямс щойно розмістив нижню межу на ACC , класі проблем, які мають контури постійної глибини з необмеженими вентиляторами та воротами І, АБО, НЕ та MOD_m для всіх можливих м. Що такого особливого у воротах MOD_m? Вони дозволяють імітувати арифметику над будь-яким кільцем Z_m. До результату Райана, кидання воріт MOD_m …
2
Програма GCT Мулмулі
Іноді стверджується, що теорія геометричної складності Кетана Малмулі є єдиною правдоподібною програмою вирішення відкритих питань теорії складності, таких як P проти NP. Про програму надійшло кілька позитивних коментарів відомих теоретиків складності. За словами Мулмулі, потрібен тривалий час, щоб досягти бажаних результатів. Увійти в область непросто для теоретиків загальної складності і …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.