結果
| 問題 | No.3478 XOR-Folding Primes |
| コンテスト | |
| ユーザー |
 ococonomy1
|
| 提出日時 | 2026-03-20 21:59:46 |
| 言語 | C++17 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 414 ms / 4,000 ms |
| コード長 | 10,170 bytes |
| 記録 | |
| コンパイル時間 | 2,418 ms |
| コンパイル使用メモリ | 229,964 KB |
| 実行使用メモリ | 9,920 KB |
| 最終ジャッジ日時 | 2026-03-20 21:59:57 |
| 合計ジャッジ時間 | 4,233 ms |
|
ジャッジサーバーID （参考情報） |
judge3_1 / judge2_1 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 8 |
ソースコード
//#pragma GCC target("avx2")
//#pragma GCC optimize("O3")
//#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;
using pli = pair<ll,int>;
#define MOD 998244353
//#define MOD 1000000007
#define el '\n'
#define El '\n'
#define YESNO(x) ((x) ? "Yes" : "No")
#define YES YESNO(true)
#define NO YESNO(false)
#define EXIT_ANS(x) {cout << (x) << '\n'; return;}
#define PA() {EXIT_ANS(ans);}
template <typename T> void inline SORT(vector<T> &v){sort(v.begin(),v.end()); return;}
template <typename T> void inline REV(vector<T> &v){reverse(v.begin(),v.end()); return;}
template <typename T> void inline VEC_UNIQ(vector<T> &v){sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return;}
template <typename T> T inline MAX(vector<T> &v){return *max_element(v.begin(),v.end());}
template <typename T> T inline MIN(vector<T> &v){return *min_element(v.begin(),v.end());}
template <typename T> T inline SUM(vector<T> &v){T ans = 0; for(int i = 0; i < (int)v.size(); i++)ans += v[i]; return ans;}
template <typename T> void inline DEC(vector<T> &v){for(int i = 0; i < (int)v.size(); i++)v[i]--; return;}
template <typename T> void inline INC(vector<T> &v){for(int i = 0; i < (int)v.size(); i++)v[i]++; return;}
void inline TEST(void){cerr << "TEST" << endl; return;}
template <typename T> bool inline chmin(T &x,T y){
if(x > y){
x = y;
return true;
}
return false;
}
template <typename T> bool inline chmax(T &x,T y){
if(x < y){
x = y;
return true;
}
return false;
}
template <typename T = long long> vector<T> inline get_vec(int n){
vector<T> ans(n);
for(int i = 0; i < n; i++)cin >> ans[i];
return ans;
}
template <typename T> void inline print_vec(vector<T> &vec,bool kaigyou = false){
int n = (int)vec.size();
for(int i = 0; i < n; i++){
cout << vec[i];
if(kaigyou || i == n - 1)cout << '\n';
else cout << ' ';
}
if(!n)cout << '\n';
return;
}
template <typename T> void inline debug_vec(vector<T> &vec,bool kaigyou = false){
int n = (int)vec.size();
for(int i = 0; i < n; i++){
cerr << vec[i];
if(kaigyou || i == n - 1)cerr << '\n';
else cerr << ' ';
}
if(!n)cerr << '\n';
return;
}
vector<vector<int>> inline get_graph(int n,int m = -1,bool direct = false){
if(m == -1)m = n - 1;
vector<vector<int>> g(n);
while(m--){
int u,v;
cin >> u >> v;
u--; v--;
g[u].push_back(v);
if(!direct)g[v].push_back(u);
}
return g;
}
template <typename T> vector<vector<pair<T,int>>> inline get_weighted_graph(int n,int m = -1,bool direct = false){
if(m == -1)m = n - 1;
vector<vector<pair<T,int>>> g(n);
while(m--){
int u,v;
cin >> u >> v;
u--; v--;
ll w; cin >> w;
g[u].push_back(pair(w,v));
if(!direct)g[v].push_back(pair(w,u));
}
return g;
}
//自作 modint
//雑に色んな operator でディープコピーしまくる実装にしたらベタ書きに比べて相当遅くなったため、 ACL をかなり参考にしている。
//割り算について、 mod が素数かどうかを確かめずにフェルマーの小定理を使うあれをやっているので、 mod が素数でない時はかなり注意。
template<int m> class ococo_static_modint{
private:
using mint = ococo_static_modint;
mint pow(long long b)const{
assert(b >= 0);
mint ans = 1,temp = *this;
while(b){
if(b & 1)ans *= temp;
temp *= temp;
b >>= 1;
}
return ans;
}
mint inv(void)const{
return pow(m - 2);
}
public:
//これを書くことで初期値を決めてくれるらしい
ococo_static_modint() : val(0){}
//long long への変換
//operator long long(){return val;}
template <typename T>
ococo_static_modint(T x){
long long xv = (long long)(x) % m;
if(xv < 0)xv += m;
val = xv;
}
long long val = 0;
void operator++(int){
val++;
if(val == m)val = 0;
return;
}
void operator--(int){
if(val == 0)val = m;
val--;
return;
}
mint& operator+=(const mint& r){
val += r.val;
if(val >= m)val -= m;
return *this;
}
mint& operator-=(const mint& r){
val -= r.val;
if(val < 0)val += m;
return *this;
}
mint& operator*=(const mint &r){
val *= r.val;
val %= m;
return *this;
}
mint& operator/=(const mint &r){
assert(r != 0);
return *this = *this * r.inv();
}
friend mint operator+(const mint& l,const mint& r){
mint ans = l;
ans += r;
return ans;
}
friend mint operator-(const mint& l,const mint& r){
mint ans = l;
ans -= r;
return ans;
}
friend mint operator*(const mint& l,const mint& r){
mint ans = l;
ans *= r;
return ans;
}
friend mint operator/(const mint& l,const mint& r){
mint ans = l;
ans /= r;
return ans;
}
friend bool operator==(const mint& l,const mint& r){
return (l.val == r.val);
}
friend bool operator!=(const mint& l,const mint& r){
return (l.val != r.val);
}
int get_int(void){
return val;
}
friend ostream& operator<<(ostream& tp,const ococo_static_modint& x){
return tp << x.val;
}
friend istream& operator>>(istream& tp, ococo_static_modint &x){
ll v;
tp >> v;
x = v;
return tp;
}
};
using mint = ococo_static_modint<MOD>;
vector<bool> is_prime;
vector<pii> futago;
vector<int> pv;
//x 以下の XOR 双子素数がいくつあるか？
//(5,7) はそういう組の一つだが、 x が 6 以下なら、このペアはカウントされず、7以上の時、一気に2つ分カウントする
int func(int x){
vector<pii>::iterator it = upper_bound(futago.begin(),futago.end(),pair(x,INT_MAX / 2));
int ans = distance(futago.begin(),it);
ans *= 2;
return ans;
}
// n*nの正方行列。 ococo_gyouretu<型の名前> (変数名)(n);で宣言
// 足し算・掛け算・べき乗(O(logN)のやつ)しかない。
template <typename T,int n> class ococo_gyouretu {
public:
int sz;
// ここに扱うデータが入ってる
vector<vector<T>> a;
ococo_gyouretu(void){
sz = n;
a.resize(n);
for(int i = 0; i < n; i++) a[i].resize(n);
}
ococo_gyouretu get_taxnigyouretu(void){
ococo_gyouretu<T,n> ans;
for(int i = 0; i < n; i++){
for(int j = 0; j < n; j++){
ans.a[i][j] = (i == j ? 1 : 0);
}
}
return ans;
}
ococo_gyouretu operator+(ococo_gyouretu const &r) const {
ococo_gyouretu<T,n> ans;
for(int i = 0; i < n; i++) {
for(int j = 0; j < n; j++) {
ans[i][j] += a[i][j] + r.a[i][j];
}
}
return ans;
}
ococo_gyouretu operator*(ococo_gyouretu const &r) const {
ococo_gyouretu<T,n> ans;
for(int i = 0; i < n; i++) {
for(int j = 0; j < n; j++) {
for(int k = 0; k < n; k++) {
ans.a[i][j] += a[i][k] * r.a[k][j];
}
}
}
return ans;
}
ococo_gyouretu bekizyou(long long b) {
ococo_gyouretu<T,n> temp, ans;
for(int i = 0; i < n; i++) {
for(int j = 0; j < n; j++) {
temp.a[i][j] = a[i][j];
ans.a[i][j] = (i == j ? 1 : 0);
}
}
while(b) {
if(b % 2) {
ans = ans * temp;
}
temp = temp * temp;
b /= 2;
}
return ans;
}
//なぜか friend を外すとコンパイルできなくなる。言語仕様覚えるのしんどすぎ！
friend bool operator==(const ococo_gyouretu& l,const ococo_gyouretu& r){
if(l.sz != r.sz)return false;
for(int i = 0; i < l.sz; i++){
for(int j = 0; j < l.sz; j++){
if(l.a[i][j] != r.a[i][j])return false;
}
}
return true;
}
};
#define MULTI_TEST_CASE true
void solve(void){
//問題を見たらまず「この問題設定から言えること」をいっぱい言う
//よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く
//複数の解法のアイデアを思いついた時は全部メモしておく
//g++ -D_GLIBCXX_DEBUG -Wall -O2 f.cpp -o o
ll n,m;
cin >> n >> m;
if(n == 1){
cout << upper_bound(pv.begin(),pv.end(),m) - pv.begin() << el;
return;
}
ococo_gyouretu<mint,2> g;
int valid_prime_cnt = func(m);
//0 2
//1 not 2
g.a[0][0] = 0;
g.a[0][1] = valid_prime_cnt;
g.a[1][0] = 1;
g.a[1][1] = 1;
auto h = g.bekizyou(n - 1);
mint ans = 0;
for(int i = 0; i < 2; i++){
for(int j = 0; j < 2; j++){
if(i == 0)ans += h.a[i][j];
if(i == 1)ans += (mint)valid_prime_cnt * h.a[i][j];
}
}
cout << ans << el;
return;
}
void calc(void){
is_prime.resize(10000001,true);
is_prime[0] = is_prime[1] = false;
for(int i = 2; i < is_prime.size(); i++){
if(!is_prime[i])continue;
pv.push_back(i);
for(int j = i + i; j < is_prime.size(); j += i){
is_prime[j] = false;
}
}
for(int i = 3; i < is_prime.size(); i++){
int j = i ^ 2;
if(j != i + 2)continue;
if(is_prime[i] && is_prime[j]){
//if(i < 20)cerr << j << ' ' << i << el;
futago.push_back(pair(j,i));
}
}
return;
}
signed main(void){
cin.tie(nullptr);
ios::sync_with_stdio(false);
calc();
int t = 1;
if(MULTI_TEST_CASE)cin >> t;
while(t--){
solve();
}
return 0;
}