귀착과 꼬리 귀착

1951 단어
원문

귀속 원리


귀속은 문제를 해결하는 효과적인 방법으로 귀속 과정에서 함수는 자신을 서브루틴으로 호출한다
너는 자신의 함수를 어떻게 호출하는지 알고 싶을 것이다.비결은 귀속 함수가 자신을 호출할 때마다 주어진 문제를 하위 문제로 분해하는 것이다.하위 문제가 더 이상 귀속되지 않아도 해결될 때까지 귀속 호출은 계속 진행된다.
반복 함수가 무한 순환을 일으키지 않도록 하려면 다음과 같은 속성을 가져야 합니다.
  • 간단한 기본 사례(basic case)(또는 일부 사례) - 귀속을 사용하지 않고 답을 만들 수 있는 종지 방안.
  • 한 조의 규칙은 점차적 관계(recurrence relation)라고도 부르며 모든 다른 상황을 기본 사례로 분리할 수 있다.

  • 함수는 여러 위치에서 자기 호출될 수 있으니 주의하십시오.

    귀속


    꼬리 귀속 함수는 귀속 함수의 일종으로 그 중에서 귀속 호출은 귀속 함수 중의 마지막 명령이다.그리고 함수에서 한 번만 호출되어야 한다.
    미귀환의 장점은 귀환 호출 기간에 창고 공간 비용의 누적을 피할 수 있다는 것이다. 왜냐하면 시스템은 모든 귀환 호출에 창고의 고정된 공간을 다시 사용할 수 있기 때문이다.
    다음 예를 살펴보겠습니다.
    public class Main {
    
      private static int helper_non_tail_recursion(int start, int [] ls) {
        if (start >= ls.length) {
          return 0;
        }
        //  , 。
        return ls[start] + helper_non_tail_recursion(start+1, ls);
      }
    
      public static int sum_non_tail_recursion(int [] ls) {
        if (ls == null || ls.length == 0) {
          return 0;
        }
        return helper_non_tail_recursion(0, ls);
      }
    
      //---------------------------------------------
    
      private static int helper_tail_recursion(int start, int [] ls, int acc) {
        if (start >= ls.length) {
          return acc;
        }
        //  , 。
        return helper_tail_recursion(start+1, ls, acc+ls[start]);
      }
    
      public static int sum_tail_recursion(int [] ls) {
        if (ls == null || ls.length == 0) {
          return 0;
        }
        return helper_tail_recursion(0, ls, 0);
      }
    }
    

    꼬리 귀환 상황에서 귀환 호출에서 귀환하면 우리는 즉시 귀환할 수 있기 때문에 우리는 전체 귀환 호출 귀환 체인을 건너뛰고 원시 호출자에게 직접 귀환할 수 있다.이것은 우리가 모든 호출된 호출 창고를 필요로 하지 않는다는 것을 의미하며, 이것은 우리로 하여금 공간을 절약하게 한다.
    꼬리 귀속 함수는 비꼬리 귀속 함수로 실행할 수 있다. 즉, 호출 창고가 있으면 결과에 영향을 주지 않는다는 것이다.일반적으로 컴파일러는 꼬리 귀속 모드를 식별하고 실행을 최적화시킨다.그러나 모든 프로그래밍 언어가 이런 최적화를 지원하는 것은 아니다. 예를 들어 C,C++는 꼬리 귀속 함수의 최적화를 지원한다.다른 한편, JavaPython는 꼬리 귀속 최적화를 지원하지 않는다.

    좋은 웹페이지 즐겨찾기