Collatz Sertifika Motoru — sertleştirilmiş prototip

Üç savunma bir arada: bağımsız doğrulayıcı · kalıntı-sınıfı kapsaması · negatif kontroller

İDDİA SINIRI. Bu motor Collatz sanısını kanıtlamaz ve kanıtlamayı hedeflemez. Verilen bir girdi için, yörüngenin başlangıç değerinin altına düştüğünü gösteren sonlu, yerel bir sertifika üretir ve bunu bağımsız olarak doğrular. Yerel iniş, global yakınsama hakkında hiçbir şey söylemez — aşağıdaki 5n+1 vakası bunun kanıtıdır.

1 · Sertifika üret ve bağımsız doğrula

prover + verifier

2 · Kurcala ve reddedilişini gör

adversarial

Aşağıdaki sertifikayı serbestçe değiştir — bir pv değerini oynat, n0'ı değiştir, status'ü certified yap. Doğrulayıcı üreticinin kodunu hiç çağırmadığı için her sahtekârlığı cebirsel olarak yakalar.

3 · Kalıntı-sınıfı kapsaması

susma savunması

Tek tek sayı sertifikalarsan hangilerini atladığın görünmez. Bir bölüntüyü sertifikalarsan boşluk kendini ele verir. Her sertifika n ≡ n₀ (mod 2^(V+1)) sınıfının tamamını kanıtlar; motor kaplamayı sıfırdan yeniden kurup kendi iddiasını denetler.

4 · Kırmızı takım

negatif kontroller

DOĞRULAYICI vakaları saldırıdır — yakalanmaları gerekir. ŞARTNAME vakaları geçerli sertifikalardır ama sorulan soru hakkında bilgi vermezler; doğrulayıcının yakalayamayacağı sınırı gösterirler.