#P17035. [SGU540] 交通信号灯

[SGU540] 交通信号灯

题目描述

Berland 首都的一条主干道可以看作长度为 ss 的线段。道路上有 nn 个交通信号灯,第 ii 个信号灯由四个整数 xi,ri,gi,dix_i,r_i,g_i,d_i 描述:

  • xix_i:信号灯距离道路起点的位置;
  • rir_i:红灯持续时间;
  • gig_i:绿灯持续时间;
  • did_i:从时刻 00 开始,第一个非负的“由绿灯切换为红灯”的时刻。

信号灯从很久以前就一直按周期 ri+gir_i+g_i 工作。因此其绿灯区间周期性出现。车辆恰好在颜色切换的瞬间经过,不算闯红灯。

国王在时刻 00 从道路起点出发,并始终以恒定速度 v0v_0 行驶。交通部长可以把任意一些信号灯改成“永久绿灯”,从而保证国王一路不遇到红灯。

速度必须满足 vminv0vmaxv_{min}\le v_0\le v_{max}。请选择 v0v_0,使需要改成永久绿灯的信号灯数量最少;如果有多个速度都能达到最少数量,则选择其中最大的速度

输入格式

第一行四个整数 n,s,vmin,vmaxn,s,v_{min},v_{max},满足:

1n<200001\le n<200001s200001\le s\le2000010vminvmax5010\le v_{min}\le v_{max}\le50

接下来 nn 行,每行四个整数 xi,ri,gi,dix_i,r_i,g_i,d_i

1xis11\le x_i\le s-110ri,gi2010\le r_i,g_i\le200di<ri+gi0\le d_i<r_i+g_i

任意两个信号灯的位置不同。

输出格式

第一行输出最优速度 v0v_0,小数点后至少输出 1010 位数字。

第二行输出需要切换为永久绿灯的信号灯数量 kk

第三行输出这 kk 个信号灯的编号,编号按照输入顺序从 11 开始,顺序任意。当 k=0k=0 时,第三行可以为空。

样例 1

样例输入

3 1000 10 30
500 10 10 10
501 10 10 0
600 10 10 0

样例输出

16.7000000000
0

样例 2

样例输入

2 1000 10 30
500 10 10 10
600 10 20 2

样例输出

25.0000000000
0

样例 3

样例输入

4 1000 10 30
800 10 15 20
500 20 10 15
501 20 10 5
600 10 20 15

样例输出

20.0400000000
1
2