Masalah keputusan NP apa yang tidak dapat direduksi sendiri?

Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi di mana Anda tidak dapat membuktikan negatif dengan mudah. Wikipedia hanya mengatakanIt is conjectured that the integer factorization problem is not self-reducible.

Googling menemukan satu hasil , yang tampaknya menyatakan bahwa pewarnaan planar grafik 4 tidak dapat direduksi sendiri karena pewarnaan LF-k untuk grafik planar berkurang menjadi pengurangan itu, tetapi saya tidak bisa mengikuti buktinya sekarang.

Apakah ini contoh aktual dari penolakan kemampuan reduksi diri, dan adakah yang lain?

Makalah ini memang menunjukkan bahwa planar graph empat pewarnaan tidak dapat direduksi sendiri dalam arti Schnorr. Ada beberapa indera lain, di mana beberapa di antaranya setiap masalah dalam P dapat direduksi sendiri. Lihat makalah tindak lanjut dari Große, Rothe dan Wechsung . Saya tidak mengetahui adanya hasil lain dari jenis ini. Membahas semua makalah yang mengutip makalah yang Anda sebutkan (ini dapat dilakukan dengan menggunakan Google Cendekia, misalnya), tidak ada yang memberikan masalah seperti itu.