szy042

正式用户

最新动态 8周前

  1. 去年
    2017-11-17 11:25:43

    @涂效灰 反正直觉主义逻辑和最小逻辑里根本没有反证法这种定理……

    那为什么一定存在呢?是可以构造的吗。。。

  2. 2017-11-16 18:47:07

    @涂效灰 /-_- LZ都默认ZFC了,应该也默认是经典逻辑了吧

    /-_- 默认经典逻辑是不是就默认反证法正确了

  3. 2017-11-16 18:02:29

    唔。。。如果要指定公理体系的话。。。假装是ZFC好啦

  4. 2017-11-12 22:46:40

    @lh1962 应当是不存在模拟出入栈更快的办法了...毕竟这个序列长度也是$O(N)$

    这么说,一个合法的出栈序列会存在一些什么样的特殊性质?不一定非要复杂度更优

  5. 2017-11-12 19:44:42

    @lh1962 好久以前写过这个
    卡特兰数

    那对于一个出栈序列,如何检验其是否合法呢?当然模拟出入栈是个很有效的办法了,但合法的出栈序列有没有很好的判定性质呢

  6. 2017-09-25 10:42:40

    如果没搞错的话。。。这个数表是附件这个样子的。。。
    我看了一下,分布好像还挺均匀?

  7. 2年前
    2016-09-10 20:55:54

    有一个完全不严谨的迷之思路:
    首先甲和乙都掷出n次硬币,期望大小是一样的,然后甲扔出了决定命运的硬币
    于是得1/2

  8. 2016-09-10 09:44:08
    szy042 发表了帖子 听说明天高联?

    又是一年一度的高联了QwQ

    制杖boy表示已经不太会做题了

    所以各位高联的少年们加油呀

    祝各位高联的少年冲省一的稳省一,冲冬令营的稳省队

    以上

  9. 2016-02-14 22:11:51

    如何证明一个凸多边形的一条边一定在其外的最小矩形的一条边上?
    这个命题:“一个凸多边形的一条边一定在其外的最小矩形的一条边上”为真,用于计算几何中求点集的最小矩形覆盖。。。然而网上的参考资料上都是易证/容易证明。
    那具体如何证明呢?

  10. 3年前
    2015-03-20 22:45:40
    szy042 更新于 等价表达式的定义

    互相推出。。。

查看更多