Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Min-CSPs on Complete Instances II: Polylogarithmic Approximation for Min-NAE-3-SAT
 
conference paper

Min-CSPs on Complete Instances II: Polylogarithmic Approximation for Min-NAE-3-SAT

Anand, Aditya
•
Lee, Euiwoong
•
Mazzali, Davide  
Show more
Ene, Alina
•
Chattopadhyay, Eshan
September 15, 2025
28th International Conference on Approximation Algorithms for Combinatorial Optimization Problems and the International Conference on Randomization and Computation

This paper studies complete k-Constraint Satisfaction Problems (CSPs), where an n-variable instance has exactly one nontrivial constraint for each subset of k variables, i.e., it has (n k) constraints. A recent work started a systematic study of complete k-CSPs [Anand, Lee, Sharma, SODA'25], and showed a quasi-polynomial time algorithm that decides if there is an assignment satisfying all the constraints of any complete Boolean-alphabet k-CSP, algorithmically separating complete instances from dense instances. The tractability of this decision problem is necessary for any nontrivial (multiplicative) approximation for the minimization version, whose goal is to minimize the number of violated constraints. The same paper raised the question of whether it is possible to obtain nontrivial approximation algorithms for complete Min-k-CSPs with k ≥ 3. In this work, we make progress in this direction and show a quasi-polynomial time polylog(n)approximation to Min-NAE-3-SAT on complete instances, which asks to minimize the number of 3-clauses where all the three literals equal the same bit. To the best of our knowledge, this is the first known example of a CSP whose decision version is NP-Hard in general (and dense) instances while admitting a polylog(n)-approximation in complete instances. Our algorithm presents a new iterative framework for rounding a solution from the Sherali-Adams hierarchy, where each iteration interleaves the two well-known rounding tools: the conditioning procedure, in order to "almost fix"many variables, and the thresholding procedure, in order to "completely fix"them. Finally, we improve the running time of the decision algorithms of Anand, Lee, and Sharma and show a simple algorithm that decides any complete Boolean-alphabet k-CSP in polynomial time.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

LIPIcs.APPROX-RANDOM.2025.5.pdf

Type

Main Document

Version

Published version

Access type

openaccess

License Condition

CC BY

Size

943.61 KB

Format

Adobe PDF

Checksum (MD5)

afe404c28fd92cdd24ceb871dbeee31c

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés