《计算机学报》：形状图理论的定理证明 Automated theorem proving for theory of shape graphs

上海交通大学：《Design and Manufacturing》课程教学资源（学生项目）样图-零件图 02-02-01-02

引例： 阿富汗战后建设， 30个村庄要通电话，已知两两距离，如何用最少的电话线连通30个村庄？

地下水水化学图是根据水质分析资料结合地区的水文地质条件特点编制的。通过对地下水水化学资料的分析整理及编制成果图件,能反映出地区地下水化学成分的特点及其分布的规律性,从而揭露出地下水化学形成的规律,作为各种不同目的水质评价及其它有关问题解决的重要依据

10.1 可平面图 10.2 面的染色

9.1 边的染色 9.2 顶点的染色

8.1 边的独立、覆盖和支配 8.2 顶点的独立、覆盖和支配

1.AON/AOA型网络图 2.时间计算 3.时间成本平衡

5.1 匹配和最大匹配 5.2 完美匹配

4.1 块 4.2 割集和连通度