No modelo de caixa preta, o problema de determinar a saída de uma máquina BPP na entrada é o problema de contagem aproximado de determinar com erro aditivo 1/3 (digamos).M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) Existe um problema semelhante para o BQP? Este comentário de Ken Regan...
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 claramente possui circuitos não uniformes simples, mas não é computável de...
Essa pode ser uma pergunta básica, mas eu tenho lido e tentado entender artigos sobre assuntos como computação de equilíbrio de Nash e teste de degeneração linear e não tenho certeza de como os números reais são especificados como entrada. Por exemplo, quando se afirma que o LDT possui certos...
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,...
Se é um gráfico d- regular não direcionado e S é um subconjunto dos vértices da cardinalidade ≤ | V | / 2 , chame a expansão de borda de S a quantidadeG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac...
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...
O que são "regiões fáceis" para garantir a satisfação? Em outras palavras, condições suficientes para que algum solucionador SAT seja capaz de encontrar uma tarefa satisfatória, assumindo que ela exista. Um exemplo é quando cada cláusula compartilha variáveis com poucas outras cláusulas, devido...
Estou pensando no seguinte problema há um tempo e não encontrei uma solução polinomial para ele. Apenas fonte bruta. Eu também tenho tentado reduzir um problema NP-Complete sem sucesso. Aqui está o problema : Você tem um conjunto classificado de pares inteiros positivos. { ( A1, B1) , ( A2, B2)...
Sinto muito se esta pergunta é um pouco vaga, mas estou curioso para saber como os pesquisadores bem-sucedidos "sentem" os resultados no TCS. Por exemplo, álgebra linear pode ser entendida geometricamente ou em termos de suas interpretações físicas (vetores próprios podem ser considerados "pontos...
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...
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...
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...
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...
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...
Não consegui encontrar essa estrutura de dados, mas não sou especialista na área. A estrutura implementa um conjunto e é basicamente uma matriz de elementos comparáveis com um invariante. O invariante é o seguinte (definido recursivamente): Uma matriz de comprimento 1 é uma matriz de...
É geralmente considerado improvável que os computadores quânticos sejam capazes de resolver problemas de NP-complete com eficiência. No caso clássico, uma abordagem para resolver esses problemas é usar algoritmos de aproximação. Houve alguma pesquisa sobre algoritmos de aproximação usando...
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...
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 0NC0...
Por que os idiomas regulares (e a partir dessas expressões regulares) são chamados de "regulares"? Há muita regularidade também em idiomas sem contexto, outros tipos de idiomas. Suponho que, no começo, o adjetivo "regular" tenha sido usado para diferenciar esse tipo de idioma de outros idiomas...
Fico confuso com a sutil diferença entre proposições e julgamentos quando exposto à teoria do tipo intuicionista. Alguém pode me explicar qual é o objetivo de distingui-los e o que os distingue? Especialmente em vista do Curry-Howard