n********g
发帖数: 6504 | 1 数学证明作为一种运算有两种：存在性证明及构造性证明。寻找配偶、结婚以及跑家庭
，作为运算，也同样跑不出可计算性及计算复杂性。
所谓可计算性问题就是，无论一个社会的结构价值体系如何，总有角色是找不到配偶的
。当然人是活的，希望她们能够意识到这一点，早日转换角色走出社会的阴影。
假设可计算性不是问题，存在配偶的可能。但是证明存在配偶的计算复杂性对于各社会
角色是不同的。有些角色很简单就能证明（如只需要多项式时间），有些角色很复杂（
如需要指数时间）。
相比之下，存在性较好证明，而构造性（找到符合条件的一个实例）较难。虽然我证明
了（多数情况下）存在就一定能找到。但找到的复杂性还是可能远远超过证明存在的复
杂性。因此，不奇怪的是，人如果不改变自己的期望，短暂的一辈子里找不到配偶一点
都不奇怪。
再进一步，找到了配偶，结了婚，也还有计算复杂度问题。在变动的环境中维持婚姻的
稳定，同样需要做功。不同的婚姻有不同的计算复杂度（维护成本）。一段婚姻超过了
计算能力，算不下去而停机reject，也是可以预期的。
和传统的感性认识不同，可计算性和计算复杂性分析有着严格的数学基础，可以量化婚
姻的成本，合理安排自己的生命及端正自己的预期。各位年轻人应该关注一下。 |
T****D
发帖数: 2041 | |
C*********X
发帖数: 10518 | 3 我真的受不了你了。。。
is that necessary?
So, you don't want to see me.Right?
【在 n********g 的大作中提到】
: 数学证明作为一种运算有两种：存在性证明及构造性证明。寻找配偶、结婚以及跑家庭
: ，作为运算，也同样跑不出可计算性及计算复杂性。
: 所谓可计算性问题就是，无论一个社会的结构价值体系如何，总有角色是找不到配偶的
: 。当然人是活的，希望她们能够意识到这一点，早日转换角色走出社会的阴影。
: 假设可计算性不是问题，存在配偶的可能。但是证明存在配偶的计算复杂性对于各社会
: 角色是不同的。有些角色很简单就能证明（如只需要多项式时间），有些角色很复杂（
: 如需要指数时间）。
: 相比之下，存在性较好证明，而构造性（找到符合条件的一个实例）较难。虽然我证明
: 了（多数情况下）存在就一定能找到。但找到的复杂性还是可能远远超过证明存在的复
: 杂性。因此，不奇怪的是，人如果不改变自己的期望，短暂的一辈子里找不到配偶一点
|
J*******i
发帖数: 1315 | 4 就两种算法
有钱就买一个，没钱就抢一个。
中间值全部取false |
C*********X
发帖数: 10518 | 5 德里达的解构就是扯几把蛋！！！！deconstruction....
存在性=定性
你对着一堆文盲卖弄这些个哲学名词，是想给我个人刷存在感吧。。。
我心里只有一个GS..你别刷了。。买买提虽然很low比不需要你交版面费。。你要是
跟我一样刷屏，版主照样封你。。。。
【在 n********g 的大作中提到】
: 数学证明作为一种运算有两种：存在性证明及构造性证明。寻找配偶、结婚以及跑家庭
: ，作为运算，也同样跑不出可计算性及计算复杂性。
: 所谓可计算性问题就是，无论一个社会的结构价值体系如何，总有角色是找不到配偶的
: 。当然人是活的，希望她们能够意识到这一点，早日转换角色走出社会的阴影。
: 假设可计算性不是问题，存在配偶的可能。但是证明存在配偶的计算复杂性对于各社会
: 角色是不同的。有些角色很简单就能证明（如只需要多项式时间），有些角色很复杂（
: 如需要指数时间）。
: 相比之下，存在性较好证明，而构造性（找到符合条件的一个实例）较难。虽然我证明
: 了（多数情况下）存在就一定能找到。但找到的复杂性还是可能远远超过证明存在的复
: 杂性。因此，不奇怪的是，人如果不改变自己的期望，短暂的一辈子里找不到配偶一点
|
C*********X
发帖数: 10518 | 6 【和传统的感性认识不同，可计算性和计算复杂性分析有着严格的数学基础，可以量化
婚姻的成本，合理安排自己的生命及端正自己的预期。各位年轻人应该关注一下。】
现代哲学，难道你搞懂了。。。。？？？中国人能把empericism是什么搞清楚，不在那
里天天叨逼什么行而上学。。我看就是进入文明时代的开始了。。。。 |
l********e
发帖数: 3986 | |
n********g
发帖数: 6504 | 8 不要啥觉得复杂的东西都往NP里塞。
不确定图灵机对应的是存在性问题。确定图灵机对应的是构造性问题。
所谓说不zuo不die。如女人说no男人该如何理解就是NP问题。存在一个（她认为）简单
的解；但要构造出一个能解出来的男人可能性则随着no的东西多了指数递减。
【在 T****D 的大作中提到】
: 这个主题很好。
: 婚姻家庭是NP问题，没有铁律。
|
C*********X
发帖数: 10518 | 9 什么是NP???
你不要刺激我！！！
【在 n********g 的大作中提到】
: 不要啥觉得复杂的东西都往NP里塞。
: 不确定图灵机对应的是存在性问题。确定图灵机对应的是构造性问题。
: 所谓说不zuo不die。如女人说no男人该如何理解就是NP问题。存在一个（她认为）简单
: 的解；但要构造出一个能解出来的男人可能性则随着no的东西多了指数递减。
|
T****D
发帖数: 2041 | 10 关死我了！
有没有学过＂Theory of Computation”?
【在 n********g 的大作中提到】
: 不要啥觉得复杂的东西都往NP里塞。
: 不确定图灵机对应的是存在性问题。确定图灵机对应的是构造性问题。
: 所谓说不zuo不die。如女人说no男人该如何理解就是NP问题。存在一个（她认为）简单
: 的解；但要构造出一个能解出来的男人可能性则随着no的东西多了指数递减。
|
n********g
发帖数: 6504 | 11 这年头竟然还有人在俺面前弄斧的
【在 T****D 的大作中提到】
: 关死我了！
: 有没有学过＂Theory of Computation”?
|
C*********X
发帖数: 10518 | 12 我只是想由浅入深的来将这个道理。。。。。。
我是一个科学家。。
出来卖，都一样。。。
【在 n********g 的大作中提到】
: 这年头竟然还有人在俺面前弄斧的
|
