不得不表示，能用栈来做的题目前对我来说都很费解，这题又是抄的，来自校友JMDWQ，只不过把C改成了C++。开始时我用的是暴搜，数组的每一位就是一个“魂器”，而他的栈结构里每一位是连续相同的“魂器”的长度，明显要好的多。对他的核心代码，我的理解是这样的，大牛勿喷：

判断当前与前一位 相同：栈顶++；（当前连续区长度+1）

　　　　　　　　 不同：不能变化 ｜｜ top==0：　　 s[++top] = 1；（开辟新区，长度为1）

　　　　　　　　　　　　 能变化  &&  top（存在区）：只有一个区：栈顶++（长度+1）；t = !t（最左边的区变了）;

　　　　　　　　　　　　　　　　　　　　　　　　　　存在多个区：s[top-1] += s[top]+1；top－－；（合并区）；

现在举一个最后一种情况的例子：00110001，当前到最后一个，“1”，不同，可以变化，之前有三个区，s[1]＝＝2，s[2]＝＝2，s[3]＝＝3，区3里的3个0都变为1，加上的当前的1（可以理解为区4），全都合并的区2里了，s[2] += s[3]+1；top－－就是少一个区嘛。

最后不得不说代码中t的安排，真是巧妙。所有的区是0、1、0、1间隔的，t变化表示最左边的区变了，后来的top%2==t是用来判断当前也就是最后一个区是0还是1；本来我还是搞不清，后来看到t=f（第一个数），我觉悟了，原来t 一开始就是最左边的，它是0 t也是0，它是1 t也是1；然后它变t也变，完全一样嘛！t与top各2种情况，一共4种，枚举一下就发现这样会保证top指向0，真是妙，以后我也这样判断。

 1 #include<iostream>
 2 using namespace std;
 3 const int MAXN = 100010;
 4 unsigned short s[MAXN];
 5 int main()
 6 {
 7     int t,f,top,ans,i,n,x;
 8     while(cin>>n)
 9     {
10         top = ans = 0;
11         memset(s,0,sizeof(s));
12         cin>>f;
13         t = f;
14         s[++top] = 1;
15         for(i = 1; i < n; i++)
16         {
17             cin>>x;
18             if(f!=x)
19             {
20                 f = x;
21                 if(i%2 && top)
22                     if(top > 1)
23                         s[top-1] += s[top]+1,top--;
24                     else
25                         s[top]++,t = !t;
26                 else s[++top] = 1;
27             }
28             else s[top]++;
29         }
30         if(top%2 == t) top--;
31         while(top > 0)
32         {
33             ans += s[top];
34             top -= 2;
35         }
36         cout<<ans<<endl;
37     }
38     return 0;
39 }