民科吧 关注:349,448贴子:4,825,700

【迫真尺规作图计划v1.1】

只看楼主收藏回复

古-从格 今-向格,尺规-工具格 化圆为方-宾格、立方倍积-宾格、以及-正七-正九-正十一边形-复数-宾格 等 作-逆工具格 方法-复数-宾格 找-第三人称中间性复数-过去时完成态-否定,于是 这样 尺规-工具格 图-宾格 作-可能态-否定-独立形-向格 认为-第三人称中间性复数-过去时完成态。
无论 究竟 作-可能态-疑问否定,今天 计划-单数-宾格 启动-第一人称阴性-近将来时完成态,【迫真尺规作图计划】-向格 称-第一人称阴性。
传说-方位格 尺规-工具格 作-可能态-否定-逆宾格 问题-宾格 解决-独立形-向格 致力-第一人称阴性-将来时,第一-目标-主格 正多边形-宾格 绘制-独立形-向格 是。


1楼2018-07-04 05:35回复
    (存疑),人们都没有找到尺规作图化圆为方,立方倍积,以及作正七正九正十一边形等的方法,于是人们认为这样的尺规作图不可能。
    无论到底是不是可能,我今天要(存疑),就叫作
    【迫真尺规作图计划】
    致力于解决(存疑)中的尺规不可能问题,第一个(存疑)就是正多边形(正十一边形)的绘制。
    此-贴-主格 百有毒-向格 删除-过去时被动态,这样 语法-工具格 贴-宾格 发-第一人称阴性-独立形-主格 删除-将来时被动态-否定-独立形-向格 是。


    2楼2018-07-04 05:58
    回复
      吧里没有研究语言学的吗?


      3楼2018-07-05 14:09
      回复
        下面我来谈谈我的迫真思路。
        迫真尺规作图计划~搜索策略(最终版):
        1 使用递归进行限制深度的深度优先搜索,遍历一切可能的尺规作图方式,给出一切可能得到的不同的点。
        2.以下7种基本操作均视为1步:
        2.1.构造两线交点
        2.2.构造线与圆的交点
        2.3.构造圆与圆的交点
        2.4.过两点构造直线
        2.5.过一点构造一条线的垂线
        2.6.过一点构造一条线的平行线
        2.7.以一点为圆心,两点间距离为半径构造圆
        3.深度搜索剪枝策略:
        3.1.构造点,线,圆时,与当前图上已有的点,线,圆不得重合。
        3.2.构造圆时所用的半径长度,或构造线时所用的两点距离,或构造平行线时的点线距离,不得过短。
        3.3.构造两图形交点时,在交点上,两图形切线的夹角不得过小。
        3.4.限定画布大小,不构造画布外的点。
        3.5.如果要构造点,该点必与之前最后一次构造的线或圆有关。否则,可以在构造那线或圆之前就构造该点,将得到重复的局面。
        3.6.深度搜索的最后一层仅构造点,因为构造了线或圆也无法为点数做出贡献。
        3.7.对每一步递归做出的图进行hash,以kdtree的形式将同层(除最后两层外)所有图形的hash记录下来。每次作图完毕后将新图形的hash与记录比较,若有相同hash的记录,说明是重复局面,不再对该局面进行递归计算。
        4.将每次构造的有效点的位置在内存中以kdtree的形式记录下来。每次构造出点,都要与记录进行比较,只有不重复的点是有效的。同时在磁盘中线性记录有效点的尺规作法。kdtree中保存有磁盘记录的编号,以便查找。
        5.在一切点对中挑选出迫真点对,即距离与目标超越数相差小于事先给定值的点对。在对点进行排序后,该过程可加速至O(N^(3/2))。
        6.首先使用double精度进行递归作图与搜索迫真点对以确保计算速度。然后对迫真数对,从磁盘中读取尺规作法,使用任意精度浮点数进行复盘,并求出精确距离及误差。
        7.为了节省内存,由于起始图(仅有两点(-1/2,0), (1/2,0))是有x和y方向的镜像对称性的,故仅记录x>=0和y>=0的有效点,这样可以节省4倍内存。计算迫真点对时,需考虑从每个点(x,y)获得的座标为(x,y), (x,-y), (-x,-y), (-x,y) 的四个点。


        来自Android客户端4楼2018-07-05 14:28
        回复
          一些说明:
          程序实现时考虑了浮点数的误差(10^-13),故判断浮点数是否重复,是否相等都只需在该误差内成立。
          两点距离小于10^-11*即判断为重复点。考虑到画布大小(3x3),对10亿个不同的随机点发生至少1次误判的可能性是万分之0.17。(*将在下一次更新时将该值修改为10^-13)
          目前正在运行深度上限12层的递归,已经记录了3亿以上的有效点,内存使用达到10GB。本次递归所用的参数如下:
          画布大小(见3.4):(-3,3)*(-3,3)
          最短作图距离(见3.2):0.15
          最小求交正弦(见3.3):0.2


          来自Android客户端5楼2018-07-05 14:43
          回复
            第一个目标是作出正十一边形,选取了以下9个非几何数作为迫真目标:
            2sin(pi/11)
            cos(4pi/11)
            1-cos(4pi/11)
            2sin(2pi/11)
            sin(2pi/11)
            cos(6pi/11)+1
            1-cos(6pi/11)
            2sin(3pi/11)
            sin(3pi/11)
            收集迫真点对时,要求点对距离与上述数字之一的差小于10^-12。


            来自Android客户端6楼2018-07-05 14:45
            回复
              (便乘


              7楼2018-07-05 16:34
              回复


                来自iPhone客户端10楼2018-07-05 16:38
                回复
                  内存崩了,此帖终结。


                  来自Android客户端11楼2018-07-05 17:14
                  收起回复
                    鉴于我的破电脑受不了12层递归,而我对12层递归的复杂度估计也非常失败(低估了5倍),导致电脑内存爆炸,系统崩溃。
                    我将调整阈值(最短作图距离与最小求交正弦),并首先进行6~11层的递归以估计12层的大小,将最终规模限制在内存可以承受的量级。


                    来自Android客户端12楼2018-07-05 17:20
                    回复
                      调整结束。
                      重新限定画布大小(见3.4)为(-2,2)*(-2,2),这样可以削掉30%以上的点,可以使12层内存占用降低到可承受的地步。
                      然后重新再算。预计需要4到5天。


                      来自Android客户端13楼2018-07-05 19:54
                      回复
                        尺规作图必须是准确的,不能有误差,不是逼近,数学里不存在误差。


                        IP属地:江西来自手机贴吧14楼2018-07-05 20:12
                        收起回复
                          预计算完成。预估完成。
                          限制画布后,预估的12层点数3.5~4.4亿。
                          上限接近但未超过电脑可用内存极限。
                          明天开始正式重算。


                          来自Android客户端15楼2018-07-05 21:04
                          回复
                            重算开始。


                            来自Android客户端16楼2018-07-06 07:49
                            收起回复
                              你好,很久不见了
                              上次看到你的id应该是正十一边形的作图,非常有趣的玩法
                              我想在其他的一些场合引用你的结论, 请问是否可以


                              IP属地:北京17楼2018-07-06 10:57
                              回复(3)