Розбиття простору на області

Розбиття великого питання на області

Коли простір занадто великий, щоб шукати в ньому напряму, його розбивають на неперетинні області, які разом покривають цілісність. Відповідь на підпитуєння означає вибір однієї області та ігнорування решти.

Нехай питання звучить так: «Чому виручка впала минулого кварталу?». Простір відповідей є величезним. Розбиймо його: (а) менше клієнтів, (б) ті самі клієнти витрачають менше, (в) зміна ціноутворення або фактури, (г) помилка в даних. Ці чотири області покривають простір і не перетинаються. Кожна з них — це менше питання, з яким можна працювати окремо.

Гарний розподіл має дві властивості, запозичені безпосередньо з геометрії: області покривають весь простір (нічого не пропускається) та вони є неперетинними (нічого не рахується двічі). Якщо пропустити частину простору, справжня відповідь може ховатися в прогалині. Якщо області перетинаються, ви марнуєте зусилля, шукаючи одні й ті самі ділянки двічі.

Кожне підзапитання звужує пошук до однієї області. Відповідаючи на нього, ви відкидаєте все, що знаходиться за межами цієї області: це велике та дешеве звуження простору пошуку.

Чистий розподіл

Місто ставить запитання: «Часи реакції екстрених служб зростаються. Чому?»

Аналітик пропонує розбити це на: (а) виклики довше доходять до бригади, (б) бригади довше доїжджають після виклику, та (в) бригади довше виконують роботу та звільняються.

Кожне вимога розрізає простір

Обмеження як напівплощини

Уявіть простір відповідей як плоску площину, де кожна точка — це кандидат на відповідь. Обмеження — це вимога, і кожна вимога проводить лінію через площину та зберігає лише одну її сторону. У геометрії ця збережена сторона називається напівплощиною.

«Менше п’ятнадцяти доларів» — це одна лінія; зберігаємо дешеву сторону. «У межах пішохідної відстані» — друга лінія; зберігаємо близьку сторону. «Відкрито зараз» — третя. Кожна вимога, яку ви додаєте, — це ще один розріз.

Відповідь, що задовольняє всі вимоги, перебуває в перетині всіх збережених сторін. Перетинаючи достатню кількість напівплощин, ви отримуєте невелику обмежену область: впорядковану зону, всередині якої знаходиться єдина правильна відповідь.

Два режими збою

Недостатньо обмежень (занадто мало «розрізів»): область залишається необмеженою. Вона прямує до нескінченності, тому нескінченно багато невизначених відповідей «підходять». Запит «Дай мені хорошу ідею» є необмеженим. Ви отримуєте шум, оскільки нічого не було виключено.

Занадто багато обмежень (або суперечливі «розрізи»): область стає порожньою. Напівплощини не мають спільної точки, тому жодна відповідь не підходить взагалі. Запит «Число, яке одночасно парне та непарне» зводить простір до нуля.

Правильно сформульоване питання розташоване між цими крайнощами: достатньо обмежень, щоб обмежити область, але не так багато, щоб вони суперечили одне одному та зробили область порожньою.

Обмежена, необмежена, порожня

Менеджер просить дизайнера створити «логотип». Пізніше він просить «логотип, який є однією літерою, у одному кольорі, працює на розмірі 16 пікселів та також використовує принаймні чотири кольори».

Найкращий різ розділяє простір навпіл

Бінарний пошук: кожне «так/ні» поділяє простір навпіл

Деякі питання є питаннями типу «так/ні». Геометрично, питання типу «так/ні» проводить одну пряму та вказує, на якій стороні знаходиться відповідь: воно відкидає цілу область одним рухом.

Найкраще питання «так/ні» — це те, яке ділить простір на дві рівні половини, оскільки тоді, який би відповідь ви не отримали, ви відкинете рівно половину того, що залишилося. Якщо питати «чи це в верхній половині?» знову та знову, простір зменшуватиметься геометрично швидко.

