Você conhece problemas difíceis de W [1] mesmo para gráficos de graus delimitados? A dimensão métrica é difícil em gráficos com grau no máximo 3, mas é W [2] -hard. O Non-blocker Vermelho-Azul costumava ser W [1] -hard nos gráficos de graus limitados, mas houve um erro na prova (livro de Downey...
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...
Após as perguntas equivalentes sobre NP-Completeness (consulte a pergunta sobre peso e a pergunta direcionada ), fiquei pensando como os problemas parametrizados são afetados por esses atributos. Quais gráfico duro são -Duro em gráficos direcionados, mas parâmetros fixos tratáveis em...
Suponha que é uma linguagem parametrizada em relação a algum alfabeto . A fatia de é , o conjunto de instâncias em que têm o parâmetro . A classe de complexidade contém as linguagens parametrizadas modo que para cada , possivelmente com um algoritmo diferente e tempo de execução polinomial...
O problema parametrizado do k-FLIP SAT é definido como: Entrada: uma fórmula 3-CNF com n variáveis e uma atribuição de verdade σ : [ n ] → { 0 , 1 } Parâmetro: k Pergunta: podemos transformar a atribuição σ em uma atribuição satificante σ ′ para φ inverter o valor de verdade de no máximo k...
Estou procurando problemas difíceis de resolver no tempo do FPT, mas que possuem um algoritmo de aproximação. Ou seja, problemas que são: R1. W [1] -hard. R2. Admita um algoritmo de aproximação (de preferência constante) no tempo do FPT. O problema com o qual estou familiarizado é contar o...
Eu sou um pesquisador que trabalha na teoria de algoritmos e complexidade, eu uso a complexidade parametrizada até certo ponto. Para mim, parece que os pesquisadores com complexidade parametrizada são muito ativos (não quero dizer que outros não sejam) em termos de número de trabalhos de pesquisa....
A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo que:euLLeuLL{ xEu}i ∈ [ t ]{xi}i∈[t]\{ x_i...
Seja uma família de subconjuntos de elementos- de um universo finito de objetos. Uma família de subconjuntos de elementos de , com , é um conjunto de batidas de - se para cada existir pelo menos um conjunto tal que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Em uma pergunta anterior parametrizada algoritmo para encontrar Bicliques , perguntei se não foram rápido parametrizada algoritmos para encontrar um -biclique em uma n grafo vértice e aprendeu que foi aberto se é FPT wrt k . É o mesmo verdade para contar o k × k -bicliques, ou é conhecido que este...
Seja SAT o idioma das instâncias do SAT que contêm variáveis , seja -SAT o idioma das instâncias do SAT nas quais todas as cláusulas têm no máximo k literais, e deixe k -SAT _v ser sua interseção. Seja s_k = \ inf_M \ {\ delta \ mid \ existe c \ forall v \; (M \ text {decide} k \ text {-SAT $ _v $...
Seja um problema gráfico completo de NP. Suponha que X seja solucionável em tempo polinomial em gráficos de diâmetro delimitado. Em outras palavras, X parametrizado por diâmetro está no XP. (Lembre-se de que um problema está no XP se ele puder ser resolvido no tempo n f ( k ) ). Isso implica...
Parametrizada máximo problema cláusulas independente: Entrada: fórmula A r-CNFSAT F tendo n variáveis e m cláusulas, k Ques: Does existe pelo menos k cláusulas de tal modo que eles são independentes entre si ou seja, não variável ocorre mais do que uma vez em todos estes cláusulas combinadas....