SAT problem with 10 variables and 200 clauses
自动生成： 配置好之后，Wire Gradle 插件会在构建过程中自动处理 .proto 文件，为你生成对应的 Kotlin 数据实体类。不需要手动运行额外的脚本或命令。
，详情可参考heLLoword翻译官方下载
思路：① 算每辆车到达时间 = (target - position) / speed；② 按位置降序排序；③ 单调递增栈：仅当当前时间 栈顶时间时压栈（新车队），否则合并。栈长即为车队数。可优化为用变量代替栈。
FT Digital Edition: our digitised print edition
Nicola Ellis is currently exhibiting her work at HOME in Manchester