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

Abaixo está minha simplificação de parte de um projeto de pesquisa maior sobre redes espaciais bayesianas: Digamos que uma variável seja " -local" em uma string se houver menos de cláusulas entre a primeira e a última cláusula em que ela aparece (onde é um número natural).kkkC∈3-CNFC∈3-CNFC \in...

Dado é um número inteiro positivo , e os números com para cada . Qual é a complexidade de decidir se existem números inteiros modo que para todos os e para todos os ?nnna1,b1,…,an,bna1,b1,…,an,bna_1,b_1,\dots,a_n,b_nai≤biai≤bi a_i\leq b_iiiic1,…,cnc1,…,cnc_1,\dots,c_nai≤ci≤biai≤ci≤bia_i\leq c_i\leq...