Perguntas com a marcação «boolean-functions»

É sabido que, para uma classe conceitual com a dimensão VC , basta obter exemplos rotulados para o PAC learn . Não está claro para mim se o algoritmo de aprendizado do PAC (que usa essas muitas amostras) é adequado ou impróprio? Nos livros de Kearns e Vazirani, bem como …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Supondo que tenhamos uma função booleana de . É claro que um polinômio multivariado real tal que em pode ser multilinear. Quais são algumas classes interessantes de funções booleanas para as quais o grau mínimo de é conhecido? Temos exemplos concretos?p ( x ) f ( x ) = p …

10 boolean-functions 

Dado um circuito booleano em variáveis ​​(que usa apenas portas NOT, AND e OR), qual é a maneira mais eficiente de extrair a fórmula booleana representada pelo circuito? Existe um algoritmo polytime para esse problema?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Suponha que eu tenha um circuito booleano que calcule alguma função f : { 0 , 1 } n → { 0 , 1 } . Suponha que o circuito seja composto de portas AND, OR e NOT com entrada e saída de ventilador no máximo 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Qual é o resultado do estado da arte sobre a complexidade das consultas de fórmulas 2-DNF apropriadas para o aprendizado do PAC com consultas de amostra e com distribuição uniforme ? Ou algum limite não trivial? Como não estou familiarizado com a teoria da aprendizagem e essa pergunta é motivada …

10 reference-request  lg.learning  boolean-functions 

Braverman mostrou que distribuições que são -wise independenteε-fool profundidadedAC0circuitos de tamanhompor "colando" a aproximação Smolensky e a aproximação de Fourier deumC0funções booleanas -computable. O autor e aqueles que conjeturaram essa conjetura original de que o expoente lá pode ser reduzido aO(d)(logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}ϵϵ\epsilonddd AC0AC0AC^0mmmAC0AC0AC^0O(d)O(d)O(d), e estou curioso para saber se houve …

9 boolean-functions  fourier-analysis 

Dada uma função booleana , temos o grupo automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Digamos que temos uma função booleana f: { - 1 , 1 }n→ { - 1 , 1 }f:{-1 1,1 1}n→{-1 1,1 1}f:\{-1,1\}^n\rightarrow \{-1,1\} e aplicamos a restrição aleatória δδ\delta em fff . Além disso, diga que a árvore de decisão TTT que calcula fff diminui para o tamanho O …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Digamos que temos uma função f: Zn2→ Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} tal que efé uma distribuição, ou seja,∑x∈Z n 2 f(x)=1.∀ x ∈ Zn2f( x ) ∈ { 12n, 22n, ... , 2n2n} ,∀x∈Z2nf(x)∈{1 12n,22n,...,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x ∈ Zn2f( x ) = 1∑x∈Z2nf(x)=1 …

9 it.information-theory  boolean-functions 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

O recente estabelecimento da relação bs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) passa por Gotsman, Linial . A mesma abordagem pode chegar a O(s(f)2)O(s(f)2)O(s(f)^2) ou existe uma limitação essencial à abordagem?

8 cc.complexity-theory  boolean-functions 

O idioma Critical SAT é definido como o conjunto de fórmulas booleanas tal modo que mas remover qualquer cláusula de torna satisfatório. Sabe-se que o Critical SAT é completo. Gostaria de saber sobre a seguinte variante: dada uma fórmula , é o caso de estar em e de que existe …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis ​​com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta é: qual é a complexidade temporal dessa construção? (ou …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

De acordo com o XOR Satisfiability Solver Module para integração de DPLL por Tero Laitinen, precisamos de cláusulas n - 1 CNF para converter uma cláusula XOR-SAT n literal se não quisermos aumentar o número de literais. Portanto, entendo que o custo computacional para converter uma expressão XOR-SAT em um …

8 sat  boolean-functions  boolean-formulas