现在有n个区间,判断有没有一个点x使得所有区间都包含x是否等价于判断这些区间的l的最大值是否被包含。
即:
设 f(x)=∏i=1n[li≤x≤ri]f(x)=\prod\limits_{i=1}\limits^{n}[l_i\le x\le r_i]f(x)=i=1∏n[li≤x≤ri],是否有 [(∑i∈Zf(i))≥1]=f(maxi=1nli)[(\sum\limits_{i\in Z}f(i))\ge 1]=f(\max\limits_{i=1}\limits^{n}l_i)[(i∈Z∑f(i))≥1]=f(i=1maxnli)