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

Формула Monotone-2CNF - це формула CNF, де кожен пункт складається саме з 2 позитивних літералів. Тепер у мене формула Monotone-2CNF . Нехай - безліч задач , що задовольняють. У мене також є Oracle який може дати наступну інформацію:S F OЖFFSSSЖFFОOO Можливість множини (тобто кількість розв’язків ).FSSSЖFF Дано змінну : хxx …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Припустимо, ми маємо набір S графів (кінцеві графіки, але їх нескінченна кількість) та групу P перестановок, яка діє на S. Екземпляр: Перестановка p в P. Запитання: Чи існує графік g в S, який допускає автоморфізм p? Чи є ця проблема NP-повною для деяких наборів S? Було б легко перевірити, чи …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

У статті під назвою "Про заперечення в загальній системі відліку та випадкової моделі Oracle" Рафаель Пас пише: Зауважимо, що при доведенні безпеки відповідно до стандартного визначення нульових знань у моделі RO [Random Oracle], тренажер має дві переваги перед звичайним модельним симулятором, а саме: Симулятор може бачити, на які значення сторони …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Після обговорення нижчих меж для 3SAT [ 1 ] мені цікаво, які основні результати нижньої межі формулюються як компроміси в просторі та часі. Я виключаю такі результати, як, скажімо, теорема Савича; хороший запис буде зосереджений на одній проблемі та її межах. Прикладом може бути: "Нехай T і S - час, …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Простіше кажучи: яка відповідність між машинами Тюрінга з оракулами та сімействами однорідних схем з оракулами? Як визначаються останні для того, щоб отримати таку ж обчислювальну модель для даної машини Oracle Turing? Це може бути елементарним питанням, але не очевидно, куди шукати, і я такий тип людини, який любить переконатися, що …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Завдяки Іммерману та Шелепчесній відомо, що якщо f = Ω ( log ) (навіть для функцій, що не конструюються у просторі).N S P A C E (ф) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( журнал )f=Ω(log)f=\Omega(\log) У тій же статті Іммерман зазначає, …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Алгоритм тестування розподілу для властивості P розподілу (який є лише деяким підмножиною всіх розподілів за [n]) дозволений доступ до зразків відповідно до деякого розподілу D, і він повинен вирішити (whp), якщо або d ( D , P ) > ϵ ( d зазвичай це відстань ℓ 1 ). Найпоширеніший показник …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Клас складності PPAD був винайдений Крістосом Пападімітріу у своїй роботі з 1994 року . Клас призначений для відображення складності задач пошуку, коли існування рішення гарантується "аргументом паритету у спрямованих графах": якщо в спрямованому графіку є неврівноважена вершина, то повинна існувати ще одна. Але зазвичай клас формально визначається з точки зору …

13 cc.complexity-theory  reductions  search-problem  ppad 

Якщо чесно, я не знаю так багато про те, як генерується випадкове число (коментарі вітаються!), Але припустимо наступну теоретичну модель: Ми можемо отримати цілі числа, рівномірно випадкові з і наша мета - вивести ціле число, рівномірно випадкове з [1,3].[ 1 , 2 n ][1,2n][1,2^n] Просте рішення, очікуваний час роботи якого …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Припустимо, P NP.≠≠\ne Теорема Ладнера говорить, що існують проміжні проблеми NP (проблеми в NP, які відсутні ні в P, ні в NP). В Інтернеті я знайшов кілька завуальованих посилань, які підказують (я думаю) про те, що в NPI існує багато "рівнів" взаємно зворотних мов, які точно не всі згортаються в …

13 cc.complexity-theory  np  np-intermediate 

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

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

Чи відомо, чи задана вершина зворотного зв'язку на непрямих плоских графах обмеженого ступеня -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Клас складності PPAD зазвичай визначають, заявивши, що End-Of-The-Line є PPAD-повним. Кінцева лінія - проблема пошуку. Вхід складається з спрямованого графа, в якому кожен вузол має ступінь і ступінь не більше 1. Графік задається функцією обчислювальної функції в поліномі в часі яка повертає попередника і наступника . Крім того, одному надається …

13 cc.complexity-theory  complexity-classes  ppad 

Розглянемо наступну гру на спрямованому зваженому графі з мікросхемою на якомусь вузлі.ГGG Усі вузли позначені A або B.ГGG Є два гравці Аліса та Боб. Мета Аліси (Боб) - перенести чіп на вузол, який позначений A (B). Спочатку Аліса та Боб мали та доларів відповідно.мАmAm_AмБmBm_B Якщо гравець перебуває в програшній позиції …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Є дослідник, який показує, що стираючи біт повинен споживати енергію, а чи проводиться дослідження середнього споживання енергії алгоритму з обчислювальною складністю ? Напевно, обчислювальна складність F ( n ) співвідноситься із середнім споживанням енергії, сподіваюсь, що тут я можу отримати певну відповідь.Ж( n )F(n)F(n)Ж( n )F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics