ИСТИНА

В предыдущей работе автора было введено понятие структуры частичного стирания и соответствующего ей канала. Изучение данного понятия мотивировано задачей построения скрытого канала блужданий по плоскости в условиях потери части информации. В целях организации передачи информации поверх канала частичного стирания был надстроено семейство протоколов, называемое схемой равномерного кодирования. Однако, в данное семейство протоколов попадают не все возможные протоколы, поскольку при определении равномерного кодирования были приняты некоторые упрощающие предположения. Настоящий доклад посвящен обобщению понятия протокола, которое достигается при отбрасывании этих предположений. Указанному понятию дано формальное определение в виде пары функций: функции F поведения передающего участника(Алисы) и функции G поведения принимающего (Боба). Формализована цель их совместного поведения и в соответствии с представленной формализацией определено понятие корректного протокола. Далее, поставлены следующие два вопроса. Во-первых, вопрос о критерии существования функции поведения Боба G, согласованной с заранее определенной функцией поведения Алисы F, т.е. такой, что их пара (F, G) - корректный протокол. Во-вторых, пусть для некоторой F таковая G существует. В этом случае соответствующих функций G может существовать несколько, и, таким образом, возникает вопрос о лучшей функции. В настоящем докладе представлены ответы на эти вопросы, изложенные в виде теорем.