Idea: BledDest
Tutorial
Tutorial is loading...
Solution (BledDest)
t = int(input())
for i in range(t):
n = int(input())
ans = 1
while n > 3:
n //= 4
ans *= 2
print(ans)
Idea: AcidWrongGod
Tutorial
Tutorial is loading...
Solution (BledDest)
import sys
sys.set_int_max_str_digits(6000)
def fact(x):
if x == 0:
return 1
return x * fact(x - 1)
t = int(input())
for i in range(t):
n, k = map(int, input().split())
n = min(n, 7)
s = int(str(k) * fact(n))
for i in range(1, 10, 2):
if s % i == 0:
print(i, end = ' ')
print()
Idea: Ferume
Tutorial
Tutorial is loading...
Solution (awoo)
for _ in range(int(input())):
n = int(input())
a = list(map(int, input().split()))
l1, r1 = 0, 0
l2, r2 = 2*10**9, -2*10**9
pr = 0
mnl, mxl = 0, 0
mnr, mxr = 2*10**9, -2*10**9
for i in range(n):
pr += a[i]
if a[i] != -1 and a[i] != 1:
mnr, mxr = mnl, mxl
mnl, mxl = pr, pr
l1 = min(l1, pr - mxl)
r1 = max(r1, pr - mnl)
l2 = min(l2, pr - mxr)
r2 = max(r2, pr - mnr)
mnl = min(mnl, pr)
mxl = max(mxl, pr)
res = []
if l2 > r1:
res = list(range(l1, r1 + 1)) + list(range(l2, r2 + 1))
elif r2 < l1:
res = list(range(l2, r2 + 1)) + list(range(l1, r1 + 1))
else:
res = list(range(min(l1, l2), max(r1, r2) + 1))
print(len(res))
print(*res)
Idea: Ferume
Tutorial
Tutorial is loading...
Solution (BledDest)
#include<bits/stdc++.h>
using namespace std;
long long gcd(long long x, long long y)
{
if(x == 0) return y;
else return gcd(y % x, x);
}
void solve()
{
long long l, r, g;
scanf("%lld %lld %lld", &l, &r, &g);
long long L = l + (l % g == 0 ? 0 : g - (l % g));
long long R = r - r % g;
for(int i = 0; i <= (R - L) / g; i++)
for(int j = 0; j <= i; j++)
if(gcd(L + j * g, R - (i - j) * g) == g)
{
printf("%lld %lld\n", L + j * g, R - (i - j) * g);
return;
}
puts("-1 -1");
}
int main()
{
int t;
scanf("%d", &t);
for(int i = 0; i < t; i++) solve();
}
Idea: Ferume
Tutorial
Tutorial is loading...
Solution (BledDest)
#include<bits/stdc++.h>
using namespace std;
struct graph
{
int V;
vector<vector<int>> g;
vector<int> color;
bool dfs(int v)
{
if(color[v] != 0) return false;
color[v] = 1;
bool res = false;
for(auto y : g[v])
{
if(color[y] == 2) continue;
else if(color[y] == 0)
res |= dfs(y);
else res = true;
}
color[v] = 2;
return res;
}
void add_edge(int x, int y)
{
g[x].push_back(y);
}
graph(int V)
{
this->V = V;
this->g.resize(V);
this->color.resize(V);
};
};
int get_bit(int x, int y)
{
return (x >> y) & 1;
}
bool check(const vector<vector<int>>& a, const vector<vector<int>>& b, int k)
{
int n = a.size();
int m = a[0].size();
vector<bool> must_row(n);
vector<bool> must_col(m);
auto G = graph(n + m);
for(int i = 0; i < n; i++)
for(int j = 0; j < m; j++)
{
if(get_bit(a[i][j], k) != get_bit(b[i][j], k))
{
if(get_bit(b[i][j], k) == 0) must_row[i] = true;
else must_col[j] = true;
}
if(get_bit(b[i][j], k) == 0) G.add_edge(j + n, i);
else G.add_edge(i, j + n);
}
for(int i = 0; i < n; i++)
if(must_row[i] && G.dfs(i))
return false;
for(int j = 0; j < m; j++)
if(must_col[j] && G.dfs(j + n))
return false;
return true;
}
void solve()
{
int n, m;
scanf("%d %d", &n, &m);
vector<vector<int>> a(n, vector<int>(m));
auto b = a;
for(int i = 0; i < n; i++)
for(int j = 0; j < m; j++)
scanf("%d", &a[i][j]);
for(int i = 0; i < n; i++)
for(int j = 0; j < m; j++)
scanf("%d", &b[i][j]);
for(int i = 0; i < 30; i++)
{
if(!check(a, b, i))
{
puts("No");
return;
}
}
puts("Yes");
}
int main()
{
int t;
scanf("%d", &t);
for(int i = 0; i < t; i++) solve();
}
Idea: Ferume
Tutorial
Tutorial is loading...
Solution (awoo)
#include <bits/stdc++.h>
using namespace std;
#define forn(i, n) for(int i = 0; i < int(n); i++)
const int MOD = 998244353;
int add(int a, int b){
a += b;
if (a >= MOD)
a -= MOD;
return a;
}
int mul(int a, int b){
return a * 1ll * b % MOD;
}
struct state{
int mx, cnt;
};
void merge(state &a, int mx, int cnt){
if (a.mx > mx) return;
if (a.mx < mx) a.mx = mx, a.cnt = 0;
a.cnt = add(a.cnt, cnt);
}
state dp[52][64][2];
int main(){
cin.tie(0);
ios::sync_with_stdio(false);
int n, q;
cin >> n >> q;
vector<int> a(n);
forn(i, n) cin >> a[i];
int mx = *max_element(a.begin(), a.end());
vector<vector<int>> cnt(n + 1, vector<int>(mx + 1));
forn(i, n){
cnt[i + 1] = cnt[i];
++cnt[i + 1][a[i]];
}
forn(_, q){
int l, r;
cin >> l >> r;
--l;
memset(dp, -1, sizeof(dp));
dp[0][0][0] = {0, 1};
forn(i, mx + 1){
int c = cnt[r][i] - cnt[l][i];
int c2 = c * 1ll * (c - 1) / 2 % MOD;
forn(val, 64) forn(fl, 2) if (dp[i][val][fl].cnt >= 0){
if (c > 0)
merge(dp[i + 1][val ^ i][true], dp[i][val][fl].mx + c - 1, mul(dp[i][val][fl].cnt, c));
if (c > 1)
merge(dp[i + 1][val][true], dp[i][val][fl].mx + c - 2, mul(dp[i][val][fl].cnt, c2));
merge(dp[i + 1][val][fl], dp[i][val][fl].mx + c, dp[i][val][fl].cnt);
}
}
auto ans = dp[mx + 1][0][1];
if (ans.cnt == -1)
cout << -1 << '\n';
else
cout << ans.mx << ' ' << ans.cnt << '\n';
}
}
Idea: Ferume
Tutorial
Tutorial is loading...
first
second
Problem F can also be solved using divide and conquer.
If we are at range [L, R] with the recursion, let mid = (L + R) / 2. We will answer all queries [ql, qr] where ql <= mid < qr.
This can be easily done using 2 knapsacks, one from mid to L and one from mid+1 to R.
Submission link
very educational solution. thank you my bro
could you explain me sum of segments
Of course.
First of all, notice that the number that is not -1 or 1 is there to make the problem harder, so let's think how would we solve the problem if all numbers were 1 or -1.
I claim that if the minimum subarray sum is L, and the maximum subarray sum is R, than all sums in range [L, R] can be formed. The proof is in 2 parts:
Let the shortest segment with the maximum sum be [x, y]. If you remove the first or last element of the segment while you can in any order(example below), you will get to an empty segment with sum 0. Because the elemets are 1 or -1, to get to the empty segment, we have to pass a segment with sum 1. The same argument can be made for all sums up to R.
Example: 1 1 -1 1 1
Here the subarray with maximum sum is [1, 1, -1, 1, 1] and the sum is 3. If we remove the first element the segment will be [1, -1, 1, 1] with sum 2. Now if we remove the last 1, the segment will be [1, -1, 1] with sum 1. Let's remove the first 1 again, we will have [-1, 1] sum 0. Remove the 1 to have [-1] with sum -1. And finally remove the -1.
Notice that we saw every possible sum from 0 to 3, and consider the -1 we saw simply as a bonus. Any order of operations will lead to all sums in [0, R] to be seen.
Now we will consider the acutal problem. The biggest bottleneck is the number that is not 1 or -1. We need to find a way to find the possible sums of subarrays that pass through that element.
Consider the example [1, -1, 10, 1, 1]. Let's break the array in 2 parts, one with all elements before the 10, one with elements after it. For example, [1, -1] and [1, 1]. Now choosing a subarray with tha 10 in it is simply choosing some suffix(empty allowed) from the first array , some prefix(empty allowed) from the second and appending the 10 between them. So, all sums will be in the form $$$suf + 10 + pref$$$. Since 10 is constant, we want to maximize and minimize $$$suf + pref$$$. To maximize, simply take the bigeest suffix and prefix, and to minimize take the minimums.
I didn't found divisibility rule for 7 anywhere how it was figured out in problem B??
You can find it here https://en.wikipedia.org/wiki/Divisibility_rule
Thanks
as d can be taken common everytime so you can just write as d*(1111.....) now if d is 7. It is always true that given number is divisible by 7 if not than you can check what is the minimum number of one is required to make it divisible by 7. I got that minimum 6 1's should be present so if n>=3 it is divisible by 7 regardless the value of d
"you can check what is the minimum number of one is required to make it divisible by 7. I got that minimum 6 1's should be present so if n>=3 it is divisible by 7 regardless the value of d"
can you pls explain the above part. If n>=3 then number is divisible by 7, can I read proof of this somewhere?
there are a lot of different rules out there the one you need here is that: if the alternating sum and difference of 3 digits from left to right is divisible by 7 then the number will be divisible by 7 for example: 12,332,455 :- value = (455)-(332)+(12) = 135 ; which is not divisible by 7 hence number is not divisible by 7.
for n!>=6 (i.e. n>=3, n!=6*k) number of digits will be multiple of 3 and 2, hence you always have even pair of alternating sum of 3 digits hence above value will always be 0 hence divisible by 7.
Using your "rule", $$$1022$$$ is not divisible by $$$7$$$, but $$$1022 = 146 \cdot 7$$$.
Hey thankyou, I just corrected my mistake.
This is incorrect. The correct rule is the following: Instead of doing the sums, we just consider the blocks of 3 as number together. For example, consider again 12,332,455. Then, the value is 455 — 332 + 12 = 135, which isn't a multiple of 7 so 12,332,455 is not a multiple of 7.
If we consider adedalic examples, then we get 022 — 1 = 21 which is a multiple of 7, so indeed 1022 is a multiple of 7.
Hey thankyou i just mistakenly write the sums...
in problem 2043B — Digits how they are calculating things for checking 9. i mean if they have to check for divisibility test for 9 they have find out n! value . and for large values of n its looking hard . can anyone please help me to check for divisibility test for 9? in this problem.
i want to explain easier approach of E but bad englis, you can check my sub tho
read your solution, can you tell me a proof for why it was enough to check for only 10 numbers left and right?
i guessed it honestly. i dont have a good proof for that. i statistically thought a prime number would occur once every 10 numbers and applied that. but max difference between primes <= 1e9 is ~200 so l + 200 and r — 200 would be good bound to find a prime number.
There is still a greedy way to pass tests in E by applying an operation when needed and running it min(n,m) times. Meaning complexity would be $$$O(tnm*min(n,m))$$$
Submission
I would like to either see it hacked or disproven. Unless that is correct which i highly doubt as I wasn't able to prove it.
I solved exactly like this, would be very nice if someone prove or hack it
I know right? I just solved it performing necessary operations on each row and column once, and i repeat it 100 times. It passes all the tests.
$$$min(n,m)$$$ seems logical, because you need space for a cycle. Let $$$min(m,n)=n$$$. Proof may be something like when $$$n=1$$$ it's obviously correct. For 2, maximum cycle is when setting some bits in one row breaks in another, and vice versa. For 3 same thing is for triangle, and so on.
When in doubt detect cycle using hash: 298400755
C was really interesting! Hopefully will be able to solve C in div 2 next time.
11?
For the problem E tutorial, can anyone help me with the bound on the number of edges in the operation graph?
I wrote a brute-force solution that passed with complexity $$$O(tnm*min(n,m)*\log{A})$$$.
In 2043B - Цифры definition of first way, I think there is a mistake.
(123 − 456 + 9) is -324, and it's not divisible by 7 because -324 % 7 is 5.
I think it must be (569 − 234 + 1). {(569−234+1) = 336 % 7 = 0}
awoo
The original number is 1234569, we take blocks of 3 digits from right to left.
569 - 234 + 1 = 366 ≡ 0 (mod 7).
Yeah, this was an error, thank you. Will be fixed in a couple of minutes
Thx for following up
2043F - Ним. Nah, I've forgotten the dp way for finding xor = 0, and I wrote meet in the middle, because we can remove all the elements except for 7. So I can test if I can leave exactly 1 element, 2 elements, ..., 6 elements. And to check if I can leave 6 elements, I can check a pair of (3, 3) elements. 298456482
can you explain this one bro? How did you arrive at this "because we can remove all the elements except for 7"?
Because the size of the vector basis can't be more than 6 because $$$a_i \le 50$$$.
Or another way to prove it, is that the maximum xor you can achieve by only using numbers in the range $$$[0; 50]$$$ is $$$63$$$, and the minimum one is $$$0$$$, so you can have at most $$$64$$$ different numbers. If you have $$$7$$$ numbers such that for every subset its xor is unique, then you will have $$$2^7 = 128$$$ different numbers; that is a contradiction. * If for subsets $$$A, B$$$ their xors are equal, then you can find $$$C = A \, \Delta \, B$$$ (symmetric difference) whose xor is $$$0$$$.
Wow. This is really a great insight and quite useful. Thanks for explaining this.
F is a cool problem
For problem D: "This should mean that it is divisible by at least 15 primes which are greater than 37" Why? This one number can fix many pairs, by it, and the numbers it pairs with, all having 41 (say) as a prime divisor. The argument can be made to work, but what is written is I think wrong. Please clarify.
If a prime is greater than the length of the segment (for example, $$$30$$$), there is at most one number in the segment that is divisible by it. So, if a number appears in $$$15$$$ or more pairs that are not fixed by primes less than $$$30$$$, every such pair should be "fixed" by a separate prime.
Oh, cause it's greater than the length. I see. Thanks.
awoo Ferume BledDest
In problem G you said that : Unfortunately, it is practically impossible to fit this within time limits, so let's try to improve the solution.
But when I submit this solution with B=1300, it has got an accepted with time 7700ms
https://codeforces.net/contest/2043/submission/298343933
If it should get a TLE, try to add some big tests that makes B=1300 worst.
Hacked
I guess it's quite difficult to make a set of test data that TLEs all possible choices of $$$B$$$, so $$$O((n + q) n^{\frac{2}{3}})$$$ solutions can get accepted, although they can then be hacked (including all but one of the in-contest submissions lol)
The lucky man who chooses 1300 in the in-contest :))
Thx for the hack :)
For problem $$$D$$$, I miscalculated that if we consider all possible pairs of integers from intervals $$$[l,l+10)$$$ and $$$(r−10,r]$$$, we will find at least one coprime pair. But, the problem passed the system tests. Can anyone prove it or uphack the solution?
Submission — 298478051
Iirc https://codeforces.net/blog/entry/137682?#comment-1232017 is currently the strongest hack, not sure if anyone has managed to find something stronger than this yet.
can someone please explain why it is giving tle[submission:https://codeforces.net/contest/2043/submission/298310318]
Nobody has mentioned the following method for Problem E, which was much more intuitive than the graph method for me:
For each binary matrix B, the final move must result in a column of all 1s or a row of all 0s. Therefore, we can go backwards from B to A and ignore all rows and columns once we know there is a later operation that can set it to be accurate in B. This can be done simply by keeping a counter and sum for each row/column.
Submission here: https://codeforces.net/contest/2043/submission/298482881
I am facing a lot difficulty in understanding problem D.
can someone explain it to me.
Problem G appeared in a contest on Luogu 5 years ago, here is the link: P6019 [Ynoi2010] Brodal queue
The problem statement on Luogu is:
1 l r x: for( i = l ; i <= r ; i++ ) a[i] = x;
2 l r: count the number of (i,j) that l<=i<j<=r and a[i]==a[j]
Can someone explain C a little better to me please. I solved D but just cannot understand C.
For an array of only 1 and -1, the range of subarray sums is simply from the minimum sum to the maximum sum, as the sum changes incrementally by +1 or -1.
When the array contains x, the subarrays to the left and right of x consist only of 1 and -1. We calculate the range of sums for these subarrays independently. Since both ranges intersect at 0, the combined range will span from the minimum of the minimum sums to the maximum of the maximum sums.
To determine the range for segments that include x, start from x and move outward to the left and right, summing the values as you go. As you move, x will increment or decrement by 1 at each step, eventually reaching its maximum and minimum contributions.
So range is : Minimum Sum: min_prefix + min_suffix + x, Maximum Sum: max_suffix + max_prefix + x.
Thank you so much!!
I noticed that in test case 2 of Problem C that the test case
is repeated many, many times. It seems there is an error in the test case, as I would assume it was meant to iterate through several cases. Most notably the tests during the contest miss a notable class of test cases such as 1 -1, -1 1, 1 1 -1, -1 -1 1, 1 -1 1, -1 1 -1, etc., and I am aware that test 2 is meant to iterate through such small cases, not repeat the same case repeatedly.
Specifically, this is the class of test cases of 1s and -1s whose prefix sums are always >= or <= 0. This mistake cost me and other contestants since our incorrect solutions passed during contest. Can a writer please address this?
Problem with a similar approach to the C problem: 1695C. Zero Path
Another one: ARC137B. Count 1's
Can someone please give me a hint for Problem C: Sums on Segments?
I just need a hint to start thinking in the right direction. I tried solving it before. but it giving TLE.
https://codeforces.net/contest/2043/submission/298498396 what is wrong in this thinking?
In A.
Why this doesn't work. (ll)pow(2LL,(ll)(floor)(0.5*log2(n)))
It is also doing 2 to the power of floor of log4(n)
Floating point values are imprecise (especially if they are big). You can easily experiment that
returns 60, while $$$\lfloor \log_2(2^{60} - 1) \rfloor = 59$$$.
The takeaway is: don't use floating points, and stick to integers (unless floating point values are really necessary).
In solution for f, shouldn't the condition
$$$if (dp[i][val][fl].cnt > 0)$$$
instead be $$$if(dp[i][val][fl].cnt >= 0)$$$??
As we are modding and that may cause cnt to be zero.
Edit : Now they fixed it
For problem G, the input format requires us to solve the query in an online way. May I know how to solve it in an offline way?
I think it's possible to do it with 3d Mo
After reading some blogs, I read that 3D Mo works in $$$O((N + Q) \cdot N^{\frac{2}{3}})$$$, which is slower than $$$O((N + Q) \cdot N^{\frac{1}{2}})$$$ author's solution. Is there any offline solution that works faster than the author's online solution?
In problem F, I use long long to store the number of ways, and get a TLE.
Can somebody explain why this fails? 298283845
Adding even digits (except 0 ) to B would have made the problem much more elegant.
BTW for people who don't know, a number is divisible by 2 if the last digit is divisible by 2
a number is divisible by 4 if the concatenation of the last two digits ( with leading zeros if less than two digits) is divisible by 4
a number is divisible by 8 if the concatenation of the last three digits ( with leading zeros if less than three digits) is divisible by 8
a number is divisible by 6 if it is divisible by 2 and 3 ( sum of digits is divisible by three and the last digit is even).
Can someone give me advice to solve problem G in $$$O((n+q)\sqrt n\log(\sqrt n))$$$ or it is impossible, thanks.
298614069
It's possible, check out the only solution in the contest time. The actual solution only improves the time of updates and queries in the $$$blocks$$$ array.
OK, thanks, may be my solution get TL becasue the too big constant.
If you do block decomposition of size $$$O(n^{1/4})$$$ on the $$$blocks$$$ array, you could also attain $$$O(1)$$$ update and $$$O(sqrt(n))$$$ query complexity. I think it's more intuitive, but it seems a bit slower.
Oh, this function runs because there are at most $$$\sqrt(n)$$$ different numbers in one block, isn't it?
Hello everyone. I am not able to fully understand solution for problem E (Matrix Transformation). In the binary matrix of A and B, if a bit is not matched then operations must be performed on A(Row or column) to get the matrix equal to B and if it changes anything else then an operation must also be performed to change it back. But how that results in a directed graph of operations which results the answer?
One way I thought was to perform operation for every row or column in place and take the operation and then when I go ahead(left top corner to right bottom simple matrix travel) if I find any unequal again, then again make the operation but here the previous values may also change then how we think from here?
After the graph is constructed, I am fine with topological part, that is simple.
Damn easy problem. Feels kind of stupid. Here is a documented code.
thanks for the clean implementation !
just one doubt in your code, you are detecting cycle for each unmatched value and detecting cycle is o(n*m) and unmatched row and col could be max( n, m ) so the complexity would be o ( n m * max(n,m) k * t) right? (k is log 1e9 =9 30 ,t = testcases)
my bad of each k , checking cycle is just n*m
for 2043E - Matrix Transformation can anyone explain why a solution like 298348918 works?
I mean why doing the operation 30 times is enough? my submission was the same but the loop runs min(n,m)+1 times
2043D — Problem about GCD
Upon request, I wrote a proof for the following fact.
Given $$$R - L \geq 21$$$ and $$$1 \leq L \leq R \leq 10^{18}$$$, there exists $$$(x, y)$$$ such that $$$L \leq x, y \leq R$$$, $$$\gcd(x, y) = 1$$$, and $$$R - L - 21 \leq y - x \leq R - L$$$.
https://atcoder.jp/contests/arc137/editorial/11700
Can someone figure out what error I'm making over here for C problem Here is the submission link https://codeforces.net/contest/2043/submission/298358310
Hope you found it. I can see you have accepted solution of C problem :)
Why is problem F so easy :( :( :(, I just spent about 5 minutes to think, but in the original contest, I did not read this :(
Resuming Codeforces after a couple of years,
my python solution for 2043E — Matrix Transformation is giving TLE in test case 2 and time limit is just 1 second for pypy and python. Should I shift to C++ for codeforces?
Can anyone debug my code on problem E? I kept TLE on test 3 and I discovered that a lot of people TLE3 changed their solution at last but I don't want to change my solution
E has a (in my opinion) simpler solution.
As mentioned in the editorial, consider the case when $$$A_{i,j}, B_{i,j} \in \{0, 1\}$$$.
Observation 1: If a row of $$$B$$$ is all 0s, then we can disregard that row (and the corresponding row in $$$A$$$) and solve the problem for the remaining sub-matrix. This is because we can reserve the last operation in our final sequence of operations to update that row, after we have dealt with the rest of the matrix. Same observation holds if a column of $$$B$$$ is all 1s.
Observation 2: Suppose no row of $$$B$$$ is all 0s, and no column of $$$B$$$ is all 1s. Then, the answer is true if an only if $$$A=B$$$. This is because any non-empty sequence of operations will end up with a matrix that either has at least one row of all 0s (if the last operation was a row update) or at least one column of all 1s (if the last operation was a column update)
With these two observations in mind, we have the following pseudo-code
To actually implement it, you can just maintain two sets/priority queues — one for rows (sorted by the number of 0s in the row) and one for columns (sorted by the number of 1s in the column). Also maintain
rows_deleted
andcolumns_deleted
. Then, in the loop, you just need to check if the top member of the set/priority queue for rows hasm-columns_deleted
elements (and if the top member of the set/priority queue for columns hasn-rows_deleted
elements). The complexity isO(log(A)(nm + (n+m)log(n+m)))
Here is my submission: 299025009
You can also get rid of the extra log(n+m) factor by maintaining count arrays instead of sorting, since the values are very small in this case
In problem E, I mistakenly reversed the edges of graph(kind of a transpose of graph). Then the test case failed. But, for a directed graph, even if the edges are reversed, it should not affect cyclicality of the graph. ~~~~~ Your code here... bool check(int idx){
}
~~~~~
I even tried using cols[j]=0 instead of rows[i]=0 and the vice-versa. Can you give a test case? I had thoughts on the lines like n!=m. Please help
https://codeforces.net/contest/2043/submission/299169457
My solution for 2043F — Nim:
- 'The maximum number of piles that can remove' means 'The minimum number of piles that can keep'
- Due to 0<=a[i]<=50, we can use prefix sum to count the elements between l and r
- If there is 0 in the elements, there are count[0] number of ways
- If there is any elements that occurs at least twice, the minimum number of piles that can keep are 2
- Else now each elements occurs at most 1, count the minimum number of piles to reach 0 and the number of ways for that:
can someone explain the solution of E more intuitively the graph idea
For problem D, it is mentioned that the problem for each testcase can be solved in K^2*log(A), where K is the number of numbers we check from L and R, and A is the bound on the numbers(for gcd). It has also been shown that the bounds for K are <=40. But then number of operations per testcase is 40*40*log(1e18) = 95671.52913 operations. Multiplying by the maximum number of testcases(1000) the overall number of operations should be 95671.52913*1000 = approximately 9.6*1e7 operations. The rule of thumb I know is that 1e8 operations take 1s, and we are not doing simple operations in the code since we use modulo(%), which takes more time, to compute gcd. So, even after the rigorous proof, it seems that the solution will barely pass the 1s time limit. This does not seem like a good solution and that the only reason solutions of this form passed was because the testcases were not that stringent.
for problem
2043D - Problem about GCD
The idea mentioned in this problem , is it really common ?
any source from where I can learn more of these Number theory facts with some proofs?