[논문 리뷰] Monoidal Width: Unifying Tree Width, Path Width and Branch Width

Elena Di Lavore, Paweł Sobociński|arXiv (Cornell University)|2022. 02. 15.

Logic, programming, and type systems인용 수 4

한 줄 요약

이 논문은 단일한 대수적 프레임워크로서 단순화된 단일 카테고리의 사상의 복잡도를 측정하기 위한 '모노이드 너비'(monoidal width)를 제안한다. 이는 트리 너비, 경로 너비, 분기 너비와 같은 그래프 너비 측정법을 일반화한다. 코스팬의 그래프 카테고리에서 모노이드 너비를 적용함으로써, 저자들은 이것이 고전적인 그래프 너비를 정확히 포괄함을 증명하며, 엄밀한 경계를 설정한다: 분기 너비에 대해선 1/2 ⋈ bwd(G) ≤ mwd(g) ≤ bwd(G) + 1 이고, 트리 너비 및 경로 너비에 대해서도 유사한 등식이 성립한다.

ABSTRACT

We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width. We propose that monoidal width: (i) is a promising concept that, while capturing known measures, can similarly be instantiated in other settings, avoiding the need for ad-hoc domain-specific definitions and (ii) comes with a general, formal algebraic notion of decomposition using the language of monoidal categories.

연구 동기 및 목표

• 기존의 그래프 너비 측정법—트리 너비, 경로 너비, 분기 너비—를 단일한 형식적 프레임워크 아래 통합하는 것.
• 계산적 구조물에 대한 일반적이고 대수적인 분해 이론의 부재를 해결하기 위해, 모노이드 너비를 형식적이고 실행 가능한 분해 개념으로 도입하는 것.
• 코스팬의 그래프 카테고리에서 모노이드 너비를 적용했을 때, 기존의 알려진 그래프 너비 측정법이 일반화됨을 보여주는 것.
• 모노이드 너비와 고전적 그래프 너비 사이의 형식적 경계를 설정하여, 정확한 조건 하에서 그 상등성을 보여주는 것.
• 범주론적 일반화를 통해 방향 그래프, 초그래프, 관계 시스템과 같은 다른 구조로 너비 측정법을 확장할 수 있는 기반을 마련하는 것.

제안 방법

• 모노이드 카테고리에서 순차적 및 모노이드(병렬) 합성 연산을 사용해 사상을 분해하는 데 필요한 최소 비용으로 모노이드 너비를 정의한다.
• 제한된 변형을 도입: 나무 모양과 경로 모양의 분해 트리에 대응하는 모노이드 나무 너비 및 모노이드 경로 너비.
• 예를 들어 재귀적 분기, 나무, 또는 경로 분해와 코스팬의 그래프 카테고리 내 모노이드 분해 사이의 사상 구축.
• 그래프 전성사 및 부분그래프 포함을 포함한 범주론적 도구를 사용하여 분해 제약 조건과 너비가 사상 과정에서 유지됨을 보장한다.
• 재귀적 구조적 귀납을 통해 모노이드 분해의 너비가 고전적 그래프 분해의 너비와 일치함을 증명한다.
• 엄밀한 정량적 경계 설정: mwd(g) ∈ [1/2 ⋅ bwd(G), bwd(G) + 1], 트리 너비 및 경로 너비에 대해 등식이 성립함.

실험 결과

연구 질문

• RQ1 모노이드 카테고리의 사상에 대해 기존의 그래프 너비 측정법을 포함하는 단일한 일반적 너비 개념을 정의할 수 있는가?
• RQ2 모노이드 너비 및 그 변형은 분기 너비, 트리 너비, 경로 너비와 같은 고전적 그래프 너비와 어떻게 관련이 있는가?
• RQ3 재귀적 그래프 분해와 모노이드 분해 사이의 사상은 형식화되고, 너비를 유지하는지 증명할 수 있는가?
• RQ4 모노이드 너비와 고전적 그래프 너비 사이의 정량적 경계는 무엇인가?
• RQ5 적절한 모노이드 카테고리를 선택함으로써 모노이드 너비를 방향 그래프, 초그래프, 또는 관계 시스템과 같은 다른 구조로 확장할 수 있는가?

주요 결과

• 코스팬의 그래프 카테고리에서의 모노이드 너비는 고전적 그래프 너비 측정법을 복원한다: 모노이드 나무 너비는 트리 너비와 동일하고, 모노이드 경로 너비는 경로 너비와 동일하며, 모노이드 너비는 분기 너비로 제한된다.
• 모든 그래프 G에 대해, 그에 대응하는 코스팬 사상 g의 모노이드 너비는 1/2 ⋈ bwd(G) ≤ mwd(g) ≤ bwd(G) + 1 를 만족한다.
• 사상 g의 모노이드 나무 너비는 기저 그래프의 트리 너비와 동일하다: mtwd(g) = twd(G).
• 사상 g의 모노이드 경로 너비는 기저 그래프의 경로 너비와 동일하다: mpwd(g) = pwd(G).
• 재귀적 분기 분해에서 모노이드 분해로의 사상은 너비를 최대 +1까지 유지하며, 그 반대의 경우 최대 곱셈 인자 2까지 유지된다.
• 결과적으로 모노이드 너비는 통합 개념일 뿐 아니라, 알고리즘적 응용을 위한 쿠르셀의 정리 일반화를 통해 형식적으로 정밀하고 실행 가능한 그래프 너비의 일반화임을 입증한다.