Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial...
Existem problemas cuja complexidade média de casos é a mesma de pior complexidade? Quais são as propriedades subjacentes a esses problemas que tornam possível reduzir o pior caso para o caso
Como 2 problemas completos de NP são por definição redutíveis um ao outro, portanto, uma solução para um deles pode ser obtida usando uma caixa preta para resolver o outro, por que eles não têm taxas de aproximação semelhantes (consultando as contrapartes de otimização) )? Eu acho que algum desvio...
Na complexidade parametrizada, as pessoas usam a redução de FPT (Trace-Parametrable-Fixed) para provar a dureza W [t]. Teoricamente, uma redução de FPT não é uma redução de tempo polinomial, pois pode ser executada exponencialmente no parâmetro k. Mas, na prática, todas as reduções de FPT que eu vi...
Estou interessado em reduzir o -Clique para o SAT sem tornar a instância muito maior.kkk O Clique está no NP, portanto pode ser reduzido para SAT usando espaço logarítmico. A simples redução de livros didáticos da Garey / Johnson aumenta a instância para o tamanho cúbico . No entanto, -Clique está...
Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos. Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de...
Teorema de Mahaney nos diz que se há uma escassa conjunto -completo sob de tempo polinomial muitos one-reduções, então P = N P . (Veja " Conjuntos completos esparsos para NP: solução de uma conjectura de Berman e Hartmanis ")NPNPNPP= NPP=NPP = NP Existem consequências conhecidas da existência de...
Estou procurando uma prova de que a complexidade de Kolmogorov é incontestável usando uma redução de outro problema incontestável. A prova comum é uma formalização do paradoxo de Berry, e não uma redução, mas deve haver uma prova reduzindo algo como o Problema da Parada ou o Problema da...
Gostaria de saber se existem abordagens que formulam um problema de roteamento de veículo com Windows de tempo ( VRPTW ) (como um problema de decisão) como uma instância de SAT / SMT? (alternativa: TSP) Por exemplo: "Existe uma solução válida para visitar todos os clientes dentro de suas janelas...
Para mostrar a dureza NP de um problema, é necessário escolher um problema NP-difícil conhecido e encontrar uma redução polinomial do problema conhecido para o problema em questão. Teoricamente, qualquer problema NP-difícil pode ser usado para a redução, mas, na prática, alguns dos problemas são...
O problema do subgráfico conectado de peso máximo é o seguinte: Entrada: um gráfico e um peso (possivelmente negativo) para cada vértice .w i i ∈ VG = ( V, E)G=(V,E)G=(V,E)WEuWEuw_ii ∈ VEu∈Vi \in V Saída: um subconjunto de peso máximo de vértices, de modo que esteja conectado.G [ S ]SSSG [...
Em poucas palavras, minha pergunta é: a prova original de Karp está reduzindo o SAT para 3SAT desnecessariamente elaborado? Os detalhes são os seguintes. Em seu artigo de 1972, Redutibilidade entre problemas combinatórios , Karp provou que o SAT se reduz a 3SAT, afirmando: Substituir um...
É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo,...