[논문 리뷰] On the chordality of polynomial sets in triangular decomposition in top-down style

Chenqi Mou, Yang Bai|arXiv (Cornell University)|2018. 02. 06.

Polynomial and algebraic computation참고 문헌 20인용 수 3

한 줄 요약

이 논문은 상향식 방식의 삼각분해 과정에서 다항식 집합의 호프탈 그래프 구조를 조사하며, 입력 다항식 집합의 관련 그래프가 호프탈일 경우, Wang의 방법에 의해 계산되는 모든 중간 다항식 집합—삼각집합 포함—의 관련 그래프가 입력의 호프탈 그래프의 부분그래프임을 증명한다. 이러한 구조적 보존은 희소 다항식계에 대한 정밀한 복잡도 분석과 잠재적 효율성 향상 가능성을 제공한다.

ABSTRACT

In this paper the chordal graph structures of polynomial sets appearing in triangular decomposition in top-down style are studied when the input polynomial set to decompose has a chordal associated graph. In particular, we prove that the associated graph of one specific triangular set computed in any algorithm for triangular decomposition in top-down style is a subgraph of the chordal graph of the input polynomial set and that all the polynomial sets including all the computed triangular sets appearing in one specific simply-structured algorithm for triangular decomposition in top-down style (Wang's method) have associated graphs which are subgraphs of the the chordal graph of the input polynomial set. These subgraph structures in triangular decomposition in top-down style are multivariate generalization of existing results for Gaussian elimination and may lead to specialized efficient algorithms and refined complexity analyses for triangular decomposition of chordal polynomial sets.

연구 동기 및 목표

• 삼각분해 과정에서 발생하는 다항식 집합의 그래프 구조를 호프탈 그래프를 통해 분석하기.
• 입력 다항식 집합의 호프탈 성질이 상향식 방식의 분해 과정에 미치는 영향을 이해하기.
• 특히 Wang의 방법에서 분해 과정 중 그래프 부분구조 보존에 대한 이론적 보장을 수립하기.
• 호프탈 그래프 구조가 변수 희소성 표현과 삼각분해의 복잡도 분석을 정교화하는 데 어떻게 활용될 수 있는지 탐색하기.
• 그래프 이론적 방법을 통해 다변수 다항식계에 대해 가우스 소거법의 통찰을 확장하기.

제안 방법

• 다항식 간의 공통 변수를 기반으로 다항식 집합의 관련 그래프를 정의한다.
• 관련 그래프가 호프탈인 다항식 집합을 호프탈 다항식 집합으로 정의한다.
• 임의의 상향식 알고리즘에 대해, 계산된 삼각집합의 관련 그래프가 입력의 호프탈 그래프의 부분그래프임을 증명한다.
• Wang의 방법을 분해 트리로 재구성하여 모든 중간 다항식 집합의 구조적 불변성을 분석한다.
• Wang의 방법에서 모든 중간 다항식 집합이 입력 호프탈 그래프의 부분그래프 성질을 상속받음을 입증한다.
• 관련 그래프를 활용한 가중치 있는 및 없는 변수 희소성 측정법을 제안하여 복잡도 분석에 활용한다.

실험 결과

연구 질문

• RQ1 입력 다항식 집합의 호프탈 그래프 구조는 상향식 삼각분해 과정에 어떻게 영향을 미치는가?
• RQ2 상향식 알고리즘이 계산한 삼각집합의 관련 그래프가 입력의 호프탈 그래프의 부분그래프가 되는 조건은 무엇인가?
• RQ3 Wang의 방법에서 입력 다항식 집합의 호프탈 구조가 전체 분해 과정 동안 보존되는가?
• RQ4 입력 그래프의 트리폭과 상향식 방식의 삼각분해 복잡도 사이의 관계는 무엇인가?
• RQ5 호프탈 그래프 구조는 다항식계 해법의 복잡도 분석을 정교화하고 효율성을 향상시키는 데 어떻게 활용될 수 있는가?

주요 결과

• 임의의 상향식 알고리즘이 계산한 삼각집합의 관련 그래프는 입력 다항식 집합의 호프탈 관련 그래프의 부분그래프이다.
• Wang의 방법에서 모든 중간 다항식 집합—모든 계산된 삼각집합 포함—의 관련 그래프는 입력의 호프탈 그래프의 부분그래프이다.
• Wang의 방법에서 첫 번째 삼각집합의 관련 그래프는 입력 다항식 집합의 관련 그래프와 동일하다.
• Wang의 방법에서 계산된 다른 삼각집합의 관련 그래프는 입력의 호프탈 그래프의 엄밀한 부분그래프이다.
• 다항식 집합의 변수 희소성은 관련 그래프의 간선 밀도를 통해 정량적으로 측정할 수 있다.
• 변수 쌍을 공유하는 다항식의 수를 기반으로 한 가중치 있는 변수 희소성 측정법은 복잡도 분석을 정교화하는 데 유용한 척도를 제공한다.