::Blog信息::
名称: 老梁博客
作者: niuheliang
域名: blog.mitbbs.com/niuheliang
站点: BBS 未名空间站

档案日期:20171101000000 ~ 20171201000000


2017-11-14 12:32:57

主题: 婚姻和家庭的可计算性及计算复杂性解释
数学证明作为一种运算有两种:存在性证明及构造性证明。寻找配偶、结婚以及跑家庭,作为运算,也同样跑不出可计算性及计算复杂性。

所谓可计算性问题就是,无论一个社会的结构价值体系如何,总有角色是找不到配偶的。当然人是活的,希望她们能够意识到这一点,早日转换角色走出社会的阴影。

假设可计算性不是问题,存在配偶的可能。但是证明存在配偶的计算复杂性对于各社会角色是不同的。有些角色很简单就能证明(如只需要多项式时间),有些角色很复杂(如需要指数时间)。

相比之下,存在性较好证明,而构造性(找到符合条件的一个实例)较难。虽然我证明了(多数情况下)存在就一定能找到。但找到的复杂性还是可能远远超过证明存在的复杂性。因此,不奇怪的是,人如果不改变自己的期望,短暂的一辈子里找不到配偶一点都不奇怪。

再进一步,找到了配偶,结了婚,也还有计算复杂度问题。在变动的环境中维持婚姻的稳定,同样需要做功。不同的婚姻有不同的计算复杂度(维护成本)。一段婚姻超过了计算能力,算不下去而停机reject,也是可以预期的。

和传统的感性认识不同,可计算性和计算复杂性分析有着严格的数学基础,可以量化婚姻的成本,合理安排自己的生命及端正自己的预期。各位年轻人应该关注一下。

提示: 本博文来自于 Military 版



BBS 未名空间站