Це бінарний пошук. Почніть з N кандидатів. Після одного гарного питання залишається N/2. Після двох — N/4. Після k питань — N / 2^k. Ви завершуєте, коли залишиться один кандидат, тому вам потрібно найменше k, для якого 2^k не менше N.

Це найменше k — це стеля від log2(N). Для тисячі кандидатів: 2^9 = 512 (недостатньо) & 2^10 = 1024 (достатньо), тому log2(1000) становить приблизно 9.97, і вам потрібно 10 питань. Мільярд кандидатів? log2 від мільярда становить приблизно 30. Поділ навпіли настільки потужний, що перехід від тисячі до мільярда додає лише приблизно двадцять питань.

Урок для постановки питань: гостре питання «так/ні» має найбільшу цінність, коли воно рівномірно ділить залишковий простір. Нерівноважне питання, яке виключає лише невелику частину, марнує хід.

Гарантія знаходження

Ви граєте в гру на вгадування. Хтось обирає ціле число від 1 до 1000. Ви можете ставити лише питання «так/ні», & ви граєте оптимально (кожне питання ділить залишкових кандидатів якомога рівномірніше).

Коли відповіді дешеві, зрізи цінні

Питання тепер є роботою

З'єднайте чотири елементи. Питання відкриває простір. Декомпозиція розбиває його на частини. Обмеження зрізають його до обмеженої області допустимих рішень. Гарні питання «так/ні» подвоюють його навпіл. Кожне з цих дій є актом звуження пошуку перед тим, як шукати відповідь.

Протягом більшої частини історії відповідь була дорогою частиною. Ви платили експерту, проводили експеримент, копалися в архіві. Тому ми цінували людей, які могли давати відповіді.

Цей баланс змінився. Автоматизовані системи тепер генерують правдоподібні відповіді тисячами, майже безкоштовно. Коли відповіді є дешевими та доступними, створення ще однієї більше не є досягненням. Що залишається дефіцитним, це знання яка саме відповідь має цінність: і це навичка ставлення питань, а не створення відповідей.

У геометрії: машина з радістю дасть вам будь-яку точку в просторі. Цінність, яку ви додаєте, полягає у визначенні обмежень, що звужують простір до тієї однієї області, де має існувати хороша відповідь. Якщо обмеження занадто слабкі, ви тоне в правдоподібному шумі (необмежена область). Якщо обмеження занадто сильні, ви не отримаєте нічого (порожня область). Формулювання обмежень, що вписують область у точно правильний розмір, — це та дефіцитна людська навичка.

Отже, важіль впливу полягає не в тому, щоб «отримати відповідь». Він полягає в тому, щоб «поставити обмеження, які роблять простір відповідей настільки малим, що будь-яка точка в ньому має цінність».

Куди перемістилася цінність

Аналітик тепер може згенерувати сотню чернеток стратегій за хвилини майже без витрат.

Геометрія питань: Підсумок

Що ви навчилися

Питання — це не запитання про одну відповідь. Це простір можливих відповідей, і мистецтво ставити питання — це мистецтво звуження цього простору:

- Простір пошуку: кожне питання відкриває набір кандидатів на відповідь. Точне питання відкриває невеликий набір; розмите — величезний набір, по якому доведеться блукати.

- Декомпозиція як розбиття: розділіть великий простір на області, які покривають його без перетинів; кожне підпитання звужує ваш пошук до однієї області.

- Обмеження як межі: кожне вимога є напівплощиною; відповідь існує в їх перетині. Занадто мало різів залишає необмежену область (нескінченно багато розмитих відповідей); суперечливі різи залишають порожню область (нічого не підходить).

- Звуження шляхом поділу навпіл: добре обране питання «так/ні» ділить простір навпіл. Щоб визначити число від 1 до 1000, потрібно ceil(log2(1000)) = 10 запитань; для мільярда — лише близько 30.

І винагорода: коли автоматизовані системи роблять відповіді дешевими, дефіцитною навичкою стає не виробництво відповідей, а постановка обмежень, що звужують простір до єдиної цінної області. Навчіться робити ці розрізи, і ви перетворите великий, блукаючий пошук на короткий.