Tam olarak açık olmak gerekirse, Tamsayı Faktorizasyonunun NP-ortası olduğu bilinmemektedir, sadece NP-tamlık kanıtı veya polinom-zaman algoritması eksikliğine (her ikisine de çok fazla iş olmasına rağmen) dayanmadığından şüphelenilmektedir. P ve NP farklıysa kesinlikle NP-ara olan herhangi bir doğal sorun (yani kanıt için Ladner tarafından inşa edilmemiştir) bilmiyorum.
Tamam, bu feragatnameden sonra, Grafik İzomorfizmi doğal bir NP-ara problemi için başka bir adaydır. Ondan Altgraf İzomorfizmine basit bir polinom zamanı azalması var - sadece grafikleri aynı bırakın! Grafik İzomorfizması, her iki grafiğin de aynı boyuta sahip olduğu Alt İzomorfizmin özel durumudur. Son dokunuş subgraph İzomorfizma olmasıdır olduğunu NP-tam.
Bunun dışında, her zaman Cook-Levin Teoreminin vaat ettiği kadar bilgilendirici olmayan bir azalma var , herhangi bir NP-ara probleminin karar vermeyen bazı belirsiz olmayan polinom-zaman Turing Makinesi olduğunu biliyoruz ve bunu SAT'ın bir örneği (TM'yi oluşturmanız yeterlidir!).