Відповіді:
Докладніше про використання форсажу (через так звані родові оракули) в теорії складності дивіться в Інструментарії інструментів будівельника Oracle (у вільному доступі на домашній сторінці Fortnow ) від Fenner, Fortnow, Kurtz та Li. Вони дають загальну теорію родового оракула і показують його безліч застосувань у складності.
Якщо ви зацікавлені в тому, як оракул у складності є доказом незалежності в теорії множин, вас можуть зацікавити наступні документи:
Арора, Імпальяццо, Вазірані. Релативізація проти нерелативізуючих методів: роль місцевої перевіряемості .
Імпальяццо, Кабанець, Колоколова. Аксіоматичний підхід до алгебризації . ( повна версія вільно доступна на домашній сторінці Кабанця )
Про використання форсажу в теорії множин див. Книгу Теорія наборів ( Теорія множин на Амазонії ) Єха, особливо частини ІІ та ІІІ книги (не плутати із «Введенням у теорію задач» Хрбачека та Єха).
Для відмінного вступу до форсування в теорії множин, є відомий пост USENET Тімоті Чоу "Форсинг для манекенів" , а також більш офіційний документ, що вийшов з нього, "Посібник для початківців форсування" .
Для використання примусових методів у складності доказування ви можете подивитися:
М. Аджай. Складність принципу голуби . У працях 29-го щорічного симпозіуму IEEE про основи інформатики, White Plains, Нью-Йорк, 1988, с. 346–355; і
М. Аджай. Складність принципу голуби . Combinatorica 14 (1994), вип. 4, 417–433.
Метод доказування - це арифметичний аналог форсування (такого роду, який вже використовували Париж та Вілкі). Більш комбінаторні (і поліпшені нижні межі) є у Дж. Крадічека, П. Пудлака та А. Вудса. Експоненціальні нижні межі до розміру обмеженої глибини Доказів фреге за принципом голубого отвору, Алгоритми випадкових структур, 7 (1995), с. 15–39. і Т. Пітассі, П. В. Беам, Р. Імпальяццо, Експоненціальні нижні межі принципу голубої думки, Обчислювальна техніка . Складність, 3 (1993), с. 97–140.
Дивись також:
Сорен Ріїс. Фінітизація в обмеженій арифметиці . 1994, БРІКС, кафедра комп'ютерних наук Орхуського університету.
Нещодавно Ян Крайчек опублікував книгу, що об'єднує ці прийоми насильства:
див. також Примушування в теорії доказів Avigad, 30pp, 2004. Він цитує BGS75, але не докладно. Є деяка згадка про Скотта / Соловай як перефразування примушування до булевих моделей.
Ідеї примусового впливу вплинули на обчислювальну складність; наприклад, розділення класів складності, що відносяться до оракулу (наприклад, як у BGS75), часто можна розглядати як обмежені ресурсами версії форсування.