Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques

STOC ’24, June 24–28, 2024, Vancouver, BC, Canada

Bibliographic Details
Main Authors: Dalirrooyfard, Mina, Mathialagan, Surya, Williams, Virginia Vassilevska, Xu, Yinzhan
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Language:English
Published: ACM|Proceedings of the 56th Annual ACM Symposium on Theory of Computing 2024
Online Access:https://hdl.handle.net/1721.1/155717
_version_ 1824458041248972800
author Dalirrooyfard, Mina
Mathialagan, Surya
Williams, Virginia Vassilevska
Xu, Yinzhan
author2 Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
author_facet Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Dalirrooyfard, Mina
Mathialagan, Surya
Williams, Virginia Vassilevska
Xu, Yinzhan
author_sort Dalirrooyfard, Mina
collection MIT
description STOC ’24, June 24–28, 2024, Vancouver, BC, Canada
first_indexed 2024-09-23T10:52:46Z
format Article
id mit-1721.1/155717
institution Massachusetts Institute of Technology
language English
last_indexed 2025-02-19T04:19:35Z
publishDate 2024
publisher ACM|Proceedings of the 56th Annual ACM Symposium on Theory of Computing
record_format dspace
spelling mit-1721.1/1557172024-12-21T05:58:44Z Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques Dalirrooyfard, Mina Mathialagan, Surya Williams, Virginia Vassilevska Xu, Yinzhan Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory STOC ’24, June 24–28, 2024, Vancouver, BC, Canada We study the problem of nding and listing -cliques in an -edge, -vertex graph, for constant ≥ 3. This is a fundamental problem of both theoretical and practical importance. Our rst contribution is an algorithmic framework for nding -cliques that gives the rst improvement in 19 years over the old runtimes for 4 and 5-clique nding, as a function of [Eisenbrand and Grandoni, TCS’04]. With the current bounds on matrix multiplication, our algorithms run in (1.66) and (2.06) time, respectively, for 4-clique and 5-clique nding. Our main contribution is an output-sensitive algorithm for listing -cliques, for any constant ≥ 3. We complement the algorithm with tight lower bounds based on standard ne-grained assumptions. Previously, the only known conditionally optimal outputsensitive algorithms were for the case of 3-cliques given by Björklund, Pagh, Vassilevska W. and Zwick [ICALP’14]. If the matrix multiplication exponent is 2, and if the number of -cliques is large enough, the running time of our algorithms is ˜ min{ 1 −2 1− 2 (−2) , 2 −1 1− 2 (−1) } , and this is tight under the Exact--Clique Hypothesis. This running time naturally extends the running time obtained by Björklund, Pagh, Vassilevska W. and Zwick for = 3. Our framework is very general in that it gives -clique listing algorithms whose running times can be measured in terms of the number of ℓ-cliques Δℓ in the graph for any 1 ≤ ℓ < . This generalizes the typical parameterization in terms of (the number of 1-cliques) and (the number of 2-cliques). If is 2, and if the size of the output, Δ , is su ciently large, then for every ℓ < , the running time of our algorithm for listing -cliques is ˜ Δ 2 ℓ(−ℓ) ℓ Δ 1− 2 (−ℓ) 2024-07-19T14:30:19Z 2024-07-19T14:30:19Z 2024-06-10 2024-07-01T07:48:19Z Article http://purl.org/eprint/type/ConferencePaper 979-8-4007-0383-6 https://hdl.handle.net/1721.1/155717 Dalirrooyfard, Mina, Mathialagan, Surya, Williams, Virginia Vassilevska and Xu, Yinzhan. 2024. "Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques." PUBLISHER_CC en 10.1145/3618260.3649663 Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/ The author(s) application/pdf ACM|Proceedings of the 56th Annual ACM Symposium on Theory of Computing Association for Computing Machinery
spellingShingle Dalirrooyfard, Mina
Mathialagan, Surya
Williams, Virginia Vassilevska
Xu, Yinzhan
Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title_full Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title_fullStr Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title_full_unstemmed Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title_short Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques
title_sort towards optimal output sensitive clique listing or listing cliques from smaller cliques
url https://hdl.handle.net/1721.1/155717
work_keys_str_mv AT dalirrooyfardmina towardsoptimaloutputsensitivecliquelistingorlistingcliquesfromsmallercliques
AT mathialagansurya towardsoptimaloutputsensitivecliquelistingorlistingcliquesfromsmallercliques
AT williamsvirginiavassilevska towardsoptimaloutputsensitivecliquelistingorlistingcliquesfromsmallercliques
AT xuyinzhan towardsoptimaloutputsensitivecliquelistingorlistingcliquesfromsmallercliques