Вопросы с тегом «boolean-functions»

В проблеме, над которой я сейчас работаю, естественно возникает расширение оператора шума, и мне было любопытно, была ли ранее работа. Сначала позвольте мне пересмотреть основной оператор шума для вещественных булевых функций. Для данной функции и , st , , мы определяем как TεTεT_{\varepsilon}f:{0,1}n→Rf:{0,1}n→Rf: \{0,1\}^n \to \mathbb{R}εε\varepsilonppp0≤ε≤10≤ε≤10 \leq \varepsilon \leq 1ε=1−2pε=1−2p\varepsilon …

16 boolean-functions  fourier-analysis 

Мы говорим, что булева функция f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} является юнтой, если имеет не более влияющих переменных.к kkф ffкkk Пусть - -юнта. Обозначим переменные через . Исправить Ясно, что существует такой, что содержит хотя бы из влияющих …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

Является ли следующая проблема в PTIME или coNP-hard: Даны два булевых выражения и в переменных без отрицания (т. Е. Выражения полностью построены с помощью и ). Решите, есть ли , то есть имеют ли они одинаковое значение для всех назначений переменных.е1е1e_1е2е2e_2Икс1, … , ХNИкс1,...,ИксNx_1,\dots,x_n∧∧\wedge∨∨\veeе1≡ е2е1≡е2e_1 \equiv e_2 Если оба выражения …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

В статье Разборова-Рудича « Естественные доказательства» , стр. 6, в той части, в которой они обсуждают, что есть «сильные доказательства нижних границ против моделей монотонных схем» и как они вписываются в картину, есть следующие предложения: Здесь проблема не в конструктивности - все свойства, используемые в этих доказательствах, возможны - но …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

SAT решатели дают мощный способ проверить правильность логической формулы с одним квантификатором. Например, чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . Чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . (Здесь - -вектор булевых переменных, а - булева формула.)φ ( x …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Я читаю приложение о АССЕ нижних границах для NEXP в Arora и Барак вычислительной сложности книги. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Одна из ключевых лемм - это преобразование из цепей в полилинейные полиномы над целыми числами с полилогарифмической степенью и квазиполиномиальными коэффициентами или эквивалентно , класс цепей S Y M + , который является …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Результат 1: Теорема Линиала-Мансура-Нисана говорит о том, что вес Фурье функций, вычисленных по схемам сосредоточен на подмножествах малого размера с высокой вероятностью.AC0AC0\mathsf{AC}^0 Результат 2: вес Фурье у сконцентрирован на коэффициенте степени n .PARITYPARITY\mathsf{PARITY}nnn Вопрос: Есть ли способ доказать (если это доказуемо), что не вычисляется цепями A C 0 через / …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Для булевой функции влияние й переменной определяется как где строка, полученная путем переключения го бита . Тогда минимальное влияние - этоf:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Учитывая параметр , мы выбираем случайную функцию , выбирая ее значение на каждом из …

13 reference-request  pr.probability  boolean-functions 

Пусть - мажоритарная функция, т.е. f ( x ) = 1 тогда и только тогда, когда ∑ n i = 1 x i > n / 2 . Мне было интересно, есть ли простое доказательство следующего факта (под «простым» я подразумеваю не полагаться на вероятностный метод, как это сделал Valiant …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Пусть - булева функция от n булевых переменных. Пусть g ( x ) = T ϵ ( f ) ( x ) будет ожидаемым значением f ( y ), когда y получается из x путем переключения каждой координаты с вероятностью ϵ / 2 .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Меня интересуют случаи, когда …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам для )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Или есть какое-то существенное препятствие для использования этого …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Справочная информация: В машинном обучении мы часто работаем с графическими моделями, чтобы представить функции плотности с высокой размерностью. Если отбросить ограничение на интеграцию плотности (суммы) в 1, мы получим ненормализованную графо-структурированную энергетическую функцию . Предположим, у нас есть такая энергетическая функция , определенная на графе . Существует одна переменная для …

13 reference-request  machine-learning  lg.learning  boolean-functions 

Пусть - булева функция с чувствительностью s ( f ) и чувствительностью блока b s ( f ) .еffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Гипотеза о чувствительности блока чувствительности утверждает, что существует такое , что ∀ f , b s ( f ) ≤ s ( f ) c .с …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Скажем, у нас есть функция , такая, что ∑ x ∈ Z n 2 f ( x ) 2 = 1 (поэтому мы можем думать о { f ( x ) 2 } x ∈ Z n 2 как о распределении) , Естественно определить энтропию такой функции следующим образом: H …

12 it.information-theory  boolean-functions  fourier-analysis 

Вот проблема с похожим вкусом к изучению хунт: Входные данные: функция f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , представленная оракулом членства, то есть оракулом, который дал xxx , возвращает f(x)f(x)f(x) . Цель: Найти вложенный куб SSS из {0,1}n{0,1}n\{0,1\}^n с объемом |S|=2n−k|S|=2n−k|S|=2^{n-k} такое, что |Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 . Мы …

11 machine-learning  lg.learning  boolean-functions  sample-complexity