Concepts de base
Forest는 M-SRL보다 알고리즘적으로 더 표현력이 뛰어나며, 항상 종료되는 특성을 갖는다.
Résumé
Forest는 역 계산 모델로, PRF-complete이며 M-SRL보다 더 표현력이 뛰어나다. 또한, 두 정수 사이의 최솟값을 계산하는 알고리즘을 O(min(|m|, |n|)) 시간에 수행할 수 있다. 이는 M-SRL에서는 불가능하며, Forest의 알고리즘적 표현력을 강조한다.
- 알고리즘적 표현력: Forest는 M-SRL을 완전히 대체하며, PRF-complete이다.
- 최솟값 계산 알고리즘: Forest는 두 정수의 최솟값을 효율적으로 계산할 수 있다.
- M-SRL과의 비교: M-SRL은 최솟값 계산 알고리즘을 효율적으로 수행할 수 없다.
Stats
Forest는 M-SRL을 완전히 대체하며, PRF-complete이다.
Forest는 두 정수의 최솟값을 O(min(|m|, |n|)) 시간에 계산할 수 있다.
Citations
"Forest는 M-SRL보다 알고리즘적으로 더 표현력이 뛰어나며, 항상 종료되는 특성을 갖는다." - 논문