1
Чи бачив Стівен Кук важливість показувати, що SAT є NP-Hard перед тим, як насправді довести це?
Якщо я правильно розумію, щоб довести цю проблему АAA це NP важко, вам потрібно вибрати всі можливі проблеми БiBiB_{i} що знаходяться в NP, а потім довести, що вони зводяться до АAA використовуючи функцію обчислення поліноміального часу, яка відображає примірники кожного БiBiB_{i} до примірників АAA. Коли ви знайдете першу важку проблему …