結果
| 問題 |
No.1846 Good Binary Matrix
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2022-02-20 20:54:17 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 589 ms / 2,000 ms |
| コード長 | 1,852 bytes |
| コンパイル時間 | 1,684 ms |
| コンパイル使用メモリ | 139,456 KB |
| 最終ジャッジ日時 | 2025-01-28 01:14:10 |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 35 |
ソースコード
#pragma GCC optimize("Ofast")
#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <queue>
#include <cstdio>
#include <ctime>
#include <assert.h>
#include <chrono>
#include <random>
#include <numeric>
#include <set>
#include <deque>
#include <stack>
#include <sstream>
#include <utility>
#include <cstring>
#include <unordered_map>
#include <unordered_set>
#include <tuple>
#include <array>
#include <bitset>
using namespace std;
typedef long long int ll;
typedef unsigned long long ull;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
ll myRand(ll B) {
return (ull)rng() % B;
}
inline double time() {
return static_cast<double>(chrono::duration_cast<chrono::nanoseconds>(chrono::steady_clock::now().time_since_epoch()).count()) * 1e-9;
}
constexpr ll mod = 1e9+7;
ll mod_pow(ll a,ll b){
a%=mod;
if(b==0)return 1;
if(b==1)return a;
ll res=mod_pow(a,b/2)%mod;
res*=res; res%=mod;
if(b%2)res*=a;
return res%mod;
}
struct perm{
private:
int sz;
vector<ll> p,invp;
public:
perm(int n){
sz=n+1;
p.resize(sz),invp.resize(sz);
p[0]=1;
for(int i=1;i<=sz-1;i++){
p[i]=p[i-1]*i%mod;
}
invp[sz-1]=mod_pow(p[sz-1],mod-2);
for(int i=sz-2;i>=0;i--){
invp[i]=invp[i+1]*(i+1)%mod;
}
}
ll comb(ll x,ll y){
if(x<y||y<0)return 0;
return (p[x]*invp[x-y]%mod)*invp[y]%mod;
}
};
perm p(1<<20);
int main(){
cin.tie(nullptr);
ios::sync_with_stdio(false);
ll H,W; cin >> H >> W;
ll res = 0;
for(int i=0;i<=H;i++){
ll c = p.comb(H, i); // 0の行の選び方
ll b = mod_pow(mod_pow(2, H-i)-1+mod,W);
res += (i%2?-1LL:1LL) * b * c % mod;
}
res %= mod;
if(res<0)res += mod;
cout << res << endl;
}