Ciência da Computação Teórica

Ao ler o artigo "É hora de declarar vitória na contagem da complexidade?" no blog "Godel's Lost Letter and P = NP" , eles mencionaram a dicotomia para CSP's. Depois de algum link a seguir, pesquisando e pesquisando, encontrei o Teorema de Ladner : Teorema de Ladner: Se , então …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Qual é a complexidade de decidir se um circuito com bits de entrada e bits de saída calcula uma permutação de ? em outras palavras, se cada bit em é uma saída do circuito para alguma entrada? Parece um problema que foi estudado, mas não consigo encontrar nenhuma referência.N C0 …

27 cc.complexity-theory  circuit-complexity  permutations 

Para minha surpresa, não consegui encontrar artigos sobre isso - provavelmente procurei as palavras-chave erradas. Então, temos uma matriz de qualquer coisa e uma função em seus índices; f é uma permutação.ffffff Como reordenar a matriz de acordo com com memória e tempo de execução o mais próximo de O …

27 ds.algorithms  co.combinatorics  permutations 

Eu sou um cientista da computação fazendo um curso de Topologia (uma pitada de topologia de conjunto de pontos fortemente aromatizada pela teoria do continuum). Interessei-me por problemas de decisão testando uma descrição de um espaço (por simplicidades) para propriedades topológicas; aqueles preservados até o homeomorfismo. Sabe-se, por exemplo, que …

27 cc.complexity-theory  big-list  topology 

(Desculpe, se isso é bem conhecido.) Gostaria de dar algum item a um dos agentes , para que o agente obtenha o item com probabilidade . Existe uma ferramenta criptográfica (ou outra) para que todo agente (e até todo observador) possa se convencer de que o desenho aleatório foi realmente …

27 cr.crypto-security 

Dado um por matriz binária (as entradas são ou ), o problema é determinar se existem dois vetores binários tais que (todas as operações executadas em ). Este problema é NP-difícil?mmmnnnMMM000111 M v 1 = M v 2 Zv1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente em NP, pois você pode …

27 cc.complexity-theory  np-hardness  linear-algebra 

Estou interessado em exemplos de problemas em que um teorema que aparentemente não tem nada a ver com mecânica / informação quântica (por exemplo, afirma algo sobre objetos puramente clássicos) pode, no entanto, ser provado usando ferramentas quânticas. Uma pesquisa Quantum Proofs for The Classems Classical (A. Drucker, R. Wolf) …

27 quantum-computing  big-list  proofs 

Eu gostaria de perguntar sobre um caso especial da pergunta “ Decidir se um determinado circuito NC 0 calcula uma permutação ” por QiCheng que foi deixada sem resposta. Um circuito booleano é chamado de circuito NC 0 k se cada porta de saída depende sintaticamente da maioria das k …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Estou com um pequeno problema para entender completamente as etapas finais do algoritmo de fatoração de Shor. Dado um que queremos fatorar, escolhemos um aleatório com a ordem .NNNxxxrrr A primeira etapa envolve configurar os registros e aplicar o operador Hadamard. A segunda etapa é aplicado um operador linear. O …

27 quantum-computing 

Estou procurando códigos de correção de erros do seguinte tipo: códigos binários com taxa constante, decodificável a partir de uma fração constante de erros, por um decodificador implementável como um circuito booleano de tamanho , em que N é o comprimento da codificação.O(N)O(N)O(N)NNN Alguns antecedentes: Spielman, em códigos de correção …

27 co.combinatorics  it.information-theory  coding-theory 

Peter Shor mostrou que dois dos mais importantes problemas intermediários de NP, fatoração e o problema de log discreto, estão no BQP. Por outro lado, o algoritmo quântico mais conhecido para SAT (busca de Grover) produz apenas uma melhoria quadrática em relação ao algoritmo clássico, sugerindo que problemas de NP-completos …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Sabe-se que, dado um subconjunto de pontos de (ou seja, dados pontos em com distância euclidiana), é possível incorporá-los isometricamente em .ℓ d 2 n R d ℓ ( nnnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^dℓ( n2)1ℓ1(n2)\ell^{n\choose 2}_1 A isometria é computável em tempo polinomial (possivelmente aleatório)? Como existem problemas de precisão finita, a pergunta …

27 cg.comp-geom  metrics  embeddings 

Acabei de ensinar o algoritmo de mincut aleatório Karger-Stein na minha classe de algoritmos de pós-graduação. Esta é uma verdadeira jóia algorítmica , então eu não posso não ensiná-lo, mas ele sempre me deixa frustrado, porque eu não sei quaisquer outras aplicações da técnica principal. (Portanto, é difícil atribuir tarefas …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Quero saber se a não uniformidade ajuda na prática as funções de computação. É fácil mostrar que existem funções em P / p o l y - P , assuma qualquer função incontestável f e considere a linguagem { 0 f ( n ) : n ∈ ω }, que …

27 cc.complexity-theory  uniformity 

Paridade-L é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação) e que é ainda mais restrito …

27 cc.complexity-theory  complexity-classes  conditional-results