結果
| 問題 | No.3789 Binary 0-count Sequence |
| コンテスト | |
| ユーザー |
 askr58
|
| 提出日時 | 2026-11-06 22:06:30 |
| 言語 | C++23 (gcc 15.3.0 + boost 1.92.0 + ACL) |
| 結果 |
WA
不安定
|
| 実行時間 | - |
| コード長 | 5,248 bytes |
| 記録 | |
| コンパイル時間 | 4,074 ms |
| コンパイル使用メモリ | 338,500 KB |
| 実行使用メモリ | 15,228 KB |
| 最終ジャッジ日時 | 2026-11-06 22:06:39 |
| 合計ジャッジ時間 | 9,055 ms |
|
ジャッジサーバーID （参考情報） |
judge4_0 / judge3_0 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 2 WA * 15 |
ソースコード
// SPDX-License-Identifier: CC0-1.0
//
// [English]
// To the extent possible under law, the author(s) have dedicated all copyright
// and related and neighboring rights to this software to the public domain
// worldwide. This software is distributed without any warranty.
// See <https://creativecommons.org/publicdomain/zero/1.0/> for details.
//
// [日本語]
// 法律上可能な範囲で、著作者はこのソフトウェアに関する著作権および
// 著作隣接権を含むすべての関連する権利を、全世界でパブリックドメインに
// 提供しています。本ソフトウェアは一切の保証なく配布されます。
// 自由にコピー・改変・再配布・商用利用できます（クレジット表記は不要です）。
// 詳細は <https://creativecommons.org/publicdomain/zero/1.0/deed.ja> を参照してください。
// ※ 英語の文面および CC0 1.0 の正式な条文（英語）が優先されます。
#include <iostream>
#include <bitset>
#include <random>
#include <chrono>
#include <iomanip>
#include <set>
#include <map>
#include <queue>
#include <deque>
#include <string>
#include <stack>
#include <ranges>
#include <algorithm>
#include <vector>
using namespace std;
using ll=long long;
#include <atcoder/all>
using mint=atcoder::modint998244353;
ostream& operator<<(ostream& os,const mint& x){
os<<x.val();
return os;
}
istream& operator>>(istream& is,mint& x){
int t;
is>>t;
x=t;
return is;
}
template <typename S,typename T>
ostream& operator<<(ostream& os,const pair<S,T>& p);
template <typename S,typename T>
istream& operator>>(istream& is,pair<S,T>& p);
template <typename T,size_t n>
ostream& operator<<(ostream& os,const array<T,n>& arr);
template <typename T,size_t n>
istream& operator>>(istream& is,array<T,n>& arr);
template <typename T>
ostream& operator<<(ostream& os,const vector<T>& vec);
template <typename T>
istream& operator>>(istream& is,vector<T>& vec);
template <typename S,typename T>
ostream& operator<<(ostream& os,const pair<S,T>& p){
os<<p.first<<" "<<p.second;
return os;
}
template <typename S,typename T>
istream& operator>>(istream& is,pair<S,T>& p){
is>>p.first>>p.second;
return is;
}
template <typename T,size_t n>
ostream& operator<<(ostream& os,const array<T,n>& arr){
for(int i=0;i<n;i++)os<<arr[i]<<(i+1==n?"":" ");
return os;
}
template <typename T,size_t n>
istream& operator>>(istream& is,array<T,n>& arr){
for(int i=0;i<n;i++)is>>arr[i];
return is;
}
template <typename T>
ostream& operator<<(ostream& os,const vector<T>& vec){
for(int i=0;i<(int)vec.size();i++)os<<vec[i]<<(i+1==(int)vec.size()?"":" ");
return os;
}
template <typename T>
istream& operator>>(istream& is,vector<T>& vec){
for(int i=0;i<(int)vec.size();i++)is>>vec[i];
return is;
}
template<class... Vecs>
void input_vec(Vecs&... vs) {
const auto n = get<0>(tie(vs...)).size();
for (size_t i = 0; i < n; ++i)
((cin >> vs[i]), ...);
}
template <class... Vecs>
void output_vec(const Vecs&... vs) {
const auto n = get<0>(tie(vs...)).size();
for (size_t i = 0; i < n; ++i) {
bool first = true;
(((cout << (exchange(first, false) ? "" : " ") << vs[i])), ...);
cout << endl;
}
}
template <typename T>
vector<T> make_unique(vector<T> vec){
ranges::sort(vec);
vec.erase(unique(vec.begin(),vec.end()),vec.end());
return vec;
}
vector<int> Iota(int n,int s=0){
vector<int> res(n);
iota(res.begin(),res.end(),s);
return res;
}
vector<ll> Iotall(int n,ll s=0){
vector<ll> res(n);
iota(res.begin(),res.end(),s);
return res;
}
void YESNO(bool f){
if(f)cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
using vl=vector<ll>;
using vvl=vector<vector<ll>>;
using vvvl=vector<vector<vector<ll>>>;
using vi=vector<int>;
using vvi=vector<vector<int>>;
using vvvi=vector<vector<vector<int>>>;
int main(){
cin.tie(nullptr);
ios::sync_with_stdio(false);
cout<<fixed<<setprecision(10);
int ttt;
cin>>ttt;
while(ttt--){
int n;
cin>>n;
vi a(n);
cin>>a;
if(n==1){
if(a[0]==1)cout<<0<<endl;
else cout<<(1ll<<a[0])<<endl;
continue;
}
ll l=0;
bool ok=true;
vl ans(n);
for(int i=0;i<=61;i++){
int s=0;
int c=0;
while(s<n-1){
int x=a[s+1]-a[s];
if(x>=i){
c=1;
if(x>i)for(int j=0;j<=s;j++)ans[j]+=1ll<<i;
break;
}else if(x==i-1){
break;
}else s++;
}
//if(i==6)cout<<s<<endl;
if(s+1>(1ll<<i)){
//cout<<i<<endl;
ok=false;
break;
}
s++;
for(int j=s;j<n-1;j++){
int x=(j+1-s)%(1ll<<i),y=(j+1-s)/(1ll<<i);
if(a[j+1]-a[j]>=i){
if(x!=0||(y%2==c))ok=false;
}else if(a[j+1]-a[j]==i-1){
if(x!=0||(y%2==1-c))ok=false;
}else{
if(x==0)ok=false;
}
}
if(!ok){
//cout<<i<<endl;
break;
}
for(int j=s;j<n;j++){
int y=(j-s)/(1ll<<i);
ans[j]+=1ll<<((y+c+1)%2);
}
}
auto f=[](ll x)->int{
if(x==0)return 1;
else{
int res=0;
while(x>0){
if(x%2==0)res++;
x>>=1;
}
return res;
}
};
if(ok){
if(f(ans[0])==a[0]) cout<<ans[0]<<endl;
else{
for(int i=0;i<62;i++){
if(f(ans[0]+(1ll<<i))==a[0]){
cout<<ans[0]+(1ll<<i)<<endl;
break;
}
}
}
}else cout<<-1<<endl;
}
}