[논문 리뷰] A Compact Representation for Modular Semilattices and its Applications

Hiroshi Hirai, So Nakashima|arXiv (Cornell University)|2017. 05. 15.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 3

한 줄 요약

이 논문은 모듈러 세미라티스에 대한 압축형 PPIP(불일치 쌍이 있는 사영 순서 집합) 표현을 도입하여, 분배 라티스와 모듈러 라티스에 대한 Birkhoff 유형 정리의 일반화를 수행한다. 이는 $Θ(n)$-복잡도 표현과 최적의 함의 기반을 이용한 다항시간 인식 알고리즘을 수립함으로써, 이러한 구조에서 하위모듈러 함수의 최소화 집합을 효율적으로 계산할 수 있도록 한다.

ABSTRACT

A modular semilattice is a semilattice generalization of a modular lattice. We establish a Birkhoff-type representation theorem for modular semilattices, which says that every modular semilattice is isomorphic to the family of ideals in a certain poset with additional relations.This new poset structure, which we axiomatize in this paper, is called a PPIP (projective poset with inconsistent pairs). A PPIP is a common generalization of a PIP (poset with inconsistent pairs) and a projective ordered space. The former was introduced by Barthélemy and Constantin for establishing Birkhoff-type theorem for median semilattices, and the latter by Herrmann, Pickering, and Roddy for modular lattices. We show the $Θ(n)$ representation complexityand a construction algorithm for PPIP-representations of $(\wedge, \vee)$-closed sets in the product $L^n$ of modular semilattice $L$. This generalizes the results of Hirai and Oki for a special median semilattice $S_k$. We also investigate implicational bases for modular semilattices. Extending earlier results of Wild and Herrmann for modular lattices, we determine optimal implicational bases and develop a polynomial time recognition algorithm for modular semilattices. These results can be applied to retain the minimizer set of a submodular function on a modular semilattice.

연구 동기 및 목표

• 분배 라티스와 모듈러 라티스에 대한 Birkhoff 유형 표현 정리를 모듈러 세미라티스로 일반화한다.
• 모듈러 세미라티스 $L$에 대해 $L^n$ 내 $(\wedge,\vee)$-닫힘 집합에 대한 압축형이고 효율적인 표현을 개발한다.
• 함의 기반을 이용한 다항시간 인식 알고리즘을 수립하여 모듈러 세미라티스를 식별한다.
• 프레임워크를 이용해 유한체 위의 분할 행렬에 대한 Dulmage-Mendelsohn 분해를 계산한다.

제안 방법

• 모듈러 세미라티스를 표현하기 위해 PIPs와 사영 순서 공간의 일반화로 PPIP(불일치 쌍이 있는 사영 순서 집합)을 도입한다.
• 모든 모듈러 세미라티스가 PPIP의 이상의 집합과 동형임을 증명함으로써, Birkhoff 유형 표현 정리를 확립한다.
• $L^n$ 내 $(\wedge,\vee)$-닫힘 집합의 PPIP 표현을 위한 구축 알고리즘을 개발하여 $\Theta(n)$ 표현 복잡도를 달성한다.
• 사영 순서 공간의 공리와 Horn 공식 이론을 이용해 모듈러 세미라티스의 최적 함의 기반을 수립한다.
• PPIP 표현 내에서 일관된 부분공간의 최대 체인을 구성하기 위한 탐욕 알고리즘을 설계한다.
• 프레임워크를 행렬 소멸 부분공간 문제(MVSP)에 적용하여, 이를 모듈러 세미라티스에서 하위모듈러 함수 최소화 문제로 환원한다.

실험 결과

연구 질문

• RQ1 모듈러 세미라티스에 대해 분배 라티스와 모듈러 라티스의 경우를 일반화한 Birkhoff 유형 표현 정리를 수립할 수 있는가?
• RQ2 모듈러 세미라티스 $L$의 곱 $L^n$ 내 $(\wedge,\vee)$-닫힘 집합에 대한 최소 표현 복잡도는 무엇인가?
• RQ3 모듈러 세미라티스에 대해 최적의 함의 기반을 결정할 수 있으며, 다항시간 인식 알고리즘이 존재하는가?
• RQ4 PPIP 표현을 이용해 유한체 위의 분할 행렬에 대한 Dulmage-Mendelsohn 분해를 계산할 수 있는가?
• RQ5 모듈러 세미라티스에서 하위모듈러 함수의 최소화 집합을 압축형으로 표현하고 효율적으로 계산할 수 있는가?

주요 결과

• 모든 모듈러 세미라티스가 PPIP의 이상의 집합과 동형임을 보여, 이 클래스에 대한 Birkhoff 유형 표현 정리를 확립한다.
• $L^n$ 내 $(\wedge,\vee)$-닫힘 집합의 표현 복잡도는 $\Theta(n)$이며, 이는 이전의 $S_k^n$ 결과를 일반화한다.
• 모듈러 세미라티스의 최적 함의 기반은 $\vee$-기저 원소들에 대한 함의로 주어졌을 때 다항시간 내에 계산할 수 있다.
• 닫힘 체계가 모듈러 세미라티스인지 식별하기 위한 다항시간 인식 알고리즘을 개발하였다.
• 유한체 위의 분할 행렬에 대한 DM-분해는 $m$, $n$, 그리고 $\mathbf{F}^\gamma$의 부분공간 수에 대해 다항시간 내에 계산할 수 있다. 여기서 $\gamma$는 부분행렬의 최대 차원이다.
• 프레임워크는 $\mathrm{GF}(2)$ 위의 $6\times6$ 행렬에 대해 DM-분해를 성공적으로 계산하였으며, 명시적인 PPIP 구성과 최대 체인 생성을 포함한 구체적인 예제를 통해 방법을 시연하였다.