Sabe-se que qualquer máquina de Turing (determinística, com uma única fita) que executa no tempo decide um idioma regular (por exemplo, consulte este link ). Assim, existe uma máquina de Turing equivalente que roda no tempo . Em outras palavras, se entãoo(nlogn)o(nlogn)o(n\log...
Preciso provar que o TAUT é coNP-completo. Eu mostrei esse reduzindo para . No entanto, não consigo descobrir como provar que todos os problemas no coNP podem ser reduzidos para em tempo polinomial. Para fazer isso, eu precisaria de uma de duas coisas:TAUT∈coNPTAUT∈coNP\text{TAUT} \in...
Estou espreitando por um tempo; Esta é minha primeira postagem aqui. Sinto muito se minha pergunta está mal formada ou mal formatada. Essa pergunta surgiu de algumas idéias de outra pergunta de um site irmão. Questão Devido à natureza de uma blockchain, um grande número de lançamentos de moedas...
Nem todos os SAT iguais são um problema completo do NP. Vamos agora considerar outra variante do problema. Dado um problema Nem todos iguais (NAESAT) (número arbitrário de literais permitido por cláusula) com uma restrição adicional de que cada par de cláusulas compartilha pelo menos 1 literal...
Existe uma definição equivalente para a classe NLNL\mathsf{NL}com verificador. Esses verificadores são máquinas de Turing determinísticas que podem ler a fita testemunha apenas uma vez, de uma maneira, da esquerda para a direita. Dada uma função f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} nós dizemos isso...
A Teoria da Complexidade Computacional é complexa. Meu entendimento do tempo polinomial é em relação a outras classes de complexidade de tempo, como o tempo polinomial não determinístico. Isso é bom para engenheiros e matemáticos, mas estou procurando uma definição simples do termo, adequada para...
Dado: Uma lista de números inteiros e um número inteiro .nnnx1 1,x2, ... ,xnx1,x2,…,xnx_1,x_2,\dots,x_nkkk Determine: Is ?x--√1 1+x--√2⋯x--√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k Pergunta: Existe algum algoritmo de tempo polinomial para o problema acima? Se sim, dê um...
Temos uma função que recebe uma matriz como entrada. Ele divide uma matriz em partes com tamanhos iguais, onde é o tamanho da sub- matriz . Ele continua quebrando cada um dos sub-arranjos até restarem apenas dois elementos nele. Qual é a profundidade dessa
Dado um gráfico direcionado conectado G=(V,E)G=(V,E)G=(V,E)vértices s,t∈Vs,t∈Vs,t \in V e uma coloração, st sss e tttsão pretos e todos os outros vértices são vermelhos ou azuis , é possível encontrar um caminho simples a partir desss para ttt com mais vértices vermelhos do que azuis em tempo...
Alguém me disse que o registroregistro\logA função foi introduzida para facilitar o cálculo. Se tivermos que calcularx yxyxy, podemos calcular registrox + logyregistrox+registroy\log x+\log y Desde a registrox y= logx + logyregistroxy=registrox+registroy\log xy=\log x+\log y. Como isso pode...