Elements of dynamic and 2-SAT programming: paths, trees, and cuts

Luận án này trình bày các thuật toán chính xác nhanh hơn (về mặt thời gian chạy trong trường hợp xấu nhất) cho các trường hợp đặc biệt của bài toán đồ thị thông qua quy hoạch động và lập trình 2-SAT. Lập trình động mô tả quy trình chia nhỏ một bài toán một cách đệ quy thành các bài toán con chồng chéo, tức là các bài toán con có các bài toán con chung.

Xem thêm