1067: [SCOI2007]降雨量
Time Limit: 1 Sec Memory Limit: 162 MB
Submit: 2148 Solved: 554
[Submit][Status]
Description
我们常常会说这样的话：“X年是自Y年以来降雨量最多的”。它的含义是X年的降雨量不超过Y年，且对于任意Y＜Z＜X，Z年的降雨量严格小于X年。例如2002，2003，2004和2005年的降雨量分别为4920，5901，2832和3890，则可以说“2005年是自2003年以来最多的”，但不能说“2005年是自2002年以来最多的”由于有些年份的降雨量未知，有的说法是可能正确也可以不正确的。
Input
输入仅一行包含一个正整数n，为已知的数据。以下n行每行两个整数yi和ri，为年份和降雨量，按照年份从小到大排列，即yi＜yi+1。下一行包含一个正整数m，为询问的次数。以下m行每行包含两个数Y和X，即询问“X年是自Y年以来降雨量最多的。”这句话是必真、必假还是“有可能”。
Output
对于每一个询问，输出true，false或者maybe。
Sample Input
2002 4920
2003 5901
2004 2832
2005 3890
2007 5609
2008 3024
5
2002 2005
2003 2005
2002 2007
2003 2007
2005 2008
Sample Output
true
false
maybe
false
HINT
100%的数据满足：1<=n<=50000, 1<=m<=10000, -10^9<=yi<=10^9, 1<=ri<=10^9
Source
题解：逗比的我果然还是选了个要人命的题目额。。。TT。。。害得我纠结了2个小时。。。好了思路——其实核心部件就是个球区间最大值（可以选择RMQ或者线段树，但是还是建议RMQ,因为线段树O(logn)的复杂度伤不起啊，别忘了时限为1s），接下来就是各种坑爹的WA——原因很简单也很不简单——这道题虽然true的情况只有一种很明显，但是maybe有N多情况！！！要命啊！！！简直改到发疯。。。接下来引用hzwer神犇的话，我自己改来改去也讲不太清楚了，不过大概意思就是这样（hzwer的题解传送门）：
需要考虑很多情况。比如第x年到第y年
如果y<x，不知道有没这种情况，应该是false吧
true的情况需要满足
x与y的值都已知且y值<x值且x+1到y-1都已知并且都小于y值
maybe满足
1.x值y值均未知
2.已知x值未知y值并且x+1到y-1都已知并且都小于y值
3.已知y值未知x值并且x+1到y-1都已知并且都小于x值
4.x为年份最大一年，y>x
5.y为年份最小一年，x<y
6.x，y均已知且y<x并且x+1到y-1有未知并且都小于x值
其它都是false
大概这样。。。
这种题一遍AC的是神
***调了几个小时
var //HansBug的萌萌哒code
c,b:array[..]of longint;
x,y:array[..]of longint;
f:array[..,..]of longint;
i,j,k,n,m,x0,y0:longint;
function max(a,b:longint):longint;
begin
if a>b then exit(a) else exit(b);
end;
function cal(l,r:longint):longint;
var
j:longint;
begin
if r<l then exit(-);
j:=trunc(ln(r-l+)/ln());
exit(max(f[l][j],f[r-( shl j)+][j]));
end;
procedure built;
var
i,j:longint;
begin
for j:= to trunc(ln(n)/ln()) do
for i:= to n- shl j+ do
f[i][j]:=max(f[i][j-],f[i+ shl (j-)][j-]);
end;
function find(x:longint):longint;
var
l,r,mid:longint;
begin
l:=;r:=n;
while l<r do
begin
mid:=(l+r)shr ;
if c[mid]=x then exit(mid);
if c[mid]<x then l:=mid+ else r:=mid-;
end;
exit(l);
end;
begin
read(n);
for i:= to n do
read(c[i],b[i]);
for i:= to n do
f[i][]:=b[i];
built;
read(m);
for i:= to m do
begin
read(x0,y0);
if x0>y0 then
begin
writeln('false');
continue;
end;
j:=find(x0);
k:=find(y0);
if (c[j]=x0)and(c[k]=y0) then
if (y0-x0=k-j) then
if (b[j]>=b[k]) then
if cal(j+,k-)<b[k] then
begin
writeln('true');
continue;
end;
if (c[j]<>x0)and(c[k]<>y0)then
begin
writeln('maybe');
continue;
end;
if (c[j]<>x0)or(c[k]<>y0) then
begin
while (c[j]>x0)and(j<>) do dec(j);
while (c[k]<y0)and(k<=n) do inc(k);
if c[j]<>x0 then y0:=k else y0:=j;
x0:=cal(j+,k-);
if x0<b[y0] then writeln('maybe') else writeln('false');
continue;
end;
if (k-j<>y0-x0) then
if (b[j]>=b[k]) then
begin
x0:=cal(j+,k-);
if x0<b[k] then writeln('maybe') else writeln('false');
continue;
end;
writeln('false');
end;
end.