Позволять за с обещанием, что (где сумма закончилась ). Тогда какова сложность определения, если?
Обратите внимание, что тривиально проблема заключается в потому что если . Вопрос в том, заключается ли проблема в ? Если так, то что за схема свидетельствует об этом? Если нет, то как это доказать?
Ответы:
Вы можете использовать обычный аргумент переключения леммы. Вы не объяснили, как вы представляете свои входные данные в двоичном формате, но при любой разумной кодировке следующая функция AC -эквивалентна вашей функции: (мы предполагаем, что четное.) Следуя этим примечаниям к лекции , предположим, что можно вычислить с помощью схемы глубины размера . Тогда случайное ограничение входов оставляет функцию сложности дерева решений не более0
источник
Я не думаю, что это в AC0, и я могу показать нижнюю границу для связанной задачи обещания различения между и , когда . Подобные методы Фурье должны применяться к вашей проблеме, но я не проверял это. Или, может быть, есть простое сокращение.∑xi=0 ∑xi=2 x∈{−1,1}n
Предположим, что существует схема глубины размера , которая вычисляет функцию такую, что всякий раз, когда . Потому что для случайного вероятность того, что равна , и для каждого такого существует координаты, которые меняют значение , общее влияние равноs d f:{−1,1}n→{0,1} f(x)=∑ixi ∑ixi∈{0,2} x ∑ixi=0 2−n(nn/2)≈n−1/2 x n/2 f f Ω(n1/2) , что примерно так же, как большинство (потому что вы включили большинство чувствительных входных данных большинства). По теореме Хастада (см. Colorraly 2.5 в заметках Райана О'Доннела ) это означает, что
источник