公式
If $A_i \not\equiv -A_i \pmod K$, then elements with the same value modulo $K$ cannot be swapped with each other, so their relative order is preserved.
コンテスト全体の解説 by evima
HintsA - Unusual-Constraint Knapsack
Hint 1
This is an ordinary knapsack problem with the special constraint $\sum_{j=1}^{i-1}{w_j}\lt w_i$. Think about how to make use of this.Hint 2
Try deciding whether to choose item $i$ in the order $i = N, N-1, \dots, 1$.Hint 3
(Although impossible under the constraints,) if $W \lt w_N$, item $N$ cannot be chosen. When $w_N \leq W$, think about what happens in each of the two cases: choosing item $N$ and not choosing it.Hint 4
If we choose it, the remaining weight becomes $W - w_N$, and we proceed to decide whether to choose item $N-1$. What happens if we do not choose it?Hint 5
If we do not choose item $N$, then by the constraint we can choose all other items, and the search can be terminated here. Use this property to think about the time complexity.B - Valid Arrays by K-Divisible Swaps
Hint 1
For various values of $K$, write out the pairs of values $\pmod K$ that can be swapped.Hint 2
It can be seen that before and after an operation, each element is multiplied by $1$ or $-1$ modulo $K$.Hint 3
If $A_i \not\equiv \pm A_{i+1} \pmod K$ initially, then no operation swapping $A_i$ and $A_{i+1}$ will ever be performed. Thus, we can split the sequence at such positions and multiply the counts for the subsequences.Hint 4
Consider cases based on whether $A_i \equiv -A_i \pmod K$. For each case, think about what conditions must be satisfied for a rearrangement to be possible.Hint 5
If $A_i \equiv -A_i \pmod K$, then the elements within the split subsequence can be freely rearranged.If $A_i \not\equiv -A_i \pmod K$, then elements with the same value modulo $K$ cannot be swapped with each other, so their relative order is preserved.
C - Whole Product of Pairwise Distances
Hint 1
In problems asking for a remainder after division, the modulus is often a prime such as $998244353$ or $10^9+7$, but here it is $N$. Think about what difference this makes.Hint 2
What happens if there exist two values among $A_1, A_2, \dots, A_N$ that have the same remainder when divided by $N$?Hint 3
It suffices to handle the case where each of $0, 1, 2, \dots, N-1$ appears exactly once modulo $N$ (otherwise the answer is $0$). Since the original expression contains absolute values, naively reducing each $A_i$ modulo $N$ changes the answer. How should we handle this?Hint 4
If we sort $A$ and think of computing $\prod_{1 \leq i \lt j \leq N}{(A_j - A_i)}$, then replacing each element of $A$ by its value modulo $N$ does not change the answer. As the simplest case, consider $A_i = i - 1\;(i = 1, 2, \dots, N)$. How can the answer be computed in this case?Hint 5
When $A$ is a permutation of $(0, 1, 2, \dots, N-1)$, what does $\prod_{1 \leq i \lt j \leq N}{(A_j - A_i)}$ equal? Think about how this differs from the simple case in Hint 4.D - Xpectation of Cards in Hand with Laboratory
Hint 1
Let $a$ and $b$ be the number of draw cards and normal cards drawn so far. Express the condition for the operations to terminate as a formula.Hint 2
Think of paths on a grid where draw cards are replaced by rightward steps and normal cards by upward steps.Hint 3
Reformulating in terms of paths, the number of vertices where the operations can possibly terminate is $O(A + B)$.Hint 4
For each vertex, think about the condition under which the operations terminate there.Hint 5
The condition differs slightly depending on whether the deck is empty or not when the operations terminate.E - Yin-Yang Two Bits Insertion
Hint 1
If we represent the sequence by the XOR of adjacent elements, what transformation does the operation correspond to?Hint 2
$0$ is transformed to $101$, and $1$ is transformed to $111$. The original sequence and the transformed sequence have unchanged first and last elements; think about what other invariants exist.Hint 3
The number of $0$s in the adjacent-XOR sequence is invariant. So, reformulate by splitting at $0$s and listing the number of $1$s in each segment. What transformation does the operation correspond to in this reformulation?Hint 4
The operation corresponds to:- Add $1$ to two adjacent terms.
- Add $2$ to a term that is at least $1$.