Bận rộn hải li vấn đề ( Busy Beaver ) BB(5) bị tính toán ra tới:OĐào triết hiên chuyển tán! 40 nhiều năm “Bận rộn hải li” toán học nan đề hoạch đột...OTrang web liên tiếp

Nơi này giống như đem trạng thái sai lầm phiên dịch thành quy tắc. Busy Beaver vấn đề BB(n) nói chính là n cái trạng thái đồ linh cơ, không phải n nội quy tắc đồ linh cơ.

BB(1) = 1
BB(2) = 6
BB(3) = 21
BB(4) = 107
BB(5) = 47176870
BB(6) > 7.4 * 10^36534
BB(7) > 10^10^10^18705352

【 nhưng mà liền ở bốn ngày trước, mxdys cùng một vị khác tên là Racheline cống hiến giả phát hiện BB(6) một cái tựa hồ vô pháp vượt qua chướng ngại: Một cái sáu quy tắc đồ linh cơ, này quay xong vấn đề cùng loại với một cái trứ danh toán học nan đề ——Collatz phỏng đoán. 】—— thế nhưng sẽ có loại này liên hệ, tò mò

n cái trạng thái đồ linh cơ, giấy mang lên chỉ cho phép hai loại ký hiệu ( chỗ trống cũng muốn xem như một loại ký hiệu ), mới bắt đầu trạng thái giấy mang lên cần thiết toàn điền 0 ( ước định chỉ bỏ thêm vào một loại ký hiệu có thể ), kể trên sở hữu sẽ quay xong n trạng thái đồ linh cơ trung, quay xong khi bước đi số lớn nhất, nên bước đi số liền kêu làm n trạng thái đồ linh cơ bận rộn hải li số BB(n).

Đối với tùy ý toán học phỏng đoán, viết ra tìm tòi nên phỏng đoán phản lệ đồ linh cơ trình tự, bảo đảm chỉ cần nên phỏng đoán có phản lệ liền nhất định có thể tìm thấy được cũng quay xong, nếu không liền vẫn luôn tìm tòi ( bởi vậy sẽ không quay xong ).

Giả thiết nên trình tự đồ linh cơ trạng thái số là n, như vậy nếu nên trình tự chấp hành BB(n) cái bước đi còn không có quay xong, đã nói lên nên phỏng đoán thành lập. Bởi vì không tồn tại n cái trạng thái còn có thể chấp hành vượt qua BB(n) cái bước đi nhưng quay xong trình tự, ý nghĩa nên phỏng đoán không tồn tại phản lệ.

Đương nhiên, BB(n) theo n tăng đại đến cực nhanh ( cuối cùng siêu việt hết thảy nhưng tính toán hàm số tăng trưởng tốc độ ), trên cơ bản có điểm khó khăn toán học phỏng đoán phản lệ tìm tòi trình tự trạng thái số đều sẽ không quá ít, thế cho nên chúng ta cư nhiên có thể dùng loại này phương pháp đi chứng minh nên phỏng đoán.

Trong nguyên văn còn nhắc tới BBB(n) không có nói rõ, là chỉ Beeping Busy Beaver, không biết phía chính phủ tên dịch là gì, ta cảm thấy có thể gọi là hạt bức bức bận rộn hải li

Hạt bức bức bận rộn hải li vấn đề trung đồ linh cơ có cái hạt bức bức trạng thái, một khi tiến vào cái này trạng thái, cái này đồ linh cơ liền sẽ phát ra một tiếng “B~”, ở sở hữu chỉ phát ra hữu hạn thứ “B~” thanh n trạng thái đồ linh cơ trung, phát ra cuối cùng một lần “B~” thanh khi, vận hành bước đi số lớn nhất, nên bước đi số liền kêu làm n trạng thái đồ linh cơ hạt bức bức bận rộn hải li số BBB(n).

Đối với vô pháp thông qua ở hữu hạn thời gian nội tìm kiếm phản lệ tới phủ định mệnh đề mà nói, liền có thể lợi dụng hạt bức bức bận rộn hải li vấn đề tăng thêm hạn chế.

Tỷ như, sinh đôi tố số hay không có vô hạn nhiều? Vấn đề này không có biện pháp tìm được một cái cụ thể phản lệ tới phủ định, ngươi nhiều lắm có thể viết một cái không ngừng cơ trình tự, biến lịch sở hữu tố số, nhìn thấy một cái tố số p liền kiểm tra p+2 hay không cũng là tố số, đồng phát ra “B~”, nếu sinh đôi tố số phỏng đoán chính xác, như vậy cái này trình tự liền sẽ vẫn luôn hạt bức bức vĩnh viễn sẽ không đình. Nhưng nếu trung gian có đoạn thời gian không bức bức, ngươi cũng không biết nó hay không về sau sẽ không bao giờ nữa bức bức.

Lúc này, hạt bức bức bận rộn hải li số BBB(n) liền có tác dụng. Nếu ngươi kể trên không ngừng cơ trình tự yêu cầu n trạng thái đồ linh cơ, như vậy một khi cái này đồ linh cơ đã vận hành BBB(n) nhiều như vậy bước lúc sau, lại phát ra một lần "B~", như vậy liền có thể kết luận, cái này đồ linh cơ sẽ vẫn luôn không ngừng hạt bức bức đi xuống, vì thế phỏng đoán tất nhiên là thật sự.

Đương nhiên, BBB(n) theo n tăng đại đến so BB(n) còn nhanh, dùng phương pháp này tới chứng minh toán học phỏng đoán, tưởng đều không cần tưởng. Nhưng vô luận như thế nào đây là một cái thú vị sự thật.

BBB(1) = 1
BBB(2) = 6
BBB(3) >= 55
BBB(4) >= 32779478
BBB(5) >= 10^10^286574

Chỉ sử dụng hai cái ký hiệu bận rộn hải li có thể mở rộng đến n cái ký hiệu, nhớ làm BB(n, m) / BBB(n, m) ý tứ là có n cái trạng thái m cái ký hiệu bận rộn hải li / hạt bức bức bận rộn hải li. BB(n) = BB(n, 2), BBB(n) = BBB(n, 2), bởi vì cam chịu bận rộn hải li chỉ sử dụng hai cái ký hiệu ( bao gồm chỗ trống ).

BB biệt danh: S
Một cái khác cùng BB hàm số tương quan hàm số là sigma(n,m) / ∑(n,m), tỏ vẻ quay xong khi lưu lại phi linh ký hiệu lớn nhất số lượng, được xưng là điểm ( score ).

Bận rộn hải li vấn đề cùng hạt bức bức bận rộn hải li vấn đề tham khảo:
OTrang web liên tiếp

Bận rộn hải li khiêu chiến duy cơ:
OTrang web liên tiếp
OTrang web liên tiếp
OTrang web liên tiếp
OTrang web liên tiếp

# toán học #