启发式算法的一道题目

光顾好好工作了，没想出来啥，拿以前写的一篇转到这里吧。
题目：
        已知十二个球中有一个是坏球，但是不知道坏球比好球轻还是重，给你一个没有刻度的天平，称三次，要求得到哪个是坏球且要知道它比好球轻还是重
推导：
       第一次：天平两边分别放A组和B组(1)
   
        情况一(1.1)
        平衡
        则坏球在C组
        第二次：从A组和B组中任意取三个球，从C组中任意取三个球分别放在天平两边
       
                情况一(1.1.1)
                平衡
                则坏球为C组中剩下的那个球
                第三次：从好球中任意取一个和坏球分别放在天平两边则可得坏球比好球轻还是重
       
                情况二(1.1.2)
                从C组任意取出的的三个球重
                则坏球在这三个球中且坏球比好球重
                第三次：从这三个球中任意取两个放在天平两边，哪边重则哪边为坏球，平衡则剩下的那个为坏球
               
                情况三：(1.1.3)
                从C组任意取出的的三个球轻
                则坏球在这三个球中且坏球比好球轻
                第三次：从这三个球中任意取两个放在天平两边，哪边轻则哪边为坏球，平衡则剩下的那个为坏球
        情况二(1.2)
        B组重
        则坏球在A组或B组中
        第二次：从A组中任意拿掉三个，从B组中任意取三个放到A组，再从C组中任意取三个放到B组
       
                情况一(1.2.1)
                平衡
                则坏球在从A组中任意拿掉的三个球中，且坏球比好球轻
                第三次：从这三个球中任意取两个放天平两边，哪边轻则哪边为坏球，平衡则剩下的那个为坏球
               
                情况二(1.2.2)
                新组合的B组重
                则坏球在原来A组和B组剩下的两个球之中，且如果坏球为A组中剩下的那个则它比好球轻，如果为B组中剩下的那个则它比好球重
                第三次：从这两个球中任意取一个和一个好球放在天平两边，
                        如果取的是A组中的球且和好球平衡则B组中剩下的球为坏球且比好球重
                        如果取的是A组中的球且比好球轻则A组中剩下的球为坏球且比好球轻
                       
                        如果取的是B组中的球且和好球平衡则A组中剩下的球为坏球且比好球轻
                        如果取的是B组中的球且比好球重则B组中剩下的球为坏球且比好球重
               
                情况三(1.2.3)
                新组合的A组重
                则坏球在从B组拿过来的三个球中且坏球比好球重
                第三次：从这三个球中任意取两个放在天平两边，哪边重则哪边为坏球，平衡则剩下的那个为坏球
        情况三
        A组重
        推导与B组重相同