1、DE-9IM

  要判断两个多边形的关系，实际上属于几何图形空间关系判断。几何图形并不只有多边形一种，它包括点、线、面构成的任何图形，两两之间相互关系也有很多种，因此空间关系非常复杂。根据前人的研究，总结出了DE-9IM模型，作为一种空间关系判断的标准。

  DE-9IM，全称是Dimensionally Extended nine-Intersection Model (DE-9IM)，是一种拓扑模型，用于描述两个几何图形空间关系的一种标准。在专业领域，通常将每个几何图形分为三部分：外部（exterior),边界（boundary)和内部(interior)。相像一下，一个矩形的三个部分分别是指哪些地方？两个图形的关系判断，实际上就是三个部分的分别判断，因此就会有一个3*3交叉矩阵，这个矩阵就是DE-9IM模型，如下图：

  其中，a,b分别代表两个面，I,B,E分别表示它的三个部分。Dim()函数表示相交部分的维度。如果相交部分是一个面，则是二维，即dim()=2；如果相交部分是一条线，则为一维，dim()=1；如果相交部分是一些点，则为0维，dim()=0；如果不相交，则dim()=-1;从上往下，从左往右读取这个矩阵，就会有一个字符串，如"212101212"，即将相互关系转换成了一个字符串，最终对字符串进行判断就可以了。上面的图只是许多关系中的一种，画的是相交的情形，所以并没有出现-1的情况。

  如果换一种写法，我们将（0，1，2）认为是相交，写为T，-1认为不相交，写为F。则"212101212"变为"TTTTTTTTT"。 实际上这9个值，我们只需要知道其中几个值就能作出判断了，不需要全部知道。比如我们只要知道第一位是T，就能判断两者相交，而后面8位是什么并不关心。不关心是什么值，我们就用*来代替，因此，我们只要看到"T********"，就知道两个图形相交。

2、谓词

  将关系用专业术语来表达，我们就叫谓词，比如相交、接触、重叠、包含等。关系比较多，定义也是非常精细。我们这里只考虑两个面（两个多边形）的关系，因此，只需要掌握几种关系就可以了。如果需要判断点、线关系的，建议去https://en.wikipedia.org/wiki/DE-9IM 仔细看看，介绍得非常详细。

  面之间的关系，主要两种：相交和脱离（不相交），相交又分为接触、重叠、覆盖和相等。


                 上图分别表示：覆盖、接触和重叠

在geos中， 这五种关系，分别有对应的函数，返回一个BOOL值

a->equals(b)   //判断ab是否相等，返回
a->disjoint(b)  //判断ab是否脱离
a->touches(b) //判断ab是否接触
a->covers(b)   //判断ab是否覆盖，注意和contains的区别
a->overlaps(b) //判断两者是否有重叠部分

• 如果ab脱离，可以用：a->distance(b) 计算两者间的最短距离。

• 如果ab重叠，可以用：a->intersection(b) 返回相交部分的几何图形。

• 如果不知道两者之间是什么关系 ，可以使用：a->relate(b) 来返回一串字符串，然后去匹配字符串，看属于哪一种关系。