Perguntas com a marcação «complexity-theory»

Questões relacionadas à complexidade (computacional) da solução de problemas

1
Suposição sobre pesos em circuitos limiares
Uma porta de limite que implementa uma função de limite linear em entradas booleanas é dada pela equação: onde . Os são chamados de pesos da função de limiar e é chamado de limiar e, naturalmente, o gate dispara na entrada se a soma ponderada dada pela equação acima exceder …
2
Problemas completos para
Sabemos que a poliL não tem problemas completos, pois entraria em conflito com o teorema da hierarquia espacial. Mas: Existem problemas completos para cada nível dessa hierarquia?polyLpolyLpolyL Para ser mais preciso: A classe tem problemas completos em reduções para cada ?DSPACE(log(n)k)DSPACE(log⁡(n)k)DSPACE(\log(n)^k)LLLk>0k>0k > 0
4
Qual é a profundidade da recursão se dividirmos uma matriz em a cada chamada recursiva?
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 recursão?log2(n)log2⁡(n)\log_2(n)nnn Exemplo do processo: Primeiro, temos …
2
Existe um algoritmo de tempo polinomial para descobrir que a soma das raízes quadradas é menor que um número inteiro?
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 algoritmo; caso contrário, prove.
1
versus
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 NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] é a classe obtida pela definição acima, mas o …
1
Complexidade computacional da variante SAT nem todos iguais
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 (não variáveis, mas …
1
Prova de que TAUT é coNP completo (ou que um problema é coNP completo se seu complemento for NP completo)
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 \text{coNP}SATSAT\text{SAT}TAUT¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}TAUTTAUT\text{TAUT} Um problema coNP-completo conhecido para …
1
Existe uma máquina de Turing que roda no tempo , mas não ?
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(nlog⁡n)o(n\log n)O(n)O(n)O(n)t(n)=o(nlogn)t(n)=o(nlog⁡n)t(n)=o(n\log n)DTIME(t(n))∖DTIME(n)=∅.DTIME(t(n))∖DTIME(n)=∅.\mathsf{DTIME}\left(t\left(n\right)\right)\backslash\mathsf{DTIME}\left(n\right)=\emptyset. Fiquei imaginando se existe um exemplo …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.