C-D21-SEED-BLOCKED

Hiện thực hóa seed BỊ CHẶN-CHI-PHÍ (đo được): hai route đã dựng hiện thực hóa tập seed đều vượt cap. Chữ ký 13-multiset phân biệt tăng 6 (p=23) -> 15511 (p=29); tập seed prime-nhỏ Cartesian là tích CRT để vượt ngưỡng, ít nhất 2^519; nửa-không-gian gặp-nhau-ở-giữa 1e9..1e17 tại prime inventory. PHẠM VI (Thầu): điều này chặn hai phương pháp hiện thực hóa tường minh, KHÔNG phải mọi cách implicit. Tích các tập chữ ký cục bộ không phải không gian trạng thái bắt buộc, ràng buộc xuyên prime có thể loại phần lớn trạng thái trước khi sinh. Không phải tuyên bố tương thích, không phải phản ví dụ

Nói dễ hiểu

Hai cách chúng tôi thử liệt kê mọi dấu vân tay khởi đầu lớn thiên văn, nên các route đó bị chặn chi phí. Điều đó không nghĩa mọi phương pháp bị chặn, giữ đối tượng dạng symbolic có thể loại phần lớn trạng thái trước khi chúng tồn tại.

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

Hiện thực hóa seed BỊ CHẶN-CHI-PHÍ (đo được): hai route đã dựng hiện thực hóa tập seed đều vượt cap. Chữ ký 13-multiset phân biệt tăng 6 (p=23) -> 15511 (p=29); tập seed prime-nhỏ Cartesian là tích CRT để vượt ngưỡng, ít nhất 2^519; nửa-không-gian gặp-nhau-ở-giữa 1e9..1e17 tại prime inventory. PHẠM VI (Thầu): điều này chặn hai phương pháp hiện thực hóa tường minh, KHÔNG phải mọi cách implicit. Tích các tập chữ ký cục bộ không phải không gian trạng thái bắt buộc, ràng buộc xuyên prime có thể loại phần lớn trạng thái trước khi sinh. Không phải tuyên bố tương thích, không phải phản ví dụ