Em testes propriedade gráfico, um algoritmo de consulta um gráfico de alvo para a presença ou ausência de arestas e necessidades para determinar se o alvo quer tem uma certa propriedade ou é -muito de ter a propriedade. (Um algoritmo pode ser solicitado a ter sucesso com um erro lados ou dois...
Essa é uma pergunta em aberto - pela qual peço desculpas antecipadamente. Existem exemplos de declarações que (aparentemente) não têm nada a ver com complexidade ou máquinas de Turing, mas cuja resposta implicaria ?P≠NPP≠NP\mathbf{P}\neq
No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
O que se sabe sobre a complexidade temporal do seguinte problema, que chamamos de 3-MUL? Dado um conjunto SSS de números inteiros, existem elementos tais que ?nnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Esse problema é semelhante ao problema da 3-SUM, que pergunta se existem três elementos modo que...
Eu tenho trabalhado na introdução de alguns resultados da complexidade computacional na biologia teórica, especialmente evolução e ecologia , com o objetivo de ser interessante / útil para os biólogos. Uma das maiores dificuldades que enfrentei é justificar a utilidade da análise de pior caso...
O estado de nosso conhecimento sobre circuitos aritméticos gerais parece ser semelhante ao estado de nosso conhecimento sobre circuitos booleanos, ou seja, não temos bons limites inferiores. Por outro lado, temos limites inferiores de tamanho exponencial para circuitos booleanos monótonos . O...
Na sequência de uma pergunta anterior , Quais são os melhores limites inferiores do espaço atual para o SAT? Com um limite inferior do espaço, quero dizer aqui o número de células da worktape usadas por uma máquina de Turing que usa um alfabeto binário da worktape. Um termo aditivo constante é...
Esta pergunta é uma continuação da pergunta sobre algoritmos de DNA feita por Aadita Mehra . Nos comentários, Joe Fitzsimmons disse, em parte: [O] raio do sistema deve escalar proporcionalmente à massa para evitar isso. A potência computacional escala no máximo linearmente na massa. Assim, sua...
Em A complexidade computacional da óptica linear ( ECCC TR10-170 ), Scott Aaronson e Alex Arkhipov argumentam que se computadores quânticos podem ser eficientemente simulados por computadores clássicos, a hierarquia polinomial entra em colapso para o terceiro nível. O problema motivador é a...
Para verificar meu entendimento, gostaria de compartilhar algumas idéias sobre os requisitos de energia da computação. Este é um seguimento da minha pergunta anterior e pode estar relacionado à pergunta de Vinay sobre leis de conservação . Ocorreu-me que, de um ponto de vista termodinâmico,...
Existem muitos resultados de inadequação que se baseiam na conjetura de jogos únicos. Por exemplo, Assumindo a conjectura exclusiva dos jogos, é NP difícil aproximar o problema de corte máximo dentro de um fator R para qualquer R > R GW constante . (Aqui R GW = 0,878… é a taxa de...
Estou procurando uma referência para o seguinte resultado: Adicionar dois números inteiros na representação fatorada é tão difícil quanto fatorar dois números inteiros na representação binária usual. (Tenho certeza de que está lá fora, porque isso é algo que eu já tinha pensado em algum...
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,...
Muitos resultados importantes na teoria da complexidade computacional e, em particular, na teoria da complexidade "estrutural", têm a propriedade interessante de que eles podem ser entendidos como fundamentalmente seguintes (como eu o vejo ...) a partir de resultados algorítmicos, fornecendo um...
Eu sei que a complexidade da maioria das variedades de cálculos lambda digitados sem a primitiva combinadora Y é limitada, ou seja, somente funções de complexidade limitada podem ser expressas, com o limite se tornando maior à medida que a expressividade do sistema de tipos cresce. Lembro que, por...
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 disso, é mais...
Luca Trevisan mostrou quantas construções de geradores pseudo-aleatórios podem de fato ser consideradas construções de extrator: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Existe uma conversa significativa? Ou seja, construções "naturais" de extratores podem ser consideradas...
Existe um exemplo de um problema natural que está no BPP, mas que não é conhecido por estar em RP ou
(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...
Preâmbulo Os sistemas interativos de prova e os protocolos Arthur-Merlin foram introduzidos por Goldwasser, Micali e Rackoff e Babai em 1985. No início, pensava-se que o primeiro era mais poderoso que o segundo, mas Goldwasser e Sipser mostraram que tinham o mesmo poder ( em relação ao...