Вычислимые короткие списки, содержащие короткие описания

По данному слову x можно найти список из $O(|x|^2)$ слов, одно из которых является описанием для x длины не более чем на константу превышающей колмогоровскую сложность x. Этот результат использует двудольные графы, допускающие он-лайн паросочетания мощности примерно равной размеру правой доли, построенных Шенем, Ромащенко и Мусатовым.
(По совместной работе с Баувенсом, Махлиным и Зимандом.)