Столкнулся с такой задачей: нам даётся объект, который принадлежит одному из типов объектов p₁, ..., p_n. Есть тесты t₁, ..., t_m. Для каждого из pi объектов тест tj может отвечать одно из трёх: признак присутствует, признак отсутствует, признак неизвестен. Т.е. нам на вход даётся матрица n*m с -1, 0 и 1.

Нужно построить такое дерево вопросов, что при равновероятном появлении каждого из p_i, количество заданных вопросов было минимально возможным для определения ответа.

Может задача известная какая, но гугол мне не помог...

Помогите пожалуйста, поделитесь идеями?

UPD: Спасибо freopen! Будем втыкать...