民主选举制度的计算机模型分析

选举是一种重要的集体决策,它不仅用在经济和政治生活中,在人工智能中也有大量的应用。本文通过计算机程序验证了一个有关民主选举问题的定理——阿罗不可能定理(Arrow Impossible Theorem)。其基本思想是利用归纳法原理将该定理减少至具有3个备选对象和2个决策者的基本情况,然后利用计算机来证明这种基本情况。所有这些计算机模型分析都是对民主选举工作的改进和提高。