2023年10月14日
T1 充分性
摘要： sto int_R orz 定义“操作”指交换任意一个相邻三元组的 1,3 位，即不一定满足题目要求，但要保证操作后逆序对数减小。 引理 1：任意奇数位是奇数，偶数位是偶数的序列，均可以用若干“操作”排好序。 证明：考虑对奇偶位置分别冒泡。 引理 2：结论成立时，把序列排好序使用的每次“操作”必是满 阅读全文
posted @ 2023-10-14 15:46 Jijidawang 阅读(4) 评论(0) 推荐(1) 编辑