NP-zor azaltmada 'gadget' ne anlama geliyor?

Bu soru teknik olmayabilir. Algoritma sınıf için yerli olmayan konuşmacı ve TA gibi, ben her zaman merak gadget 'tümcesi gadget' veya 'değişken gadget' in aracı. Sözlük, bir gadget'ın bir makine veya bir cihaz olduğunu söylüyor, ancak NP-tam kanıtı bağlamında hangi konuşma dilinin anlamına sahip olduğundan emin değilim.

Bir "gadget" belirli bir görev için küçük bir özel cihazdır. NP sertlik kanıtlarında, sorun A'dan sorun B'ye bir azalma yaparken, konuşma dili "gadget" terimi, sorun A'daki belirli nesneleri "simüle etmek" için kullanılan küçük (kısmi) sorun B örneklerini ifade eder. Örneğin, 3SAT değerini 3-COLORING'e düşürerek, yan tümce gadget'ları, orijinal formülün yan tümcelerini temsil etmek için kullanılan küçük grafiklerdir ve değişken gadget'lar, orijinal formülün değişkenlerini temsil etmek için kullanılan küçük grafiklerdir. İndirgemenin doğru olduğundan emin olmak için, gadget'lar çok özel şekillerde 3 renkli olabilen grafikler olmalıdır. Bu nedenle, bu küçük grafikleri özel bir görevi yerine getiren cihazlar olarak düşünüyoruz.

Çoğu durumda, NP sertliğini kanıtlamanın ana zorluğu uygun cihazları oluşturmaktır. Bazen bu araçlar karmaşık ve orta derecede büyüktür. Bu tür gadget'lar oluşturma işlemine bazen "gadgeteering" denir.

NP optimizasyon indirimleri için Gadget'ların resmi bir tanımı burada görünür:

Trevisan, GB Sorkin, M. Sudan, DP Williamson. Gadget'lar, Yaklaşım ve Doğrusal Programlama . Bilgisayarda SIAM J., 29 (6): 2074-2097, 2000