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

A classe NCiNCi\textrm{NC}^i representa as funções de classe computável por circuitos de famílias limitada fã-no, nO(1)nO(1)n^{O(1)} tamanho e O(logi(n))O(logi⁡(n))O(\log^i(n)) de profundidade. A hierarquia NCNC\textrm{NC} é a união dessas classes. Existe algum estudo da variante de tamanho linear dessa hierarquia? Ou seja, famílias de circuitos de ventilador limitado, profundidade de polilog …

10 cc.complexity-theory  circuit-complexity 

Estou interessado em determinar a complexidade do seguinte problema de decisão: Dados dois inteiros e (cada um com no máximo m bits), decida se o bit mais significativo da multiplicação é 1 (onde o resultado é impresso em 2m bits com 0s possivelmente à frente)?l 2 l 1 ⋅ l …

10 cc.complexity-theory  circuit-complexity 

Vamos ser uma classe de complexidade e ser o homólogo randomizado de C definida como BPP com respeito ao P . Mais formalmente, fornecemos polinomialmente muitos bits aleatórios e aceitamos uma entrada se a probabilidade de aceitação for superior a 2CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} Sabe-se que para a classe de circuitos não …

10 circuit-complexity  randomized-algorithms 

Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma versão …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Minimização de circuitos é o problema para minimizar o tamanho de um determinado circuito. Existe algo semelhante para programas gerais? Em particular, minha pergunta é - Existem algoritmos para minimizar o número de instruções para um determinado programa. Sei que é um problema indecidível, mas não estou procurando uma solução …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Considere uma linguagem não vazia de cadeias binárias de comprimento . Posso descrever com um circuito booleano com entradas e uma saída tal que seja verdadeira se : isso é bem conhecido.n L C n C ( w ) w ∈ LLLLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L No entanto, quero representar com um …

10 fl.formal-languages  circuit-complexity 

Minha pergunta é: por que limites inferiores para circuitos booleanos de profundidade 3 com portas "e" e "xor" para determinantes não implicam os mesmos limites inferiores para circuitos aritméticos sobre ?ZZ\mathbb{Z} O que há de errado com o seguinte argumento: Seja um determinante de cálculo do circuito aritmético, e tomando …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

A questão a seguir está relacionada à otimização do algoritmo de programação dinâmica de caminho mais curto de Bellman-Ford - (consulte esta publicação para obter uma conexão). Além disso, uma resposta positiva implicaria que o tamanho mínimo de um programa de ramificação não determinístico monótono para o problema STCONN é …

10 graph-theory  circuit-complexity  lower-bounds 

Uma fórmula CNF monótona com m termos em n variáveis ​​( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i …

10 cc.complexity-theory  circuit-complexity  formulas 

fundo A complexidade do circuito é definida como o conjunto de famílias de circuitos (ou seja, sequências de circuitos, uma para cada tamanho de entrada) de profundidade limitada e tamanho polinomial construído usando a ventoinha ilimitada AND, OR e NOT.AC0AC0AC^0 A função de paridade com entrada de bits é igual …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

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 

Minha pergunta é sobre funções bijetivas eficientemente computáveis. Informalmente, estou interessado em: Se uma bijeção é computável em tempo polinomial, podemos calculá-la por um número polinomial de portas bijetivas? Verifiquei a lista de perguntas relevantes e não localizei essa. Minha configuração precisa pode ou não ser ortodoxa, por isso incluo …

10 circuit-complexity  permutations  reversible-computing 

Estou curioso sobre as maneiras pelas quais você viu a não uniformidade ser útil na computação. Uma maneira é a aleatoriedade, como em , e outra são as tabelas de consulta que são usadas para mostrar que todos os idiomas têm circuitos não uniformes.BPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly Em particular, estou interessado …

9 circuit-complexity  advice-and-nonuniformity 

Qual é o método de aproximação de Razborov? Alguém pode dar uma visão geral de alto nível e a intuição por trás disso?

9 cc.complexity-theory  circuit-complexity 

Deixe ser uma classe de complexidade e BP- C ser o homólogo randomizado de C definida da mesma maneira como o BPP é definida com relação a P . Mais formalmente, fornecemos polinomialmente muitos bits aleatórios e aceitamos uma entrada se a probabilidade de aceitação for superior a 2CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} …

9 circuit-complexity  randomized-algorithms  derandomization