Теорема (критерий однозначности декодирования)

Кодирование будет взаимно-однозначным тогда и только тогда, когда в графе нет ориентированных циклов, проходящих через вершину .