Статистическая ПН.2 · строгий аудит
C3.8T: кандидатная оценка проверена при явных предпосылках. Подготовлены полное доказательство, точные примеры и контрпримеры. Канонический патч не применён.
Открыть строгий аудитC3.8N candidate theorem
Статистическое расширение ПН.2
Физическая скрытость ветви параметризуется не только отсутствием метки b, но и перекрытием распределений доступных данных.
τ(u)=TV(PLu,PRu)
RS ≥ ½ΔS(1−τ), RD ≥ ½ΔD(1−τ)
RR ≥ ½‖K‖(1−τ)
RSRD ≥ ¼ΔSΔD(1−τ)²
RRRD ≥ ¼‖K‖ΔD(1−τ)²
Статус: C3.8N-CANDIDATE-THEOREM · пока не внесено в канон. При τ=0 восстанавливается детерминированная форма; при τ=1 нижняя граница исчезает.