heapq 모듈에 대한 설명이 잘 되어 있는 블로그 글을 소개합니다.
https://www.daleseo.com/python-heapq/#%EC%B5%9C%EC%86%8C-%ED%9E%99-%EC%83%9D%EC%84%B1
고찰
이진트리에서
k노드의 자식 노드들이2k+1, 2K+2인 것
왜 그럴까?
k노드가 속한 줄이 n번째 줄이라고 가정하고, 등비수열 합 공식을 이용해서 그냥 계산하면 도출할 수 있긴 했다. 하지만 이것보다 더 직관적으로, 혹은 더 간단하게 증명할 수 있는 방법이 있을 것 같다. 나중에 생각나면 수정해야겠다.
