cf294c Shaass and Lights

传送门

题意：给一串n个灯，有m个灯初始是亮的，并给出初始亮的灯的序号。每次操作能点亮靠近亮的灯的一盏灭的灯，问点亮所有的灯有多少种方案。

想法：看上去有点像一道全排列的题目。但是开灯是有特殊规则的。对于一盏灭的灯只有他两旁有亮的灯的时候才能开。

所以只要把有特殊选法的段挑出来选，然后这一段内部的选法按照题意选即可。

1.对于一串连续灭的灯，点亮的方案只能是从两端往中间，方法数是2^(L-1)种，而不是A(L,L)种。

2.对于有一端是端点的灯，点亮他们的方案数只有一种，就是从有点亮的灯那边开始，连续点亮下去。

思路：

1.一种点灯顺序,对第一段需要点亮的灯，有C（s,L）种选择方法（s是待点亮的灯数，L是这一段的长度），在解决方案序列中选出这一列灯，对于这种灯内部，有2^(L-1)种点亮方法;

2.维护剩下未排序的长度s，并对剩下的每一段未点亮的灯都这样选。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double db;
typedef pair<int,int> pii;
typedef vector<int> vi;
#define de(x) cout << #x << "=" << x << endl
#define rep(i,a,b) for(int i=a;i<(b);++i)
#define all(x) (x).begin(),(x).end()
#define sz(x) (int)(x).size()
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define lb(x) (x&-(x))
const int MOD = 1000000007;
int n,m,a[1005],s;
ll c[1005][1005],ans=1;
ll mypow(int a,int b)
{
	ll ans=1;
	for(int i=0;i<b;i++)
	ans=(ans*a)%MOD;
	return ans;
}
int init()
{
	rep(i,0,1005) rep(j,0,i+1)
	{
		c[i][j]=((!i||!j||i==j)?1:c[i-1][j]+c[i-1][j-1])%MOD;
	}	
}
int main(){
	init();
	scanf("%d%d",&n,&m);
	rep(i,1,m+1) scanf("%d",&a[i]);
	sort(a+1,a+m+1);
	s=n-m;
	rep(i,2,m+1)
	{
		int w=a[i]-a[i-1]-1;
		ans=ans*c[s][w]%MOD*mypow(2,w-1)%MOD;
		s-=w;
	}
	ans=ans*c[s][a[1]-1]%MOD;
	printf("%lld\n",ans);
    return 0;
}