Skip to main content

2013 | OriginalPaper | Buchkapitel

7. Further Elementary Techniques

verfasst von : Rodney G. Downey, Michael R. Fellows

Erschienen in: Fundamentals of Parameterized Complexity

Verlag: Springer London

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We explore a number of elementary techniques including the extremal method, greedy localization and bounded variable integer programming.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
We remark that the P-time extremal structure approach uncovers 14 more reduction rules, yielding a much tighter kernelization bound, but the argument is laborious and beyond the scope of this book. See [278].
 
Literatur
8.
Zurück zum Zitat F. Abu-Khzam, A quadratic kernel for 3-set packing, in Theory and Applications of Models of Computation, Proceedings of 6th Annual Conference, TAMC 2009, Changsha, China, May 18–22, 2009, ed. by J. Chen, B. Cooper. LNCS, vol. 5532 (Springer, Berlin, 2009), pp. 81–87 F. Abu-Khzam, A quadratic kernel for 3-set packing, in Theory and Applications of Models of Computation, Proceedings of 6th Annual Conference, TAMC 2009, Changsha, China, May 18–22, 2009, ed. by J. Chen, B. Cooper. LNCS, vol. 5532 (Springer, Berlin, 2009), pp. 81–87
30.
Zurück zum Zitat N. Alon, Y. Azar, G. Woeginger, T. Yadid, Approximation schemes for scheduling on parallel machines. J. Sched. 1, 55–66 (1998) MathSciNetCrossRefMATH N. Alon, Y. Azar, G. Woeginger, T. Yadid, Approximation schemes for scheduling on parallel machines. J. Sched. 1, 55–66 (1998) MathSciNetCrossRefMATH
140.
Zurück zum Zitat J. Chen, H. Fernau, I. Kanj, G. Xia, Parametric duality and kernelization: lower bounds and upper bounds on kernel size. SIAM J. Comput. 37(4), 1077–1106 (2007) MathSciNetCrossRefMATH J. Chen, H. Fernau, I. Kanj, G. Xia, Parametric duality and kernelization: lower bounds and upper bounds on kernel size. SIAM J. Comput. 37(4), 1077–1106 (2007) MathSciNetCrossRefMATH
142.
Zurück zum Zitat J. Chen, D. Friesen, W. Jia, I. Kanj, Using nondeterminism to design efficient deterministic algorithms. Algorithmica 40(2), 83–97 (2004) MathSciNetCrossRefMATH J. Chen, D. Friesen, W. Jia, I. Kanj, Using nondeterminism to design efficient deterministic algorithms. Algorithmica 40(2), 83–97 (2004) MathSciNetCrossRefMATH
150.
Zurück zum Zitat J. Chen, Y. Liu, S. Lu, B. O’Sullivan, I. Razgon, A fixed-parameter algorithm for the directed feedback vertex set problem. J. ACM 55(5), 1–19 (2008) MathSciNet J. Chen, Y. Liu, S. Lu, B. O’Sullivan, I. Razgon, A fixed-parameter algorithm for the directed feedback vertex set problem. J. ACM 55(5), 1–19 (2008) MathSciNet
203.
Zurück zum Zitat F. Dehne, M. Fellows, H. Fernau, E. Prieto, F. Rosamond, Nonblocker: parameterized algorithmics for minimum dominating set, in Proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM ’06) (Springer, Berlin, 2006), pp. 237–245 F. Dehne, M. Fellows, H. Fernau, E. Prieto, F. Rosamond, Nonblocker: parameterized algorithmics for minimum dominating set, in Proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM ’06) (Springer, Berlin, 2006), pp. 237–245
204.
Zurück zum Zitat F. Dehne, M. Fellows, F. Rosamond, P. Shaw, Greedy localization, iterative compression, and modeled crown reductions: new FPT techniques, an improved algorithm for set splitting, and a novel 2k kernelization for vertex cover, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC 2004, Bergen, Norway, September 14–17, 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 271–281 F. Dehne, M. Fellows, F. Rosamond, P. Shaw, Greedy localization, iterative compression, and modeled crown reductions: new FPT techniques, an improved algorithm for set splitting, and a novel 2k kernelization for vertex cover, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC 2004, Bergen, Norway, September 14–17, 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 271–281
278.
Zurück zum Zitat V. Estivill-Castro, M. Fellows, M. Langston, F. Rosamond, FPT is P-time extremal structure I, in Algorithms and Complexity in Durham 2005, Proceedings of the First ACiD Workshop. Texts in Algorithmics, vol. 4 (King’s College, Dusham, 2005), pp. 1–41 V. Estivill-Castro, M. Fellows, M. Langston, F. Rosamond, FPT is P-time extremal structure I, in Algorithms and Complexity in Durham 2005, Proceedings of the First ACiD Workshop. Texts in Algorithmics, vol. 4 (King’s College, Dusham, 2005), pp. 1–41
287.
Zurück zum Zitat M.R. Fellows, S. Gaspers, F.A. Rosamond, Parameterizing by the number of numbers. Theory Comput. Syst. 50(4), 675–693 (2012) MathSciNetCrossRefMATH M.R. Fellows, S. Gaspers, F.A. Rosamond, Parameterizing by the number of numbers. Theory Comput. Syst. 50(4), 675–693 (2012) MathSciNetCrossRefMATH
288.
Zurück zum Zitat M. Fellows, P. Heggernes, F. Rosamond, C. Sloper, J. Telle, Finding k disjoint triangles in an arbitrary graph, in Graph-Theoretic Concepts in Computer Science. LNCS, vol. 3353 (Springer, Berlin, 2004), pp. 235–244 CrossRef M. Fellows, P. Heggernes, F. Rosamond, C. Sloper, J. Telle, Finding k disjoint triangles in an arbitrary graph, in Graph-Theoretic Concepts in Computer Science. LNCS, vol. 3353 (Springer, Berlin, 2004), pp. 235–244 CrossRef
289.
Zurück zum Zitat M. Fellows, P. Heggernes, F. Rosamond, C. Sloper, J.A. Telle, Exact algorithms for finding k disjoint triangles in an arbitrary graph, in Graph-Theoretic Concepts in Computer Science: 30th International Workshop, WG 2004, Revised Papers, Bad Honnef, Germany, June 2004, ed. by J. Hromkovič, M. Nagl, B. Westfechtel. LNCS, vol. 3353 (Springer, Berlin, 2004), pp. 235–244 CrossRef M. Fellows, P. Heggernes, F. Rosamond, C. Sloper, J.A. Telle, Exact algorithms for finding k disjoint triangles in an arbitrary graph, in Graph-Theoretic Concepts in Computer Science: 30th International Workshop, WG 2004, Revised Papers, Bad Honnef, Germany, June 2004, ed. by J. Hromkovič, M. Nagl, B. Westfechtel. LNCS, vol. 3353 (Springer, Berlin, 2004), pp. 235–244 CrossRef
292.
Zurück zum Zitat M. Fellows, C. Knauer, N. Nishimura, P. Ragde, F. Rosamond, U. Stege, D. Thilikos, S. Whitesides, Faster fixed-parameter tractable algorithms for matching and packing problems. Algorithmica 52(2), 167–176 (2008) MathSciNetCrossRefMATH M. Fellows, C. Knauer, N. Nishimura, P. Ragde, F. Rosamond, U. Stege, D. Thilikos, S. Whitesides, Faster fixed-parameter tractable algorithms for matching and packing problems. Algorithmica 52(2), 167–176 (2008) MathSciNetCrossRefMATH
350.
Zurück zum Zitat P. Golovach, D. Thilikos, Paths of bounded length and their cuts: parameterized complexity and algorithms. Discrete Optim. 8(1), 72–86 (2011) MathSciNetCrossRefMATH P. Golovach, D. Thilikos, Paths of bounded length and their cuts: parameterized complexity and algorithms. Discrete Optim. 8(1), 72–86 (2011) MathSciNetCrossRefMATH
357.
Zurück zum Zitat J. Gramm, R. Niedermeier, P. Rossmanith, Fixed-parameter algorithms for closest string and related problems. Algorithmica 37, 25–42 (2003) MathSciNetCrossRefMATH J. Gramm, R. Niedermeier, P. Rossmanith, Fixed-parameter algorithms for closest string and related problems. Algorithmica 37, 25–42 (2003) MathSciNetCrossRefMATH
416.
518.
Zurück zum Zitat L. Mathieson, E. Prieto, P. Shaw, Packing edge disjoint triangles: a parameterized view, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC ’04, Bergen, Norway, September 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 127–137 CrossRef L. Mathieson, E. Prieto, P. Shaw, Packing edge disjoint triangles: a parameterized view, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC ’04, Bergen, Norway, September 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 127–137 CrossRef
546.
Zurück zum Zitat R. Niedermeier, Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and Its Applications, vol. 31 (Oxford University Press, Oxford, 2006) CrossRef R. Niedermeier, Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and Its Applications, vol. 31 (Oxford University Press, Oxford, 2006) CrossRef
564.
Zurück zum Zitat E. Prieto, Systematic kernelization in FPT algorithm design, PhD thesis, School of Electrical Engineering and Computer Science, University of Newcastle, Australia, 2004 E. Prieto, Systematic kernelization in FPT algorithm design, PhD thesis, School of Electrical Engineering and Computer Science, University of Newcastle, Australia, 2004
565.
Zurück zum Zitat E. Prieto, C. Sloper, Looking at the stars, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC ’04, Bergen, Norway, September 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 138–148 CrossRef E. Prieto, C. Sloper, Looking at the stars, in Parameterized and Exact Computation, Proceedings of First International Workshop, IWPEC ’04, Bergen, Norway, September 2004, ed. by R. Downey, M. Fellows, F. Dehne. LNCS, vol. 3162 (Springer, Berlin, 2004), pp. 138–148 CrossRef
624.
Zurück zum Zitat C. Sloper, J.A. Telle, Techniques for designing parameterized algorithms. Comput. J. 51(1), 122–136 (2008) CrossRef C. Sloper, J.A. Telle, Techniques for designing parameterized algorithms. Comput. J. 51(1), 122–136 (2008) CrossRef
Metadaten
Titel
Further Elementary Techniques
verfasst von
Rodney G. Downey
Michael R. Fellows
Copyright-Jahr
2013
Verlag
Springer London
DOI
https://doi.org/10.1007/978-1-4471-5559-1_7