<p>Detecting if a graph contains a <i>k</i>-Clique is one of the most fundamental problems in computer science. The asymptotically fastest algorithm runs in time <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(n^{\omega k/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mi>ω</mi> <mi>k</mi> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> is the exponent of Boolean matrix multiplication. To date, this is the only technique capable of beating the trivial <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(O(n^k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mi>k</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> bound by a polynomial factor. Due to this technique’s various limitations, much effort has gone into designing “combinatorial” algorithms that improve over exhaustive search via other techniques. The first contribution of this work is a faster combinatorial algorithm for <i>k</i>-Clique, improving Vassilevska’s bound of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(O(n^{k}/\log ^{k-1}{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mi>k</mi> </msup> <mo stretchy="false">/</mo> <msup> <mo>log</mo> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> by two log factors. Technically, our main result is a new reduction from <i>k</i>-Clique to Triangle detection that exploits the same divide-and-conquer at the core of recent combinatorial algorithms by Chan (SODA’15) and Yu (ICALP’15). Our second contribution is exploiting combinatorial techniques to improve the state-of-the-art (even of non-combinatorial algorithms) for generalizations of the <i>k</i>-Clique problem. Specifically we introduce the first non-trivial clique listing algorithms: A general algorithm for detecting cliques in hypergraphs that also improves the state of the art for detection, and an additional algorithm for the specific case of triangle listing with improved bounds.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Faster Combinatorial k-Clique Algorithms

  • Amir Abboud,
  • Nick Fischer,
  • Yarin Shechter

摘要

Detecting if a graph contains a k-Clique is one of the most fundamental problems in computer science. The asymptotically fastest algorithm runs in time \(O(n^{\omega k/3})\) O ( n ω k / 3 ) , where \(\omega \) ω is the exponent of Boolean matrix multiplication. To date, this is the only technique capable of beating the trivial \(O(n^k)\) O ( n k ) bound by a polynomial factor. Due to this technique’s various limitations, much effort has gone into designing “combinatorial” algorithms that improve over exhaustive search via other techniques. The first contribution of this work is a faster combinatorial algorithm for k-Clique, improving Vassilevska’s bound of \(O(n^{k}/\log ^{k-1}{n})\) O ( n k / log k - 1 n ) by two log factors. Technically, our main result is a new reduction from k-Clique to Triangle detection that exploits the same divide-and-conquer at the core of recent combinatorial algorithms by Chan (SODA’15) and Yu (ICALP’15). Our second contribution is exploiting combinatorial techniques to improve the state-of-the-art (even of non-combinatorial algorithms) for generalizations of the k-Clique problem. Specifically we introduce the first non-trivial clique listing algorithms: A general algorithm for detecting cliques in hypergraphs that also improves the state of the art for detection, and an additional algorithm for the specific case of triangle listing with improved bounds.