Hi Guys,

Hope you enjoyed Round 174. :) I would like to add a few comments on some of the problems, beyond the editorial.

**div 2 A** ****

If you know some math, you can actually solve this problem in (!!!) You can show that the answer is φ (*p* - 1) where φ (*n*) is the number of positive integers *i* less than to *n* with *gcd*(*i*, *n*) = 1. To prove this we first show that there is always at least one primitive root for all primes *p*. (This is a fairly well known result so I won’t prove it here, but you can find many proofs online) So now assume *g* is a primitive root Then, the set {*g*, *g*^{2}, ... *g*^{p - 1}} is congruent to the set {1, 2, ... , *p* - 1}. Furthermore, its not hard to show that *g*^{i} is a primitive root if and only if *gcd*(*i*, *p* - 1) = 1, (try it!) hence our formula φ (*p* - 1). φ (*n*) can be computed by getting the prime factors of *n*, since so this gives us our algorithm. :)

**div 1 D** ****

Here is a full solution to Codeforces #174 div 1 D.

Let ν_{2}(*n*) denote the exponent of the largest power of 2 that divides *n*. For example ν_{2}(5) = 0, ν_{2}(96) = 5. Let *f*(*n*) denote the largest odd factor of *n*.

Note the following formula for sum of arithmetic series:

I claim that the pair (*x*, *y*) is cool if and only if and one of the following is true \begin{enumerate} \item ν_{2}(*x*) + 1 = ν_{2}(*y*) \item ν_{2}(*y*) = 0 \end{enumerate} This can be proven by casework on the number on the parity of *y*.

If *y* is odd, the average term of the arithmetic sequence is an integer, so *f*(*y*) = *y* divides *f*(*x*) and ν_{2}(*y*) = 0.

If *y* is even, the average is of the form .5·*k* where *k* is odd, so so it follows that *y* divides *x* so *f*(*y*) divides *f*(*x*), and furthermore

From this observation it follows that for fixed *a*_{i}, *a*_{j}(*i* < *j*), we can construct a cool sequence *a*_{i} = *b*_{i}, *b*_{i + 1}, ... *b*_{j - 1}, *b*_{j} = *a*_{j} if and only if and either ν_{2}(*a*_{i}) + *j* - *i* = ν_{2}(*a*_{j}) or ν_{2}(*a*_{j}) ≤ *j* - *i* - 1.

Now that we have this observation, we can finish the problem using dynamic programming where the *k*th state is the maximum number of *a*_{i} (*i* ≤ *k*) we can keep so that it is possible to make *a*_{1}, ... *a*_{k} cool. Then the answer is just *n* - *max* (*dp*[1], *dp*[2], ..., *dp*[*n*]).

**div 1 E** ****

Here is a full solution to Codeforces 174 div 1 E. I find this problem beautiful. :)

The first thing to note, is that, if you interpret the problem as a graph, you can compute the answer if you have the degrees (i.e. number of wins) of every cow. Call three cows ``unbalanced’’ if the is one cow that beats the other two. Note that every three cows is either unbalanced or balanced (there are no other configurations of three cows). Thus,

So to count the number of balanced it suffices to count the number of unbalanced. But it is easy to show that so

So now we have reduced the problem to computing the number of wins for each cow. If we do this the dumb way, this is O(MN^2), still way too slow.

Sort the skill levels of the cows (the order of the *s*_{i} doesn’t actually matter). *s*_{1} is lowest skill Now consider an *n* × *n* grid where the *i*th row and *j*th column of the grid is a 1 if the match between cow *i* and cow *j* is flipped. The grid is initially all zeros and Farmer John’s query simply flips a rectangle of the form [*a*, *b*] × [*a*, *b*], and the outdegree (#wins) of cow *i* is just (Number of 1’s in range [1,i — 1]) + (Number of 0’s in range [i + 1, N]) = (Number of 1’s in range [1,i — 1]) + (N — i — (Number of 1’s in range [i + 1, N]))

We can process these queries and compute outdegrees using a sweep line with a seg tree on the interval [1,N]. The seg tree needs to handle queries of the form

Flip all numbers (0->1, 1->0) in a range [

*a*,*b*].Query number of 1’s in a range [

*a*,*b*].

Note that the seg tree needed to handle this is the same seg tree you need for problem ‘lites’ on USACO 2008 Gold http://tjsct.wikidot.com/usaco-nov08-gold.

Once again, thanks for participating!

abacadaea

Thanks a lot for this good editorial.

Some of your latex isn't showing up formatted.

Clarification please for the following line in your editorial:

"...the outdegree (#wins) of cow i is just (Number of 1’s in range [1,i — 1]) + (Number of 0’s in range [i + 1, N]) = (Number of 1’s in range [1,i — 1]) + (N — i — (Number of 1’s in range [i + 1, N]))..."

I had it in my head that it should be the other way around (unless I'm misunderstanding your definitions). This is my reasoning: - There is an edge from cow i to j, i->j, i has outdegree +1, and j has indegree +1, iff cow i wins cow j in a match, with respect to the current configuration - You start off the n x n grid with all 0's (completely unflipped version), meaning that cow i wins cow j for all j<i, and cow i loses to cow j for all i<j. - After you flip a portion of the grid, ie. a square from a to b in both dimensions, you claim that the # of wins for cow i = #1's for all j<i and #0's for all j>i

So, breaking this down into 2 parts with reference from a particular cow i: - #1 for all j<i: now cow j wins cow i (since it's flipped from the original version of 0, which meant that cow i won cow j, since i>j in this case) - #0 for all j>i: original ordering of cow j wins cow i for all j>i applies here

Therefore, what I'm proposing you sum is the opposite: # of wins for cow i = # of out degrees from cow/node i = #0's for all cows j such that j<i + #1's for all cows j such that j>i

Please let me know if this is indeed right, or else clarify my misunderstanding.

Thanks