Yukicoder No.389 ロジックパズルの組み合わせ
題材がよいなあと思った。
solution
確定していない空白の位置を考える。組み合わせの数。$O(M)$。
まずヒント通りの塗り方の存在しない場合、なにも塗らないの$1$通りの場合は無視してよい。 塗るマスとその間の空白は確定している。それら以外の空白の位置を考える。 これらの余分な空白は、塗られる連続したマスらの間に差し込むことになる。つまり、余分な空白が$b$個あり、ヒントの数が$k$個であるとき、$k+1$個の枠に$b$個のものを割り振る方法の数を答えればよい。これは${}_{b+k}C_{k}$として計算できる。
implementation
#include <cstdio>
#include <vector>
#include <algorithm>
#include <numeric>
#include <cassert>
#define repeat(i,n) for (int i = 0; (i) < (n); ++(i))
#define repeat_from(i,m,n) for (int i = (m); (i) < (n); ++(i))
#define whole(f,x,...) ([&](decltype((x)) y) { return (f)(begin(y), end(y), ## __VA_ARGS__); })(x)
typedef long long ll;
using namespace std;
const ll mod = 1e9+7;
ll powi(ll x, ll y, ll p) {
assert (y >= 0);
x = (x % p + p) % p;
ll z = 1;
for (ll i = 1; i <= y; i <<= 1) {
if (y & i) z = z * x % p;
x = x * x % p;
}
return z;
}
ll inv(ll x, ll p) {
assert ((x % p + p) % p != 0);
return powi(x, p-2, p);
}
ll choose(ll n, ll r) { // O(n) at first time, otherwise O(1)
static vector<ll> fact(1,1);
static vector<ll> ifact(1,1);
if (fact.size() <= n) {
int l = fact.size();
fact.resize( n + 1);
ifact.resize(n + 1);
repeat_from (i,l,n+1) {
fact[i] = fact[i-1] * i % mod;
ifact[i] = inv(fact[i], mod);
}
}
r = min(r, n - r);
return fact[n] * ifact[n-r] % mod * ifact[r] % mod;
}
int main() {
int m; scanf("%d", &m);
vector<int> h; for (int t; scanf("%d", &t) != EOF;) h.push_back(t);
int sum = whole(accumulate, h, 0);
int blank = m - (sum + h.size()-1);
if (h.size() == 1 and h[0] == 0) {
printf("1\n");
} else if (blank >= 0) {
int ans = choose(blank + h.size(), h.size());
printf("%d\n", ans);
} else {
printf("NA\n");
}
return 0;
}