[Unofficial] Editorial — Google APAC 2017 Round B

Revision en1, by VastoLorde95, 2016-09-01 11:22:33

I am unable to use Tex for some reason and will format the blog later.

Problem A. Sherlock and Parentheses

Category: Ad-Hoc, Math, Greedy

Let's define n = min(L,R). Then the claim is that the sequence "()()...()" consisting of n pairs of "()" will give us the maximum answer.


Let's look at some sequence T = (S) where S is also a balanced parenthesis sequence of length m. Let's denote by X(S), the number of sub-strings of S that are also balanced and by X'(S) the number of balanced parenthesis sub-strings that include the first and last characters of S (In fact this will be just 1). Then X(T) = X(S) + X'(S).

It should be easy to prove that X'(S) <= X(S) (simply because X'(S) is a constrained version of X(S))

If we rearrange our sequence T to make another sequence T' = "S()", then X(T') >= X(S) + X'(S). The greater than equal to sign comes because we might have balanced sub-strings consisting of a suffix of S and the final pair of brackets.

Since X(S) >= X'(S), we have that X(T') >= X(S) + X'(S) = X(T). Thus by rearranging the sequence in this manner, we will never perform worse. If we keep applying this operation on each string, we will finally end up with a sequence of the form "()()...()" possibly followed by non-zero number of "(" or ")"

Tags apac, 2017, google, editorial


  Rev. Lang. By When Δ Comment
en13 English VastoLorde95 2016-10-05 10:51:09 4
en12 English VastoLorde95 2016-10-05 10:49:39 1154 Tiny change: 'um answer n*(n+1) / 2\n\n**' -
en11 English VastoLorde95 2016-09-02 15:10:18 102 Tiny change: 'um answer n*(n+1) / 2\n\n**Proo' -
en10 English VastoLorde95 2016-09-01 20:40:27 0 (published)
en9 English VastoLorde95 2016-09-01 18:15:55 0 Tiny change: 'um answer n*(n+1) / 2\n\n**Proo' - (saved to drafts)
en8 English VastoLorde95 2016-09-01 15:42:14 0 Tiny change: 'equence $($$)$$($$)$$\' -
en7 English VastoLorde95 2016-09-01 13:42:39 44 (published)
en6 English VastoLorde95 2016-09-01 13:41:26 68 (published)
en5 English VastoLorde95 2016-09-01 13:39:03 2284 Tiny change: '_f(n) += (sum over all p' f(p') + 1' - (published)
en4 English VastoLorde95 2016-09-01 13:17:42 4402 Tiny change: '========\n' -
en3 English VastoLorde95 2016-09-01 12:32:42 1267 Tiny change: 'bservation. If i ^ a mod ' -
en2 English VastoLorde95 2016-09-01 12:22:19 1466 Tiny change: 'later.\n\n\n[Probl' -
en1 English VastoLorde95 2016-09-01 11:22:33 1439 Initial revision (saved to drafts)