Kernkonzepte
그래프 문제의 복잡도가 확장기 그래프에서도 변하지 않음을 보여주는 자기 환원 기법을 제시한다.
Zusammenfassung
이 논문은 다양한 기본적인 그래프 문제들에 대해 최악의 경우에서 확장기 경우로 변환하는 자기 환원 기법을 제안한다. 이를 통해 확장기 그래프에서의 복잡도가 최악의 경우와 동일함을 보인다.
주요 내용은 다음과 같다:
- 기존 연구에서 제안된 확률적 자기 환원 기법을 결정론적으로 개선한다. 이를 통해 확장기 그래프가 최악의 경우와 동일한 복잡도를 가짐을 결정론적으로 보인다.
- 기존 결과를 동적 그래프 모델과 분산 계산 모델로 확장한다. 동적 그래프 모델에서는 최근 연구에서 제안된 일부 하한 결과를 개선하거나 대안적 접근법을 제시한다.
- 추가적으로 Max-Cut, 동적 밀집 부분 그래프 등 다른 문제들에 대해서도 새로운 자기 환원 기법을 제안한다. 또한 OMv 가설 기반 하한을 확장기 그래프로 전이시키는 기법을 소개한다.
Statistiken
그래프 G의 정점 수 n, 간선 수 m
확장기 그래프 Gexp의 정점 수 |Vexp|, 간선 수 |Eexp|
최악의 경우와 확장기 경우의 복잡도가 동일함
Zitate
"Unless explicitly stated otherwise, we use the conductance-based notion of ϕ-expanders, whose precise definition can be found in Section 3, and we say that a graph is an expander if it is an Ω(1)-expander."
"The main contribution of Abboud and Wallheimer was to show that some fundamental problems, such as k-Clique Detection and Maximum Matching, admit simple Direct-WTERs."