[논문 리뷰] The Orthogonal Vectors Conjecture for Branching Programs and Formulas

Søren Dahlgaard, Jacob Evald|arXiv (Cornell University)|2016. 09. 27.

Complex Network Analysis Techniques참고 문헌 3인용 수 8

한 줄 요약

이 논문은 최대 차수 3인 비가중치 그래프에서 기본적인 그래프 중심성 문제—지름, 반지름, 도달 중심성(RC), 중간 중심성(BC), 모든 외심—에 대해 날카운 조건적 하한을 확립한다. 옥수선 벡터(OV) 및 히팅 세트(HS) 추측에 기반한 새로운 그래프 구성 기법을 사용하여, OV 추측이 참이 아닐 경우 어떤 알고리즘도 지름이나 반지름에 대해 (3/2 − δ)-근사값을, 도달 중심성에 대해선 (2 − δ)-근사값을, 모든 외심에 대해선 (5/3 − δ)-근사값을, 중간 중심성에 대해선 정확한 해를 n²⁻ᵒᵖ⁽¹⁾ 시간 내에 계산할 수 없음을 증명한다. 이 결과들은 이전의 희박한 그래프에서의 하한 결과를 더 제약이 있는 상수 차수 설정으로 확장하여, 이러한 문제들이 현실적인 그래프 모델에서 해석 불가능함을 더욱 강력히 뒷받침한다.

ABSTRACT

Finding important nodes in a graph and measuring their importance is a fundamental problem in the analysis of social networks, transportation networks, biological systems, etc. Among popular such metrics are graph centrality, betweenness centrality (BC), and reach centrality (RC). These measures are also very related to classic notions like diameter and radius. Roditty and Vassilevska Williams~[STOC'13] showed that no algorithm can compute a (3/2-δ)-approximation of the diameter in sparse and unweighted graphs faster that n^{2-o(1)} time unless the widely believed strong exponential time hypothesis (SETH) is false. Abboud et al.~[SODA'15] and [SODA'16] further analyzed these problems under the recent line of research on hardness in P. They showed that in sparse and unweighted graphs (weighted for BC) none of these problems can be solved faster than n^{2-o(1)} unless some popular conjecture is false. Furthermore they ruled out a (2-δ)-approximation for RC, a (3/2-δ)-approximation for Radius and a (5/3-δ)-approximation for computing all eccentricities of a graph for any δ> 0. We extend these results to the case of unweighted graphs with constant maximum degree. Through new graph constructions we are able to obtain the same approximation and time bounds as for sparse graphs even in unweighted bounded-degree graphs. We show that no (3/2-δ) approximation of Radius or Diameter, (2-δ)-approximation of RC, (5/3-δ)-approximation of all eccentricities or exact algorithm for BC exists in time n^{2-o(1)} for such graphs and any δ> 0. This strengthens the result for BC of Abboud et al.~[SODA'16] by showing a hardness result for unweighted graphs, and follows in the footsteps of Abboud et al.~[SODA'16] and Abboud and Dahlgaard~[FOCS'16] in showing conditional lower bounds for restricted but realistic graph classes.

연구 동기 및 목표

• 최대 차수가 상수인 비가중치 그래프에서 지름, 반지름, 도달 중심성, 중간 중심성, 모든 외심과 같은 핵심 그래프 중심성 문제에 대해 조건적 하한을 확립한다.
• 이전의 희박한 그래프에서의 하한 결과를 더 제약이 있는 최대 차수 3인 비가중치 그래프로 확장하여, 많은 실제 네트워크에 더 현실적인 설정을 제공한다.
• 희박한 그래프에서 성립하는 동일한 근사 및 시간 범위가 상수 차수 그래프에서도 성립함을 입증하며, 옥수선 벡터(OV) 및 히팅 세트(HS) 추측에 기반한 새로운 그래프 구성 기법을 사용한다.
• 희박한 그래프에서의 복잡도가 상수 차수 그래프에서도 동일하게 유지됨을 보여주며, 널리 수용된 미세한 복잡도 추측에 기반한 하한 결과를 통해 이러한 문제들이 다항 시간 내에 해석 불가능함을 더욱 강화한다.

제안 방법

