Skip to main content

Kernelization: MaxLin Above Average

  • Living reference work entry
  • First Online:
Encyclopedia of Algorithms
  • 209 Accesses

Years and Authors of Summarized Original Work

2010; R. Crowston, G. Gutin, M. Jones, E.J. Kim, I.Z. Ruzsa

2011; G. Gutin, E.J. Kim, S. Szeider, A. Yeo

2014; R. Crowston, M. Fellows, G. Gutin, M. Jones, E.J. Kim, F. Rosamond, I.Z. Ruzsa, S. Thomassé, A. Yeo

Problem Definition

The problem MaxLin2 can be stated as follows. We are given a system of m equations in variables x 1, , x n where each equation is \(\prod _{i\in I_{j}}x_{i} = b_{j}\), for some I j ⊆ { 1, 2, , n} and x i , b j ∈ { − 1, 1} and j = 1, , m. Each equation is assigned a positive integral weight w j . We are required to find an assignment of values to the variables in order to maximize the total weight of the satisfied equations. MaxLin2 is a well-studied problem, which according to Håstad [8] “is as basic as satisfiability.”

Note that one can think of MaxLin2 as containing equations, \(\sum _{i\in I_{j}}y_{i} = a_{j}\) over \(\mathbb{F}_{2}\). This is equivalent to the previous definition by letting y i = 0 if and...

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Bibliography

  1. Crowston R, Fellows M, Gutin G, Jones M, Kim EJ, Rosamond F, Ruzsa IZ, Thomassé S, Yeo A (2014) Satisfying more than half of a system of linear equations over GF(2): a multivariate approach. J Comput Syst Sci 80(4):687–696

    Article  MATH  Google Scholar 

  2. Crowston R, Gutin G, Jones M (2010) Note on Max Lin-2 above average. Inform Proc Lett 110:451–454

    Article  MathSciNet  MATH  Google Scholar 

  3. Crowston R, Gutin G, Jones M, Kim EJ, Ruzsa I (2010) Systems of linear equations over \(\mathbb{F}_{2}\) and problems parameterized above average. In: SWAT 2010, Bergen. Lecture notes in computer science, vol 6139, pp 164–175

    Google Scholar 

  4. Downey RG, Fellows MR (2013) Fundamentals of parameterized complexity. Springer, London/Heidelberg/New York

    Book  MATH  Google Scholar 

  5. Flum J, Grohe M (2006) Parameterized complexity theory. Springer, Berlin

    Google Scholar 

  6. Gutin G, Kim EJ, Szeider S, Yeo A (2011) A probabilistic approach to problems parameterized above or below tight bounds. J Comput Syst Sci 77:422–429

    Article  MathSciNet  MATH  Google Scholar 

  7. Gutin G, Yeo A (2012) Constraint satisfaction problems parameterized above or below tight bounds: a survey. Lect Notes Comput Sci 7370:257–286

    Article  Google Scholar 

  8. Håstad J (2001) Some optimal inapproximability results. J ACM 48:798–859

    Article  MathSciNet  MATH  Google Scholar 

  9. Håstad J, Venkatesh S (2004) On the advantage over a random assignment. Random Struct Algorithms 25(2):117–149

    Article  MATH  Google Scholar 

  10. Kim EJ, Williams R (2012) Improved parameterized algorithms for above average constraint satisfaction. In: IPEC 2011, Saarbrücken. Lecture notes in computer science, vol 7112, pp 118–131

    Google Scholar 

  11. Mahajan M, Raman V (1999) Parameterizing above guaranteed values: MaxSat and MaxCut. J Algorithms 31(2):335–354. Preliminary version in Electr. Colloq. Comput. Complex. (ECCC), TR-97-033, 1997

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Anders Yeo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this entry

Cite this entry

Yeo, A. (2014). Kernelization: MaxLin Above Average. In: Kao, MY. (eds) Encyclopedia of Algorithms. Springer, Boston, MA. https://doi.org/10.1007/978-3-642-27848-8_532-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27848-8_532-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, Boston, MA

  • Online ISBN: 978-3-642-27848-8

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics