The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length 2(n+1) with exactly n+1 many 0s and 1s can be ordered cyclically so any two consecutive differ in swapping the first bit a complementary at some later position. In his book Art Computer Programming, Knuth raised stronger form this (Problem 56 section 7.2.1.3), which requires sequence p...