tantrix4色线谜题

在tantrix的历史上，最有名的两个谜题之一就是用56块的TGP版本搭出图形，只计算4种颜色各自最长的一根线长度，加总其长度，让总和越大越好。

tick的尝试

126：红36 黄29 绿32 蓝29

这是我第一次尝试，只花了5分钟。下一次会是多少？
另一个著名谜题就是4色环谜题。请看介绍
http://tantrixchina.com/?p=173

Tick，现在世界纪录多少？
看到这样的问题我就想写程序解决，不过我想这个题也许很复杂，算不出结果来。

最高纪录是146，这是有人通过电脑辅助算出的结果，也有些理论证明。

你有机会可以尝试下哦。

果然已经有人用电脑算出来了！

刚才vgs给了个公式，56*3-33+4=149,差不多

嘿嘿。我是简单推算。
54块牌，每张牌3条线。拼成的图形，最少66条边，就是33条线，但这33条线中有4条线是要排除的。
实际应该比这个数少。

但你还要证明为什么拼成的图形，是要最少的66条边呢？

这个找陈景润来证明。

你们的算法太抽象了，没看出怎么算的。