일어나지 않는 통합 알고리즘
-
29-09-2020 - |
문제
여기서는 통합 알고리즘에 대해 읽었습니다
일어나지 않으면 불리한 추론이 발생할 수 있습니다.그러나 Otoh는 알고리즘이 항상 일어나지 않고 항상 종료합니까?통일 할 두 리터럴이 일반적으로 변수가 없으면 알고리즘이 적어도 항상 오른쪽으로 종료되어야하는 것처럼 느껴 집니까?
해결책
$ f (a, g (a))= f (b, b) $ $ a \ ~ b $ 은 $ f (a, g (a))= f (a, a) $ 을 가지고 있고 $ a= g (a) $ 을 하위 문제로 통합해야합니다.
제휴하지 않습니다 cs.stackexchange