创作背景
看到一道题目有感而发想写一篇题解,涉及的是一种逆向思维
桌面窗体重叠 - 洛谷https://www.luogu.com.cn/problem/U399827题目来源于《信息学奥赛课课通》
大致就是给一个长方形的左上顶点坐标(x1,y1)和右下顶点坐标(x2,y2),一个长方形的左上顶点坐标(x3,y3),右下顶点(x4,y4),然后判断这两个长方形是否重合。
思路呈现
1.一开始想的是从判断一个点是否在一个长方体内->判断一个长方形是否有点在另一个长方形中
代码如图:(显而易见的蠢)
2.逆向思维的利用
判断两个长方形是否不重叠 判断两条线段是否不相交->判断两个长方形是否相交
比如说在x轴上,我判断(x1,0)和(x2,0)的线段和(x3,0)和(x4,0)的线段是否相交的话,要考虑四种情况(因为不知道x1和x3的大小、x2和x4的大小)
if(x3<x1<x4||x3<x2<x4||x1<x3<x2||x1<x4<x2)
但是如果考虑不相交的话,最小值大于最大值,最大值小于最小值就不想交了
if(x3>x2||x4<x1)
显然简单了很多。
然后在y轴上考虑不相交
if(y3>y2||y4<y1)
只要在x、y轴上有一个判断不相交,这这两个长方形也不会相交,所以逻辑用或
合起来判断是否相交,true为相交。
if(!(x3>x2||x4<x1||y3>y2||y4<y1))
再利用德·摩根定律
非(P 且 Q) = (非 P) 或 (非 Q)
非(P 或 Q) = (非 P) 且 (非 Q)
可以把条件更改为如下的条件:
if(x3<=x2&&x4>=x1&&y3<=y2&&y4>=y1)
完整代码:
#include<iostream>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
int main() {
int x1,x2,x3,x4,y1,y2,y3,y4;
cin>>x1>>x2>>y1>>y2>>x3>>x4>>y3>>y4;
if(x3<=x2&&x4>=x1&&y3<=y2&&y4>=y1){
int left=max(x1,x3);
int right=min(x2,x4);
int top=max(y1,y3);
int bottom=min(y2,y4);
// cout<<left<<endl;
// cout<<right<<endl;
// cout<<top<<endl;
// cout<<bottom<<endl;
int s=(right - left) * (bottom - top);
cout<<s;
}else{
cout<<0;
}
return 0;
}
扩展
如何用编程N个人中解决至少两个人的生日在同一天的问题
1.至少两个人,那要考虑2个人,3个人,......n个人生日在同一天的情况。就比较复杂。
2.使用了逆向思维的话
过来想,N个人生日全不相同的概率:365/365*(364/365)*(363/365)*...*[(366-n)/365]…………[即后N-1个人与前面的人都不一样]
=364!/[(365-n)!·365^(N-1)]
(第一个人的生日可以在任何一天,第二个人的生日是除了第一个人生日那天外的任何一天.......)
所以至少有两人是同一天生日的概率为1-364!/[(365-n)!·365^(N-1)].