Document Open Access Logo

On Finding Constrained Independent Sets in Cycles

Author Ishay Haviv

Thumbnail PDF


  • Filesize: 0.69 MB
  • 16 pages

Document Identifiers

Author Details

Ishay Haviv
  • School of Computer Science, The Academic College of Tel Aviv-Yaffo, Israel

Cite AsGet BibTex

Ishay Haviv. On Finding Constrained Independent Sets in Cycles. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 73:1-73:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)


A subset of [n] = {1,2,…,n} is called stable if it forms an independent set in the cycle on the vertex set [n]. In 1978, Schrijver proved via a topological argument that for all integers n and k with n ≥ 2k, the family of stable k-subsets of [n] cannot be covered by n-2k+1 intersecting families. We study two total search problems whose totality relies on this result. In the first problem, denoted by Schrijver(n,k,m), we are given an access to a coloring of the stable k-subsets of [n] with m = m(n,k) colors, where m ≤ n-2k+1, and the goal is to find a pair of disjoint subsets that are assigned the same color. While for m = n-2k+1 the problem is known to be PPA-complete, we prove that for m < d ⋅ ⌊n/(2k+d-2)⌋, with d being any fixed constant, the problem admits an efficient algorithm. For m = ⌊n/2⌋-2k+1, we prove that the problem is efficiently reducible to the Kneser problem. Motivated by the relation between the problems, we investigate the family of unstable k-subsets of [n], which might be of independent interest. In the second problem, called Unfair Independent Set in Cycle, we are given 𝓁 subsets V_1, …, V_𝓁 of [n], where 𝓁 ≤ n-2k+1 and |V_i| ≥ 2 for all i ∈ [𝓁], and the goal is to find a stable k-subset S of [n] satisfying the constraints |S ∩ V_i| ≤ |V_i|/2 for i ∈ [𝓁]. We prove that the problem is PPA-complete and that its restriction to instances with n = 3k is at least as hard as the Cycle plus Triangles problem, for which no efficient algorithm is known. On the contrary, we prove that there exists a constant c for which the restriction of the problem to instances with n ≥ c ⋅ k can be solved in polynomial time.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph theory
  • Mathematics of computing → Combinatorial algorithms
  • Theory of computation → Problems, reductions and completeness
  • Schrijver graph
  • Kneser graph
  • Stable sets
  • PPA-completeness


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Ron Aharoni, Noga Alon, Eli Berger, Maria Chudnovsky, Dani Kotlar, Martin Loebl, and Ran Ziv. Fair representation by independent sets. In M. Loebl, J. Nešetřil, and R. Thomas, editors, A Journey Through Discrete Mathematics: A Tribute to Jiří Matoušek, pages 31-58. Springer, 2017. Google Scholar
  2. Noga Alon. The strong chromatic number of a graph. Random Struct. Algorithms, 3(1):1-8, 1992. Google Scholar
  3. Noga Alon. Combinatorial Nullstellensatz. Combinatorics, Probability and Computing, 8(1-2):7-29, 1999. Google Scholar
  4. Noga Alon. Fair partitions. In A. Nixon and S. Prendiville, editors, Surveys in Combinatorics 2022, pages 1-20. Cambridge University Press, 2022. Google Scholar
  5. Noga Alon and Joel H. Spencer. The Probabilistic Method. Wiley-Interscience series in discrete mathematics and optimization. Wiley, fourth edition, 2016. Google Scholar
  6. Karol Borsuk. Drei Sätze über die n-dimensionale euklidische Sphäre. Fundamenta Mathematicae, 20(1):177-190, 1933. Google Scholar
  7. Xiaotie Deng, Zhe Feng, and Rucha Kulkarni. Octahedral Tucker is PPA-complete. Electronic Colloquium on Computational Complexity (ECCC), 24:118, 2017. Google Scholar
  8. Vladimir Dol’nikov. Transversals of families of sets. In Studies in the theory of functions of several real variables (Russian), volume 29, pages 30-36. Yaroslavl', 1981. Google Scholar
  9. Ding-Zhu Du, D. Frank Hsu, and Frank K. Hwang. The Hamiltonian property of consecutive-d digraphs. Math. and Computer Modelling, 17(11):61-63, 1993. Google Scholar
  10. Paul Erdös. On some of my favourite problems in graph theory and block designs. Matematiche, 45(1):61-73, 1990. Google Scholar
  11. Paul Erdös, Chao Ko, and Richard Rado. Intersection theorems for systems of finite sets. Quart. J. Math., 12(1):313-320, 1961. Google Scholar
  12. Aris Filos-Ratsikas and Paul W. Goldberg. The complexity of splitting necklaces and bisecting ham sandwiches. In Proc. of the 51st Annual ACM SIGACT Symposium on Theory of Computing (STOC'19), pages 638-649, 2019. Google Scholar
  13. Herbert Fleischner and Michael Stiebitz. A solution to a colouring problem of P. Erdös. Discret. Math., 101(1-3):39-48, 1992. Google Scholar
  14. Herbert Fleischner and Michael Stiebitz. Some remarks on the cycle plus triangles problem. In The Mathematics of Paul Erdös II, volume 14, pages 136-142. Springer, 1997. Google Scholar
  15. Ishay Haviv. The complexity of finding fair independent sets in cycles. Comput. Complex., 31(2):14, 2022. Preliminary version in ITCS'21. Google Scholar
  16. Ishay Haviv. A fixed-parameter algorithm for the Kneser problem. In Proc. of the 49th International Colloquium on Automata, Languages, and Programming (ICALP'22), pages 72:1-72:18, 2022. Google Scholar
  17. Ishay Haviv. A fixed-parameter algorithm for the Schrijver problem. In Proc. of the 17th International Symposium on Parameterized and Exact Computation (IPEC'22), pages 16:1-16:16, 2022. Google Scholar
  18. Anthony J. W. Hilton and Eric Charles Milner. Some intersection theorems for systems of finite sets. Quart. J. Math., 18(1):369-384, 1967. Google Scholar
  19. Sergei Kiselev and Andrey Kupavskii. Trivial colors in colorings of Kneser graphs. arXiv, abs/2012.14528, 2020. URL:
  20. Martin Kneser. Aufgabe 360. Jahresbericht der Deutschen Mathematiker-Vereinigung, 58(2):27, 1955. Google Scholar
  21. Igor Kriz. Equivariant cohomology and lower bounds for chromatic numbers. Trans. Amer. Math. Soc., 333(2):567-577, 1992. Google Scholar
  22. László Lovász. Kneser’s conjecture, chromatic number, and homotopy. J. Comb. Theory, Ser. A, 25(3):319-324, 1978. Google Scholar
  23. Pasin Manurangsi and Warut Suksompong. Computing a small agreeable set of indivisible items. Artif. Intell., 268:96-114, 2019. Preliminary versions in IJCAI'16 and IJCAI'17. Google Scholar
  24. Jiří Matoušek. Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry. Springer Publishing Company, Incorporated, 2007. Google Scholar
  25. Jiří Matoušek and Günter M. Ziegler. Topological lower bounds for the chromatic number: A hierarchy. Jahresbericht der DMV, 106(2):71-90, 2004. Google Scholar
  26. Christos H. Papadimitriou. On the complexity of the parity argument and other inefficient proofs of existence. J. Comput. Syst. Sci., 48(3):498-532, 1994. Google Scholar
  27. Horst Sachs. Elementary proof of the cycle-plus-triangles theorem. In Combinatorics, Paul Erdös is eighty, volume 1, pages 347-359. Bolyai Soc. Math. Stud., 1993. Google Scholar
  28. Alexander Schrijver. Vertex-critical subgraphs of Kneser graphs. Nieuw Arch. Wiskd., 26(3):454-461, 1978. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail