Slepian–Wolf Theorem

For two (or more) correlated discrete memoryless sources observed separately and encoded independently without inter‑encoder communication, the Slepian–Wolf Theorem characterizes the achievable region of lossless compression rate tuples when joint decoding is allowed.