再随便列几个: 区间覆盖,可撤销,全局 kth(归约到区间删除 可撤销) 交换一个前缀和一个后缀,区间 kth(link cut 归约到这个) 区间乘,区间 kth(和区间加一样归约) 区间复制,区间 kth
第三循环归约用跨线程束分块230中的顶部行(包括宏mma分块)的虚线箭头表示,第二循环归约用跨块分块220中的顶部行(包括线程束分块)的点虚线箭头表示,以及第一循环归约用跨网格分块210中的顶部行(包括块分块)的空心箭头表示。