这似乎不是一个简单的问题（在各种论坛上都被问得很多），但我绝对需要它作为更复杂算法的构建模块。
输入：两个二维多边形（A和B），分别表示为由每条边[(x0, y0, x1, y2), ...]组成的列表。点由double对表示。我不知道它们是顺时针给出，还是逆时针给出，或者根本没有方向。我知道它们不一定是凸多边形。
输出：表示A、B和相交多边形AB的3个多边形。其中任何一个都可能是空（？）多边形，例如null。
优化提示：这些多边形表示房间和楼层边界。因此，房间边界通常会完全与地板边界相交，除非它属于同一平面上的另一个楼层（啊！）。
我希望有人已经用C#完成了这个任务，并允许我使用他们的策略/代码，因为我到目前为止在这个问题上找到的东西相当令人望而生畏。
编辑：看来我并不是完全懦弱不敢面对这个问题。我想在这里重新说明所需的输出，因为这是一个特殊情况，可能会简化计算：
输出：第一个多边形减去所有相交的部分，交集多边形（复数也可以）。我实际上并不关心第二个多边形，只关心它与第一个多边形的交集。
编辑2：我目前正在使用GPC（通用多边形剪辑器）库，这使得它非常容易！
SqlGeometry g1 = SqlGeometry.Parse("POLYGON ((...))");
SqlGeometry g2 = SqlGeometry.Parse("POLYGON ((...))");
SqlGeometry intersection = g1.STIntersection(g2);
我认为你应该做什么
如果可能的话，不要自己尝试编写多边形相交算法，而是使用已经存在的许多可用的多边形相交算法之一。
我强烈考虑以下代码库，因为它们的演示代码和他们提到的大多数/所有怪异案例的处理能力。如果您在商业上使用它，则需要捐赠一定金额（由您/您的公司选择），但是这值得为了获得此类代码的稳健版本。
http://www.cs.man.ac.uk/~toby/gpc/
我实际上所做的是使用Java2D库中的多边形相交算法。您可以在微软自己的C#库中可能找到类似的东西。
还有其他选择；搜索“多边形剪辑器”或“多边形剪辑”，因为处理多边形相交的基本算法也往往可用于一般剪辑案例。
一旦你真正拥有了一个多边形剪辑库，你只需要从多边形A中减去多边形B即可得到第一个输出片段，并且相交多边形A和B以得到第二个输出片段。
如何为自己编写，对于无望的自虐者
当我考虑编写自己的算法时，我发现Weiler-Atherton算法在一般多边形切割方面具有最大潜力。我使用以下内容作为参考:
http://cs1.bradley.edu/public/jcm/weileratherton.html
http://en.wikipedia.org/wiki/Weiler-Atherton
具体细节过于复杂，此处无法详述，但我相信你能在未来的几年中找到有关Weiler-Atherton算法的参考资料。基本上，您将所有点分为进入最终多边形的点和离开最终多边形的点，然后用所有点形成一个图形，再按适当方向遍历图形以提取所需的所有多边形片段。通过改变定义和处理“进入”和“退出”多边形的方式，可以实现多种可能的多边形交集（AND、OR、XOR等）。
实际上，这个算法相当可行，但与任何计算几何代码一样，关键在于处理异常情况。
您可能还想看看 NetTopologySuite，甚至可以尝试将其导入到Sql server 2008及其空间工具中。
尝试使用GIS工具，例如ArcObjects、TopologySuite、GEOS、OGR等。我不确定这些发行版是否都可用于.NET，但它们都可以实现相同的功能。