Estou interessado na generalização natural do famoso quebra-cabeça 15 , onde você tem que deslizar os blocos até classificar todos os números (geralmente existe uma diferença de 1 bloco). Agora, a generalização seria estender o tamanho do quebra-cabeça de 15 para , onde um campo está livre. Eu...
Existe uma linguagem NP completa (de preferência natural) L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , de modo que para cada seja ? Em outras palavras, contém precisamente metade de todas as instâncias de bits.n≥1n≥1n\geq 1 L n|L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap...
O acesso a um oráculo forneceria uma grande aceleração super polinomial para tudo em (assumindo que o conjunto não esteja vazio). No entanto, é menos claro quanto beneficiaria desse acesso ao oracle. Obviamente, a aceleração em não pode ser super-polinomial, mas ainda pode ser polinomial. Por...
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 Ladner, se P≠NPP≠NPP \neq NP...
Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap...
O famoso Isomorfismo Conjectura de Berman e Hartmanis diz que todos idiomas -completo são tempo polinomial isomorphic (p-isomorphic) entre si. A importância chave da conjectura é que ela implica P ≠ N P . Foi publicado em 1977, e um pedaço de provas foi que todos os N P problemas -Complete...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq...
Os algoritmos de hash de senha comumente usados funcionam hoje em dia: salte a senha e alimente-a em um KDF. Por exemplo, usando PBKDF2-HMAC-SHA1, o processo de hash da senha é DK = PBKDF2(HMAC, Password, Salt, ...). Como o HMAC é um hash de duas etapas com teclas acolchoadas e o SHA1 uma série...
Para qualquer linguagem arbitrária completa do NP, há sempre um superconjunto polytime cujo complemento também é infinito? Uma versão trivial que não estipula que o superconjunto tenha um complemento infinito foi solicitada em /cs//q/50123/42961 Para os fins desta questão, você pode assumir que...
Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (onde G = ( [ n ]...
Eu estava lendo recentemente um artigo muito bom por Valiant e Vazirani que mostra que se , então não pode haver um algoritmo eficiente para resolver SAT mesmo sob a promessa de que ela é ou insatisfatível ou tem uma solução única. Assim, mostrando que o SAT não admite um algoritmo eficiente, mesmo...
Quando se quer provar que um é N P -completo, em seguida, a abordagem normalizada é expor um tempo polinomial calculável redução muitos-um de uma conhecida N P problema -completo para L . Nesse contexto, não precisamos de um limite apertado no tempo de execução da redução. Basta ter qualquer limite...
'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' é NPNP\mathsf{NP} completo. A qual classe de complexidade 'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c '
Conjectura de Berman-Hartman: todas as linguagens completas de NP são parecidas, no sentido de que podem ser relacionadas entre si por isomorfismos polinomiais no tempo [1]. Estou interessado em uma versão mais refinada do "tempo polinomial", isto é, se usarmos reduções parametrizadas. Um...
Sabe-se desde o início dos anos 70 que e não são iguais (porque não é fechado em tempo polinomial -uma redução, em contraste com ). Até onde eu sei, ainda está em aberto se uma classe é um subconjunto da outra ou são incomparáveis, o que significa que e {\ bf E} - {\ bf NP} são ambos...
Considere um gráfico não direcionado conectado com pesos de aresta não negativos e dois vértices distintos s , ts,ts,t . Abaixo estão alguns problemas de caminho com a seguinte forma: encontre um caminho s - ts−ts-t , de modo que alguma função dos pesos das arestas no caminho seja mínima. Nesse...
Me deparei com um artigo publicado na Science "Memcomputando problemas completos de NP em tempo polinomial usando recursos polinomiais e estados coletivos" , o que faz algumas afirmações bastante surpreendentes. Memcomputing é um novo paradigma de computação não-Turing que usa células de memória...
O que se sabe sobre a complexidade dos problemas difíceis de NP nos gráficos de Cayley? Suponha que o gráfico seja fornecido explicitamente como a tabela de multiplicação do grupo e a lista de geradores. Portanto, o comprimento da entrada é o tamanho do gráfico. Podemos resolver problemas...
Existe um naturais problema gráfico -completo, que permanece N P -Complete mesmo quando é restrita a qualquer classe gráfico reconhecível de tempo polinomial? Para evitar casos degenerados, consideremos apenas classes gráficas densas , nas quais o número de gráficos não isomórficos ≤ n -vertex...