이 논문은 바이서브모듈러 다면체의 모든 극점을 효율적으로 열거하는 알고리즘을 제안한다.
주요 내용은 다음과 같다:
역탐색 알고리즘을 사용하여 바이서브모듈러 다면체의 모든 극점을 열거하는 알고리즘(Algorithm 2)을 제안한다.
이 알고리즘의 시간 복잡도는 O(n4|V|), 공간 복잡도는 O(n2)이다. 또한 O(n6) 지연 복잡도를 가진다.
극점들 간의 인접성을 나타내는 부호화된 포셋(signed poset)을 활용하여 중복 탐색을 피할 수 있다.
극점에 대한 의존 함수(dependence function)와 해쉬 다이어그램(Hasse diagram)을 효율적으로 계산하는 방법을 제시한다.
인접 극점 간 용량 함수(capacity function)를 상수 시간에 계산할 수 있는 방법을 제안한다.
이 알고리즘은 바이서브모듈러 함수의 최소화 문제와 관련된 다양한 응용 분야에 활용될 수 있다.
toiselle kielelle
lähdeaineistosta
arxiv.org
Tärkeimmät oivallukset
by Yasuko Matsu... klo arxiv.org 05-03-2024
https://arxiv.org/pdf/2405.01039.pdfSyvällisempiä Kysymyksiä