发布网友 发布时间:2022-04-20 23:21
共1个回答
热心网友 时间:2023-10-13 23:00
风筝定理:A 、C是线段BD的垂直平分线上面的两点,AC与BD相交于O,过O点做任意两条直线交四边形ABCD于P、F、Q、E,PF交BD于M,EQ交BD于N,则MO = NO。
风筝模型面积公式为对角线a×对角线b÷2.风筝形是指对角线互相垂直的四边形,面积等于对角线乘积的一半 。风筝模型公式有个通用公式为0点215r^2。
定理来源
萨维奇定理的证明是构造性的。证明过程为设计一个针对有向图连通性问题的算法(其它问题可以通过图灵机的格局图归约到此问题)。有向图连通问题可以简述为对于一个有向图和给定的两个顶点s和t,是否存在从s到t的有向路径。
对于n个顶点,存在一个算法在{\displaystyle {\mbox{O}}\left((\log {n})^{2}\right)}空间内解决这一问题。这一算法的基本思路是利用递归解决一个更一般化的问题:检查是否存在从s到t的一条至多包含k条边的有向路径,k是递归的输入参数。
原始的有向图连通问题当{\displaystyle k=n}时与此问题等价。为了测试是否存在一条从s到t的长度为k的有向边,可以测试是否存在一条从s到t的以u为中点的有向边。如果存在,那么对从s到u和从u到t递归此算法。