Jawaban:
Untuk lebih banyak menggunakan pemaksaan (melalui apa yang disebut oracle generik) dalam teori kompleksitas, lihat The Oracle Builder's Toolkit ( tersedia secara bebas dari beranda Fortnow ) oleh Fenner, Fortnow, Kurtz, dan Li. Mereka memberikan teori umum oracle generik, dan menunjukkan banyak aplikasi dalam kompleksitas.
Jika Anda tertarik pada bagaimana oracle dalam kompleksitas seperti bukti independensi dalam teori himpunan, Anda mungkin tertarik pada makalah berikut:
Arora, Impagliazzo, Vazirani. Teknik Relativizing versus Nonrelativizing: Peran Keterbukaan Lokal .
Impagliazzo, Kabanets, Kolokolova. Suatu Pendekatan Aksiomatik untuk Algebrization . ( versi lengkap tersedia secara gratis dari beranda Kabanets )
Untuk penggunaan pemaksaan dalam teori himpunan, lihat buku Set Theory ( Set Theory on Amazon ) oleh Jech, terutama Bagian II dan III dari buku (jangan dikelirukan dengan "Pengantar Teori Set" oleh Hrbáček dan Jech).
Untuk pengantar yang sangat baik tentang pemaksaan dalam teori himpunan, ada pos USENET terkenal di Timothy Chow "Forcing for dummies" serta makalah yang lebih formal yang muncul darinya, "Panduan pemula untuk memaksa" .
Untuk penggunaan teknik seperti memaksa dalam kompleksitas bukti Anda mungkin ingin melihat:
M. Ajtai. Kompleksitas prinsip pigeonhole . Dalam Prosiding Simposium IEEE Tahunan ke-29 tentang Yayasan Ilmu Komputer, White Plains, NY, 1988, hlm. 346–355; dan
M. Ajtai. Kompleksitas prinsip pigeonhole . Combinatorica 14 (1994), no. 4, 417–433.
Metode pembuktian adalah analog paksaan dari aritmetika (sejenis yang sudah digunakan oleh Paris dan Wilkie). Lebih banyak kombinatorial (dan batas bawah yang ditingkatkan) ada di J. Krajıcek, P. Pudlak, dan A. Woods, Batas bawah eksponensial dengan ukuran kedalaman terikat. Bukti Frege dari prinsip pigeonhole , Random Structures Algorithms, 7 (1995), hlm. 15–39. dan T. Pitassi, PW Beame, dan R. Impagliazzo, batas bawah eksponensial untuk prinsip pigeonhole , Comput. Complexity, 3 (1993), hlm. 97–140.
Lihat juga:
Soren Riis. Finitisasi dalam Aritmatika Terikat . 1994, BRICS, Departemen Ilmu Komputer Universitas Aarhus.
Baru-baru ini, Jan Krajicek menerbitkan sebuah buku yang menyatukan teknik pemaksaan ini:
lihat juga Memaksa teori pembuktian oleh Avigad, 30pp, 2004. dia mengutip BGS75 tetapi tidak secara detail. ada beberapa referensi untuk Scott / Solovay sebagai pengubahan ulang pemaksaan menjadi model yang bernilai boolean.
Gagasan dalam memaksa telah berpengaruh dalam kompleksitas komputasi; misalnya, pemisahan kelas kompleksitas yang dipindahkan ke oracle (misalnya, dalam BGS75) sering dapat dilihat sebagai versi pemaksaan yang terbatas sumber daya.