NPハード削減で「ガジェット」とはどういう意味ですか？

この質問は技術的ではないかもしれません。アルゴリズムのクラスの非ネイティブスピーカーとTAとして、私はいつもかと思ったガジェット「節ガジェット」または「変数ガジェット」で意味を。辞書によると、ガジェットは機械またはデバイスですが、NP完全証明の文脈でガジェットがどのような口語的意味を持っているかはわかりません。

「ガジェット」は、特定のタスクのための小さな専用デバイスです。NP硬さの証明では、問題Aから問題Bへの還元を行う場合、口語的な用語「ガジェット」は、問題Aの特定のオブジェクトを「シミュレート」するために使用される問題Bの小さな（部分的な）インスタンスを指します。 3SATを3-COLORINGに減らすと、節ガジェットは元の数式の節を表すために使用される小さなグラフであり、変数ガジェットは元の数式の変数を表すために使用される小さなグラフです。削減が正しいことを確認するために、ガジェットは非常に特殊な方法で3色にできるグラフである必要があります。したがって、これらの小さなグラフは、特殊なタスクを実行するデバイスと見なされます。

多くの場合、NP硬度を証明する上での主な困難は、適切なガジェットを作成することです。これらのガジェットは複雑で適度に大きい場合があります。このようなガジェットを作成する創造的なプロセスは、「ガジェット」と呼ばれることもあります。

NP最適化削減のためのガジェットの正式な定義は次のとおりです。

L.トレビザン、GBソーキン、M。スーダン、DPウィリアムソン。 ガジェット、近似、線形計画法。SIAM J. on Computing、29（6）：2074-2097、2000