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$

Existe uma lista de problemas canônicos em sistemas distribuídos?

Na semana passada, eu estava lendo novamente o transcrito de Leslie de Lamport, de 1982, de uma conferência que ele deu sobre problemas resolvidos, problemas não resolvidos e não problemas em simultâneo . O artigo é de fácil leitura, mas uma das coisas que me fez pensar é a seguinte …

13 reductions dc.distributed-comp concurrency

O PPAD realmente captura a noção de encontrar outro vértice desequilibrado?

Complexidade classe PPAD foi inventado por Christos Papadimitriou em seu seminal 1994 papel . A classe é projetada para capturar a complexidade dos problemas de pesquisa, onde a existência de uma solução é garantida pelo "argumento Paridade em gráficos direcionados": se houver um vértice desequilibrado em um gráfico direcionado, deverá …

13 cc.complexity-theory reductions search-problem ppad

Reduções entre idiomas de diferentes densidades?

A densidade de uma linguagem é uma função definida como Suponha que e são linguagens mais algum alfabeto finito, muitos e um logspace reduz a e não está na . Funções são polinomialmente relacionada se existem polinómios e tais que, para todos os , ed X : N → N …

12 cc.complexity-theory reductions structural-complexity

A que classe de complexidade pertence esse problema da teoria dos números?

'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' é NPNP\mathsf{NP} completo. A qual classe de complexidade 'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c ' pertence?

12 ds.algorithms complexity-classes reductions nt.number-theory np-complete

Existe uma redução nos jogos de “porta e pressão” que não explode o comprimento da solução?

Este artigo prova que, em um jogo com portas e placas de pressão, é difícil para o PSPACE determinar se o avatar (do jogador) pode ou não alcançar um determinado local. Isso é comprovado por uma redução do TQBF , e o comprimento das soluções resultantes depende exponencialmente do número …

12 reductions nondeterminism pspace

Modelos SAT vs Exatamente exclusivos

SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os problemas …

12 cc.complexity-theory reference-request np-hardness sat reductions

Número limitado de ocorrências variáveis no SAT 1 em 3

Existe um resultado conhecido na classe de complexidade 1-em-3-SAT com número restrito de ocorrências variáveis? Eu propus a seguinte redução parcimoniosa com Peter Nightingale, mas quero citar algo, se isso for conhecido. Aqui está o truque que criamos. Isso mostra que 1-em-3-SAT limitado a 3 ocorrências por variável é NP …

11 reference-request sat reductions

A NP-completude / dureza precisa ser construtiva?

Existe algum com as seguintes propriedades:L ∈ N PL∈NPL\in {\bf NP} É sabido que implica .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Não há (conhecido) tempo polinomial redução Turing de (ou algum outro problema -completo) para .N P LSA TSATSATN PNP{\bf NP}euLL Em outras …

11 cc.complexity-theory np-hardness reductions

Por que os problemas NP-completos não têm taxas de aproximação semelhantes?

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 …

11 cc.complexity-theory approximation-algorithms reductions

Instância de reduções de FPT que não são uma redução no tempo polinomial

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 são reduções …

11 cc.complexity-theory np-hardness reductions parameterized-complexity

Cálculo de construções: comprima a expressão para a menor forma

Estou ciente de que o Cálculo de Construções está fortemente normalizando, o que significa que toda expressão tem um normal, pois não pode ser beta, reduzida ainda mais. Portanto, de fato, essa é a expressão mais eficiente que calcula o mesmo valor da expressão original. Mas, em certos casos, a …

11 lambda-calculus reductions typed-lambda-calculus normalization calculus-of-constructions

O que significa 'gadget' na redução NP-hard?

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 …

11 cc.complexity-theory np-hardness terminology reductions

Reduções de pior caso para média de caso

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 médio?

11 cc.complexity-theory reductions average-case-complexity

Reduções de um-número e reduções de Turing definem o mesmo NPC de classe

Gostaria de saber se as classes de NPCs definidas por muitas reduções de um e reduções de Turing são iguais. Edit: Outra pergunta, são as reduções de Turing apenas colapsando as classes C e co-C para alguns C ou existe uma classe como existe um problema que não esteja em …

11 cc.complexity-theory np-hardness reductions

Em conjuntos completos esparsos e P vs L

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 conjuntos …

10 cc.complexity-theory complexity-classes reductions polynomial-time logspace

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.