Giới hạn dưới của thuật toán: Những điều thú vị với các chứng minh độ khó

Khóa học này khám phá các khía cạnh thực tiễn của việc chứng minh rằng một số vấn đề nhất định không thể được giải quyết một cách hiệu quả, tập trung vào các phép quy dẫn và kỹ thuật để chứng minh độ khó tính toán trên nhiều lớp độ phức tạp khác nhau. Người học sẽ tiếp cận với các bài toán thú vị và phát triển sự hiểu biết sâu sắc hơn về những hạn chế của thuật toán.