이 논문은 동기식 세션 유형 시스템에서의 하위 유형 검사 알고리즘을 다룬다.
첫 번째로, 원래 논문의 알고리즘의 복잡성을 분석한다. 이 알고리즘은 귀납적 트리 검색에 기반한다. 이 알고리즘의 최악 경우 복잡도는 O(n^3)이다.
두 번째로, 이 알고리즘의 최적화된 버전을 소개한다. 이 버전은 복잡도를 개선했지만 여전히 두 유형의 크기에 대해 지수적이다.
마지막으로, X Y Z W-시뮬레이션 개념을 사용하여 새로운 이차 알고리즘을 제안한다. 이 알고리즘은 유형을 레이블 전이 시스템으로 표현하고 시뮬레이션 관계 검사를 통해 하위 유형을 결정한다. 이 알고리즘의 복잡도는 O(n^2)이다.
To Another Language
from source content
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Thien Udomsr... ที่ arxiv.org 03-29-2024
https://arxiv.org/pdf/2402.06988.pdfสอบถามเพิ่มเติม