資訊來源:https://www-cs-faculty.stanford.edu/~knuth/taocp.html
我一直很關注 TAOCP 的寫作進度，希望高德納先生能夠長命百歲 :)
TAOCP 4C 是 Volumen 4 系列中的一個子卷分，目前已經有了4A 和 4B，而剩下的子卷（ 4C, 4D, ...）則正處於籌備階段。這個子卷的內容十分豐富多樣，從約束滿足、漢米爾頓路徑、圈、覆蓋、正方形到各種拼圖等等，無一不是組合數學和計算機科學的核心主題。此外，它還將深入探討圖算法、動態規劃、分支界限技術、NP-hard 問題等等，為讀者提供場精彩的知識盛宴。
令人振奮的是，4C 的寫作進度並不僅僅停留在計劃階段。根據Knuth的描述，新的材料將以約每半年發行一次、每次約 128 頁的紙版小冊子形式先行發布。這些小冊子將代表作者的最佳嘗試，但他也坦言，如今計算機科學的發展已經遠超出了他個人的專業範疇，因此期待著從讀者那裡獲得反饋，以進一步完善內容。
- TAOCP V4, Fascicle 7: Constraint Satisfaction, 2024/11/14, https://www.amazon.com/Art-Computer-Programming-Fascicle-Satisfaction/dp/0135328241
