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

Suponha que exista uma sessão de tutorial em uma universidade. Temos um conjunto de perguntas e um conjunto de alunos . Cada aluno tem uma dúvida em um determinado subconjunto de perguntas, ou seja, para cada aluno , seja o conjunto de perguntas que um aluno duvida. Assume-se que e …

13 algorithms  complexity-theory  np-complete  np-hard 

Eu estava brincando no outro dia neste site: http://regexcrossword.com/ e isso me fez pensar em qual seria a melhor maneira de resolvê-lo. Você pode resolver o seguinte problema em tempo polinomial ou é NP-difícil? Dada uma grade NxM com N expressões regulares para as colunas e M para as linhas, …

13 complexity-theory  np-hard  regular-expressions 

Qual é a complexidade de e \ text {MAX-2-XOR-SAT} ? Eles estão em P? Eles são NP-difíceis?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Para formalizar isso com mais precisão, vamos Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, onde x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) e cada cláusula CiCiC_i tem a forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) ou (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . O problema 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} é …

13 complexity-theory  optimization  np-hard  satisfiability 

A integridade do coNP implica dureza do NP? Em particular, tenho um problema que demonstrei ser coNP-completo. Posso afirmar que é NP-difícil? Percebo que posso reivindicar dureza de coNP, mas não tenho certeza se essa terminologia é padrão. Estou satisfeito com a afirmação de que, se um problema de NP …

12 complexity-theory  np-hard 

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 

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 …

11 complexity-theory  np-hard  optimization  computable-analysis 

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 direcionado). Problema Um …

11 complexity-theory  np-hard  graph-theory 

Essa pergunta é um pouco contrária a uma pergunta anterior sobre conjuntos formados a partir de operações de conjunto em conjuntos NP-completos: Se o conjunto resultante da união, interseção ou produto cartesiano de dois conjuntos decidíveis e for NP completo, é pelo menos um de necessariamente NP rígido? Eu sei …

10 complexity-theory  np-hard  np  np-intermediate 

Os exemplos comuns de problemas difíceis de NP (clique, 3-SAT, cobertura de vértices etc.) são do tipo em que não sabemos se a resposta é "sim" ou "não" anteriormente. Suponha que tenhamos um problema no qual sabemos que a resposta é sim, além disso, podemos verificar uma testemunha em tempo …

10 complexity-theory  np-hard  search-problem 

Eu tenho um problema em minha mente, acho que é um problema de NPC, mas não sei como prová-lo. Aqui está o problema: Existem k ilhas em um lago muito grande e n pontões em forma de leque. Esses pontões têm o mesmo tamanho, mas têm direções iniciais diferentes e …

10 complexity-theory  np-complete  np-hard 

Eu estava lendo este artigo, onde os autores explicam o Teorema 1, que afirma que "Objeto alcançável" (conforme definido no artigo) é NP-completo. No entanto, eles provam a redução apenas em uma direção, ou seja, de 2P1N SAT para Objeto alcançável. Isso prova apenas que o problema é difícil de …

8 complexity-theory  np-complete  np-hard  satisfiability 

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 …

8 complexity-theory  reductions  np-hard 

Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica III? Por exemplo: suponha que …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições desconhecidas?

8 complexity-theory  np-hard  complexity-classes  np 

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 3\text{-CNF}kkkkkk Agora …

7 np-hard  satisfiability  polynomial-time  3-sat  2-sat