Minecraft服务器选址引发的投票系统思考

2024-12-21

一个Minecraft服务器的选址问题,引发了对不同投票系统的深入探讨。最初使用的简单多数投票制(Plurality voting)由于“破坏者效应”导致最不受欢迎的选择获胜。随后尝试了即时决选投票制(Instant runoff),虽然解决了部分问题,但在候选人变化时,却出现了违反单调性(Monotonicity)的情况。作者进一步介绍了博达计分法(Borda method)和阿罗不可能定理(Arrow's theorem),并最终推荐了评分投票制(Score voting)和认可投票制(Approval voting)作为更优方案,因为它们满足阿罗不可能定理的三个条件:一致性、非独裁性和无关选项独立性。

阅读更多

意外编写了一个快速的SAT求解器

2024-12-06

作者最初为了解决大学课程注册的难题,编写了一个程序来寻找最佳的课程组合,避免时间冲突。该程序使用了回溯算法,类似于解决八皇后问题的思路。作者发现这个程序实际上解决了一个更普遍的问题——布尔可满足性问题(SAT)。通过将布尔公式转换为课程目录和时间安排,程序可以高效地找到满足条件的解,甚至复杂的需求也能在100毫秒内解决。

阅读更多