NP-hard 감소에서 '가제트'란 무엇입니까?

이 질문은 기술적이지 않을 수 있습니다. 비 원어민 강사이자 알고리즘 클래스의 TA로서 나는 항상 '가제트'또는 '가변 가제트'에서 가제트가 무엇을 의미 하는지 궁금했습니다 . 사전은 가제트가 기계 또는 장치라고 말하지만 NP- 완전 증거와 관련하여 구어체가 어떤 의미인지는 잘 모르겠습니다.

"가제트"는 특정 작업을위한 작은 특수 장치입니다. NP 경도 증명에서 문제 A에서 문제 B로 축소를 수행 할 때 구어체 용어 "가제트"는 문제 A의 특정 객체를 "시뮬레이션"하는 데 사용되는 문제 B의 작은 (일부) 인스턴스를 나타냅니다. 3SAT를 3-COLORING으로 줄이면 절 가젯은 원래 수식의 절을 나타내는 데 사용되는 작은 그래프이고 변수 가젯은 원래 수식의 변수를 나타내는 데 사용되는 작은 그래프입니다. 축소가 올바른지 확인하려면 가젯은 매우 구체적인 방식으로 3 색으로 표시 할 수있는 그래프 여야합니다. 따라서이 작은 그래프는 특수한 작업을 수행하는 장치라고 생각합니다.

대부분의 경우 NP 경도를 입증하는 데있어 가장 어려운 점은 적절한 도구를 만드는 것입니다. 때때로 이러한 가제트는 복잡하고 적당히 큽니다. 이러한 가제트를 작성하는 창조적 인 프로세스는 때때로 "가젯 팅"이라고합니다.

NP 최적화 감소를위한 가제트의 공식적인 정의는 다음과 같습니다.

L. Trevisan, GB Sorkin, M. Sudan, DP Williamson. 가제트, 근사 및 선형 프로그래밍 . SIAM J. on Computing, 29 (6) : 2074-2097, 2000 년