数理基础
嘿嘿嘿唔哈哈
恰似飞鸿踏雪泥
展开
-
数理逻辑(7 0 0) 直接证明与演绎
取公理体系为:L1:p->(q->p)L2:(p->(q->r))->((p->q)->(p->r))l3:(~p->~q)->(q->p)证明使用MP规则:p;p->q;q很多时候一条命题使用演绎定理很简单,而直接证明不容易构造;那么,是否存在一种能够通过演绎定理找出直接证明的方法?显然,在大多数时候是存在的;这要从演绎定理的合理性谈起;对于演绎定理前原创 2016-03-26 23:51:42 · 1880 阅读 · 0 评论 -
快速排序时间复杂度 简明分析(平均/最坏/with high probabilty)
最近研究随机算法,发现快速排序作为一种入门算法,分析其时间复杂度还是很有趣的。首先,证明其最坏时间复杂度为 是很容易的。证明其平均时间复杂度的期望是也有很多不同方式。这里介绍两种简单的方式。需要说明的是,这里的快排是随机化的排序算法。因此对于任意输入,其期望的时间复杂度都是相同的。首先是比较容易的方式。我们假设算法的输入是有序序列<a1,a2,a3,a4...,an>的一个...原创 2019-02-05 14:23:08 · 8984 阅读 · 0 评论