每日算法 — 使用java实现虫食算：列式进位传播与约束回溯
一道被"虫子"吃掉的算式 虫食算（Cryptarithm，也叫字母算术、覆面算）是一类流传上百年的谜题：算式里的某些数字被"虫子"啃掉了，用字母代替。最著名的一道是 S E N D + M O...
标签： 区间算术
每日算法 — 使用java实现Flappy Bird：混合系统可达集分析与区间算术安全包络
玩 Flappy Bird 的难点不是"要不要点"，而是"点了之后还活不活得下去"。这其实是一个混合系统（hybrid system）问题：鸟的纵向运动是连续动力学（重力 +...
