关于时间关系（或任何其他区间关系）的推理，请考虑Allen的区间代数。它描述了两个区间之间可能存在的13种关系。你可以找到其他参考资料——“艾伦间隔”似乎是一个有效的搜索词。您还可以在Snodgrass的《用SQL开发面向时间的应用程序》（PDF，网址为）、《日期、达文和洛伦兹时间数据与关系模型》（2002年）或《时间与关系理论：关系模型与SQL中的时间数据库》（2014年；实际上是TD&RM的第二版）中找到有关这些操作的信息。

简短的答案是：给定两个日期间隔A和B，其中包含.start和.end以及约束.start<=.end，则两个间隔重叠，如果：

A.end >= B.start AND A.start <= B.end

您可以调整>=vs>和<=vs<的使用，以满足重叠程度的要求。

ErikE评论：

如果你数点有趣的事情，你只能得到13。。。当我疯狂地计算时，我可以得到“两个区间可以有15种可能的关系”。通过合理的计算，我只能得到6种关系，如果你不在乎A还是B先出现，我只能获得3种关系（不相交，部分相交，一种完全在另一种内）。15是这样的：[之前：之前，开始，内部，结束，之后]，[开始：开始，内部、结束，之后】，[内部：内部，结束、之后]，[结束：结束，之后，]，[之后：之后]。

我认为你不能计算“之前：之前”和“之后：之后”这两个条目。如果你将某些关系与它们的逆关系等同起来，我可以看到7个条目（参见参考维基百科URL中的图表；它有7个条目，其中6个条目具有不同的逆关系，而equals没有不同的逆）。三个是否合理取决于你的要求。

----------------------|-------A-------|----------------------
    |----B1----|
           |----B2----|
               |----B3----|
               |----------B4----------|
               |----------------B5----------------|
                      |----B6----|
----------------------|-------A-------|----------------------
                      |------B7-------|
                      |----------B8-----------|
                         |----B9----|
                         |----B10-----|
                         |--------B11--------|
                                      |----B12----|
                                         |----B13----|
----------------------|-------A-------|----------------------

（起点A<=终点B）和（终点A>=起点B）

证明：让条件A表示日期范围A完全在日期范围B之后

_                        |---- DateRange A ------|
|---Date Range B -----|                          _

（如果StartA>EndB，则为True）

让条件B表示日期范围A完全在日期范围B之前

|---- DateRange A -----|                        _ 
_                          |---Date Range B ----|

（如果EndA<StartB，则为True）

如果A和B都不为真，则存在重叠-（如果一个范围既不完全在另一个范围之后，也不完全在另一个之前，则它们必须重叠。）

现在，德摩根的一项法律规定：

不是（A或B）<=>不是A也不是B

转换为：（StartA<=EndB）和（EndA>=StartB）

注意：这包括边缘完全重叠的情况。如果你想排除这一点，将>=运算符更改为>，并将<=更改为<

注2.多亏了@宝爸，看看这个博客，实际的重叠最少：｛endA startA，endA-startB，endB startA，end B-startB｝

（起点A<=终点B）和（终点A>=起点B）（开始A<=结束B）和（开始B<=结束A）

注3.多亏了@tomosius，一个简短的版本写道：DateRangesOverlap=最大值（start1，start2）<最小值（end1，end2）这实际上是一个较长实现的语法快捷方式，它包括额外的检查，以验证开始日期是否在结束日期之前。从上面得出：

如果开始日期和结束日期可能是无序的，即，如果startA>endA或startB>endB是可能的，那么您还必须检查它们是否有序，这意味着您必须添加两个额外的有效性规则：（StartA<=EndB）和（StartB<=EndA）以及或：（开始A<=结束B）和（开始A<=结束A）以及（开始B<=结束A”和（开始B<=结束B”）或（开始A<=最小值（结束A，结束B）和（开始B<=最小（结束A、结束B））或：（最大值（开始A，开始B）<=最小值（结束A，结束B）

但要实现Min（）和Max（），必须编写代码（使用C三进制表示简洁）：（（开始A>开始B）？开始A：开始B）<=（（结束A<结束B）？端A：端B）

if (StartDate1 > StartDate2) swap(StartDate, EndDate);

(StartDate1 <= EndDate2) and (StartDate2 <= EndDate1);

@Bretana给出的数学解很好，但忽略了两个具体细节：

封闭或半开放间隔的方面空间隔

关于区间边界的封闭或开放状态，@Bretana的解对封闭区间有效

（起点A<=终点B）和（终点A>=起点B）

可以重写为半开间隔：

（开始A<结束B）和（结束A>开始B）

这种校正是必要的，因为根据定义，开放区间边界不属于区间的值范围。

关于空间隔，这里上面所示的关系不成立。根据定义不包含任何有效值的空间隔必须作为特殊情况处理。我通过Java时间库Time4J通过以下示例进行了演示：

MomentInterval a = MomentInterval.between(Instant.now(), Instant.now().plusSeconds(2));
MomentInterval b = a.collapse(); // make b an empty interval out of a

System.out.println(a); // [2017-04-10T05:28:11,909000000Z/2017-04-10T05:28:13,909000000Z)
System.out.println(b); // [2017-04-10T05:28:11,909000000Z/2017-04-10T05:28:11,909000000Z)

前导方括号“[”表示封闭的开始，而最后一个括号“）”表示开放的结束。

System.out.println(
      "startA < endB: " + a.getStartAsInstant().isBefore(b.getEndAsInstant())); // false
System.out.println(
      "endA > startB: " + a.getEndAsInstant().isAfter(b.getStartAsInstant())); // true

System.out.println("a overlaps b: " + a.intersects(b)); // a overlaps b: false

如上所示，空间隔违反了上面的重叠条件（尤其是startA<endB），因此Time4J（以及其他库）必须将其作为特殊的边缘情况来处理，以确保任何任意间隔与空间隔的重叠都不存在。当然，日期间隔（默认情况下在Time4J中是关闭的，但也可以是半开的，就像空日期间隔一样）的处理方式类似。

为了涵盖PHP/LaravelCarbon包中的所有重叠情况，您可以在Charles的答案中展开逻辑，如下所示。

if ( ($startTime1->between($startTime2, $endTime2, true) || $endTime1->between($startTime2, $endTime2, true)) || (($startTime1 <= $endTime2) && ($endTime2 <= $endTime1)) ){
//Complete Overlap, Partial Left Overlap, Partial Right Overlap. 
}

这将检查StartTime1是否在（StartTime2-EndTime2）范围之间，或者EndTime1是否位于（StartTime2-EndTime2的范围之间。

其余部分完全重叠，如其他答案所述。

这是我使用moment.js的javascript解决方案：

// Current row dates
var dateStart = moment("2014-08-01", "YYYY-MM-DD");
var dateEnd = moment("2014-08-30", "YYYY-MM-DD");

// Check with dates above
var rangeUsedStart = moment("2014-08-02", "YYYY-MM-DD");
var rangeUsedEnd = moment("2014-08-015", "YYYY-MM-DD");

// Range covers other ?
if((dateStart <= rangeUsedStart) && (rangeUsedEnd <= dateEnd)) {
    return false;
}
// Range intersects with other start ?
if((dateStart <= rangeUsedStart) && (rangeUsedStart <= dateEnd)) {
    return false;
}
// Range intersects with other end ?
if((dateStart <= rangeUsedEnd) && (rangeUsedEnd <= dateEnd)) {
    return false;
}

// All good
return true;