最小外接圆Welzl算法实现：supportPoints超3问题及运行错误排查

首先明确算法设计层面的支撑点限制逻辑：Welzl算法中supportPoints最多仅需存储3个点的核心原因是，平面上的最小外接圆最多通过3个边界点即可唯一确定。只要supportPoints的数量达到3，就已经具备计算确定最小圆的全部信息，此时递归直接终止返回结果，不会进入“添加新支撑点”的分支，理论上永远不会出现supportPoints数量超过3的情况。你当前实现中出现的支撑点超限问题，本质是代码逻辑硬伤导致的执行状态跑飞，并非算法本身的设计缺陷。

具体实现中存在的错误点 #

• 边界点引用完全混淆
  你在supportPoints数量为1的分支下，本该返回supportPoints里存储的支撑点作为圆心、半径为0，却错误取了传入参数points列表的第一个元素，对应代码片段：if supportpoints.size() ==1: return points[0], 0。这个错误会直接导致所有单支撑点递归分支的圆心计算完全错误，连锁影响后续的点在圆内的校验结果。
• 递归状态被原地修改污染
  代码中remove p from points是直接在传入的points列表上做原地删除，而非传递列表副本。Welzl算法的递归过程会不断回溯调用栈状态，原地修改会导致每一层递归拿到的points集合都是被其他层篡改过的版本，本该触发的终止分支被跳过，程序直接执行到添加新支撑点的逻辑，不断往supportPoints里追加新点，最终出现支撑点数量远超3的异常。
• 三点支撑圆的计算逻辑缺失
  当supportPoints数量为3时，不能直接默认三点确定的外接圆就是最小外接圆。正确的计算逻辑需要先校验三点构成的三角形属性：
  • 若三角形为钝角三角形，最长边的两个端点即可确定最小外接圆（直径为三角形最长边），钝角顶点不属于有效支撑点，此时直接返回两点确定的圆即可
  • 仅当三点构成锐角三角形时，才计算三点的外接圆作为最终的最小圆
    你当前的实现中直接默认三点共圆的外接圆为结果，在钝角三角形场景下会算出面积偏大的错误圆，这也是测试用例输出不正确的核心原因之一。
• 空集合的边界逻辑不严谨
  当points集合为空时，必须基于当前留存的supportPoints集合计算最小圆，不能仅因为supportPoints为空就返回默认的(0,0)、半径0的圆。当递归回溯过程中points被清空但supportPoints不为空时，必须基于已有支撑点计算圆，否则会出现严重的计算偏差。
• 细节拼写错误
  代码中存在多处函数名拼写偏差，比如递归调用时的Wezl(points, supportpoints)、最外层入口的Welze(points, [])，这类错误会直接导致程序运行时的函数找不到错误，也是需要修正的细节。

常见的结果偏差来源 #

你提到的测试点集[[2,1], [4,2], [1,4], [-1,1], [3,-2], [-3,-3], [-1,-5]]中，点[1,4]、[-3,-3]、[-1,-5]构成的三角形属于典型的钝角三角形，如果直接计算三点外接圆，得到的圆半径会比真实最小外接圆大40%以上，和预期结果差异极大。

内容的提问来源于stack exchange，提问作者Raj