From 9bdc4c9af70ae2b367167f4fc2d4832c7176117c Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 10:10:22 +0800 Subject: [PATCH] =?UTF-8?q?=E8=87=AA=E6=88=91=E6=9B=B4=E6=AD=A3:=20?= =?UTF-8?q?=E6=88=91=E4=B8=8A=E4=B8=80=E6=9D=A1=E7=9A=84"L3=20=E4=B8=8D?= =?UTF-8?q?=E5=8F=AF=E7=94=A8"=E5=8F=88=E6=98=AF=E4=B8=80=E6=AC=A1?= =?UTF-8?q?=E4=BD=9C=E7=94=A8=E5=9F=9F=E6=94=BE=E5=A4=A7=EF=BC=88=E5=8F=AA?= =?UTF-8?q?=E5=9C=A8=E5=9D=87=E5=8C=80=20p=3Dq=20=E6=97=B6=E4=B8=BA?= =?UTF-8?q?=E7=9C=9F=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ⚠️⚠️ 逐例核（只知边缘时的 Fréchet–Hoeffding 区间）: 均匀 n=101 (p=q) P(≠)∈[0,**1**] ⇒ 全域 ⇒ 不可用 ✓ 均匀 n=3 (p=q) P(≠)∈[0,**1**] ⇒ 全域 ⇒ 不可用 ✓ 偏斜 .99/.01 (p=q) P(≠)∈[0,**1/50**] ⇒ 非平凡 ⇒ **仍可用** ✗ p=(.9,.1) q=(.1,.9) P(≠)∈[**4/5**,1] ⇒ 非平凡 ⇒ **仍可用** ✗ ⇒ "不可用"只在均匀 p=q 且 n>=3 时为真 ⇒ 我把"本案成立"写成了"L3 普遍不可用"。 ⇒ 与我在同一提交 §(4) 刚记下的"作用域在结论处被放大"**同型** —— 记下它之后立刻又犯一次。 ★ 修正确切说法: 只知边缘时 L3 不直接可算，但 FH 给出**边缘可算**的区间； 该区间在均匀 p=q 时退化为全域（本案即此），偏斜时仍非平凡。 而 1/2 需要 **p=q + 独立** ⇒ 独立不是装饰，是把 FH 区间**收紧**的那个假设。 ★ 原方向仍成立（前提不会消失，只会换地方），但"不可用"这个全称判断撤回。 --- docs/API.md | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/docs/API.md b/docs/API.md index 428194b..54c45d7 100644 --- a/docs/API.md +++ b/docs/API.md @@ -2697,7 +2697,24 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie ``` L3 需要 **P(Wo=i ∧ To=i)** —— 即**联合分布** 而串批场景要检的正是"这两批是不是同一过程" ⇒ **联合恰好就是那个未知量** - ⇒ L3 是**无假设**的，却**不可用**：它把前提从"假设"搬进了"未知量" + ⚠️⚠️ **而我写的"L3 不可用"本身又是一次作用域放大** —— 逐例核： + ``` + 只知**边缘**时，Fréchet–Hoeffding 给: Σmax(0,pᵢ+qᵢ−1) ≤ ΣP(对角) ≤ Σmin(pᵢ,qᵢ) + 均匀 n=101 (p=q) ⇒ P(≠) ∈ [0, **1**] ← **全域 ⇒ 不可用** ✓ + 均匀 n=3 (p=q) ⇒ P(≠) ∈ [0, **1**] ← **全域 ⇒ 不可用** ✓ + 偏斜 .99/.01 (p=q) ⇒ P(≠) ∈ [0, **1/50**] ← **非平凡 ⇒ 仍可用** ✗ + p=(.9,.1) q=(.1,.9) ⇒ P(≠) ∈ [**4/5**, 1] ← **非平凡 ⇒ 仍可用** ✗ + ``` + ⇒ **"不可用"只在均匀 p=q 且 n≥3 时为真** ⇒ 我把"**本案（均匀）成立**"写成了 + "**L3 普遍不可用**" —— 与我在 §(4) 刚记下的那条**同型**（作用域在结论处被放大）。 + ★ 修正确切说法： + ``` + 只知边缘时，L3 **不直接可算**，但 FH 给出**边缘可算**的区间； + 该区间在**均匀 p=q** 时退化为全域 [0,1]（这就是本案的情形 ⇒ 本案不可用）； + 在偏斜时仍非平凡。 + ⇒ 而 `1/2` 那条界需要 **p=q + 独立** ⇒ 独立不是装饰，它正是把 FH 区间**收紧**的那个假设。 + ``` + ★ 原来那句的**方向**仍成立（前提不会消失，只会换地方），但"**不可用**"这个全称判断要撤。 ⇒ 记法：**"清空假设"不等于"得到答案"** —— 前提不会消失，只会从"写下来的假设" 变成"没写下来的未知量"。而**没写下来的未知量，看起来像"不需要假设"**。 ```