已知哈密尔顿是NPC问题，证明TSP问题为NPC问题

[leizicd]

我们知道哈密尔敦循环问题是NP完全问题。
哈密尔敦循环函数={<G>:G是一个哈密尔敦图}。证明旅行商问题（TSP）是个NP完全问题。此处，TSP={<G,c,k>:G=(V,E)是个完全图。c是个V×V→Z,k∈Z的函数，G是个耗值最多为k的旅行商路径}。

我很想知道到底怎么证明，请不要说什么：
“证明一个问题是 NPC问题也很简单。先证明它至少是一个NP问题，再证明其中一个已知的NPC问题能约化到它（由约化的传递性，则NPC问题定义的第二条也得以满足。。。。。”等等的，这个随便一搜满世界都是，只是没有一个具体的证明下，我很想看看到底怎么证明呢，具体的过程，否则也就不用到这来问了。
期待达人的指点。谢谢！

[dskit]

找一本 计算复杂性 的书看看

[V68V6]

可能要去看看理论计算机工作者的论文集
看他们的操作流程。
在这里想得到答案想必很难

[绿色夹克衫]

NPC的证明从来没做过，不过从标题来看，肯定是可以把TSP问题规约为汉密尔顿回路的问题。

[FancyMouse]

lz的TSP定义写得有些不清楚，偶默认是TSP的判定性版本的经典定义，即给定图G，一个数k，求G是否存在一个<k的hamilton回路。
TSP在NP里显然，构造一个非确定性图灵机，猜测一条回路，如果长度<k就返回true（i.e.接受）
Hamilton <=_p TSP则是因为对于任何一个Hamilton问题，可以构造一个边权的赋值，c(i,j)=1 if (i,j)\in E, =+inf if (i,j)\neq E，然后就能用TSP来把Hamilton解掉。
所以TSP是NPC