Preguntas etiquetadas con parameterized-complexity

Sea un problema de gráfico NP-completo. Supongamos que X es solucionable en tiempo polinómico en gráficos de diámetro acotado. En otras palabras, parametrizado por diámetro está en XP. (Recordemos que un problema está en XP si se puede resolver en tiempo). ¿Esto implica la capacidad de solución en tiempo de …

8 graph-theory  parameterized-complexity  fixed-parameter-tractable 

Deje que SAT sea ​​el lenguaje de esas instancias de SAT que contienen variables , deje que -SAT sea el lenguaje de esas instancias de SAT en las que cada cláusula tiene a lo sumo literales, y deje que -SAT sea ​​su intersección. Deje , donde el rango infimum abarca …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

Problema de cláusulas independientes máximas parametrizadas : Entrada: Una fórmula F de r-CNFSAT que tiene n variables y cláusulas m , k Ques: ¿Existe al menos k cláusulas tales que sean mutuamente independientes, es decir, no se produce ninguna variable más de una vez en todas estas cláusulas combinadas. Parámetro: …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable