威斯康星州奥什科什市最近成为首个在批准合同仅一天后就撤销与 Flock Safety 公司合同的城市。此前,该公司承认在车牌识别系统的功能上撒了谎。在一次市政会议上,Flock 的负责人曾虚假宣称其系统无法生成活动“热图”,尽管该技术实际上具备这一功能。 这一事件并非个例,它反映了 Flock Safety 在误导公众、政府官员和执法机构方面存在更广泛且有据可查的行为模式。从就涉及美国移民及海关执法局(ICE)和边境巡逻队的联邦数据共享合同提供虚假信息,到对其安全防护措施在防范追踪堕胎相关出行等敏感活动方面的有效性进行虚假陈述,该公司始终将公关置于透明度之上。此外,Flock 还曾多次谎称与美国公民自由联盟(ACLU)合作设计其系统。 该报告总结称,Flock 的不诚实和推诿历史使其成为政府实体不可靠的合作伙伴。报告敦促相关官员对该公司的说法保持极度怀疑,并优先与信誉良好的供应商合作,同时针对数据隐私、留存以及监控技术的适当使用,建立严格的法律保障机制。
作者作为一名正在玩 Brio 木制火车的家长,发现搭建复杂的轨道布局其实是一个高深的算法问题。最初他尝试将轨道拼成一个闭环,并为此运用了越来越复杂的计算方法来解谜:从递归回溯、约束满足问题,一直到最后的 SAT 求解器。
在此过程中,作者探讨了不同算法如何处理搜索空间。简单的回溯法适用于基础的闭合轨道,但在面对规模更大、结构更复杂的设计时便显得力不从心。作者引入了约束求解来提高效率,利用全局可行性检查,在早期阶段就剪除死胡同。最终,SAT 求解器使作者不再局限于验证某组轨道件是否能拼合,而是让系统能够为最复杂的网络选择出最优的轨道组合。
作者最终意识到,这些方法针对的是不同的问题:简单的搜索算法用于确认布局是否可行,而基于 SAT 的求解器则用于优化复杂性。这篇叙述以通俗易懂的方式介绍了计算逻辑,展示了即使是幼儿的玩具,也能阐释诸如约束传播、回溯跳跃和冲突驱动子句学习等计算机科学中的深奥概念。