Bài viết khám phá biến thể Nim vô hạn (transfinite Nim) sử dụng các quân cờ là số thứ tự vô hạn (ω, ω·2, ω²) và chứng minh rằng ngay cả những trò chơi này cũng phải kết thúc nhờ tính "well-founded" của các số thứ tự. Tác giả so sánh cơ chế này với sự kết thúc của chương trình đệ quy, đồng thời đưa ra ví dụ thực tế về ước tính khối lượng công việc lập trình để minh họa tư duy đa tầng kiểu ω·2.
Vì sao nên đọc: Lập trình viên nên đọc bài này để hiểu cách áp dụng logic về well-foundedness trong thiết kế thuật toán, từ đó giảm thiểu rủi ro vướng vào vòng lặp vô hạn hoặc tính toán không kết thúc trong các giải pháp phức tạp.
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://blog.plover.com/math/ordinals/02-wellfoundedness.html. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Đọc tin ở đây, luyện code, học theo lộ trình và luyện IELTS trên các sản phẩm anh em — tất cả kết nối với nhau trong hệ sinh thái 8 Sync Dev.
Cổng chính của hệ sinh thái: giới thiệu sản phẩm, blog và bảng giá trọn bộ.
Khám pháHọc theo lộ trình rõ từng chặng: video, quiz chấm tự động, certificate và mentor đang làm nghề.
Xem lộ trìnhHơn 600 bài FREE, đề tiếng Việt, chấm tự động 7 ngôn ngữ — chạy ngay trên trình duyệt.
AI cho doanh nghiệp B2B: chat đa kênh AI phản hồi, gom lead tiềm năng, phân loại khách hàng.
Sắp ra mắt