• A와 B의 스플릿 트리의 루트를 길이 2(p − log n)인 경로로 연결하여 OVdia 그래프의 수정된 버전을 구성하고, 도달 중심성을 분석하기 위해 중심 노드 u를 도입한다.
• A와 B의 벡터 사이에 옥수선 쌍이 존재하지 않는 경우, u의 도달 중심성은 최대 (3/2 + o(1))p 이하가 되며, 옥수선 쌍이 존재하는 경우 RC(u)는 (3 + o(1))p로 증가하여 (2 − δ)-근사값이 두 경우를 구분할 수 있도록 한다.
• 중간 중심성 분석을 위해 수정된 OV-그래프의 두 복제본 G1과 G2를 구성한다. G2는 각 b ∈ B에 연결된 추가 노드 b1을 포함하며, x1과 x2의 중간 중심성 차이를 이용해 옥수선 쌍을 탐지한다.
• OV 추측을 이용하여, 어떤 알고리즘이 n²⁻ᵒڤ⁽¹⁾ 시간 내에 도달 중심성에 대해 (2 − δ)-근사값 또는 모든 외심에 대해 (5/3 − δ)-근사값을 계산하면 추측을 위반하게 됨을 증명한다.
• 하나의 삼차원 감소와 미세한 복잡도 가정을 활용하여, 상수 차수 그래프에서 정확한 BC 계산이 하향 제곱 시간 내에 불가능함을 증명한다.
• 히팅 세트(HS) 추측을 적용하여 반지름과 중앙값 문제의 하한 결과를 뒷받침하여, 다양한 추측에 걸쳐 강력한 조건적 하한이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 희박한 그래프에서 알려진 (3/2 − δ)-근사 하한이 최대 차수 3인 비가중치 그래프에서도 반지름과 지름에 대해 동일하게 성립하는가?
• RQ2 옥수선 벡터 추측을 사용하여 상수 차수 그래프에서 도달 중심성에 대해 (2 − δ)-근사 하한을 증명할 수 있는가?
• RQ3 모든 외심을 (5/3 − δ)-근사값 내에서 계산하는 문제의 난이도가 최대 차수 3인 비가중치 그래프로 확장될 수 있는가?
• RQ4 최대 차수 3인 비가중치 그래프에서 중간 중심성 문제의 난이도가 OV 추측 하에서 여전히 해석 불가능한가?
• RQ5 희박한 그래프에서 사용된 감소 기법을 상수 차수 환경으로 적응시킬 수 있으며, 근사도나 시간 복잡도가 손상되지 않는가?

주요 결과

• 어떤 알고리즘도 최대 차수 3인 비가중치 그래프에서 지름이나 반지름에 대해 (3/2 − δ)-근사값을 n²⁻ᵒڤ⁽¹⁾ 시간 내에 계산할 수 없으며, 이는 옥수선 벡터(OV) 추측이 참이 아닐 경우에 해당한다.
• 어떤 알고리즘도 최대 차수 3인 비가중치 그래프에서 도달 중심성에 대해 (2 − δ)-근사값을 n²⁻ᵒڤ⁽¹⁾ 시간 내에 계산할 수 없으며, 이는 OV 추측이 참이 아닐 경우에 해당한다.
• 어떤 알고리즘도 최대 차수 3인 비가중치 그래프에서 모든 외심에 대해 (5/3 − δ)-근사값을 n²⁻ᵒڤ⁽¹⁾ 시간 내에 계산할 수 없으며, 이는 OV 추측이 참이 아닐 경우에 해당한다.
• 어떤 알고리즘도 최대 차수 3인 비가중치 그래프에서 어떤 노드의 정확한 중간 중심성도 n²⁻ᵒڤ⁽¹⁾ 시간 내에 계산할 수 없으며, 이는 OV 추측이 참이 아닐 경우에 해당한다.
• 상수 차수 그래프에서 이러한 중심성 문제의 하한 결과는 희박한 그래프에서의 결과만큼 강력하며, 이는 복잡도가 희박성의 산물이 아니라 현실적인 그래프 모델에서의 근본적인 장벽임을 보여준다.
• 이전의 하한 결과를 강화하여, 최대 차수 3인 비가중치 그래프—즉, 더 제약이 있는 구조—에서도 이러한 중심성 문제들이 널리 수용된 미세한 복잡도 추측에 기반해 여전히 해석 불가능함을 입증한다.