Abstract
When an arbitrary equation is inserted into a linear system over the field GF(2) that contains exactly 3 variables from the set of n variables in each equation, the problem of the maximum number of satisfied equations is reoptimized with approximation ratio 3/2. This approximation ratio is a threshold. A similar result holds for systems that contain k variables in each equation when k = O(log n).
Similar content being viewed by others
References
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy, “Proof verification and intractability of approximation problems,” J. of the ACM, 45, No. 3, 501–555 (1998).
O. Goldreich, S. Goldwasser, and D. Ron, “Property testing and its connection to learning and approximation abstract,” J. of the ACM, 45, No. 4, 653–750 (1998).
O. Goldreich and M. Sudan, “Locally testable codes and PCPs of almost-linear length,” J. of the ACM, 53, No. 4, 558–655 (2006).
J. Hastad, “Some optimal inapproximability results,” J. of the ACM, 48, No. 4, 798–859 (2001).
J. Hastad, Complexity Theory, Proofs, and Approximation, European Congress of Mathematics, Stockholm, Sweden (2005).
G. Ausiello, B. Escoffier, J. Monnot, and V. Th. Paschos, “Reoptimization of minimum and maximum traveling salesman’s tours,” in: Algorithmic Theory – SWAT 2006, Lect. Notes Comput. Sci., 4059, 196–207, Springer, Berlin (2006).
H. J. Bockenhauer, L. Forlizzi, J. Hromkovic, et al., “On the approximability of TSP on local modifications of optimal solved instances,” Algorithmic Oper. Res., 2, No. 2, 83–93 (2007).
H. J. Bockenhauer, J. Hromkovic, T. Momke, and P. Widmayer, “On the hardness of reoptimization,” in: Proc. 34th Intern. Conf. on Current Trends in Theory and Practice of Computer Science (SOF- SEM 2008), Lect. Notes Comput. Sci., 4910, 50–65, Springer, Berlin (2008).
B. Escoffier, M. Milanic, and V. Paschos, “Simple and fast reoptimizations for the Steiner tree problem (Techn. Rep.),” Algorithmic Oper. Res., 4, No. 2, 86–94 (2009).
C. Archetti, L. Bertazzi, and M. G. Speranza, “Reoptimizing the traveling salesman problem,” Networks, 42, No. 3, 154–159 (2003).
C. Archetti, L. Bertazzi, and M. G. Speranza, “Reoptimizing the 0–1 knapsack problem,” Discrete Applied Mathematics, 158 (17), 1879–1887 (2010).
G. Ausiello, V. Bonifaci, and B. Escoffier, “Complexity and approximation in reoptimization,” in: Computability in Context: Computation and Logic in the Real World, Imperial College Press, CiE-CS: CiE 2007 (2007), pp. 24–33.
V. A. Mikhailyuk, “Reoptimization of set covering problems,” Cybernetics and Systems Analysis, 46, No. 6, 879–883 (2010).
V. A. Mikhailyuk, “General approach to estimating the complexity of postoptimality analysis for discrete optimization problems,” Cybernetics and Systems Analysis, 46, No. 2, 290–295 (2010).
R. O’Donnel, “Some topics in analysis of Boolean functions,” Electronic Colloquium on Comput. Complexity, Rep. No. 55 (2008).
S. Khot, “Inapproximability of NP-complete problems, discrete Fourier analysis, and geometry,” in: Proc. Intern. Congress of Mathematicians, Hyderabad, India (2010).
R. Raz, “A parallel repetition theorem,” SIAM J. on Computing, 27, No. 3, 763–803 (1998).
V. V. Vazirani, Approximation Algorithms, Springer, Berlin (2001).
M. Gary and D. Johnson, Computers and Intractability [Russian translation], Mir, Moscow (1982).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 18–34, May–June 2012.
Rights and permissions
About this article
Cite this article
Mikhailyuk, V.A. On the approximation ratio threshold for the reoptimization of the maximum number of satisfied equations in linear systems over a finite field. Cybern Syst Anal 48, 335–348 (2012). https://doi.org/10.1007/s10559-012-9413-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-012-9413-z