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

Gostaria de pedir sugestões de bons textos que introduzam a complexidade do circuito. Qualquer indicação de avanços recentes e problemas em aberto nesse campo também seria útil.

15 circuit-complexity 

fundo Uma fórmula de leitura única sobre um conjunto de portas (também chamada de base) é uma fórmula na qual cada variável de entrada aparece uma vez. As fórmulas de leitura única são comumente estudadas na base De Morgan (que possui as portas de 2 bits AND e OR e …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Considere o seguinte modelo de circuito simples monótono: cada porta é apenas um OR binário. Qual é a complexidade de uma função f ( x ) = A x emf(x)=Axf(x)=Ax que AAA é uma matriz booleana n × nn×nn \times n com O ( n )O(n)O(n) 0's? Pode ser calculado …

14 ds.algorithms  circuit-complexity  upper-bounds 

Deixe- ser a função que mapeia um s circuito -gate C em n bits e um n cadeia de bits de . Suponha que os circuitos sejam codificados como uma sequência acíclica de atribuições onde são etiquetas de arame.C i r c u i t E v a ls , …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Como no esta questão, me interessa a vs / problema para tropical e circuitos. Essa questão se reduz à exibição de limites superiores para a dimensão VC de polinômios sobre as semirrependentes tropicais (consulte o Teorema 2 abaixo). B P P BPP\mathbf{BPP}P P\mathbf{P}p o l ypoly\mathrm{poly} ( máx . + …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

O ésimo polinômio simétrico elementar é a soma de todos os produtos \ binom {n} {k} de k variáveis ​​distintas. Estou interessado na complexidade aritmética monotônica (+, \ times) desse polinômio. Um algoritmo de programação dinâmica simples (assim como a Fig. 1 abaixo) fornece um circuito (+, \ times) com …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Razborov provou que a função monótona não está em mP . Mas podemos calcular a correspondência usando um circuito de tamanho polinomial com algumas negações? Existe um circuito P / poli com negações que calcula a correspondência? Qual é o compromisso entre o número de negações e o tamanho da …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Consideramos DAG (gráficos acíclicos dirigidos) com um nó de origem e um nó de destino ; arestas paralelas unindo o mesmo par de vértices são permitidas. Uma - corte é um conjunto de arestas cuja remoção destrói todos - caminhos mais longos do que ; mais curtos - caminhos, bem …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Como todos sabem, o SAT está completo para reduções de numerosas uma em tempo polinomial . Ainda há reduções completas de wrt .N PNP\mathsf{NP}A C0 0UMAC0 0\mathsf{AC^0} Minhas perguntas é qual é a profundidade mínima exigida para as reduções? Mais formalmente, Qual é o menor que SAT é -hard wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Estou lendo o apêndice sobre os limites inferiores do ACC para NEXP no livro Complexidade computacional de Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Um dos principais lemas é uma transformação de circuitos ACC0ACC0ACC^{0} em polinômios multilineares sobre os números inteiros com grau polilogarítmico e coeficientes quasipolinomiais ou equivalentemente , a classe …

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

Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.A C0 0UMAC0 0\mathsf{AC}^0 Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nP A R I T YPUMAREuTY\mathsf{PARITY}nnn Pergunta: Existe …

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

SACiSACiSAC^i é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto, possui uma caracterização …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits