Perguntas com a marcação «reductions»

Uma redução é a transformação de um problema em outro. Um exemplo do uso de uma redução seria mostrar se um problema P é indecidível. Isso seria conseguido transformando ou executando uma redução de um problema de decisão em um problema indecidível. Se isso puder ser alcançado, mostramos que esse problema P é indecidível. $P$

Melhorando a redução genérica de Cook para Clique para SAT?

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 …

10 cc.complexity-theory sat reductions clique

Reduções de problemas difíceis para modelos físicos

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 redução.

10 cc.complexity-theory reductions physics formal-modeling

A prova da complexidade de Kolmogorov é incontestável usando reduções

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 Correspondência …

9 computability reductions kolmogorov-complexity

Alguma formulação SAT / SMT do VRP / VRPTW (TSP, Job-Shop-Scheduling)?

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 …

9 ds.algorithms reference-request sat reductions tsp

Um problema de partição no qual alguns números podem ser cortados

No padrão problema partição , que são dados alguns números cuja soma é 2s2s2s e tem de decidir se pode ser dividida em duas subconjunto cuja soma é sss . É conhecido por ser NP-difícil. No entanto, suponha que tenhamos permissão para designar um dos números como um "número flexível" …

8 np-hardness reductions partition-problem

Verificando uma sutileza da prova original de Karp de que o SAT tem uma redução de tempo polinomial para 3SAT

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 cláusula , onde o …

8 cc.complexity-theory sat reductions

Prova de dureza NP: procurando bons problemas restritos np-duros

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 mais facilmente reduzidos do que …

8 np-hardness reductions

Problema de subgrafo conectado de peso máximo em gráficos planares

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 …

8 reference-request np-hardness reductions planar-graphs

Contando redução de #SAT para #HornSAT?

É 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, #SAT pergunta como …

8 cc.complexity-theory complexity-classes sat counting-complexity reductions

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.

Licensed under cc by-sa 3.0 with attribution required.