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

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

1
Еквівалентні визначення конструктивності часу
Ми говоримо, що функція може бути сконструйована за часом , якщо існує детермінований багатоступеневий апарат Тюрінга який на всіх входах довжини робить не більше кроків і для кожного існує деякий вхід довжини на якому робить різко кроки.f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N}n f ( n ) n n M f ( n )MMMnnnf(n)f(n)f(n)nnnnnnMMMf(n)f(n)f(n) Ми говоримо, …
1
Чи є якась робота, що поєднує машинне навчання та екзотичні форми теорії складності?
Мені здається, що фахівці з машинного навчання / видобутку даних знайомі з P та NP, але рідко говорять про деякі більш тонкі класи складності (наприклад, NC, BPP або IP) та їх наслідки для ефективного аналізу даних. Чи є якесь опитування роботи з цим?
2
Усунення Гаусса з точки зору групових дій
Елімінація Гаусса робить визначальним матричний поліном-час, який можна обчислити. Зменшення складності в обчисленні детермінанта, яка в іншому випадку є сумою експоненціальних доданків, обумовлена ​​наявністю альтернативних негативних ознак (відсутність яких робить обчислення постійними #P-hard#P-hard \#P\mbox{-}hard тобто важче, ніж NP-CNP-CNP\mbox{-}C задач) . Це призводить до певної симетрії у визначнику, наприклад обмін парою …
1
Найменша відома формула визначника
Найменша відома формула для визначника має розмір відповідно до фольклору (або до Ран Раз у своїй роботі Багатолінійні формули для постійних і детермінантних мають надполіноміальний розмір ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} Чи є у вас якісь посилання на це? Зокрема, що це за формула?
2
Чи можна використовувати випадкові обмеження для отримання нижньої межі для ?
Є кілька відомих результатів із нижньою межею на основі випадкових обмежень та леми перемикання .AC0AC0\mathsf{AC^0} Чи можемо ми розробити результат перемикаючої леми для доведення розміру нижньої межі для схем (подібно до нижньої межі доказів для )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Або є якась властива перешкода для використання цього підходу для доведення нижніх меж?TC0TC0\mathsf{TC^0} Чи …
4
Походження термінів "ефективний" та "можливий" обчислення / алгоритм
Я хотів би знати про історію цих двох термінів: " ефективний ", " здійсненний ". Хто їх використав щодо обчислень / алгоритмів вперше? (у сучасному розумінні цих термінів, тобто 20 століття). Як вони стали мейнстрімом? Як ці два терміни почали вживатися як синоніми? Я знаю, що Кобхем використовував термін "здійсненний" …
2
Нижня межа очевидної емуляції машини Тьюрінга
Чи є докази того, що емуляцію машини Тьюрінга на невідомій машині Тьюрінга не можна виконати менше ніж де - кількість кроків, якими користується машина Тьюрінга ? Або це лише верхня межа?O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm У статті Павла Вітанія про релятивізовані забуті машини Тьюрінга стверджує Вітаній "Вони [ Піппенгер і Фішер, 1979 ] …
1
Чи є безперервна версія теореми про паралельне повторення
Теорема про паралельне передбачення Різа є важливим результатом PCP, непроявленості тощо. Теорема формулюється так. Гра , де - кінцеві множини, - розподіл на , а предикат . Визначте значення гри І n -складна гра G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …
1
Алгоритми відновлення SERF та скорочення субекспоненціалу
У мене виникає питання щодо скорочуваності SERF Імпальязцо, Патурі та Зена та субекспоненціальних алгоритмів. Визначення відновлення SERF дає наступне: Якщо зведений до до і існує алгоритм для для кожного , то існує алгоритм для для кожного . (Параметр твердості для обох задач позначається .)P 2 O ( 2 ε n …
1
Елементарні межі для параметра в простежуваності з фіксованим параметром?
У визначенні (сильної) фіксованості параметра фіксації параметрів обмежений час - це вираз форми де вхідним екземпляром є з параметром , - a многочлен, а f - обчислювальна функція.f( к ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),k p f( х , к )(x,k)(x,k)кkkpppfff Можна замінити вимогу обчислюваності для fff …
1
Випадки майже лінійних лінійних систем, що вирішуються за часом
Нехай квадратна n×nn×nn\times n реальна матриця AA{\bf A} і два вектори xx{\bf x} і bb{\bf b} довжини nnn такі, що Ax=b.Ax=b.{\bf A}{\bf x}={\bf b}. Вирішення для xx{\bf x} допомогою стандартного гауссового усунення дає сукупну складність майже O(n3)O(n3)O(n^3) . Однак бувають випадки, коли розв'язування (або ϵϵ\epsilon приблизно рішення) для xx{\bf x} …
1
Паритет-L проти NL
Parity-L, також відомий як L, - це набір мов, розпізнаваний недетермінованою машиною Тюрінга, яка може розрізняти лише парне число чи непарне число шляхів "прийняття". Нещодавно пов'язане питання було задано Ніль де Бодорап.⊕⊕\oplus Моє запитання таке: Чи знаємо ми, чи NL L? Або ці два класи вважаються незрівнянними?⊆⊆\subseteq ⊕⊕\oplus
1
Чи є підрахунок максимальних кліків у графі незрівнянності # P-повний?
Це питання мотивоване запитанням MathOverflow Peng Zhang . Валіант показав, що підрахунок максимальних кліків у загальному графіку є # P-повним, але що робити, якщо ми обмежимось графами незрівнянності (тобто ми хочемо порахувати максимальні античаїни у скінченному наборі)? Це питання видається досить природним, що я підозрюю, що воно було розглянуто раніше, …
6
"Природні" вирішувані проблеми, які, як відомо, відсутні в НП.
Кожного разу, коли я викладаю NP-повноту, студенти запитують, "чи існують проблеми, які, як відомо, не належать до NP?" Як би ти відповів? Я, як правило, даю їм нерозв'язну проблему як приклад, але це часто не виходить добре: (а) якщо я даю їм проблему зупинки, вони вважають, що це якийсь тупий …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.