图论与代数结构是离散数学的主要组成部分，是计算机科学的数学基础。