Ciência da Computação Teórica

O BQP é igual ao BPP com acesso a um oráculo de subgrupo oculto da Abelian?

21 complexity-classes  quantum-computing 

Alguém poderia apontar para um ou mais sites onde é possível fazer o download de uma implementação de trabalho de um solucionador #SAT? Estou interessado em retornar a contagem exata da solução, não em uma aproximação.

21 ds.algorithms  sat  software 

Ao reunir resultados, geralmente é desejável ter alguns diagramas de aparência profissional, em vez de diagramas reunidos no MS Paint. Qual é o padrão para desenhar estruturas de dados?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Se é uma função convexa, a desigualdade de Jensen indica que e mutatis mutandis quando é côncavo. Claramente, na pior das hipóteses, você não pode limitar em termos de para um convexo , mas existe um limite que segue nessa direção se é convexo, mas "não muito convexo"? Existe algum …

21 randomness  pr.probability  randomized-algorithms 

Uma prova de separação de classes de complexidade usa uniformidade de classes de complexidade essencialmente se a prova não provar o resultado da versão não uniforme, por exemplo, provas baseadas em diagonalização (como teoremas da hierarquia de tempo e espaço) fazem uso essencial da uniformidade, pois precisam simular os programas. …

21 cc.complexity-theory 

Existe uma boa pesquisa que compara diferentes extratores, concentradores e superconcentradores e estabeleça os melhores métodos em termos de troca entre aleatoriedade, tempo e espaço?

21 reference-request  randomness  derandomization 

Sabemos muito sobre as limitações dos circuitos de profundidade constante (tamanho polinomial). Como as fórmulas de profundidade constante (tamanho polinomial) são um modelo de computação ainda mais restrito, todos os problemas que não se encontram no AC 0 também não são computáveis ​​por uma fórmula de profundidade constante. No entanto, …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

(Von Neumann deu um algoritmo que simula uma moeda justa, tendo acesso a moedas tendenciosas idênticas. O algoritmo potencialmente requer um número infinito de moedas (embora, na expectativa, finitas sejam suficientes). Essa questão diz respeito ao caso em que o número permitido de lançamentos limitado.) Suponha que tenhamos moedas idênticas …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Que diferenças interessantes existem entre teoria e prática de segurança e criptografia? O mais interessante será, obviamente, exemplos que sugerem novos caminhos para a pesquisa teórica com base na experiência prática :). As respostas podem incluir (mas não estão limitadas a): Exemplos em que a teoria sugere que algo é …

21 cr.crypto-security 

Parece-me que a linguagem macro empregada por Talvez o X possa ser visto como algum tipo de sistema de reescrita de termos ou algum tipo de linguagem de programação com escopo de chamada por nome.TEXTEX\TeX Mesmo implementações modernas do Motor X (por exemplo, X e TTEXTEX\TeX ) interprete o código …

21 pl.programming-languages  semantics  term-rewriting-systems 

Motivado pela resposta de Shor relacionada a diferentes noções de completude de NP, estou procurando um problema que seja completo de NP em reduções de P, mas que não seja conhecido como completo de NP em reduções de espaço de log (de preferência por um longo período de tempo). Além …

21 cc.complexity-theory  np-hardness 

Digamos que temos um problema computacional, por exemplo, 3-SAT, que tem um conjunto de instâncias de problemas (possíveis entradas) . Normalmente, na análise de algoritmos ou teoria da complexidade computacional, temos alguns conjuntos de todas as entradas de comprimento e uma função que fornece o tempo de execução de algum …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Esta questão é inspirada na conjectura polinomial de Hirsch (APS). Dado um polítopo facetado em , a lacuna espectral do seu gráfico de vértice de arestas (chamada ) é mais baixa delimitada por ? Observe que o gráfico de ciclo em vértices mostra que, mesmo para , o intervalo espectral …

21 co.combinatorics  linear-programming  expanders 

1- Existem propriedades específicas para a matriz de adjacência quando um gráfico é plano? 2- Existe algo especial para calcular a matriz de adjacência permanente quando um gráfico é plano?

21 graph-theory  co.combinatorics  permanent 

László Babai provou recentemente que o problema do isomorfismo gráfico está no tempo quase-polinomial . Veja também sua palestra na Universidade de Chicago, nota das palestras de Jeremy Kun pós 1 da GLL , pós 2 da GLL , pós 3 da GLL . De acordo com o teorema de …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate