dp + leftist tree