织线成序

织线成序是一个排布核对工具。你在几条平行的竖线之间搭"比较档"：每条档连着两条线，规定谁该在上面。搭好之后，应用替你回答一个问题——这套档线能不能把任意一串数都排好序。

判定不靠抽样。它把全部 2 的 n 次方个零一序列跑一遍，再把全部 n 的阶乘个互异排列跑一遍，两条互不相干的算法各算各的；结论不一致时它不猜哪边对，而是把判定、反例、建议一起收回，只告诉你"两条算法对不上"。判"排不下"时必须拿出一个反例，反例还要再独立重放一次才算数，界面上能看到起点和每条档执行之后各条线上的取值，以及它卡在第几个位置。

它还会试着救你：只在末尾补一条档，把所有可补的档都试一遍，能补成的列给你，补不成的直说"末尾补一条救不回来"。本应用完全离线运行，不申请任何系统权限，全部数据只存在本机应用内，卸载即清除。