C-D23-REFINEMENT

Cut refinement 14/28/42 Branch B PROVED-INTERNAL: theo O-A một phản ví dụ improper trên mọi refinement grid, nên một trạng thái proper tại level 14, 28 hoặc 42 bị cắt vững mà không cần tái dựng nguyên. Cơ chế rẻ: t=1/14 là thời điểm cô đơn khi và chỉ khi 14 không chia tốc độ nào, mang dạng residue modulus nhỏ mod (14,28,42)

Nói dễ hiểu

Một trạng thái có thể bị loại đơn giản vì nó đã có một người chạy cô đơn trên lưới tinh level-14, không cần tái dựng.

Phát biểu chính xác

Cut refinement 14/28/42 Branch B PROVED-INTERNAL: theo O-A một phản ví dụ improper trên mọi refinement grid, nên một trạng thái proper tại level 14, 28 hoặc 42 bị cắt vững mà không cần tái dựng nguyên. Cơ chế rẻ: t=1/14 là thời điểm cô đơn khi và chỉ khi 14 không chia tốc độ nào, mang dạng residue modulus nhỏ mod (14,28,42)