分析midea0978的《一个C#算法分析求解》（三）（完）

六、逆算准备
根据J和K的关系，很容易就可以根据数组个数计算出实际字符个数。
建立相应的字符对象数组，并使用密码表中不存在的字符（这里是空格符）初始化。
为Bts属性指定一个和原数组个数一样的全0数组，用于存放结果，
而Bts2中放置原数组。因此，我们所要做的事情就是，对于这个字符对象数组中的每一个对象，
找到一个合适的N，使得Bts中的数据和Bts2一样。这个时候每个字符对象对应的字符就是密码表中的第N个字符。
ReCalc中建立了一个列表数组lists，用于存放每个字节受哪些字符对象“控制”（由该字符对象参数生成）。

七、开始逆算
准备好上面的工作后，就可以开始逆算了。
对于字节数组中start位置的字节，它的控制列表为list=lists[start]，
也就是说，所有影响这个位置的字节码生成的字符对象ID，都存放在这个list中。
我们只需要遍历这个list中每一个字符对象的所有NList可能，就可以计算出所有Bts[start]的可能，
取其中Bts[start]=Bts2[start]的就是了。
因为J的关系，list中最大的元素个数是3，所以，最多只需要3层循环。
此外，还有一个技巧需要说明，最后一个字节的控制列表只有一个字符对象，并且一定是最后的那个，这些从
J和K那里可以得知。

每一次NList的循环之前，都需要先备份K和M处的字节数据，以备下一轮循环前还原。
循环把NList的每一个N可能赋值给这个字符对象的N，然后执行Cal计算字节数据。
循环内部再嵌套控制列表list中的下一个字符对象。
在最里面一层循环里面，对比Bts[start]是否等于Bts2[start]，
如果相等，表明该层控制列表各字符对象的N值符合要求（但不是唯一的可能，还可能有别的组合）。
此时，就可以进入start－1层的计算了，该是递归上场的时候了。

且慢，在这之前，还需要做一些准备工作。
这一层已经计算好的字符对象，在下一层的时候可不能重新参与计算，否则就会影响这一层已经计算好的值了。
根据递归原则，我们应该“锁定”这些对象，不允许子递归修改这些对象，
子递归只能通过循环控制列表中的其它对象来“凑”出一个合适的Bts(start)。

八、总结
整个递归算法是深度搜索算法。由于字符与字符之前有相互关系，所以必须是深度搜索，
但又因为这个关系只存在相邻字符之间，所以深度搜索不必每次“到底”。
运算速度还不错，所以就不做性能优化了。

历时24小时左右（20＋4，中间小睡了一会）
大石头
QQ:99363590
Email:gxuhy#21cn.com
http://www.nnhy.org
2007-12-02 01:04
C#逆向算法分析

  1
  2          /**/ /// <summary>
  3        /// 搜索
  4        /// </summary>
  5        /// <param name="ts"></param>
  6        /// <param name="lists"></param>
  7        /// <param name="start"></param>
  8        /// <returns></returns>
  9          public   static  Boolean Find(CharObject[] ts, List < Int32 >  locks, List < Int32 > [] lists, Int32 start)
 10          {
 11            Console.WriteLine(new String(' ', 12 - start) + "第{0}层", start.ToString());
 12
 13            //结束条件
 14            if (start < 0)
 15            {
 16                StringBuilder sb = new StringBuilder();
 17                for (int i = 0; i < ts.Length; i++)
 18                {
 19                    if (ts[i] == null) break;
 20                    sb.Append(ts[i].C);
 21                }
 22                Console.WriteLine(sb.ToString());
 23                //如果需要取得所有结果，只需要把下面改成return false;
 24                //return false;
 25                return true;
 26            }
 27
 28            //递归过程
 29            List<Int32> list = new List<int>();
 30            //排除锁定项
 31            foreach (Int32 t in lists[start])
 32            {
 33                if (!locks.Contains(t)) list.Add(t);
 34            }
 35            if (list.Count < 1) return true;
 36            list.Sort(IntSort);
 37
 38            CharObject A = ts[list[0]];
 39            Byte[] Bts = A.Bts;
 40            Byte[] Bts2 = A.Bts2;
 41
 42            //处理start以下的字节
 43            //上层递归最多到达start处，而本层就要用到start-1了，
 44            //处理一下，以免别的子递归曾经修改过start-1
 45            if (start > 0) Bts[start - 1] = 0;
 46
 47            //备份A控制的两个字节，而不一定是Bts[start]和Bts[start－1]
 48            Byte[] temp_a = new Byte[2];
 49            temp_a[0] = Bts[A.K];
 50            temp_a[1] = Bts[A.M];
 51            foreach (Int32 a in A.NList)
 52            {
 53                Bts[A.K] = temp_a[0];
 54                Bts[A.M] = temp_a[1];
 55                A.N = a;
 56                A.Cal();
 57                if (list.Count < 2)
 58                {
 59                    if (Bts[start] != Bts2[start]) continue;
 60                    locks.Add(A.ID);
 61                    if (Find(ts, locks, lists, start - 1)) return true;
 62                    locks.Remove(A.ID);
 63                    continue;
 64                }
 65                CharObject B = ts[list[1]];
 66                Byte[] temp_b = new Byte[2];
 67                temp_b[0] = Bts[B.K];
 68                temp_b[1] = Bts[B.M];
 69                foreach (Int32 b in B.NList)
 70                {
 71                    Bts[B.K] = temp_b[0];
 72                    Bts[B.M] = temp_b[1];
 73                    B.N = b;
 74                    B.Cal();
 75                    if (list.Count < 3)
 76                    {
 77                        //有限个数控制，马上判断
 78                        if (Bts[start] != Bts2[start]) continue;
 79                        locks.Add(A.ID);
 80                        locks.Add(B.ID);
 81                        if (Find(ts, locks, lists, start - 1)) return true;
 82                        locks.Remove(A.ID);
 83                        locks.Remove(B.ID);
 84                        continue;
 85                    }
 86                    CharObject C = ts[list[2]];
 87                    Byte[] temp_c = new Byte[2];
 88                    temp_c[0] = Bts[C.K];
 89                    temp_c[1] = Bts[C.M];
 90                    foreach (Int32 c in C.NList)
 91                    {
 92                        Bts[C.K] = temp_c[0];
 93                        Bts[C.M] = temp_c[1];
 94                        C.N = c;
 95                        C.Cal();
 96                        //有限个数控制，马上判断
 97                        if (Bts[start] != Bts2[start]) continue;
 98                        locks.Add(A.ID);
 99                        locks.Add(B.ID);
100                        locks.Add(C.ID);
101                        if (Find(ts, locks, lists, start - 1)) return true;
102                        locks.Remove(A.ID);
103                        locks.Remove(B.ID);
104                        locks.Remove(C.ID);
105                    }
106                    Bts[C.K] = temp_c[0];
107                    Bts[C.M] = temp_c[1];
108                }
109                Bts[B.K] = temp_b[0];
110                Bts[B.M] = temp_b[1];
111            }
112            Bts[A.K] = temp_a[0];
113            Bts[A.M] = temp_a[1];
114            return false;
115        }
116