Perguntas com a marcação «reductions»

Estou lutando para entender a relação entre NP-Intermediário e NP-Completo. Eu sei que se P! = NP baseado no Teorema de Ladner, existe uma classe de idiomas em NP, mas não em P ou em NP-Complete. Todo problema no NP pode ser reduzido a um problema NP-Complete, no entanto, não …

17 np-complete  reductions  factoring 

Nós temos um DAG. Temos uma função nos nós (falando livremente, numeramos os nós). Gostaríamos de criar um novo gráfico direcionado com estas regras:F:V→NF:V→NF\colon V\to \mathbb N Somente nós com o mesmo número podem ser contratados no mesmo novo nó. . (No entanto, .)F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' …

15 algorithms  graphs  np-complete  reductions 

Um Hidoku é uma grade com alguns números inteiros pré-preenchidos de 1 a . O objetivo é encontrar um caminho de números inteiros sucessivos (de 1 a ) na grade. Mais concreto, cada célula da grade deve conter um número inteiro diferente de 1 a e cada célula com valor …

15 complexity-theory  reductions  np-hard 

Aparentemente, se , todos os idiomas em exceto e seriam completos.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Por que essas duas línguas em particular? Não podemos reduzir nenhum outro idioma em para eles, exibindo-os ao aceitar ou não?PP{\sf P}

15 complexity-theory  np-complete  reductions 

Seja A redutível a B, isto é, A≤BA≤BA \leq B . Assim, a máquina de Turing aceitar AAA tem acesso a um Oracle para BBB . Permita que a máquina de Turing que aceita AAA seja MAMAM_{A} e o oráculo para BBB seja . Os tipos de reduções:OBOBO_{B} Redução de …

15 complexity-theory  np-complete  reductions  complexity-classes 

Eu tenho o problema: Mostre que existe um número real para o qual não existe um programa que seja infinitamente longo e grave os dígitos decimais desse número. Suponho que isso possa ser resolvido reduzindo-o ao problema da parada, mas não tenho idéia de como fazê-lo. Também gostaria de receber …

14 algorithms  reductions  halting-problem 

Linguagens como são sob muitas one-redução. É trivial ver que tem problemas completos. S. Schmitz [1] considera algumas classes entre e . Eles apresentam problemas completos para essas classes sob reduções especificamente criadas.HALTTMHALTTM\text{HALT}_{TM} co-RERE-completoRE-complete\textsf{RE-complete}testemunhoco-RE\text{co-RE}ELEMELEM\text{ELEM}GRAVANDOREC\text{REC} Existem problemas completos para (aka ) em relação a reduções mais fracas? Reduções de Turing são …

14 computability  reductions  turing-completeness  recursion-theory 

O Planar 3SAT é NP-completo. Uma instância 3SAT planar é uma instância 3SAT para a qual o gráfico construído usando as seguintes regras é planar: adicione um vértice para cada e ¯ x ixEuxEux_ixEu¯xEu¯\bar{x_i} adicione um vértice para cada cláusula CjCjC_j adicione uma aresta para cada par ( xEu, xEu¯)(xEu,xEu¯)(x_i,\bar{x_i}) …

14 np-complete  reductions  satisfiability  3-sat 

Como a Programação Linear Inteira é NP-completa, há uma redução de Karp de qualquer problema no NP. Eu pensei que isso implicava que sempre existe uma formulação de ILP de tamanho polinomial para qualquer problema no NP. Mas já vi artigos sobre problemas específicos de PN, nas quais as pessoas …

14 complexity-theory  np-complete  reductions  linear-programming 

Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s …

14 complexity-theory  reductions  space-complexity 

Portanto, como é sabido, o problema de decisão 0-1 da ILP é NP-completo. É fácil mostrar que está no NP e a redução original foi do SAT; desde então, muitos outros problemas do NP-Complete demonstraram ter formulações de ILP (que funcionam como reduções desses problemas para o ILP), porque o …

14 np-complete  reductions  satisfiability  integer-programming 

O problema 3-partição pergunta se um conjunto de inteiros pode ser dividida em n conjuntos de três números inteiros tais que cada conjunto somas até algum dado número inteiro B . O problema da partição balanceada pergunta se 2 n inteiros podem ser particionados em dois conjuntos iguais de cardinalidade, …

13 complexity-theory  reductions  np-complete 

Estou curioso para saber se há algum problema completo na classe de complexidade Arthur-Merlin. Gráfico O não-isomorfismo (RNB) parece ser o exemplo canônico de um problema no AM, mas provavelmente não é completo. Suponho que também esteja pensando se um problema "completo" está bem definido para AM. Já que AM …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Definição: Redução de Karp Uma linguagem AAA é Karp redutível a uma linguagem BBB se houver uma função computável em tempo polinomial f : { 0 , 1 } ∗ → { 0 , 1 } ∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* tal que para cada xxx , x ∈ Ax∈Ax\in A se e somente …

12 complexity-theory  reductions  check-my-proof 

A Rodada de Teste do Google Hash Code 2015 ( declaração do problema ) perguntou sobre o seguinte problema: entrada: uma grade com alguns quadrados marcados, um limiar T ∈ N , uma área máxima A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} produção: a maior área possível total de um …

11 complexity-theory  reductions  np-hard