3 ms·
(i did not read the original paper but...) i think you want to subtract len(compress(x1)) and len(compress(x2)) on the lhs/rhs, instead of len(compress(y)) -- w
by dilap 3y ago
(i did not read the original paper but...) i think you want to subtract len(compress(x1)) and len(compress(x2)) on the lhs/rhs, instead of len(compress(y)) -- we care about the incremental complexity of adding y on top of x1 or x2, ignoring the base complexity of x1/x2.
- cs702 3y agoThere's a typo in my comment. Instead of "than to x2's", I actually mean to write "than X2's". Sorry about that!