obocheton's blog

By obocheton, history, 3 years ago, In English

I was trying this problem CSES 1084.

I greedily choose the lowest sized valid apartment for every applicant (sorted both lists ascendingly).

But it turns out to be a wrong approach.

Why my approach is wrong?

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

| Write comment?
»
3 years ago, # |
  Vote: I like it +1 Vote: I do not like it

Inserting the apartment sizes into the set may remove some apartments with the same size. Try using a multiset or a regular vector

»
3 years ago, # |
Rev. 3   Vote: I like it +1 Vote: I do not like it

There can be multiple apartments with same size so instead of using set use multiset. And use inbuilt lowerbound function of set as thats faster .And to remove only one element from the multiset use s.erase(it) instead of s.erase(*it) as the later will remove all occurrences of *it.

Spoiler
  • »
    »
    3 years ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    Thanks. I was searching for this one. Your code was helpful for me.

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

    I am still getting tle bruh!`

    my soln

    Can you help me out?

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

    Same solution But get tle . So, much tight bounds in simple problem . https://cses.fi/paste/f28396ef9920770e4c50e2/

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

The algorithm is obvious to guess. The proof that it works is a little tricky.

Assume that it's true for $$$n \ge 1$$$ people. We'll show that it's true for $$$n+1\ge 2$$$ people.

Let the $$$n+1$$$ people be $$$p_1,\dots,p_{n+1}$$$ and let the $$$m$$$ apartments be $$$a_1,\dots,a_m$$$. Let the configuration of the $$$n+1$$$ people be $$$C = {(p_{i_1}, a_{j_1}),\dots, (p_{i_{|C|}}, a_{j_{|C|}})}$$$. We'll also assume that each $$$p$$$ s and $$$a$$$ s is distinct. We basically want to maximize $$$|C|$$$.

Let $$$C'$$$ be a configuration such that $$$|C'|$$$ is maximal. Note that $$$C'$$$ isn't necessarily the greedy algorithm, however, the greedy algorithm always gives $$$|C'|$$$.

If $$$|C'| = 1$$$, the greedy algorithm obviously works.

Otherwise $$$|C'| \ge 2$$$ and we let $$$p_{min}$$$ and $$$p_{max}$$$ be the minimum value of $$$p$$$ and the maximum value of $$$p$$$ in $$$C'$$$. Let the corresponding $$$a$$$ s be $$$(p_{min},a_0)$$$ and $$$(p_{max}, a_1)$$$. With respect to $$$(p_{max}, a_1)$$$, the other $$$n$$$ people can be greedy (such that $$$|C'|$$$ is still the same) and thus $$$(p_{min},a_0)$$$ is greedy. Similarly, with respect to $$$(p_{min},a_0)$$$, the other $$$n$$$ people can be greedy (such that $$$|C'|$$$ is still the same). And thus the greedy algorithm for $$$n+1$$$ people gives $$$|C'|$$$.