Точна складність проблеми в


9

Дозволяє xi{1,0,+1} для i{1,,n}, з обіцянкою, що x=i=1nxi{0,1} (де сума закінчена Z). Тоді яка складність визначення, якщоx=1?

Зауважте, що тривіально проблема полягає в цьому m2AC0[m] тому що x1modmiff . Питання: чи проблема у ? Якщо так, то яка схема це свідчить? Якщо ні, то як це довести?x=1AC0


Ця проблема може бути тривіальною, але я не знаю відповіді і дуже зацікавлений у її знанні.
СаміД

Відповіді:


7

Можна використовувати звичайний аргумент лемми комутації. Ви не пояснили, як ви представляєте свій вхід у двійковій формі, але при будь-якому розумному кодуванні функція AC еквівалентна вашій функції: (Ми припускаємо, що є парним.) Виходячи з цих конспектів лекцій , припустимо, що можна обчислити за допомогою схеми глибини розміром . Тоді випадкове обмеження входів залишає функцію складності дерева рішень максимум0

f(x1,,xn)={0if x1x2+x3x4+xn=0,1if x1x2+x3x4+xn=1,?otherwise.
nfdnbnn1/2d2d(b+1)+1 з вірогідністю не менше . Розрахунок, ймовірно, покаже, що це ще один екземпляр (на менший розмір входу) з ймовірністю , і тому існує деяке випадкове обмеження, яке дає як екземпляр на входи та функція з постійною складністю дерева рішень, що призводить до суперечності. Цей же аргумент повинен дати експоненціальні нижні межі.11/(3n)fΘ(1/n)fn1/2d

Я думаю, що загальна чутливість цієї функції також буде , тому ви, ймовірно, могли використовувати це для отримання нижньої межі експоненції у моїй відповіді. В результаті, який я цитую, використовується теорема Лініяла-Мансура-Нісана, яка сама використовує комутаційну лему + прості межі для спектра функцій дерева низької складності. Θ(n)
Сашо Ніколов

7

Я не думаю, що це в AC0, і я можу показати нижню межу для відповідної проблеми обіцянки розмежувати і , коли . Подібні методи Фур'є повинні застосовуватися до вашої проблеми, але я цього не підтвердив. А може, є просте скорочення.xi=0xi=2x{1,1}n

Припустимо, існує схема діапазону глибина яка обчислює функцію така, що кожного разу . Тому що для випадкового ймовірність того, що дорівнює , і для кожного такого існує координати, що змінюють значення , загальний вплив дорівнюєsdf:{1,1}n{0,1}f(x)=ixiixi{0,2}xixi=02n(nn/2)n1/2xn/2ffΩ(n1/2), що приблизно відповідає більшості (тому що ви включили більшість чутливих даних більшості). З теореми Хастада (див. Colorraly 2.5 в примітках Райана О'Доннеля ) це означає, що

s2Ω(n1/(2d2)).
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.