排序桥

排序桥摆的是比较排序网络：几条竖直的平行通道各站一个数，一座桥连住两条通道，桥执行时把两个数里较小的留在上面这条。桥从上往下依次执行完，一座桥都不摆的顺序就是输出。应用分三页：摆桥页加桥拆桥并给出这座网络能不能排好任意输入的判定；走一遍页按种子生成一组数，逐座桥看它换没换、当前还有几对逆序；我的页留着验证次数、排动的次数、最长连排、最少桥纪录和走过的组数。

判定不是只跑一遍给你的：每座网络都按三条互不相干的路子各判一次——把每条通道只看成 0 和 1 枚举全部 2^n 种输入、把 n 条通道的 n! 种排列全部走一遍、再用逆序数审计逐座桥核对每次交换是否都真的消掉了奇数对逆序。7 条通道时是 128 组二值输入与 5040 种排列，三条结论有一条对不上就只显示"推演校验未通过"，不摆判断。判"排不动"时会给出具体反例：哪组数摆进去、出口是哪组。

通道 4 到 7 条，一座网络最多摆 24 座桥。参照摆法给的是逐层相邻交换那张网，桥数分别是 6、10、15、21 座；4 条通道另有一条穷举功能，把桥数由少到多逐个试完，告诉你最少要 5 座并各验一遍。走一遍页的种子范围 1 到 999999，同一个种子永远生成同一组数。

没有账号、没有广告、不联网，也不申请任何权限；桥位、种子和各项记录只存在本应用内，卸载即清除。