Uma redução é a transformação de um problema em outro. Um exemplo do uso de uma redução seria mostrar se um problema P é indecidível. Isso seria conseguido transformando ou executando uma redução de um problema de decisão em um problema indecidível. Se isso puder ser alcançado, mostramos que esse problema P é indecidível. PP
7
Reduções de uma vez vs. reduções de Turing para definir NPC
Por que a maioria das pessoas prefere usar muitas reduções para definir a completude do PN em vez de, por exemplo, reduções de Turing?
39 cc.complexity-theory np-hardness reductions
2
Problemas difíceis de soma quadrada de raízes?
O problema da soma das raízes quadradas pergunta, dadas duas seqüências e de números inteiros positivos, se a soma menor ou igual a ou maior que a soma . O status de complexidade desse problema está aberto; veja este post para mais detalhes. Esse problema surge naturalmente na geometria computacional, …
37 ds.algorithms big-list reductions computing-over-reals
3
Por que a aleatoriedade tem um efeito mais forte nas reduções do que nos algoritmos?
É conjeturado que a aleatoriedade não estende o poder dos algoritmos de tempo polinomial, ou seja, é conjecturado para manter. Por outro lado, a aleatoriedade parece ter um efeito bastante diferente na redução do tempo polinomial . Pelo resultado bem conhecido de Valiant e Vazirani, o reduz-se para através da …
36 cc.complexity-theory reductions derandomization
2
Derandomizing Valiant-Vazirani?
O teorema de Valiant-Vazirani diz que, se houver um algoritmo de tempo polinomial (determinístico ou aleatório) para distinguir entre uma fórmula SAT que possui exatamente uma tarefa satisfatória e uma fórmula insatisfatória - então NP = RP . Este teorema é provado mostrando que UNIQUE-SAT é NP- hard sob reduções …
29 cc.complexity-theory reductions derandomization unique-solution
5
Redução rápida de RSA para SAT
A postagem no blog de Scott Aaronson hoje deu uma lista de problemas / tarefas abertos interessantes em complexidade. Um em particular chamou minha atenção: Crie uma biblioteca pública de instâncias 3SAT, com o menor número possível de variáveis ​​e cláusulas, que teria consequências notáveis ​​se resolvidas. (Por exemplo, instâncias …
28 cc.complexity-theory cr.crypto-security sat reductions factoring
7
Participação não trivial em NP
Existe um exemplo de uma linguagem que está em NPNPNP , mas onde não podemos provar este fato diretamente ao mostrar que existe uma testemunha polinomial para a adesão nesta língua? Em vez disso, o fato de o idioma estar no seria comprovado reduzindo-o para outro idioma no , onde …
27 reductions np
1
Existem algoritmos subexponenciais para o PLANAR SAT conhecidos?
Alguns problemas difíceis de NP que são exponenciais em gráficos gerais são subexponenciais em gráficos planares porque a largura da árvore é no máximo e eles são exponenciais na largura da árvore.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Basicamente, estou interessado se existem algoritmos subexponenciais para o PLANAR SAT, que …
26 graph-theory sat reductions
2
Existe uma redução direta / natural para contar combinações perfeitas não bipartidas usando o permanente?
Contar o número de combinações perfeitas em um gráfico bipartido é imediatamente reduzido para calcular o permanente. Como encontrar uma correspondência perfeita em um gráfico não bipartido está no NP, existe alguma redução de gráficos não bipartidos para o permanente, mas isso pode envolver uma explosão polinomial desagradável usando a …
24 graph-theory counting-complexity reductions permanent
6
Técnicas avançadas para determinar limites inferiores da complexidade
Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram usadas para …
23 cc.complexity-theory reference-request fl.formal-languages time-complexity reductions
2
CLIQUE natural para redução de k-Color
Há claramente uma redução de CLIQUE para k-Color porque ambos são NP-Complete. Na verdade, eu posso construir um compondo uma redução de CLIQUE para 3-SAT com uma redução de 3-SAT para k-Color. O que eu quero saber é se existe uma redução direta razoável entre esses problemas. Digamos, uma redução …
23 cc.complexity-theory graph-theory np-hardness reductions
5
Curioso sobre as provas de completude NP assistidas por computador
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 relational complexity could be explored with the help of a computer. …
22 cc.complexity-theory reference-request soft-question reductions proof-assistants
1
Multiplicação binária e convolução de paridade
Esta questão é sobre a relação entre multiplicação normal de números binários e multiplicação polinomial mod 2. Para tornar a questão concreta, eu gostaria de saber se existe uma solução melhor para a questão de Knuth vol. 2, 3ª edição, página 420 do que a apresentada no livro. "A multiplicação …
22 ds.algorithms reductions time-complexity
9
Reduções do livro.
Isso é parecido com " Algoritmos do livro ". Embora as reduções também sejam algoritmos, achei duvidoso que se pensasse em uma redução na resposta à pergunta sobre algoritmos do livro. Daí uma consulta separada! Reduções de todos os tipos são bem-vindas. Começarei com a redução realmente simples da cobertura …
22 ds.algorithms np-hardness big-list reductions
3
Problemas que são NP-completos sob reduções aleatórias ou de P / poli.
Em esta questão , que parecem ter identificado um problema natural que é NP-completo sob reduções randomizados, mas possivelmente não sob reduções determinísticos (embora isto depende de qual suposições não comprovadas na teoria dos números são verdadeiras). Existem outros problemas desse tipo conhecidos? Existem problemas naturais que são NP-completos sob …
20 cc.complexity-theory np-hardness big-list randomness reductions
1
Como provar que o USTCONN requer espaço logarítmico?
USTCONN é o problema que requer a decisão de saber se existe um caminho do vértice de origem para o vértice de destino t em um gráfico G , onde todos são dados como parte da entrada.ssstttGGG Omer Reingold mostrou que USTCONN está em L (doi: 10.1145 / 1391289.1391291 ). …
19 cc.complexity-theory lower-bounds reductions space-bounded
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.