非构造性证明 O(1)
构造性证明 O(n^k)
【 在 here080 (hero080) 的大作中提到: 】
: 标  题: Re: 囚徒猜钥匙问题
: 发信站: 水木社区 (Sun Mar 21 12:44:22 2021), 站内
:
: 问题是这个可以构造啊。
: 任何关于有限集的问题，你能给出非构造性的证明（证明该命题确实是正确的），那么你就一定可以给出构造性的证明。
: 【 在 GGGGDDDDK 的大作中提到: 】
: : 并不是只有选择公理那种算非构造性
: : 例如经典的问题，从1到n里轮流取一个数，不能取已取的数的约数，
: : 无法取者输
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 76.126.252.*]
--
FROM 122.139.167.225