Perguntas com a marcação «cc.complexity-theory»

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 

Atualmente, estou procurando um assunto para uma tese e encontrei o campo da teoria da informação algorítmica. O campo parece muito interessante para mim, mas parece que tudo é feito antes de muitos anos. Então, minha pergunta é: o campo está "vivo" ou está praticamente fechado? Tem perguntas em aberto? …

10 cc.complexity-theory  it.information-theory 

Esta é uma generalização da minha pergunta anterior . Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAAAxxx Considere o seguinte jogo de Alice e …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Existem exemplos de casos em que a simulação clássica de um algoritmo quântico para um problema supera o melhor algoritmo clássico conhecido anteriormente para esse problema? "Supera desempenho" não precisa significar classe de complexidade diferente; poderia simplesmente ser melhor dimensionado. Esta questão foi inspirada no caso de simulação clássica eficiente …

10 cc.complexity-theory  quantum-computing  quantum-information 

Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAUMAAxxx Considere o seguinte jogo de Alice e Bob. Inicialmente, Alice e Bob têm e dólares, respectivamente. …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Existe um algoritmo de classificação baseado em comparação que usa uma média de comparações ?lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) A existência do pior algoritmo de comparação é um problema em aberto, mas o caso médio é suficiente para um algoritmo aleatório com o esperado comparações para cada entrada. O significado de é que ele …

10 cc.complexity-theory  ds.algorithms  sorting 

Me deparei com dois exemplos de dureza hipotética de alguns problemas gráficos. Dureza hipotética significa que refutar algumas conjecturas implicaria a completude NP do respectivo problema gráfico. Por exemplo, a conjectura de Barnette afirma que todo gráfico bipartido cúbico planar cúbico de 3 conexões é hamiltoniano. Feder e Subi provaram …

10 cc.complexity-theory  graph-theory  np-hardness 

Teorema de Mahaney nos diz que se há uma escassa conjunto -completo sob de tempo polinomial muitos one-reduções, então P = N P . (Veja " Conjuntos completos esparsos para NP: solução de uma conjectura de Berman e Hartmanis ")NPNPNPP= NPP=NPP = NP Existem consequências conhecidas da existência de conjuntos …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

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 

Suponha que é uma linguagem parametrizada em relação a algum alfabeto . A fatia de é , o conjunto de instâncias em que têm o parâmetro . A classe de complexidade contém as linguagens parametrizadas modo que para cada , possivelmente com um algoritmo diferente e tempo de execução polinomial …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Motivação : Ao desenvolver ferramentas para controle de versão de dados, acabamos analisando algoritmos para "diferenciar" dois conjuntos de números inteiros, criando uma sequência de transformações que levam um conjunto de números inteiros para o outro. Conseguimos reduzir esse problema ao seguinte problema muito natural que parece ter conexões para …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Elberfeld, Jakoby e Tantau 2010 ( ECCC TR10-062 ) provaram ser uma versão com eficiência de espaço do teorema de Bodlaender. Eles mostraram que para gráficos com largura de árvore no máximo , pode-se encontrar uma decomposição em árvore da largura usando espaço logarítmico. O fator constante no espaço limitado …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Permita que uma máquina de Turing probabilística tenha acesso a uma moeda injusta que aparece cara com probabilidade (os flips são independentes). Defina como a classe de idiomas reconhecíveis por essa máquina no tempo polinomial. É um exercício padrão para provar que:pppBPPpBPPpBPP_p A) Se é racional ou mesmo B P …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

A inclusão inversa é óbvia, assim como o fato de que qualquer linguagem NP auto-redutível na BPP também está na RP. Isso também é conhecido por idiomas NP não auto-redutíveis?

10 cc.complexity-theory  derandomization  pseudorandomness 

Seja AAA uma matriz sobre o campo finito F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} e xxx , yyy sejam vetores do espaço Fn2F2n\mathbb{F}_2^n . Estou interessado na complexidade computacional de decidir se existe t∈Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , ou seja, no problema de alcançabilidade de sistemas dinâmicos lineares …

10 cc.complexity-theory  reference-request  linear-algebra