[김덕환]

숙제 1-3 "왼쪽편에 쏠려있는 힙" 문제에서 급수에 대한 정의와 관련하여 다음 세 가지 경우 다 허용합니다.

• EMPTY를 빈 트리로 생각하고, EMPTY의 급수를 0으로 정의
  

  코드:

  fun rank EMPTY = 0   | rank NODE (r, _, _, _) = r fun insert (x, h) = merge (h, NODE (0, x, EMPTY, EMPTY))

  
  
• EMPTY를 빈 트리로 생각하고, EMPTY의 급수를 -1로 정의
  

  코드:

  fun rank EMPTY = -1   | rank NODE (r, _, _, _) = r fun insert (x, h) = merge (h, NODE (0, x, EMPTY, EMPTY))

  
  
• EMPTY를 특수한 단말노드로 생각하고, EMPTY의 급수를 0으로 정의
  

  코드:

  fun rank EMPTY = 0   | rank NODE (r, _, _, _) = r fun insert (x, h) = merge (h, NODE (1, x, EMPTY, EMPTY))

  
  

세번째 정의는 앞의 두 경우에 비해 왼쏠힙 노드 전체의 급수가 달라지므로, 첫번째와 두번째 정의 사용을 권장합니다.

나머지 타입과 함수 정의는 문제에 나온 대로 사용해야 합니다.

See also HW#1, Ex3 질문