离散数学根树