[USACO Training] Section 1.2

这一章主要围绕“穷举法”展开。或者说暴力/模拟。

TEXT Complete Search

Keep It Simple, Stupid.

算法竞赛（传统题）中，我们关心的是程序能否在给定时空限制内跑出正确的解。暴力通常好写好调，也可以用于对拍。有时，它甚至能成为正解。它应始终作为你首先考虑的方法。

通常，百万级别的枚举是可接受的。

接下来举了几个例子。就说说Party Lamps [IOI 98]吧。

题意：给你N盏灯(N <= 10000)和4个开关。第一个开关切换所有灯的状态（开变关，关变开），第二个开关切换所有偶数号灯的状态，第三个开关切换所有奇数号灯的状态，第四个开关切换第1，4，7，10，…盏灯的状态。给定N和按开关的次数，还有这些灯的初始状态，求所有可能的末状态。

“按开关”这个操作有什么性质呢？
1. 交换律。所以我们可以按照第一个开关按几次、第二个开关按几次……这样枚举，而不是第一次按哪个开关、第二次按哪个开关……这样，枚举的规模从4^10000（约等于10^6020）降到约10000^4（等于10^16，其实是个组合数）。
2. 按两次=没按。所以我们可以只枚举第一个开关按0次、1次、第二个开关按0次、1次……枚举的规模降到2^4=16。

作为一道输出一堆东西而不是一个数的题，本身就得想想，是不是实质上不同的操作序列很少。

PROB Milking Cows

给定数轴上的一些线段，求：被线段覆盖的最长区间、没被线段覆盖的最长区间。

我用了个差分数组。看到范围比较小，就没离散化。离散化之后就是官方解2了。不过看问题的角度有些不同。Jesse Ruderman 同学是把开始挤奶、结束挤奶看成两个事件，用+1、-1来标记它们，扫描这些事件。我是从数据结构的角度出发，找到将问题抽象成数轴、线段之后适合的数据结构。

离散化时要注意区间的开闭。怎样读题？一个检验方法是，题目中认为[1, 2]、[3, 4]是两个连续的区间吗？如果是，题目给的是闭区间，或者说，是点集。如果不是，题目给的是半开半闭区间，换言之，是一段间隔；间隔随左端点姓还是随右端点姓，决定了哪边开哪边闭。另一个检验方法是，对于[1, 2]、[2, 3]，2被覆盖了几次？

请允许上一段对方括号的滥用……

本题认为[1, 2]和[2, 3]不连续，所以我们考虑的实际上是1、2之间的间隔，2、3之间的间隔。

官方解1把事件（线段）按照左端点排序，然后扫一遍。也是一种很好的解答。

/*
ID: chrt2001
PROG: milk2
LANG: C++
*/
#include <cstdio>
#include <algorithm>
using namespace std;
int A[1000002];

int main()
{
    freopen("milk2.in", "r", stdin);
    freopen("milk2.out", "w", stdout);
    int n, mn = 1<<30, mx = 0;
    scanf("%d", &n);
    for (int i = 0; i < n; ++i) {
        int a, b;
        scanf("%d %d", &a, &b);
        ++A[a+1];
        --A[b+1];
        mn = min(mn, a+1);
        mx = max(mx, b);
    }
    int ans1 = 0, ans2 = 0, x = mn;
    for (int i = mn; i <= mx+1; ++i) {
        A[i] += A[i-1];
        if (!A[i-1] && A[i]) {
            ans2 = max(ans2, i-x);
            x = i;
        } else if (A[i-1] && !A[i]) {
            ans1 = max(ans1, i-x);
            x = i;
        }
    }
    printf("%d %d\n", ans1, ans2);
    return 0;
}

PROB Transformations

给出以下操作和两个N*N（N<=10）的图案：

#1: 90 Degree Rotation clockwise
#2: 180 D