Perguntas com a marcação «reductions»

Em computabilidade e complexidade, localizando mapeamentos entre problemas que permitem solucionar um problema usando uma solução de outro. Para redução na teoria da linguagem de programação (por exemplo, redução beta), consulte [lambda-calculus] ou [term-reescrevendo].

1
Reduções entre problemas indecidíveis
Sinto muito se esta pergunta tem alguma resposta trivial que estou perdendo. Sempre que estudo algum problema que foi provado indecidível, observo que a prova depende de uma redução para outro problema que foi provado indecidível. Entendo que ele cria algum tipo de ordem sobre o grau de dificuldade de …
2
HORN-SAT está em LIN, se sim, por que isso não é uma indicação de que P = LIN?
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 fórmulas de cornetas proposicionais (1984) )O(n)O(n)O(n) …
2
Se A está mapeando redutível para B, então o complemento de A está mapeando redutível para o complemento de B
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 \rightarrow w \notin A \iff f(w) \notin B …
1
Dureza e direções das reduções
Digamos que sabemos que o problema A é difícil, depois reduzimos A ao problema desconhecido B para provar que B também é difícil. Como exemplo: sabemos que 3 cores são difíceis. Em seguida, reduzimos 3 cores para 4 cores. Ao confundir uma das cores da 3-coloração, você tem 4-coloração, portanto, …
2
Para qualquer idioma
Estou tentando criar uma prova para o seguinte: Para qualquer idioma , existe uma linguagem B tal que A ≤ T B , mas B ≰ T A .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Eu estava pensando em deixar ser um T M , mas eu percebo que nem todos os idiomas …
1
Expressividade de expressões regulares modernas
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …
1
Dureza NP de encontrar um subconjunto de vértices em um gráfico ponderado por vértices
Essa é uma tarefa do concurso alemão de TI ("Bundeswettbewerb Informatik"), mas como o prazo já passou, fazer esta pergunta não é trapaça. Dado um gráfico direcionado ponderado por vértice e valores , encontre um subconjunto de nós que maximize sujeito a Esse problema é difícil para o NP?G=(V,E)G=(V,E)G=(V, E)cvcvc_vVres⊆VVres⊆VV_{res}\subseteq …
2
A coloração do gráfico 3 é auto-redutível
Estou interessado na auto-redutibilidade do problema do Graph 3-Coloralibity. Definição do problema do gráfico 3-Coloralibity. Dado um gráfico não direcionado GGG existe uma maneira de colorir os nós vermelho, verde e azul para que nenhum nó adjacente tenha a mesma cor? Definição de auto-redutibilidade. Uma linguagem euLL é auto-redutível se …
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.