87
Ми не розглядаємо тут ситуацію, коли рішення приймається в
умовах повної невизначеності можливих результатів. Такі випадки
трапляються на практиці, але рішення приймається або після додат-
кового вивчення проблеми, що веде до отримання одного з попере-
дніх типів зв’язку, або під впливом випадкових факторів, або не при-
ймається взагалі.
Завдання. Охарактеризуйте основні типи залежності результатів
від альтернативних рішень щодо досягнення цілі.
П.М. Орловський наводить один приклад, що ілюструє всі зга-
дані типи зв'язку. Щоб вирішити суперечку між двома мудрецями про
те, хто з них розумніший, пастух, якого вони зустріли й попросили
розсудити їх, запропонував їм три модифікації такої задачі.
У пастуха в мішку знаходяться чорні та білі ковпаки. Мудреці
закривають очі й після того, як пастух надягає на кожного з них ков-
пак, відкривші очі, визначають його колір.
1-й варіант: є два чорних і один білий ковпаки, і на кожного му-
дреця надіто чорний ковпак.
У цьому варіанті існує єдиний жорсткий функціональний зв'язок
між результатами та альтернативами. Для розв’язання задачі станемо
на позицію одного з мудреців, скажімо, першого. У нього може бути
тільки дві альтернативи і два відповідні результати: 1 – на ньому бі-
лий ковпак; 2 – на ньому чорний ковпак. Проте в першому випадку
другий мудрець одразу ж заявить, що на ньому – чорний. Але він цьо-
го не говорить. Звідси перший мудрець однозначно робить висновок,
що на ньому чорний ковпак.
2-й варіант: є три чорних і два білих ковпаки, як і раніше на му-
дреців надягають чорні ковпаки.
Це більш складний випадок. Введемо позначення: х – альтерна-
тиви (результати) для першого мудреця; у – для другого. Обидві змін-
ні є булевими й можуть набувати одного з двох значень: 0 – на муд-
реці білий ковпак; 1 – на мудреці чорний ковпак.
Складемо таблицю рекурентних співвідношень між результата-
ми для першого та другого мудреців (табл. 3.1). З неї випливає, що
перший (умовно – більш розумний) мудрець не може запропонувати
однозначний розв’язок задачі, і тому він вдається до оцінювання умо-
вних імовірностей результатів для другого. Міркуючи, як і раніше, за
нього, перший мудрець виходить із того, що коли б на ньому був бі-
лий ковпак (х = 0), другий мудрець повинен був (виконавши для себе