Konsep Inti
본 논문은 최대 결함 클리크 계산을 위한 새로운 알고리즘 kDC-two를 제안하며, 이는 기존 최고 성능의 알고리즘 kDC보다 시간 복잡도와 실용적 성능이 향상되었다.
Abstrak
이 논문은 최대 결함 클리크 계산 문제를 다룹니다. 결함 클리크는 클리크에서 최대 k개의 간선이 누락된 구조를 의미합니다.
논문의 주요 내용은 다음과 같습니다:
- kDC-two 알고리즘 제안:
- kDC 알고리즘과 동일한 분기 규칙과 축소 규칙을 사용하지만, 다른 분석 기법을 통해 시간 복잡도의 지수부를 개선했습니다.
- 직경 2 속성을 활용하여 큰 결함 클리크에 대한 시간 복잡도를 추가로 개선했습니다.
- 새로운 차수 기반 축소 규칙 RR3를 제안하여 실용적 성능을 향상시켰습니다.
- 시간 복잡도 분석:
- kDC-two의 시간 복잡도는 O*((αΔ)^(k+2)γ^(α(k-1)))로, kDC의 O*(γ^n^k)보다 개선되었습니다.
- 또한 degeneracy gap 매개변수화를 통해 O*((αΔ)^(k+2)(k+1)^(α+k+1-ω_k(G)))의 시간 복잡도를 달성할 수 있습니다.
- 실험 결과:
- 벤치마크 데이터셋에서 kDC-two가 kDC보다 성능이 크게 향상되었음을 보였습니다.
- 특히 큰 그래프에서 kDC-two가 2배 이상 빠른 것으로 나타났습니다.
Statistik
그래프 G의 최대 k-결함 클리크 크기 ω_k(G)는 G의 정점 수 n과 관련이 있다.
그래프 G의 degeneracy α와 최대 차수 Δ는 시간 복잡도에 영향을 미친다.
Kutipan
"kDC-two runs in O*((αΔ)^(k+2)γ^(α(k-1))) time when the maximum k-defective clique size ω_k(G) is at least k + 2, and in O*(γ^(n^(k-1))) time otherwise."
"kDC-two, with slight modification, runs in O*((αΔ)^(k+2)(k+1)^(α+k+1-ω_k(G))) time when using the degeneracy gap α + k + 1 - ω_k(G) parameterization."