Everule's blog

By Everule, history, 2 months ago, In English

Disclaimer : I just want to highlight some simple techniques used to solve Ad-Hoc tasks.

In my opinion, these are all simple techniques, but a lot of these are used even in much harder problems. I hope these will be helpful to some people.

1: Eliminate obvious cases, and see if you can simplify the problem.

Question

https://codeforces.com/problemset/problem/1446/A

Solution

How do we get to the solution here.

We eliminate any weight >w, as that is useless. We can use any weight s that is w/2 < s < w. Therefore, we essentially need to solve only for small weights. Now it is easy to see you wont "jump" over the range.

2: Ignore unnecessary information, and use it to draw the problem in new ways.

Question

https://codeforces.com/problemset/problem/1442/B

Solution

Firstly notice, numbers we will not remove are really not different at all. So we can represent them with a .. Let i be the number we will remove in the ith operation.

Now we have something like ..2...1..4..3.... This is just to illustrate our transformation.

Now notice, that .i. will give .. no matter which side you choose. Notice that i is now removable. So now its obvious to see that operations are independent.

3: Making obvious lower and upper bounds, and proving they are constructible.

Question

https://codeforces.com/problemset/problem/1436/D

Solution

Consider the fact that if there are $$$A_i$$$ people in the subtree of $$$i$$$, they will all be distributed among the leaves in the subtree equally at best. So its clear, that the answer must be at least $$$\lceil A_i / Leaves_i \rceil$$$.

Now notice that if the answer for all the subtrees of some node's children was lesser, then we can easily distribute the new people among the leaves equally.

If its not, we can still assign greedily to the leaf with the least people, and it cannot exceed the maximum, because that would imply that the minimum is $$$ \ge\lceil A_i / Leaves_i \rceil$$$, which is not possible, because that would mean all the people are used up.

4: Finding invariants

Question

https://codeforces.com/problemset/problem/1438/D

Solution

When you set all 3 to $$$a_i \oplus a_j \oplus a_k$$$, notice that the xor of the full array is an invariant. This tells us that it is impossible to make all elements equal in an even length array if the xor of the full array is not 0.

There is another Ad-Hoc observation required to complete the construction.

Full solution

Notice that if $$$A_j = A_k$$$, its essentially setting the values of them to $$$A_i$$$ when you do the operation. So if we make equal pairs, we can easily solve in floor(n/2) moves. Making equal pairs is also really easy. Just do operations with all pairs with a pivot element. Clearly this will work only in an odd length array.

This proves we can construct the solution for any odd length array. Now notice that if the xor of an even length array is 0, and we make the first n-1 are equal, that means that the last element will automatically be equal, because xor of the array will remain 0.

5 : Define something that cannot change much.

Question

https://codeforces.com/contest/1437/problem/B

Solution

Lets think of the string like links 1 — 0 — 1 — 1 — 0 — 0 — 0 — 1. We dont want any 0 — 0 link, or 1 — 1 link.

Reversing a substring breaks and creates at most 2 links. if both the ends of the substring is the same, then the number of 0-0 and 1-1 links remains the same.

I just want to clarify, that this alone does not prove that it is never optimal to do this, just that it doesn't reduce our measure.

We can also show that the number of such links is reduced by at most 2, and that is done by choosing some 0 — 0 link and some 1 — 1 link.

So a lower bound on the answer is the number of bad links/2.

So now we want a 1 — 1 and 0 — 0 link.

Now the problem is, this doesn't always exist on a string such as "1001". That means that this solution is incorrect.

Notice that the last and first characters must also be different. Lets redefine our formation and include that link. Now each 0 and 1 has 2 links, so if there is 1 — 1 link, there is a 0 — 0 link matching with it.

So now the lower bound is bad links/2, and this time we can also construct it. And therefore this is the answer.

Question that uses many of these

https://codeforces.com/contest/1408/problem/B

Solution

Step 1 : Rewrite the operation as subtract the values of b from a

Step 2 : Eliminate the obvious : 2 consecutive equal elements can have the same operations performed on them to get 0 so we only care about distinct elements.

Step 3 : If we subtract too much, then the array may get unsorted, then its impossible to write it as the sum of sorted arrays, so make sure to not do that.

Step 4 : Now notice every place where we increase the value of B, can make at most 2 values equal, so we can reduce the number of distinct elements by at most k-1. We can always do this easily.

Step 5 : We need distinct elements to be 1. If we manage to do that, then we can just add that values to all elements of an operation, to not add extra moves, So they are equivalent if you do a move.

Lets redefine n to be the number of distinct elements. if n == 1, then we need one move. if k==1 and n!=1 then it is impossible. if k!=1, then answer is ceil(n-1/k-1).

 
 
 
 
  • Vote: I like it
  • +250
  • Vote: I do not like it

»
2 months ago, # |
  Vote: I like it +1 Vote: I do not like it

What's Ad-Hoc tasks?

  • »
    »
    2 months ago, # ^ |
      Vote: I like it +26 Vote: I do not like it

    An Ad-Hoc task is something that doesn't fit into any specific topic. These are questions whose solution you have to come up with completely by yourself.

    • »
      »
      »
      2 months ago, # ^ |
        Vote: I like it +8 Vote: I do not like it

      Ad-Hoc seems like a abbreviation,is it?

      • »
        »
        »
        »
        2 months ago, # ^ |
          Vote: I like it +8 Vote: I do not like it

        Ad-Hoc is actually a Latin phrase, that means "to this"

        Google phrases it better :

        In English, it generally signifies a solution designed for a specific problem or task, non-generalizable, and not intended to be adapted to other purposes.

»
2 months ago, # |
  Vote: I like it +8 Vote: I do not like it

great post with perfect examples.

»
2 months ago, # |
  Vote: I like it +8 Vote: I do not like it

omg thank you for this everule <3

I hope you reach LGM soon!

»
2 months ago, # |
Rev. 2   Vote: I like it +28 Vote: I do not like it

Nice blog!

Suggestion: Try to include the abridged problem statement within the blog for uninterrupted readability.

  • »
    »
    2 months ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    I'm OK without the abridged problem statements, because part of the skill is reading the problem statement and understanding the core idea (and especially people who read this blog because they struggle with As and Bs can probably benefit from practicing this skill).

    I would say there's no reason to put the problem link in a spoiler block, though, since it's only 1 word/line anyway.

    • »
      »
      »
      2 months ago, # ^ |
        Vote: I like it 0 Vote: I do not like it

      I just meant it in the sense that it's a little inconvenient to switch tabs repeatedly while reading a blog.

      And yes I agree that there was no reason to put it in the spoiler block, but I didn't point it out because it's not a big issue anyway.

»
2 months ago, # |
Rev. 2   Vote: I like it +17 Vote: I do not like it

I think instead of "question", "problem" or "task" are more appropriate here.

»
2 months ago, # |
  Vote: I like it +11 Vote: I do not like it

Thanks for sharing the resource. I will try to use these methods!

»
2 months ago, # |
  Vote: I like it +21 Vote: I do not like it

Congrats on reaching red! That was fast! orz