AT_ahc036_a.[AHC036A] Efficient Signal Control

NOI/NOI+/CTSC

通过率:0%

AC君温馨提醒

该题目为【atcoder】题库的题目,您提交的代码将被提交至atcoder进行远程评测,并由ACGO抓取测评结果后进行展示。由于远程测评的测评机由其他平台提供,我们无法保证该服务的稳定性,若提交后无反应,请等待一段时间后再进行重试。

题目描述

Y 国有 NN 个城市和 MM 条道路,第 ii 条道路是连接城市 uiu_i 和城市 viv_i 的双向道路。所有道路都不相交,由城市和道路组成的图是平面图。

每个城市都设有用于控制进入该城市交通的信号灯。信号灯有红色和蓝色两种状态,只有当城市 vv 的信号灯为蓝色时,才能进入城市 vv。(出发城市的信号灯状态不限)

Y 国的城市信号灯通过数组 AA 和 BB 统一管理。

数组 AA 长度为 LAL_A,每个元素是 00 到 N−1N-1 之间的整数。
数组 BB 长度为 LBL_B,初始时所有元素均为 −1-1。

特别地,数组 BB 表示信号灯的状态:当 BB 包含值 vv 时,城市 vv 的信号灯为蓝色;当 BB 不包含值 vv 时,城市 vv 的信号灯为红色。
数组 AA 用于控制数组 BB,可以通过如下操作利用 AA 的值改变 BB 的内容,从而改变信号灯状态:

  1. 从 AA 中选择一个连续区间,记为 RAR_A。
  2. 从 BB 中选择与 RAR_A 长度相同的连续区间,记为 RBR_B。
  3. 用 RAR_A 的内容覆盖 RBR_B 的内容。

现在,喜欢旅行的 X 计划在 Y 国旅行。
X 有一个旅行计划,即城市顶点编号的列表 t0, t1, …, tT−1t_0,\ t_1,\ \ldots,\ t_{T-1},希望按顺序访问这些城市。列表中可能包含同一个城市多次,但不会有连续重复的城市。

X 以城市 00 作为当前所在位置开始旅行。首先,X 可以请求 Y 国交通大臣,将用于信号灯控制的数组 AA 的内容设置为任意值。此后,AA 的内容不可再更改。
之后,X 可以按任意顺序、任意次数(不超过 10510^5 次)重复进行如下信号操作或移动。具体操作示例见下方“输出示例”部分。

  • 信号操作
    • 请求 Y 国交通大臣进行一次上述信号灯操作,改变信号灯状态。
  • 移动
    • 从当前所在城市移动到直接通过道路相连的某个城市,并将当前位置更新为该城市。移动目标城市的信号灯必须在此时为蓝色。

若能按计划顺序访问旅行计划中的所有城市,则 X 的旅行视为成功。
更严格地说,记 X 依次到达的城市为 c0=0,c1,…c_0 = 0, c_1, \ldots,存在一个严格单调递增的长度为 TT 的非负整数序列 (i0,i1,…,iT−1)(i_0, i_1, \ldots, i_{T-1}),使得 cij=tj (0≤j≤T−1)c_{i_j} = t_j\ (0 \leq j \leq T-1),则且仅则 X 的旅行成功。

由于 Y 国交通大臣非常繁忙,X 希望尽量减少信号操作的次数。
请合理设置数组 AA 的元素,并设计信号操作和移动的顺序,使旅行能以尽可能少的信号操作次数成功完成。

输入格式

输入通过标准输入按以下格式给出。

