虽然很简单吧，但是毕竟算是除了刷题外第一个自己写出来的有一点用的代码，所以还是打算水一篇博客 主要思路就是把式子转化成后缀表达式，然后再用后缀表达式求值的方法来计算，其中每个命题变元的情况是用没有剪枝的深搜枚举出来的 下面是代码 ...
分类：
其他好文 时间：
2020-03-06 13:04:48
阅读次数：
80
前言 未完待续； 题型结构 形如：题目给定了某函数$f(x)=\cfrac{ax^2+x 1}{e^x}$，证明：当$a\ge 1$时，$f(x)+e\ge 0$。 思路总结 1、利用不等式性质，消化掉题目中的参数； 2、利用左右相减做差构造新函数，证明新函数的最值； 3、若能分离参数，利用恒成立命 ...
分类：
其他好文 时间：
2020-03-03 10:28:25
阅读次数：
109
卡拉兹(Callatz)猜想： 对任何一个正整数 n，如果它是偶数，那么把它砍掉一半；如果它是奇数，那么把 ( 砍掉一半。这样一直反复砍下去，最后一定在某一步得到 n=1。卡拉兹在 1950 年的世界数学家大会上公布了这个猜想，传说当时耶鲁大学师生齐动员，拼命想证明这个貌似很傻很天真的命题，结果闹得 ...
分类：
其他好文 时间：
2020-02-22 19:46:21
阅读次数：
82
问题 B: 奇怪的电梯 时间限制: 1 Sec 内存限制: 128 MB[命题人:admin] 题目描述 大楼的每一层楼都可以停电梯，而且第i层楼（1<=i<=N）上有一个数字Ki（0<=Ki<=N）。电梯只有四个按钮：开，关，上，下。上下的层数等于当前楼层上的那个数字。当然，如果不能满足要求，相应 ...
分类：
其他好文 时间：
2020-02-22 15:57:53
阅读次数：
60
将一系列给定数字顺序插入一个初始为空的小顶堆H[]。随后判断一系列相关命题是否为真。命题分下列几种： x is the root：x是根结点； x and y are siblings：x和y是兄弟结点； x is the parent of y：x是y的父结点； x is a child of y ...
分类：
其他好文 时间：
2020-02-20 20:15:12
阅读次数：
85
一个新的连载系列，将以一个实际的UVM环境代码讲解的使用、机制等，更新周期会比较长。 文件说明 分享的文件是我个人和同学在参加复微杯大学生电子设计大赛中所完成的设计。赛题来自数字命题AI赛道，有兴趣可以了解一下 https://mp.weixin.qq.com/s/Hb4TrEDXG6uVVY7PZ ...
分类：
其他好文 时间：
2020-02-06 14:43:08
阅读次数：
167
现代数学的著名证明之一是Georg Cantor证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的： 1/11/1 , 1/21/2 , 1/31/3 , 1/41/4, 1/51/5, … 2/12/1, 2/22/2 , 2/32/3, 2/42/4, … 3/13/1 , 3/23/2 ...
分类：
其他好文 时间：
2020-02-05 20:09:32
阅读次数：
68
原题地址https://www.luogu.com.cn/problem/P1014 现代数学的著名证明之一是Georg Cantor证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的： 1/1, 1/2 , 1/31, 1/4, 1/5, … 2/1, 2/2 , 2/3, 2/4, … ...
分类：
其他好文 时间：
2020-02-02 23:31:34
阅读次数：
83
[TOC] 首先，是关于无限的理解： [引言]关于无限的理解 证明这样一个命题，$2.999\dots =3$ 首先，设$x=2.9999\dots$ 则$10x=29.999\dots$ 两数之差： $\qquad10x=29.999\dots$ $ \qquad\;x=2.999\dots$ $ ...
分类：
其他好文 时间：
2020-02-02 16:13:56
阅读次数：
178
问题 A: 数星星 Stars 时间限制: 1 Sec 内存限制: 128 MB[命题人:admin] 题目描述 输入 第一行一个整数 N，表示星星的数目；接下来 N 行给出每颗星星的坐标，坐标用两个整数 x,y 表示；不会有星星重叠。星星按 y 坐标增序给出， y坐标相同的按 x 坐标增序给出。 ...
分类：
编程语言 时间：
2020-01-31 10:28:11
阅读次数：
87
