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
Type
conference paper
DOI
10.4230/LIPIcs.APPROX/RANDOM.2025.5
Scopus ID

2-s2.0-105019524336

Author(s)
Anand, Aditya

University of Michigan

Lee, Euiwoong

University of Michigan

Mazzali, Davide  

EPFL

Sharma, Amatya

University of Michigan

Editors
Ene, Alina
•
Chattopadhyay, Eshan
Date Issued

2025-09-15

Publisher

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ISBN of the book

9783959773973

Series title/Series vol.

Leibniz International Proceedings in Informatics (LIPIcs); 353

ISSN (of the series)

1868-8969

Article Number

5

Subjects

Approximation Algorithms

•

Constraint Satisfiability Problems

•

Sherali Adams

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
THL2  
Event nameEvent acronymEvent placeEvent date
28th International Conference on Approximation Algorithms for Combinatorial Optimization Problems and the International Conference on Randomization and Computation

Berkeley, CA, United States

2025-08-11 - 2025-08-13

Available on Infoscience
October 31, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/255458
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