Temel Kavramlar
セッション型サブタイピングアルゴリズムの複雑性分析を行い、指数関数的な複雑性を持つ従来のアルゴリズムに対し、二次関数的な複雑性を持つ新しいアルゴリズムを提案する。
Özet
本論文では、バイナリセッション型のサブタイピングアルゴリズムの複雑性分析を行っている。
まず、Gay and Holeの元論文で提案されたアルゴリズムの複雑性を分析し、指数関数的な上限を示す。次に、そのアルゴリズムを最適化したバージョンを提案し、こちらも指数関数的な複雑性を持つことを示す。
最後に、ラベル付き遷移システムを用いて型をモデル化し、X Y Z W -シミュレーションの概念を用いて二次関数的な複雑性を持つ新しいアルゴリズムを提案する。このアルゴリズムは、型の部分木全てのサブタイピングを二次関数的な時間で検査できる。
İstatistikler
従来のアルゴリズムの最悪ケースの複雑性はO(n^3n)
最適化されたアルゴリズムの最悪ケースの複雑性は2^O(n^2)
提案するアルゴリズムの複雑性はO(n^2)