극소 모형 프로그램

Also known as minimal model

branch of birational geometry aiming to construct the simplest birational model of a projective variety