题目链接：
http://codeforces.com/problemset/problem/747/D
题目大意：
接下来的n天内每天都有一个气温，如果某天的温度为负数，则必须使用冬季轮胎；而温度非负，则既可以使用冬季轮胎，也可以使用夏季轮胎。开始的时候车子上装的是夏季轮胎，如果连续两天使用的轮胎类型不同，则需要换胎。规定使用冬季轮胎的总天数不能超过k，问换胎的最少次数。（注：n天结束后车子上装的既可以是冬季轮胎，也可以是夏季轮胎）。
解题思路：
一开始想到dp+滚动数组。然而时间复杂度太高，查了tutorial发现可以贪心。具体来说就是：
1.当温度为负数的天数之和大于k时，无解。
2.否则令k减去温度为负数的天数之和。并求出所有连续的温度为负数的区段的个数cnt，此时换胎次数x最多为cnt*2。
3.求出所有连续的温度为非负数的区段，并将这样的区段的长度push到一个小顶堆中。先不考虑持续到第n天的非负区段（如果有的话），不要将这样的区段放入堆中（之后判断这种特殊情况）。也不必考虑从第1天开始持续到第一个负区段之前的非负区段，因为一开始车子上的是夏季轮胎，这样的区段不会影响最终结果。
4.当堆不空并且k大于等于堆顶元素的时候，将堆顶元素pop出来，同时将k减去堆顶元素，并且令x -= 2。（相当于贪心地合并掉非负区段）
5.考虑特殊情况：如果存在一个非负区段并且这个区段持续到第n天，并且此时k大于等于这个区段的长度，则可以x--（相当于最后一次不换回夏季轮胎，省掉一次换胎操作）；或者最后一个负区段持续到第n天，这种情况也可以省掉一次换回夏季轮胎的操作，也要x--。总之，无论持续到n天的最后一个区段是负区段还是非负区段，都要x--。这样就得到了最终答案。
其实思路不是很难想，但是实现起来需要注意一些细节。
代码写得不是很漂亮：
1 #include <iostream> 2 #include <cstdio> 3 #include <queue> 4 #include <functional> 5 #include <vector> 6 using namespace std; 7 8 int a[200005], n, k; 9 int find_non_negtive_start(int pos) 10 { 11 for (int i = pos; i < n; i++) 12 { 13 if (a[i] >= 0) 14 return i; 15 } 16 return -1; 17 } 18 int find_non_negtive_end(int pos) 19 { 20 for (int i = pos; i < n; i++) 21 { 22 if (a[i] < 0) 23 return i - 1; 24 } 25 return -1; 26 } 27 int find_negtive_start(int pos) 28 { 29 for (int i = pos; i < n; i++) 30 { 31 if (a[i] < 0) 32 return i; 33 } 34 return -1; 35 } 36 int find_negtive_end(int pos) 37 { 38 for (int i = pos; i < n; i++) 39 { 40 if (a[i] >= 0) 41 return i - 1; 42 } 43 return -1; 44 } 45 int main() 46 { 47 priority_queue<int, vector<int>, greater<int> > q; 48 cin >> n >> k; 49 int cnt = 0, cnt_negtive = 0; 50 int start = -1, begin = -1; 51 for (int i = 0; i < n; i++) 52 { 53 scanf("%d", &a[i]); 54 if (a[i] < 0) 55 { 56 cnt++; 57 if (begin == -1) 58 begin = i; 59 } 60 else 61 { 62 if (begin != -1 && start == -1) 63 start = i; 64 } 65 } 66 if (cnt > k) 67 { 68 cout << "-1" << endl; 69 return 0; 70 } 71 if (cnt == 0) 72 { 73 cout << "0" << endl; 74 return 0; 75 } 76 if (start == -1) 77 { 78 cout << "1" << endl; 79 return 0; 80 } 81 if (begin == -1) 82 { 83 cout << "0" << endl; 84 return 0; 85 } 86 cnt_negtive = cnt; 87 cnt = 0; 88 while (1) 89 { 90 int pos = find_negtive_end(begin + 1); 91 if (pos == -1) 92 { 93 cnt++; 94 break; 95 } 96 cnt++; 97 begin = find_negtive_start(pos + 1); 98 if (begin == -1) 99 break; 100 } 101 cnt *= 2; 102 int res = -1; 103 while (1) 104 { 105 int pos = find_non_negtive_end(start + 1); 106 if (pos == -1) 107 { 108 res = n - start; 109 break; 110 } 111 q.push(pos - start + 1); 112 start = find_non_negtive_start(pos + 1); 113 if (start == -1) 114 { 115 break; 116 } 117 } 118 k -= cnt_negtive; 119 while (!q.empty()) 120 { 121 if (k >= q.top()) 122 { 123 k -= q.top(); 124 q.pop(); 125 cnt -= 2; 126 } 127 else 128 { 129 break; 130 } 131 } 132 if (k >= res) 133 { 134 cnt--; 135 } 136 cout << cnt << endl; 137 return 0; 138 }