这算什么算法

Problem
    小卡卡继续着他的Pascal圣地之行。他来到了Pascal农场主John的家里，向他探询关于Pascal圣地宝藏的事。
    John答应小卡卡愿意把他所知道的一切告诉小卡卡，但是John有一个要求，那就是希望小卡卡帮助他找出他走丢的一头奶牛。
    John的奶牛都是由1-2^k编号的，但是John在放牛的时候无意中弄丢了一头奶牛。他希望小卡卡告诉他，他走丢的奶牛的编号是多少。

Input
    该题含有多组测试数据。
    每组测试数据第一行一个整数k表示奶牛的数目为2^k（1<=k<=20）。
    第二行到第2^k行每行一个整数表示还在农场的一头奶牛的编号（并不是按顺序给出的）。

Output
    输出走丢的奶牛的编号

Sample Input
2
4
1
3

Sample Output
2

    问题就是这样了。怎么办？cow:array[1..1048576]of boolean;？一个一个查找比较？
    最终，解决办法还是被我找到了，一个出乎意料的算法：把读入的数全加起来，然后用公式算从一加到2^k的和，用它来减读入的数的和显然就是差的那个数了。
    呵呵，很不寻常吧。这应该归为什么算法呢？