Um algoritmo de máquina de Turing em tempo polinomial é considerado eficiente se seu tempo de execução, na pior das hipóteses, estiver limitado por uma função polinomial no tamanho da entrada. Estou ciente da forte tese de Church-Turing: Qualquer modelo razoável de computação pode ser...
O Complexity Zoo define como a classe de problemas de decisão solucionáveis por uma máquina de Turing determinística em tempo linear.LINeuEuNLIN LIN⊆PLIN⊆PLIN \subseteq P Como o HORN-SAT é passível de solução em (conforme indicado nos algoritmos de tempo linear para testar a satisfação das...
Eu tenho uma tarefa de casa em que tenho criticado há algum tempo e gostaria de receber qualquer dica. Trata-se de escolher um problema conhecido, cuja integridade do NP é comprovada, e construir uma redução desse problema para o seguinte problema, que chamarei DGD (diagnóstico de gráfico...
Suponha que eu sou dado um conjunto finito de pontos no plano, e pediu para desenhar um duas vezes diferenciável curva C ( P ) através do p i 's, de tal modo que o seu perímetro seja tão pequena quanto possível. Supondo que p i = ( x i , y i ) e x i < x i + 1 , posso formalizar esse problema...
Estou estudando para a minha final em teoria da computação e estou lutando com a maneira correta de responder se essa afirmação é verdadeira ou falsa. Pela definição de , podemos construir a seguinte declaração,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B...
Estou interessado nas propriedades de uma classe de gráficos bipartidos que todos os nós em são 3-regulares, todos os nós em são 2-regulares e. Primeiro, essa é uma classe bem conhecida de gráficos? Em segundo lugar,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Existe um...
Existem algoritmos conhecidos que emitem corretamente "yes" para um problema NP-completo sem gerar implicitamente um certificado? Entendo que é fácil transformar um oráculo de satisfação em um localizador de tarefas satisfatórias: apenas itere sobre as variáveis, sempre pedindo ao oráculo de...
Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo
Todo mundo conhece "Garey & Johnson", que é a minha referência preferencial sempre que preciso de um problema para mudar para uma prova de dureza NP. No entanto, recentemente, me dependo de uma prova de dureza APX, e me pergunto se existe uma coleção semelhante (e mais atualizada ..?) De...
Os solucionadores modernos de SAT são muito bons em resolver muitos exemplos reais de instâncias de SAT. No entanto, sabemos como gerar números difíceis: por exemplo, use uma redução do fatorial para o SAT e forneça os números RSA como entrada. Isso levanta a questão: e se eu pegar um exemplo...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
O problema de determinar se uma determinada expressão booleana é satisfatoriamente distinta em termos computacionais de realmente encontrar uma solução para a expressão? Em outras palavras, existe outra maneira de descobrir que uma determinada expressão é satisfatória sem determinar explicitamente...
Da Wikipedia : O tipo de problema computacional: Os problemas mais comumente usados são os de decisão . No entanto, as classes de complexidade podem ser definidas com base em problemas de função, problemas de contagem, problemas de otimização, problemas de promessa, etc. Eu também vi as...
Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em P (certo?). Ainda há uma questão de saber se...
Recebi um conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , um número inteiro s⩽ks⩽ks\leqslant k e números inteiros não negativos aijaija_{ij} . Meu problema é encontrar sss subconjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ;...
Dado nnn trabalhos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabalho exige TEu> 0 , TEu∈ NTi>0,Ti∈NT_i > 0, T_i \in N tempo para completar. Cada trabalho deve ser pré-processado e pós-processado por uma única máquina M que pode lidar com apenas 1 trabalho por vez e as duas fases...
Dado o fato de que enumeração - path é um problema # P-complete, poderia haver métodos eficientes que computem (ou pelo menos se aproximem) o comprimento médio do caminho - sem enumerá-los? E se os caminhos tiverem permissão para revisitar vértices?ssstttsssttt Resultados relevantes em gráficos...
Pelo que entendi, o problema de atribuição está em P, pois o algoritmo húngaro pode resolvê-lo em tempo polinomial - O (n 3 ). Também entendo que o problema de atribuição é um problema de programação linear inteira , mas a página da Wikipedia afirma que esse é NP-Hard. Para mim, isso implica que o...
Eu estou querendo saber se existem problemas -Hard que são `` polinomial" no caso da média. Eu acho que existem duas maneiras de interpretar isso?NPNPNP Se , pode haver um algoritmo de resolução de um N P problema -Hard com amortizado (caso médio) tempo de execução O ( n k ) por uma constante k...
Vamos ser algum problema de contagem, que é conhecido por ser # P -Complete .ΠΠ\PiPPP Isso implica que é A P X- difícil (ou seja, não existe PTAS para o problema, a menos que P = N P