#P3782. [WC2017] 排序
[WC2017] 排序
题目背景
本题虽然是提交答案题,但是由于部分bug,暂时只能使用代码提交
题目描述
牛牛最近学习了排序的相关知识,他对排序算法的运行效率产生了浓厚的兴趣并对此展开了一系列的研究。为了优化排序的运行时间,牛牛找到了来参加冬令营的你,希望你帮助他设计一台计算机进行排序。
这台计算机的设计方法如下:
-
需要进行排序的序列存储在大小为 的数组 中。
-
进行计算的最小单元是比较器,一个比较器可以用一个三元组 表示,其中, 均为正整数,其中 , 均在内且 。它的功能是在时刻 比较 与 的大小,若 ,就交换 与 中的值,否则什么也不做。
-
若要让计算机正常运行,则需要任意两个比较器之间不能发生冲突。两个比较器 与 会发生冲突当且仅当 A、B、C、D 中有两个相等的数且 。 例如:比较器 和 不会发生冲突,而比较器 和比较器 会发生冲突。
在运行时,这台计算机中的每个比较器都会按照预先设定好的参数在指定的时间进行相应的操作。这台计算机运行时需要消耗的时间为所有的比较器中参数 的最大值 ,该值越小意味着运行时间越短。
牛牛发现,现实中的许多数据具有自己的特性。在设计计算机时往往需要考虑到这些特性,并针对性地进行设计才能达到好的效果。
为了检验你设计的计算机,牛牛提供了 个测试点共 组测试数据,每个测试数据包含 组测试数据,即 个长度为 的排列 。请你为每组测试数据设计一台运行时间不超过 的计算机,使得对于任意 ,这台计算机能对 排序。
##部分数据特性
这里给出部分数据的部分特性:
测试点 中,对于输入的每一个排列 ,它每一个循环的大小都互不相同。循环可以理解为,将一个长度为 的排列 看成一张 个点 条边的无向图,其中 和 之间有一条边,这张图中的每一个联通块都是一个循环。
测试点 中,对于输入的每一个排列 ,都存在若干个互不相交的区间 ,使得在对每一个区间 循环左移一次后,数组有序。循环左移的例子为: 循环左移一步为 。同时,该测试点的前 组数据,满足对于输入的每一个排列 ,都存在整数 ,使得对区间 循环左移一次后,数组有序。
输入格式
为了方便你区分不同的子任务,每个输入文件第一行为一个整数,表示当前测试点的编号。
第二行一个整数 表示这个测试点中的测试数据组数,同时也表示这个测试点的分值。在所有数据中,。
每组数据第一行三个整数 ,意义在上文中已经说明。
接下来 行每行 个整数,描述一个 到 的排列。
数据保证有解。
输出格式
对于每组测试数据,第一行输出一个整数 表示你设计的计算机中比较器个数。
接下来 行,每行 个整数 ,描述你的计算机的一个比较器 。
0
1
3 5 4
1 2 5 3 4
3 4 5 1 2
3 1 4 2 5
7
1 2 1
3 4 1
2 3 2
4 5 2
1 2 3
3 4 3
2 3 4
提示
因为SPJ时限限制,所以你需要用比较器个数尽量少的方案来通过该题,否则有可能出现本地评测AC,在线评测UKE
SPJ复杂度为
##评分方式
每个测试点单独评分,同时每个测试点你还有可能获得部分分。
每一个测试点总分值为 分,每个测试点得分为其中所有测试数据的得分之和。
在每组测试数据中,若 , ,比较器之间不会发生冲突且可以对这 K 个排列正确地排序,则该测试点得 分,否则得 分。
如果你输出了不足 个计算机,那么我们将默认你输出的第 个计算机对应第 组测试数据。
如果你的输出不符合格式要求,我们不保证你能得到该测试点的分数。
##如何测试你的输出
我们在文件中提供了checker来检测你的输出的得分,使用这个工具的方法:
./checker input output output
其中checker为校验器,input为题目提供或是你制造的合法的输入文件,output为你的对应的输出文件。运行此命令将测试以input为输入文件,以output为输出文件时你的得分情况。
在你调用这个程序后,checker 将根据你给出的输出文件给出每一个测试数据的测试结果,其中包括(如果你输出的计算机同时出现了多种错误,将会返回其中一种):
-
非法退出:未知错误。
-
输入文件错误:输入文件非法,在不修改输入文件的情况下不会触发,同时checker将会直接退出。
-
The number of the comparators is invalid!:输入的比较器个数不在 范围内,这时 checker 将会直接退出。
-
Unexpected EOF:输出文件中给出的计算机不完整。
-
The running time of the comparator should be in [1, 150]:你给出的比较器的运行时间不在 范围内。
-
Invalid sorting network!:排序网络不合法,包括 ,比较器间产生冲突等。
-
Invalid! m=a but M=b:计算机的运行时间超过限制。
-
The answer is incorrect:排序网络合法,但是并没有将输入的排列正确排序。
-
Correct! m=a and M=b:排序网络合法且对输入的排列正确排序,此时将得到该组测试数据的分数。
-
Total points: a:如果 checker 正常运行到了最后,将会额外输出一行表示你的总得分。其中 a 是你在这组数据中得到的分数。