#P11245. 残雪

    ID: 12185 远端评测题 1000ms 512MiB 尝试: 0 已通过: 0 显示难度省选/NOI− 上传者: 标签>贪心洛谷原创Special JudgeO2优化构造洛谷月赛

残雪

背景

English statement. You must submit your code at the Chinese version of the statement.

如果我再和你走在同一条路上的话,我也会把远方的星星讲过无限的话再跟你说一遍吧。

你微笑着把竖起的手指放在嘴角,似乎是在暗示我,原来你就是远方的 Polestar 罢了。

令人伤感的事情是,这个世界上没有了小王子,也没有了去年今日的那位飞行员。

试问闲愁都几许?一川烟草,满城风絮,梅子黄时雨。

题目描述

给出集合 SS。我们定义一个 01\tt 01 串 tt 是不好的,当且仅当存在 k∈Sk \in S,使得 tt 包含一个长度为 2k2k 的子串 t′t',且 t′t' 恰好包含 kk 个 0\tt 0 和 kk 个 1\tt 1。对立地,一个 01\tt 01 串如果不是不好的,那么它就是好的。

小 Y 有 qq 组询问,每次给出 L,R,m,nL, R, m, n,表示 S={x∈N+∣L≤x≤R}S = \{x \in \N_+ \mid L \leq x \leq R\},判断是否存在一个好的字符串 tt 满足 tt 恰好包含 mm 个 0\tt 0 和 nn 个 1\tt 1。

输入格式

第一行,一个整数 qq,表示询问个数。对于每组询问:

  • 仅一行,四个整数 L,R,m,nL, R, m, n。

输出格式

输出共 qq 行。对于每组询问,一行一个字符串 Yes 或 No 表示你的答案:你应当输出 Yes,当且仅当你对小 Y 的问题的回答是肯定的。

本题中字符串大小写不敏感,即 yEs、yes、Yes、YES 等都被认为是 Yes;No 同理。

5
1 2 3 5
3 3 4 6
5 6 11 13
10 15 33 22
10 13 11 11
No
Yes
No
Yes
No

提示

样例解释

  • 对于第一组数据,因为包含 0,1\tt 0, 1 但 L=1L = 1,所以一定不合法。
  • 对于第二组数据,存在 t=0011111100t = \tt 0011111100。容易证明这是合法的。
  • 对于第三组数据,事实确实如此。
  • 对于其它数据,暂时不能给你一个明确的答复。

数据规模与约定

本题采用捆绑测试和子任务依赖。

  • Subtask 0(0 pts):样例。
  • Subtask 1(13 pts):q≤103q \leq 10^3,n+m≤14n + m \leq 14,R≤14R \leq 14。
  • Subtask 2(20 pts):∑max⁡(n,m,L,R)≤5×103+5\sum \max(n, m, L, R) \leq 5\times 10^3 + 5。依赖于子任务 00。
  • Subtask 3(13 pts):∑max⁡(n,m,L,R)≤107+100\sum \max(n, m, L, R) \leq 10^7 + 100。依赖于子任务 0∼20 \sim 2。
  • Subtask 4(13 pts):L=RL = R。
  • Subtask 5(41 pts):无特殊限制。依赖于子任务 0∼40 \sim 4。

对于所有数据,保证 1≤q≤1051 \leq q \leq 10^5,1≤L≤R≤10181 \leq L \leq R \leq 10^{18},0≤n,m≤10180 \leq n, m \leq 10^{18},n+m≥1n + m \geq 1。