[논문 리뷰] The number of cliques in graphs of given order and size

Vladimir Nikiforov|ArXiv.org|2007. 10. 11.

Advanced Graph Theory Research참고 문헌 2인용 수 5

한 줄 요약

이 논문은 r = 3 및 r = 4에 대해 n개 정점과 m개 간선을 가진 그래프에서 r-클리크(크기 r의 완전부분그래프)의 최소 개수에 대한 날카운 하한을 확립한다. 대칭 행렬과 벡터 위에서 다중선형 형식의 제약 조건 하에서의 최소화를 통해, 진짜 최소값과의 오차가 $ n^r / (n^2 - 2m) $ 이하인 닫힌 표현식으로 최소 r-클리크 수가 근사됨을 증명하며, r > 3에 대해 오랫동안 남아있던 라즈보로프의 문제를 해결한다.

ABSTRACT

Let k_r(n,m) denote the minimum number of r-cliques in graphs with n vertices and m edges. For r=3,4 we give a lower bound on k_r(n,m) that approximates k_r(n,m) with an error smaller than n^r/(n^2-2m). The solution is based on a constraint minimization of certain multilinear forms. In our proof, a combinatorial strategy is coupled with extensive analytical arguments.

연구 동기 및 목표

• r = 3 및 r = 4에 대해 n개 정점과 m개 간선을 가진 그래프에서 r-클리크의 최소 개수를 규명하는 오랫동안 남아있던 열린 문제를 해결하기 위해.
• r = 3에 대해 라즈보로프의 획기적인 결과를 r = 4 및 그 이상으로 확장하여 이전 방법의 한계를 극복하기 위해.
• 조합 최적화와 테일러 전개, 라그랑주 승수법과 같은 분석 도구를 융합한 일반적인 프레임워크를 개발하기 위해.
• 진짜 최소값과의 오차가 다항식보다 더 작은 하한을 r-클리크 수에 대해 확립하기 위해.

제안 방법

• 제약 조건으로서 행렬 A의 원소 합과 간선 유사 합에 대한 제약을 가진 대칭 0-1 행렬 A와 음이 아닌 벡터 $ \mathbf{x} $ 위에서 다중선형 형식 $ L_r(A, \mathbf{x}) $ 의 최소화 문제로 문제를 재구성한다.
• 문제를 정규화하기 위해 $ \mathcal{S}_n(c) $ 라는 집합 위에서 제약 조건 $ L_1(A, \mathbf{x}) = 1 $ 과 $ L_2(A, \mathbf{x}) = c $ 을 가진 제약 최적화 문제를 도입한다.
• 극값 구조를 모델링하기 위해 투런 그래프의 구조와 모든 비대각선 원소가 1인 대칭 행렬 $ A_s $ 를 사용한다.
• 다중선형 형식을 최소화하기 위해 테일러 전개, 라그랑주 승수법, 연속성 추론과 같은 분석 기법을 적용한다.
• 다중선형 형식의 최소값인 $ \varphi_r(c) $ 에 대한 명시적 공식을 첨수 함수 $ \xi(c) = \lceil 1/(1 - 2c) \rceil $ 를 이용해 유도한다.
• 볼록성과 해의 조각별 연장 기법을 통해, 크기가 m인 그래프에서 r-클리크의 최소 개수가 함수 $ f(m) $ 에 의해 위에서 유계이고, 오차가 $ n^r / (n^2 - 2m) $ 이하임을 증명한다.

실험 결과

연구 질문

• RQ1 n개 정점과 m개 간선을 가진 그래프에서 3-클리크(삼각형)의 최소 개수는 얼마이며, 어떻게 날카운 하한으로 묶을 수 있는가?
• RQ2 r = 3에 사용된 방법이 r = 4로 확장되어 r-클리크 수에 대해 유사한 날카운 하한을 제공할 수 있는가?
• RQ3 극값 그래프 이론에서 대칭적이고 유계인 조건 하에서 다중선형 형식을 최소화하기 위해 필요한 분석적 및 조합적 도구는 무엇인가?
• RQ4 투런 그래프의 구조가 r = 3, 4에 대해 r-클리크의 최소 개수에 어떻게 영향을 미치는가?
• RQ5 하한과 진짜 최소값 사이의 오차를 제어하고 명시적으로 측정할 수 있는가?

주요 결과

• r = 3 및 r = 4에 대해 n개 정점과 m개 간선을 가진 그래프에서 r-클리크의 최소 개수는 $ \varphi_r(c) $ 에 의해 아래로 유계이며, 여기서 $ c = m / \binom{n}{2} $ 이고 $ \varphi_r(c) $ 는 $ s = \lceil 1/(1 - 2c) \rceil $ 를 포함하는 닫힌 표현식으로 주어진다.
• n \geq \xi(c) 일 때 이 하한 $ \varphi_r(c) $ 는 n에 독립적이며, 최소값은 하나의 특별한 정점을 제외한 투런 그래프와 유사한 그래프에서 달성된다.
• 진짜 최소값 $ k_r(n,m) $ 과 하한 $ f(m) $ 사이의 오차는 $ n^r / (n^2 - 2m) $ 이하이며, 이는 n에 대해 다항식보다 더 작은 오차이다.
• 진짜 최소값 $ k_r(n,m) $ 를 유계로 만드는 함수 $ f(m) $ 는 볼록이며 조각별 정의되어 있으며, 그 도수는 $ \binom{s-2}{r-2} (n/(s-1))^{r-2} $ 이하로 유계이다.
• 해는 조합 최적화와 분석 기법(테일러 전개, 라그랑주 승수법 포함)의 조합을 통해 구성되며, 이는 날카운성과 연속성을 보장한다.
• 이 방법은 r = 4를 넘어서 일반화 가능하며, 향후 모든 r ≥ 3에 대해 전체 문제를 해결하는 길을 열어줄 것으로 기대된다.