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

Esta pergunta é sobre a página 125 do livro "Autômatos celulares em espaços hiperbólicos: volume 2" Por Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Na opinião do autor, a questão P = NP está mal colocada, porque no ambiente hiperbólico P = NP ou na notação usada posteriormente no livro …

16 cc.complexity-theory 

Eu estive pensando em uma variante do hex , onde, em vez de os dois jogadores fazerem movimentos alternadamente, cada turno que um jogador escolhido aleatoriamente faz um movimento. Quão difícil é determinar as chances de cada jogador vencer? Obviamente, esse problema está no PSPACE, mas não pode ser difícil …

16 cc.complexity-theory  board-games 

Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Antecedentes : No artigo UGC original de Subhash Khot ( PDF ), ele prova a dureza UG de decidir se uma determinada instância CSP com restrições de todo o formato Não igual a todos (a, b, c) ao longo de um alfabeto ternário admite uma tarefa que satisfaça 1 - …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Suponha que recebamos uma matriz n por n, M, com entradas inteiras. Podemos decidir em P se existe uma permutação tal que, para todas as permutações , tenhamos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Meu σ( I )≠ ¸ Meu π( I )ΠMEuσ(Eu)≠ΠMEuπ(Eu)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observações É claro que se pode substituir o …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Uma lacuna que eu sempre sabia que realmente não entendo é entre complexidade computacional não uniforme e uniforme, onde a complexidade do circuito representa a versão não uniforme e as máquinas de Turing são onde as coisas são uniformes. Suponho que "uniforme" é uma maneira de restringir a classe de …

16 cc.complexity-theory  circuit-complexity 

O problema de automorfismo livre de ponto corrigido por solicita um automorfismo gráfico que move pelo menos k ( n ) nós. O problema é N P - completo se k ( n ) = n c para qualquer ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. No entanto, se , o problema é o …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

A famosa Imagem do Mundo de Neil Immerman é a seguinte (clique para ampliar): Sua classe "Verdadeiramente viável" não inclui nenhuma outra classe; minha pergunta é então: O que é um problema de AC 0 considerado não prático e por quê?

16 cc.complexity-theory  circuit-complexity 

LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais completos …

16 cc.complexity-theory  complexity-classes 

O problema a seguir aparece na lista de Aaronson, Dez semi-grandes desafios para a teoria da computação quântica . É BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Em outras palavras, pode a parte "quantum" de qualquer algoritmo quântico ser comprimido para polylog(n)polylog(n)\mathrm{polylog}(n) de profundidade, desde que está disposto para fazer polynomial- pós-processamento clássico? (Sabe-se que isso …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

O que devo ler para entender esse problema? O poder dos circuitos quânticos de pequena profundidade. Is ? Em outras palavras, a parte "quântica" de qualquer algoritmo quântico pode ser compactada até a profundidade do polilog (n), desde que desejemos realizar um pós-processamento clássico em tempo polinomial? (Sabe-se que isso …

16 cc.complexity-theory  reference-request  quantum-computing 

Como todos sabem, o famoso livro de Garey e Johnson (e muitos outros) fornece uma excelente referência para a técnica de redução no cenário clássico. Existem pesquisas ou livros sobre o tópico da técnica de redução no algoritmo parametrizado, digamos a redução de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Ao ler o artigo " Uma teoria aplicada à FPH ", você pode encontrar a seguinte passagem: Considerando as teorias que caracterizam classes de complexidade computacional, existem três abordagens diferentes: em um, as funções que podem ser definidas na teoria estão "automaticamente" dentro de uma certa classe de complexidade. Nessa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Recentemente, descobri um limite quadrático inferior à complexidade de um problema no modelo de árvore de decisão e me pergunto se esse resultado pode ser parcialmente generalizado no modelo de máquina de acesso aleatório. Em parte , quero dizer uma generalização para programas de RAM com uma certa troca de …

15 cc.complexity-theory  lower-bounds 

Minha pergunta é geral: como começo a pensar em termos de design e complexidade de algoritmos? Vou fazer um Curso de Pós-Graduação em Design de Algoritmos. Eu me matriculei mais cedo, mas desisti depois, porque não conseguia acompanhá-lo. Eu tenho que fazer este curso como um requisito. Existe um 'truque' …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice