Concetti Chiave
Ka,b-free Max k-Weight SAT의 근사 커널을 제시하고, 실행 시간과 변수 수를 개선함.
Statistiche
Jain et al. [JKP+23]은 Kd,d-free Max k-Weight SAT에 대한 FPT-AS를 제공합니다.
Feige [Fei98]는 Max k-Coverage 문제에 대한 근사 알고리즘을 증명했습니다.
Marx [Mar08]는 Max k-Vertex Cover에 대한 FPT 근사 체계를 개발했습니다.
Citazioni
"Our main contribution is a positive answer to their question: We design an (1 − ǫ)-approximate kernel for Kd,d-free Max k-Weight SAT." - Pasin Manurangsi
"Kernelization is a central concept in FPT." - Pasin Manurangsi