Perguntas com a marcação «np-complete»

Perguntas sobre os problemas mais difíceis em NP, ou seja, aqueles que podem ser resolvidos em tempo polinomial por máquinas de Turing não determinísticas.

64
A legislação está completa?

Gostaria de saber se houve algum trabalho relacionado ao código legal da complexidade. Em particular, suponha que tenhamos o problema de decisão "Dado este livro de leis e esse conjunto específico de circunstâncias, o réu é culpado?" A que classe de complexidade pertence? Há resultados que...

28
Por que o tipo de vácuo de C não é análogo ao tipo vazio / inferior?

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...

28
Gerando combinações de um conjunto de pares sem repetição de elementos

Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma combinação usando n/2pares de...

27
O regex golf NP-Complete?

Como visto nesta faixa recente do XKCD e nesta postagem recente no blogde Peter Norvig (e uma história do Slashdot com o último), "regex golf" (que pode ser chamado de problema de separação de expressões regulares) é o quebra-cabeça de definir a expressão regular mais curta possível que aceita...

27
Problemas NP-completos não "obviamente" em NP

Ocorreu a muitos que em todas as provas de integridade de que li (que me lembro), é sempre trivial mostrar que existe um problema em e mostrando que é -hard é a ... parte mais difícil. Quais problemas -completos são esses cujos verificadores de tempo polinomial são altamente não triviais?NP NP...

24
O Logical Min-Cut NP-Complete é?

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Definição do problema LMC (Log Min Min Cut) Suponha-se que é um digrama não ponderada, s e t são dois vértices de V , e t é acessível a partir de...