9 算法的证明技巧 反证法(proof by contradication)/间接证明(indirect proof): 为了证明命题的正确性,转而证明该命题的反 命题能导致矛盾。 例子: [ ] 定理:存在无穷多个素数。
基于238个网页-相关网页
N proof of a conclusion by showing its negation to be self-contradictory; reductio ad absurdum 间接证明 [logic] → compare direct
应用推荐