Um conjunto de acertos de uma família S= { S1, … , Sn}S={S1,...,Sn}\mathcal{S} = \{S_1, \dots, S_n\} é um subconjunto HHH de modo que para . O problema para encontrar um conjunto mínimo de acertos de uma determinada família é geralmente difícil para NP, pois generaliza o problema de cobertura de...
Eu esperava que alguém pudesse me explicar por que exatamente o problema do produto do subconjunto é fortemente NP-difícil, enquanto o problema da soma do subconjunto é fracamente NP-difícil. Subconjunto Soma: Dado e T , existe um subconjunto X ′ tal que ∑ i ∈ X ′X={x1,...,xn}X={x1,...,xn}X =...
Esta questão está intimamente relacionada a outro post: Transições de fase em problemas graves do NP, mas é um pouco diferente. Embora essa pergunta seja sobre a dureza de instâncias específicas de problemas difíceis de NP, trata-se de classificar a dificuldade das mesmas instâncias. Há muita...
Eu tenho um politopo PPP definido por {x:Ax≤b,x≥0}{x:UMAx≤b,x≥0 0}\{ x : Ax \leq b, x \geq 0\} . Pergunta: Dado um vértice vvv de PPP , existe um algoritmo de tempo polinomial para amostrar uniformemente os vizinhos de vvv no gráfico de PPP ? (Polinômio na dimensão, o número de equações e a...
Qual é a complexidade computacional do seguinte problema: dados duas matrizes complexas e verificam se existe uma matriz de permutação tal que: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Se ajudar, pode-se supor que e são eremitas (ou mesmo que e são reais e
Considere uma coleção de conjuntos em um conjunto de base que e , e deixá- kF={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}|Fi||Fi||F_i| ≪≪\ll nnnei∈Fiei∈Fie_i \in F_ikk ser um número inteiro positivo. O objetivo é encontrar uma outra...
Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados com sucesso...
Eu estava lendo recentemente um artigo muito bom por Valiant e Vazirani que mostra que se , então não pode haver um algoritmo eficiente para resolver SAT mesmo sob a promessa de que ela é ou insatisfatível ou tem uma solução única. Assim, mostrando que o SAT não admite um algoritmo eficiente, mesmo...
Como todos sabem, o SAT está completo para reduções de numerosas uma em tempo polinomial . Ainda há reduções completas de wrt .N PNP\mathsf{NP}A C0 0UMAC0 0\mathsf{AC^0} Minhas perguntas é qual é a profundidade mínima exigida para as reduções? Mais formalmente, Qual é o menor que SAT é -hard...
Problema: Dado representado por um circuito booleano, gerar uma maneira uniforme aleatória tal que (ou output se esse existir). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0 0,1}n→{0 0,1}\phi : \{0,1\}^n \to \{0,1\} ϕ ( x ) = 1 ⊥ xx ∈ { 0 , 1 }nx∈{0 0,1}nx \in \{0,1\}^nϕ ( x ) =
Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é...
Esse é um nome que eu inventei para esse problema. Eu nunca vi isso descrito em nenhum lugar antes. Ainda não consegui encontrar uma prova de completude de NP nem um algoritmo de tempo polinomial para esse problema. Não é um problema de lição de casa - está relacionado a um problema que encontrei...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (onde G = ( [ n ]...
Dado um gráfico, , que deseja encontrar uma óptima -domination para . Isto é, I quer um subconjunto de de tal modo que todos os vértices em estão a uma distância de, no máximo, de algum vértice em , enquanto minimiza o tamanho de .G = ( V, E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS Pelo que...
No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por...
O Problema do Ciclo Hamiltoniano (HC) consiste em encontrar um ciclo que atravessa todos os vértices em um determinado gráfico não direcionado. O Travelling Salesman Problem (TSP) consiste em encontrar um ciclo que atravesse todos os vértices em um determinado gráfico ponderado pelas arestas e...
Aqui está o problema: Temos um quadrado com alguns números de 1..N em algumas células. É necessário determinar se ele pode ser concluído em um quadrado mágico. Exemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Esse problema está completo?...
Quão difícil é encontrar a solução mais esparsa para um sistema de equações lineares? Mais formalmente, considere o seguinte problema de decisão: Instância: Um sistema de equações lineares com coeficientes inteiros e um número .ccc Pergunta: Existe uma solução para o sistema com pelo menos...
Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é