Метод Упорядочения Процедур Разбиения Состояний Процедурами С Двумя И Тремя Исходами С Учетом Их Стоимости И Весов Состояний.

Описывается метод упорядочения процедур разбиения состояний процедурами с двумя и тремя исходами. При этом использованы терминология и методы теории вопросников, а сама последовательность процедур разбиения определена как неоднородный вопросник с вопросами, имеющими два и три варианта ответа. Этот класс вопросников является особенным и выделен авторами в класс бинарно-тернарных и интересен тем, что это наиболее простой класс неоднородных вопросников. Кроме того, увеличение числа ответов какого-либо вопроса на практике также может дать выигрыш в параметрах вопросников, в том числе в показателе его эффективности – средней цене обхода. Отмечается, что использование бинарно-тернарных вопросников на практике позволяет уменьшить среднее время идентификации событий по вопроснику, что крайне важно в тех приложениях вопросников, в которых имеется ограничение на время идентификации событий, например в системах критического применения. Приводится метод оптимизации бинарно-тернарных вопросников, основанный на поиске наиболее предпочтительных вопросов для каждого подмножества идентифицируемых событий. Выбор предпочтительных вопросов основан на установлении отношений сравнения между ними. Описаны все возможные виды сравнимости двух вопросов с двумя ответами, двух вопросов с тремя ответами, а также вопроса с двумя ответами и вопроса с тремя ответами. Приведен пример получения математического выражения для функции, характеризующей предпочтительность вопросов друг перед другом, а также обобщенная формула выбора наиболее предпочтительного вопроса для любых неоднородных вопросников. Сформирован алгоритм метода упорядочения вопросов, который позволяет за полиномиальное время построить бинарно-тернарный вопросник с наименьшей ценой обхода. Приведен пример оптимизации бинарно-тернарного вопросника по представленному методу.