Perguntas com a marcação «circuit-complexity»

Pode-se falar da treewidth de um circuito booleano, definindo-o como o treewidth do gráfico "moralizada" em fios (vértices) obtida da seguinte forma: os fios de conexão umaumaa e bbb quando bbb é a saída de uma porta tendo umaumaa como entrada (ou vice-versa); fios de conexão umaumaa e bbb quando …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Adleman demonstrou, em 1978, que B P P ⊆ P / p o l yBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : se uma função booleana de variáveis pode ser calculado por um circuito booleano probabilística de tamanho , em seguida, pode também ser calculado por um circuito booleano determinista de tamanho polinômio em e …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Sabe-se que se , a hierarquia polinomial colapso para e .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Quais são os colapsos mais fortes que se sabe se o ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

P / poly é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Dado um algoritmo em execução no tempo , podemos convertê-lo em uma família de circuitos uniformes "triviais" para o mesmo problema de tamanho, no máximo .t(n)t(n)t(n)≈ t ( n ) logt ( n )≈t(n)log⁡t(n)\approx t(n)\log t(n) Por outro lado, pode ser que tenhamos circuitos uniformes muito menores para esse problema, …

13 cc.complexity-theory  circuit-complexity  uniformity 

Seja a função majoritária, ou seja, se e somente se . Fiquei me perguntando se havia uma prova simples do seguinte fato (por "simples" quero dizer não confiar no método probabilístico como o Valiant 84 fez ou em redes de classificação; de preferência, fornecendo uma construção explícita e direta do …

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

É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c, onde c é uma …

13 cc.complexity-theory  reference-request  circuit-complexity 

Seja uma função booleana de variáveis ​​booleanas. Seja o valor esperado de quando é obtido a partir de ao inverter cada coordenada com probabilidade .fffg ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2nnng(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 Estou interessado …

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

Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T C0 0TC0\mathsf{TC^0}A C0 0AC0\mathsf{AC^0} …

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

Muitas classes de complexidade definidas com máquinas de Turing têm definições em termos de circuitos uniformes. Por exemplo, P também pode ser definido usando circuitos de tamanho polinomial uniforme, e similarmente BPP, NP, BQP, etc. podem ser definidos com circuitos uniformes. Então, existe uma definição baseada em circuito de L? …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

D L o g o t i m eDeuogTEume\mathsf{DLogTime} e são duas das menores classes de complexidade que temos. (Observe que a hierarquia de tempo logarítmica é igual a e esses são os dois primeiros níveis de ).G H A C 0 L HN L S g o t i …

13 cc.complexity-theory  circuit-complexity 

Digamos que temos uma rede neural de avanço de camada única com k entradas e uma saída. Calcula uma função de , é bastante fácil ver que isso tem pelo menos o mesmo poder computacional que . Apenas por diversão, chamaremos o conjunto de funções computável por uma rede neural …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

Considere uma função calculada por um circuito booleano com entradas do tamanho sobre a base (com o indegree 2 para os portões ).C n s ( n ) = p o l y ( n ) { X O R , A N D , N O T } X …

12 circuit-complexity  circuits 

Estou considerando a linguagem de todas as fórmulas lógicas proposicionais satisfatórias, SAT (para garantir que esse alfabeto seja finito, codificaríamos letras proposicionais de alguma maneira adequada [editar: as respostas apontaram que a resposta à pergunta pode não ser robusta em codificações variadas, então é preciso ser mais específico - veja …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Seja o tamanho mínimo de um circuito aritmético (não monótono) ( + , × , - ) que computa um dado polinômio multilinear f ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits