The way I see it: Volume 7 is compilation. Since many optimization techniques are NP-complete, Knuth will have to take a break from writing TAOCP to settle whether or not P=NP.