日期交集
早在13年左右的时侯，做过一个系统，功能很简单，做一个日程管理功能，这里边涉及到一个小知识点，就是日期取交集。今天跟大家分享的是从这个点展开的，时间段取交集的话题。
业务逻辑
逻辑很简单，就是一两个日期段取交集，可如果按正常思维去实现，其实日期交集的场景我们可以穷举出来，大概有4种情况
s1--------------e1
s2-----------------e2
s1--------------e1
s2-----------e2
s1-----------------e1
s2-------e2
s1-------e1
s2-----------------------e2
如果按这种逻辑实现我们的表达式可能至少要写4种情况，逻辑复杂，且可读性差
逆向思维
这是软件开发中非常重要的思维模式，在程序员数学中有重点介绍。
这里提到的程序员数学，是一套书，包括程序员基础数学，概率论和线性代数，同时也是进入机器学习的基础理论，有兴趣的朋友可以买回来读一读。
我们通过个例子，来实践一下逆向思维。
其实如果按取交集的逻辑来看，上面穷举出来有4 种情况。
但我们反过来想(逆向)
没有交集的情况只有两种可能
s1-------------e1
s2------e2
s1------e1
s2--------------e2
我们设
两个时间段的日期为s1(start)-e1(end)
和s2-e2
通过逆向推导可以推出下列表达式
这里我们假定
s1<e1 & s2<e2
=>
e2<s1||e1<s2
说明满足该条件是不可能产生交集
上述表达式翻译成业务语言即
第一个时间段已经结束，第二个时间段还没未开始
通过对表达式取非即所有存在交集的情况
!(e2<s1||e1<s2)
=>
e2>=s1&&e1>=s2
这个就可以做为时间取交集的最终表达式
这里有一点非常重要，这个时间段我们有条件的
s1<e1 & s2<e2
这是表达式成立的充分条件
问题
这里我们只是把时间交集的表达式推导出来，我们把该命题扩展一下,目前我们只是取两个时间段的交集，如果取n个时间段的交集如何实现呢？
时间段交集
- 这样的时间段有成百上千条该如何处理?
- 如果我们需要根据具有日期交集的时间段分组呢？
- 如果我们的业务不是日期，而是其他数据类型呢？如何抽象出计算模型？非日期型数据也可以进行分组？
以上问题请关注下一篇博客