N~M~T~L_A~L_B
u_0~v_0
\vdots
u_{M-1}~v_{M-1}
t_0~t_1~\ldots~t_{T-1}
x_0~y_0
\vdots
x_{N-1}~y_{N-1}
  • 第 1 行包含 5 个用空格分隔的整数 N,M,T,LA,LBN, M, T, L_A, L_B。
    • NN:城市数,N=600N=600。
    • MM:道路数,满足 N−1≤M≤3N−6N-1 \leq M \leq 3N-6。
    • TT:要访问的城市数,T=600T=600。
    • LAL_A:用于信号控制的数组 AA 的长度,N≤LA≤2NN \leq L_A \leq 2N。
    • LBL_B:用于信号控制的数组 BB 的长度,4≤LB≤244 \leq L_B \leq 24。
  • 接下来 MM 行,每行描述一条道路,第 ii 行为 ui viu_i~v_i,表示城市 uiu_i 和 viv_i 之间有一条双向道路。0≤ui<vi≤N−10 \leq u_i < v_i \leq N-1,且 (ui,vi)≠(uj,vj) (i≠j)(u_i, v_i) \neq (u_j, v_j)\ (i \neq j)。
  • 接下来 1 行,包含 TT 个用空格分隔的整数 t0,t1,...,tT−1t_0, t_1, ..., t_{T-1},表示 X 计划访问的城市,0≤ti≤N−1 (0≤i≤T−1)0 \leq t_i \leq N-1\ (0 \leq i \leq T-1),t0≠0t_0 \neq 0,ti≠ti+1 (0≤i≤T−2)t_i \neq t_{i+1}\ (0 \leq i \leq T-2)。
  • 接下来 NN 行,每行描述城市 ii 的坐标 (xi,yi)(x_i, y_i),坐标为整数,0≤xi,yi≤10000 \leq x_i, y_i \leq 1000,且 (xi,yi)≠(xj,yj) (i≠j)(x_i, y_i) \neq (x_j, y_j)\ (i \neq j)。此部分仅用于可视化,如不需要可忽略。

保证给定的图是连通的平面图。将顶点 ii 放在坐标 (xi,yi)(x_i, y_i),每条边画为两端点的线段时,任意两条边除端点外无公共点。

输出格式

第 1 行输出 AA 的初始值,即 LAL_A 个 00 到 N−1N-1 的整数,用空格分隔。

接下来每行输出一次操作,格式如下:

  • 若为信号操作
    设 RA,RBR_A, R_B 的长度为 l (1≤l≤LB)l\ (1 \leq l \leq L_B),RAR_A 的起始位置为 PA (0≤PA≤LA−l)P_A\ (0 \leq P_A \leq L_A - l),RBR_B 的起始位置为 PB (0≤PB≤LB−l)P_B\ (0 \leq P_B \leq L_B - l),则输出:
    s l P_A P_B
    
  • 若为移动
    设移动目标城市编号为 vv,则输出:
    m v
    
    移动目标城市必须与当前位置直接相连,且此时信号灯为蓝色。

查看示例

输出格式

(略,见上文)

输入输出样例

  • 输入#1

    7 9 3 7 4
    0 1
    0 2
    0 3
    1 2
    2 3
    3 4
    4 5
    5 6
    6 0
    4 1 5
    100 0
    200 0
    200 100
    100 100
    0 200
    0 100
    0 0

    输出#1

    0 1 3 4 5 6 2
    s 4 0 0
    m 3
    m 4
    m 3
    m 0
    m 1
    s 2 4 2
    m 0
    m 6
    m 5

说明/提示

得分

若旅行成功,信号操作次数为 CC,则绝对得分为 CC。绝对得分越小越好。

若旅行未成功、操作不合法、操作次数超过 10510^5,则判为 WA。

每个测试用例的相对得分为 round(109×(全体参赛者中的最小绝对得分你的绝对得分))\text{round}(10^9 \times \left(\frac{\text{全体参赛者中的最小绝对得分}}{\text{你的绝对得分}}\right)),所有用例的相对得分之和为提交得分。

最终排名以赛后系统测试的得分为准。系统测试和暂定测试均有部分用例输出不合法或超时时,该用例的相对得分为 0,并从“全体参赛者中的最小绝对得分”计算中剔除。系统测试只对最后一次非 CE 的提交进行,请注意最终提交的正确性。

测试用例数

  • 暂定测试:50 个
  • 系统测试:2000 个
    • 赛后将公开 seeds.txt (sha256=607aca150bd5f8f062937b02e6d14c15f7661aefbd279f150043e6d7e47f8d3c)

