이 논문은 투영 다양체의 Chow 형식과 Hurwitz 형식을 계산하는 알고리즘을 제시한다.
완전 교차 투영 다양체의 경우, 저자들은 단일 지수 시간 복잡도의 결정론적 알고리즘을 제시한다. 이는 비트 복잡도 모델에서 Chow 형식을 계산하는 첫 번째 결과이다.
과대 결정 시스템의 경우, 저자들은 다양체를 완전 교차 다양체의 교집합으로 표현하고 각각의 Chow 형식을 계산한 뒤 이들의 최대공약수를 취하는 방식으로 접근한다. 이를 통해 단일 지수 시간 복잡도의 알고리즘을 제시한다.
저자들은 다중 투영 공간에서의 Chow 형식 계산 알고리즘도 제시한다. 이는 변수들의 블록 구조를 활용하여 복잡도를 개선한다.
또한 다중 투영 공간에서의 Hurwitz 형식 계산 알고리즘을 제시하고, 이와 관련된 조합론적 구조인 매트로이드 이론을 탐구한다.
To Another Language
from source content
arxiv.org
Głębsze pytania