CLRS 이런거 읽은거 아니면 모르는 


초 극한의 상황에서 개발한 알고리즘을 증명해야하는 경우 아니면 안쓰는


CS이론임 ㅇㅅㅇ