相对评价系统说明

暂定测试和系统测试均只计入最后一次非 CE 的提交。
每个用例的全体参赛者最小绝对得分也只取当前排行榜上的最终提交。

排行榜显示的是相对得分,每次新提交都会重新计算相对得分。
提交列表中显示的分数是各用例绝对得分之和,不显示相对得分。若想知道非最新提交在当前排行榜下的相对得分,需要重新提交。输出不合法或超时时,提交列表分数为 0,但排行榜会显示正确用例的相对得分之和。

关于运行时间

运行时间会有一定波动。系统测试时因并发执行较多,运行时间可能比暂定测试略长。请在程序内自行计时或预留充足时间,避免系统测试 TLE。

输入生成方法

详细生成方法如下。记 LL 到 UU 间的均匀随机整数为 rand(L,U)\mathrm{rand}(L, U),LL 到 UU 间的均匀随机实数为 rand_double(L,U)\mathrm{rand\_double}(L, U)。两点 u,vu, v 的距离为 (xu−xv)2+(yu−yv)2\sqrt{(x_u - x_v)^2 + (y_u - y_v)^2}。

图的生成

生成参数 Dvmin,Demax,PremoveD_{vmin}, D_{emax}, P_{remove},分别为 rand(20,30)\mathrm{rand}(20, 30),rand(80,140)\mathrm{rand}(80, 140),rand_double(0.0,0.5)\mathrm{rand\_double}(0.0, 0.5)。

N=600N=600,依次对 i=0,1,…,N−1i=0,1,\ldots,N-1:

  1. 随机生成 xi=rand(0,1000),yi=rand(0,1000)x_i = \mathrm{rand}(0,1000), y_i = \mathrm{rand}(0,1000)。
  2. 若 VV 中存在与 (xi,yi)(x_i, y_i) 距离小于 DvminD_{vmin} 的点,则重新选取。
  3. 将 (xi,yi)(x_i, y_i) 加入 VV。

边集 EE 生成如下:

  1. 枚举所有距离 ≤Demax/2\leq D_{emax}/2 的点对,随机排序,依次加入 EE,若与已加入的边无交则加入。边交指两边除端点外有公共点。
  2. 枚举所有距离 >Demax/2> D_{emax}/2 且 ≤Demax\leq D_{emax} 的点对,随机排序,依次加入 EE,若与已加入的边无交则加入。

若此时图 (V,E)(V, E) 不连通,则重头生成 VV。

最后,按随机顺序遍历 EE,若去掉 ee 后图仍连通,则以概率 PremoveP_{remove} 删除 ee。

tt 的生成

t0t_0 随机取 11 到 N−1N-1。

i=1,2,…,T−1i=1,2,\ldots,T-1,tit_i 随机取 00 到 N−1N-1 中除 ti−1t_{i-1} 外的数。

LA,LBL_A, L_B 的生成

LA=rand(N,2N)L_A = \mathrm{rand}(N, 2N)。

LB=floor(rand_double(2.0,5.0)2)L_B = \mathrm{floor}(\mathrm{rand\_double}(2.0, 5.0)^2),floor(x)\mathrm{floor}(x) 表示不大于 xx 的最大整数。

无需完全理解上述内容。
详细实现见输入生成器源码。

工具

样例解释 1

本输入仅用于说明,未必满足输入约束。

输出说明及可视化:

0 1 3 4 5 6 2

将 AA 的初始值设为 [0,1,3,4,5,6,2][0, 1, 3, 4, 5, 6, 2]。初始时所有信号灯为红色。

s 4 0 0

将 AA 的第 00 个元素起的长度为 44 的子区间,覆盖 BB 的第 00 个元素起的区间。此时 B=[0,1,3,4]B = [0, 1, 3, 4]。

m 3
m 4

依次从 0→3→40 \to 3 \to 4 移动,达到第一个目的地。

提示

(略,见上文)

由 ChatGPT 4.1 翻译

输入解题思路,AI测评打分。不知道怎么写?

首页