Що означає "гаджет" при зниженні рівня NP?

Це питання може бути не технічним. Я, як нерічний оратор, і TA для класу алгоритму, завжди замислювався про те, що означає гаджет у "гаджеті-клаузі" чи "змінному гаджеті". У словнику сказано, що гаджет - це машина чи пристрій, але я не впевнений, яке розмовне значення він має в контексті повного підтвердження NP.

«Гаджет» - це невеликий спеціалізований пристрій для певного завдання. У доказах твердості NP, коли робляться скорочення від задачі A до задачі B, розмовний термін "гаджет" відноситься до невеликих (часткових) випадків проблеми B, які використовуються для "імітації" певних об'єктів у задачі А. Наприклад, коли зменшуючи 3SAT до 3-КОЛОРИНГУ, гаджети-клаузи - це невеликі графіки, які використовуються для подання пропозицій вихідної формули, а пристосовані змінні гаджети - це невеликі графіки, які використовуються для представлення змінних вихідної формули. Для того, щоб зменшити правильність, гаджети повинні мати графіки, які можуть бути 3-х кольоровими дуже специфічними способами. Отже, ми розглядаємо ці маленькі графіки як пристрої, які виконують спеціалізоване завдання.

У багатьох випадках основна складність доведення твердості NP - це побудова відповідних гаджетів. Іноді ці пристосування складні і помірно великі. Творчий процес створення таких пристосувань іноді називають "гаджетерінгом".

Офіційне визначення гаджетів для скорочення оптимізації NP тут:

Л. Тревісан, Г. Б. Соркін, М. Судан, Д. П. Вільямсон. Гаджети, наближення та лінійне програмування . SIAM J. з обчислювальної техніки, 29 (6): 2074-2097, 2000