← RG-SCP:反例宇宙、障礙覆蓋與自我審計 / RG-SCP 02 · 失敗障礙覆蓋
證明 N 是失敗,當且僅當在質數輸入 p 上存在全域的真障礙映射 p ↦ 質數 r,r | (N − p)、r ≤ √(N − p)(典範選擇是最小質因子 lpf(N − p),得到依最小因子的分割);並證明整除 N 的質數 r 只能障礙 p = r(除數自我抑制)。
載入中…