[POI2014]Beads

题目大意：
　　有$n(nleq10^6)$种颜色，第$i$种颜色有$c_i(sum c_ileq10^6)$个，指定第一个颜色为$a$，最后一个颜色为$b$，问对于一个长度为$m=sum c_i$的序列，是否能构造出一个染色方案满足相邻的颜色不相同。如果能，试构造出一种方案。

思路：
　　贪心。如果序列中有多个元素，开头结尾颜色相同而这种颜色只有一个，则显然不存在合法方案。每次选取当前数量最多的不同于前一个颜色的颜色，如果有一样多的，就尽量取和最后一个位置的颜色相同的颜色。如果没有可以取的元素或者倒数第二个元素颜色只能选和最后一个元素相同的颜色就说明不存在合法方案。洛谷和BZOJ随便AC，然而SZKOpuł上怎么卡常都是T。

正常代码：

#include<queue>
#include<cstdio>
#include<cctype>
#include<algorithm>
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=1e6+1;
int a[N],c[N];
std::priority_queue<std::pair<int,int> > q;
int main() {
    const int n=getint();
    a[1]=getint(),a[2]=getint();
    int m=0;
    for(register int i=1;i<=n;i++) {
        m+=c[i]=getint();
    }
    std::swap(a[2],a[m]);
    c[a[1]]--;
    if(m!=1) c[a[m]]--;
    if(c[a[1]]<0) {
        putchar('0');
        return 0;
    }
    for(register int i=1;i<=n;i++) {
        if(c[i]) q.push(std::make_pair(c[i],i==a[m]?i+n:i));
    }
    for(register int i=2;i<m;i++) {
        int x=q.top().second%n;q.pop();
        if(!x) x+=n;
        if(x==a[i-1]) {
            if(q.empty()) {
                putchar('0');
                return 0;
            }
            int y=q.top().second%n;q.pop();
            if(!y) y+=n;
            q.push(std::make_pair(c[x],x==a[m]?x+n:x));
            a[i]=y;
            if(--c[y]) q.push(std::make_pair(c[y],y==a[m]?y+n:y));
        } else {
            a[i]=x;
            if(--c[x]) q.push(std::make_pair(c[x],x==a[m]?x+n:x));
        }
    }
    if(a[m-1]==a[m]) {
        putchar('0');
        return 0;
    }
    for(register int i=1;i<=m;i++) {
        printf("%d%c",a[i]," 
"[i==m]);
    }
    return 0;
}

卡常代码：

#pragma GCC optimize(3)
#pragma GCC optimize("unroll-loops")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#include<cstdio>
#include<climits>
#include<algorithm>
#include<sys/mman.h>
#include<sys/stat.h>
typedef long long int64;
class BufferedInputStream {
    private:
        char *buf,*p;
        int size;
    public:
        BufferedInputStream() {
            register int fd=fileno(stdin);
            struct stat sb;
            fstat(fd,&sb);
            size=sb.st_size;
            p=buf=reinterpret_cast<char*>(mmap(0,size,PROT_READ,MAP_PRIVATE,fileno(stdin),0));
        }
        char getchar() {
            return (p==buf+size||*p==EOF)?EOF:*p++;
        }
};
BufferedInputStream in;
inline int getint() {
    register char ch;
    while(!__builtin_isdigit(ch=in.getchar()));
    register int x=ch^'0';
    while(__builtin_isdigit(ch=in.getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=1e6+1;
int a[N],c[N];
class priority_queue {
    #define _left <<1
    #define _right <<1|1
    #define _par >>1
    private:
        int size;
        int64 val[N];
    public:
        priority_queue() {
            val[0]=LLONG_MAX;
        }
        void push(const int64 &x) {
            register int p=++size;
            for(;val[p _par]<x;p=p _par) {
                val[p]=val[p _par];
            }
            val[p]=x;
        }
        int64 top() const {
            return val[1];
        }
        void pop() {
            register int p=1;
            const int64 x=val[size--];
            for(;p _left<=size&&(x<val[p _left]||x<val[p _right]);p=val[p _left]>val[p _right]?p _left:p _right) {
                val[p]=std::max(val[p _left],val[p _right]);
            }
            val[p]=x;
        }
        bool empty() const {
            return !size;
        }
    #undef _left
    #undef _right
    #undef _par
};
inline int64 make_pair(const int &x,const int &y) {
    return (int64)x<<32|y;
}
inline int second(const int &x) {
    return x&0x7fffffff;
}
priority_queue q;
int main() {
    const int n=getint();
    a[1]=getint(),a[2]=getint();
    int m=0;
    for(register int i=1;i<=n;i++) {
        m+=c[i]=getint();
    }
    std::swap(a[2],a[m]);
    c[a[1]]--;
    if(__builtin_expect(m!=1,1)) c[a[m]]--;
    if(__builtin_expect(c[a[1]]<0,0)) {
        __builtin_puts("0");
        __builtin_exit(0);
    }
    for(register int i=1;i<=n;i++) {
        if(__builtin_expect(c[i],1)) q.push(make_pair(c[i],i==a[m]?i+n:i));
    }
    for(register int i=2;i<m;i++) {
        int x=second(q.top());q.pop();
        if(__builtin_expect(x>n,0)) x-=n;
        if(__builtin_expect(x==a[i-1],0)) {
            if(__builtin_expect(q.empty(),0)) {
                __builtin_puts("0");
                __builtin_exit(0);
            }
            int y=second(q.top());q.pop();
            if(__builtin_expect(y>n,0)) y-=n;
            q.push(make_pair(c[x],x==a[m]?x+n:x));
            if(__builtin_expect(--c[a[i]=y],1)) q.push(make_pair(c[y],y==a[m]?y+n:y));
        } else {
            if(__builtin_expect(--c[a[i]=x],1)) q.push(make_pair(c[x],x==a[m]?x+n:x));
        }
    }
    if(__builtin_expect(a[m-1]==a[m],0)) {
        __builtin_puts("0");
        __builtin_exit(0);
    }
    for(register int i=1;i<=m;i++) {
        __builtin_printf("%d%c",a[i]," 
"[i==m]);
    }
    __builtin_exit(0);
}