Atcoder Beginner Contest 143 — Unofficial English Editorial

Revision en2, by AnandOza, 2019-10-19 17:09:26

Hi all, Atcoder Beginner Contest 143 was today. I wrote an unofficial English editorial. Hope it helps!

### A: Curtain

The curtains can cover a maximum of $2B$. So either they don't cover the whole window and the remainder is $A-2B$, or they do and the remainder is $0$. So the answer is $\max(0, A-2B)$.

Runtime: $\mathcal{O}(N)$.

Sample code

### B: TAKOYAKI FESTIVAL 2019

We can simply loop through every pair (taking care not to double count) and add the health points restored.

Runtime: $\mathcal{O}(N^2)$.

Sample code

### C: Slimes

We have to count the number of "runs" of consecutive slimes of the same color. We can do this by looping through the array and checking whether the current slime continues the run, then incrementing our answer when we reach the end of a run.

Runtime: $\mathcal{O}(N)$.

Sample code

### D: Triangles

The total number of (unordered) triples of sticks is $\binom{n}{3} = n(n-1)(n-2)/6$. I think it's simplest to count the number of triples that cannot form a triangle, and subtract them. Let's first sort the input array, so if we have a triple $(i,j,k)$ with $i < j < k$, we also know $L_i \le L_j \le L_k$.

Then, we can loop through all pairs $(i,j)$ and determine how many values of $k$ make an invalid triple (but still maintaining $i<j<k$). Note that because we picked the two smaller sticks of our triple, we know the only possible disqualifying condition is $L_k \ge L_i + L_j$. We can find the smallest such value of $k$ using binary search, and then subtract $n-k$ from our answer.

Runtime: $\mathcal{O}(N^2 \log N)$.

Sample code

### E: Travel by Car

First, observe that any path that has $K$ refills can be split into $K+1$ paths, each of which can be completed (starting with a full tank of gas) without refilling.

So, we can begin by finding all pairs of cities that can be traveled between on a full tank of gas without refilling. To do this, we can find the shortest path between all pairs of cities (for example, using Floyd-Warshall). Then, we build a new adjacency matrix for these paths, where two cities with distance $\le L$ have an edge of cost $1$, and two cities with distance $> L$ have no edge (or an edge with cost $\infty$). Then we compute the shortest path between all pairs using this new adjacency matrix, which tells us the minimum number of segments a valid path in the original graph can be broken into.

Then, given a query $(s,t)$, we simply find the distance in the new shortest-paths matrix and subtract $1$, and we have our answer (or print $-1$ if it's unreachable). We have to remember to subtract $1$ because it takes $K$ refills for a path of $K+1$ segments (or equivalently, the first tank of gas is free).

Runtime: $\mathcal{O}(N^3)$.

Sample code

### F: Distinct Numbers

The key observation is that if you pick $M$ distinct numbers and remove all instances of them, and you have $S$ total numbers left, the maximum number of operations you can do is bounded above by $S/(K-M)$. Then, note that picking the $M$ most frequent distinct numbers gives the tightest bound (so instead of all subsets, we need to consider a lot less stuff).

So, we can count the instances of each number, so we end up with an array $C$ containing these frequencies. We can sort these frequencies, then for each value of $M$, compute the number of remaining numbers after we remove all instances of the top $M$ (let's call this $S_M$).

The function $f_K(M) = \frac{S_M}{K-M}$ is first decreasing, then increasing, so we can find its minimum by binary searching to find the first $M$ for which it increases. This gives us the tightest bound available. Once we do that, we simply need to check against the simple bound $N/K$ and return our answer.

Runtime: $\mathcal{O}(N \log {N})$.

Sample code

You can see my submissions here as well, if you prefer that to reading the code in the blog.

Thanks for reading! Let me know if you have any questions or feedback for me. abc,

#### History

Revisions Rev. Lang. By When Δ Comment
en4 AnandOza 2019-10-21 07:50:40 464 added O(N) solution by Tejs for B
en3 AnandOza 2019-10-19 17:12:46 2 fixed runtime on A
en2 AnandOza 2019-10-19 17:09:26 6884 (published)
en1 AnandOza 2019-10-19 16:33:11 2669 Initial revision (saved to drafts)