Hi. I'm back from USA!
I will do a new lecture tomorrow (Thursday) at 2pm CEST on my Youtube channel: https://www.youtube.com/watch?v=7hFWrKa6yRM. Watch me live (and ask questions), or just watch the video later. This will be part 1, and I will do part 2 in a few days (maybe Tuesday).
UPDATE — part 2 is coming on Thursday, same time. Link: https://www.youtube.com/watch?v=gXxu-Cr4b4c.
There are no prerequisites this time. I recommend reading the materials below in advance, and trying to solve problems 1 and 5. If you are strong, just read problems and see if you can't solve something (maybe problem 8?).
Technique "Exchange Arguments"
If we're given n items and we should choose some of them and choose their order, we should sort them with some strange/tricky comparator, and then do O(N2) dynamic programming. The dp should be dp[pref][used] — best possible result (balance) if we chose used items so far (in the prefix pref).
"Strange/tricky comparator" checks which of the two elements should be earlier, usually just solving the problem for N = 2. Alternatively: given two adjacent elements, when is it good to swap them?
Bad comparators
Not every comparator is valid, e.g. return A.first < B.second is not. A comparator is fine if it defines the order.
Warning
Not all problems use the described technique. I think it's a good lesson to see some similar problems and understand when it's possible to use some algo/technique.
Problems
Boxes (link to Polish judge) There are n (n ≤ 2000) boxes, i-th with weight wi and strength/durability si. You can choose some subset of boxes and rearrange them in any order you like. Find the maximum possible number of boxes in a tower where the strength of a box must be not smaller than the sum of weights of boxes above.
Bonus: n ≤ 105.Hero (Potyczki 2014) Bitor has H health points and he must defeat n (n ≤ 105) monsters. The i-th monster deals di damage, but after death it drops a potion that restores ai hp (hp can be above the initial value). Can Bitor choose the order of fights in such a way that his hp never drops below 0? Print "NO" or "YES" with the order of monsters.
Bonus: n ≤ 2000 and maximize the number of defeated monsters.Farmcraft (POI) You are given a rooted tree with n (n ≤ 105) vertices. You are in the root. Moving along an edge takes 1 minute. You want to visit all vertices and get back to the root as fast as possible, what takes exactly 2·(n - 1) minutes. When we visit vertex v for the first time, the countdown is started there and after av minutes that vertex will be "ready". We want to minimize the moment when all vertices are ready. When will it happen?
Pretty Good Proportion (GCJ 2015 Finals) You are given a binary string of length n (n ≤ 105) and a real value r (0 ≤ r ≤ 1). Find a substring where the ratio of ones is as close to r as possible.
Different taste There are n (n ≤ 105) cookies. The i-th of them gives you ai points if you have it, and bi to your opponent if he has it. Players take a cookie in turns, you start.
Each player maximizes the difference: his_score — opponent_score.
What will be your and opponent's scores if you both play optimally?BearEats (TCO 2015, 3B) Same problem, but your opponent is greedy and he always eats a cookie with the biggest value bi.
Bonus: https://www.hackerearth.com/challenge/competitive/algorithms-india-hacks-2016/approximate/h-bear-and-cookies-2/.Coins (Polish Junior Olympiad) There are n (n ≤ 105) stacks of coins, each with two coins. You are given the value of each of 2·n coins (positive values).
You are also given an integer k (k ≤ 2·n). What is the maximum possible value of k coins taken from the top? (If you want to take the bottom of two coins, you must also take the top one.)Parentheses You are given a sequence of strings, each consisting of characters '(' and ')' only. The total length doesn't exceed 105.
You can reorder the strings and remove some characters. The remaining concatenated string must be abalanced parentheses string (TODO, how is this called?)correct bracket sequence. What is its maximum possible length?Concatenation You are given a sequence of n (n ≤ 105) numbers (ti ≤ 109). Order them in such a way that their concatenation is maximized.
Bonus: SumCards from TCO 2018, Poland round.
See my Youtube channel (link) for more videos on algos and CP, and my Facebook page https://fb.com/errichto for some shorter posts, news, problems.
Isn't it called "exchange argument"?
?
It is the name of the technique "sort by a comparator which says if it's good to swap two elements if the others remain on their places"
Oh, ok. I've never heard this name and I'm perfectly fine with changing the title if someone confirms this. Thanks!
Yeah, I think many people call it "Exchange Arguments" like this video of Algorithms Live looking forward to your next video.
Ok, I've changed the titles. Thank you both!
What is the original title of this post?
“Exchange argument” refers to the way correctness is usually proved for this type of approach. Suppose for contradiction that an optimal selection A of items a1, a2, ..., ak is not ordered according to the comparator. Then there exists i such that item ai compares greater than item ai + 1. If we can prove that two such elements may be exchanged without worsening the selection, we can repeatedly exchange adjacent misordered elements until we construct (and therefore prove the existence of) an optimal selection in which all of the items are sorted according to the comparator.
I can add some problems:
100113K - The Merry Student Life During the Term...
101149B - No Time for Dragons
100971I - Deadline — harder than two previous
100026J - Annihilate the Beetles — one more
LOL, there are Russian names in the English version of the site. Looks like a CF bug. Problems have English statements, don't worry.
Could you share a hint on how to sort 2 subtrees on Annihilate the Beetles problem?
In problem 100971I — Deadline, my solution:
I can't find any editorial on the problem; can you give me some hints or check my solution. Thanks
On problem 100113K - The Merry Student Life During the Term..., How can we choose the optimal subjects?
Use exchange argument.
Let's say we swap two elements. Calculate the cost c12 for order ...,1,2,... and the cost c21 for order ...,2,1,... Sort by c12 — c21.
You need to write c12 and c21 on the paper to simplify the difference (eliminate the same terms in the sum).
I tried to solve the problem using exchange argument exactly as you say. But my code got Wrong Answer on tc 6. Are there anything wrong with my approach?
Why can't you stress?
Is there a judge where we can submit the problems?
If you want to submit problems from points 1 and 2 to archive with English statements, here they are:
CODEFESTIVAL 2017 D
ICPC Finals 2016 L
Btw, does anybody have a link to English version of the bonus problem for point 1 (maximize the number of items, n ≤ 105)? I know only one such problem, with statements in Russian only: 100908H - Пицца для вечеринки.
Can you share a hint on how to solve that bonus problem for point 1?
Useful observation: DP is convex (dpi - dpi - 1 ≥ dpi + 1 - dpi)
Oh thanks.
If someone is curious, after that it can be done with a treap that saves differences between consequtive answers. Then because of the above inequality the differences we need to change will be a consequtive part of our treap — bounded above by si (the sum of the differences) and bounded below by wi.
Also I think it should be dpi - dpi - 1 ≤ dpi + 1 - dpi.
There is also a very easy solution to implement (literally 10 lines of code) using a greedy approach: order the pizzas by a[i] + b[i], then iterate in that order, and maintain the optimal answer. When considering a new pizza, always try to add it to the optimal answer. In case you can't add it to the answer (there is a pizza that becomes cold) — discard the pizza with the greatest a[i] from the current answer.
There is a presentation with the analysis (in Russian), last problem. It also describes in detail the solution which uses a treap.
You can check this problem for Point 1 (Bonus) 101806T - Touch The Sky
Quick note: You can actually prove the correctness of the algorithm that meshanya mentioned above by not thinking about it necessarily in a "greedy" way, but by drawing the graph of the convex DP array. The graph consists of a bunch of line segments, so you can store the differences (lengths of the segments) in a set. When you do a DP update, the overall effect is equivalent to adding a line segment to the DP in sorted order and removing the last line segment if it exceeds the maximum box, which turns out to be exactly the "greedy" solution above.
Can you please elaborate on how we arrived at this conclusion? Thanks :D
Edit: Got it
alternative link for the second problem:
https://codeforces.net/gym/101242/problem/L
I can add this problem also 277D.
Is it delayed by an hour?
No. Why do you ask? It's supposed to be at 2pm CEST, so it starts in 20 minutes.
I don't know I saw here and this says it should start at 5.30PM IST which it didn't and youtube showed 60 minutes to go.
Strange. Googling "Poland time zone" gives me "Central European Standard Time (GMT+1)", while googling "CEST time" gives me 2:47pm what certainly is not the current time in Poland. So apparently there are two different CEST's...
It seems to be "Central European Standard Time", your time, and "Central European Summer Time", what google shows to "CEST".
'S' in CEST stands for "Summer", if I'm not mistaken. That's why it's one hour off from your local CET time.
Altruistic Amphibians.
Escape. (Problem 2 on a tree.)
Can you explain or give approach of how to solve first problem?
I think this problem from NWERC 2017 uses this technique: Installing Apps
Solution slides here: http://staff.bath.ac.uk/masjhd/NWERC/news/nwerc2017slides.pdf
Can someone explain why the sort given works?
Pieces of Parentheses
2018-2019 ICPC, NEERC, Northern Eurasia Finals rated or not?
No, but why do you ask here? :P
please tell me an effective way to obtain a rating
do well in a contest
Could you tell if there is a link to submit task 7. And the other tasks (except 1,2 and 4, it is not very hard to find them)
Our junior olympiad doesn't make things easy to find. The author is johnasselta and he says "who knows where you can find it".
I think you should write a brute force and stress test your solution against it.
When is the next stream scheduled? Can't wait to see it!
Thursday, same time (2pm Polish time). As usually, see the countdown in a scheduled video: https://www.youtube.com/watch?v=gXxu-Cr4b4c.
Part 2 starts in four minutes.
I am getting wrong answer in 3rd problem. Can anyone help in finding mistake? [Question link] [Code link]
You don't count sizes of subtrees correctly. I think you only count the number of children.
I corrected it and it passed few more testcase but still not correct fully. Am I missing something? In the subtree size, I am only considering number of edges as it will only be the factor to be dependent on and not the number of nodes. I think this logic is correct.
Write a brute force and compare results on small random tests.
Incase you are still stuck on this question, i found a bug in your code.
Yes your logic is coreect but on line 60 you forgot to add the time to traverse from from u to v. you are only adding the time that will take in subtree v but you need to add the time u->v + v->u time as well
A big fan of your lectures. Thanks for the lectures with such high quality! BTW, when's the next lecture scheduled?
Okay, I solved the first problem by first sorting the boxes according to the sum of their weight and strength (wi + si), and then applying 2D dp. It got AC, but I'm still not sure as why this sorting technique works. The only thing I have in my mind is the greedy fact that the boxes having more strength and more weight should be placed at the bottom. But this seems greedy to me. Can someone provide some kind of proof?
If there's a solution with bad order, you can take two consecutive boxes of bad order and swap them.
Thanks! I got it. :)
For someone who is still curious, I hope this is useful:
The optimal approach is to sort the boxes according to the sum of their weight and strength (Boxes having smaller value of $$$S_i + W_i$$$ will be placed on top of other boxes having greater value of $$$S_i + W_i$$$. We'll call this order as good order), and then use the approach similar to knapsack dp.
Now the question is that whether it is possible to obtain a better answer by not ordering the boxes in good order.
Suppose a better answer exists in which the boxes are not ordered in good order. Then at least two boxes $$$A$$$ and $$$B$$$ will exist in this solution such that $$$B$$$ is placed just on top of $$$A$$$, and they are in bad order (i.e., $$$S_b + W_b > S_a + W_a$$$). Now we'll prove that it is possible to swap these two boxes so that they are in good order and the answer still remains the same. Suppose the sum of weights of all the boxes placed on top of $$$B$$$ is $$$x$$$ (it is okay to not consider the boxes which are below $$$A$$$). Then clearly, $$$S_b \ge x$$$ and $$$S_a \ge W_b + x$$$. Now adding $$$W_a$$$ on both sides in the second equation gives $$$S_a + W_a \ge W_b + x + W_a$$$. Combining this with the above equation gives $$$S_b + W_b > S_a + W_a \ge W_b + x + W_a$$$, which gives $$$S_b + W_b > W_b + x + W_a$$$, which in turn gives $$$S_b > x + W_a$$$. Thus we proved that it is possible to swap boxes $$$A$$$ and $$$B$$$ so that $$$A$$$ is placed just on top of $$$B$$$ so that they are in good order and the answer still remains the same.
Conclusion: The optimal answer that we can get by sorting the boxes in good order, is indeed the optimal answer overall.
P.S. : Let me know if I'm still missing something.
How did you get the intuition to sort by (Si + Wi) ?
A box having more strength than any other box will definitely be able to carry more weight on top of it, so it's better to place it below. At the same time it's wise to put the boxes having less weight at a greater height.
Why is it only equal to (Si + Wi) ? Why can't it be equal to (Si * Wi) as well?
It is not that obvious that in an unordered array there is always a consecutive inversion or back to back inversion.
That is if an array arr is unordered then there always exists
Proof:
I tried to solve the problem 6 (bonus) but didn't manage to come up with the idea once the sorting is done.
I was reading solutions to the problem and found tourist's code (must be logged in to be able to see it) but I still don't get it. Any idea on what he did or hint to solve the problem?
I don't remember the solution perfectly but I think you need these two things:
1) When moving from one group of cookies (i.e. those with the same value b[i]), it's only important how many moves your opponent will still spend in previous group(s). You need dp for that. It's $$$last[k]$$$ in tourist's code, I think.
2) Then, think about what happens even if there is only one group of cookies. You try taking them from biggest a[i] and there is some probability that it's already eaten. What is that probability?
I cannot quite understand why exactly do we need to simplify the equations for comparator functions. Like in 2nd problem, is it wrong if we wrote comparator function as:
return (d1+max(0,d2-a1))<(d2+max(0,d1-a2));
It will work in this problem but might fail somewhere else. How do you know it's correctly defined order? If it isn't then you'll get rte or wa.
Sorry, I couldn't understand it. Like if the original equation doesn't correctly defines order, then how can the simplified version of that work for the purpose?
So do you mean, that we need to simplify it only for the purpose of checking if it defines the order?
Also can you provide any problem where this logic(of directly coming with condition) fails?
Simplification is only to convince yourself that it's correct, it isn't required.
I'm sure that one of problems is this blog will be your counterexample because some easy comparator would be enough for n=2 but we need a more complicated one.
Thank you!!
Problem 5. Is my solution correct?
Sort the cookies by $$$ a_i - b_i $$$ , lets call it $$$ c_i $$$ ( and $$$ c_i \leq c_{i+1} $$$ ), then if $$$ x = c_n - c_{n-1} + c_{ n-2 } - c_{ n-3 } + .... $$$ then my score is $$$x$$$ and my opponent's is $$$-x$$$?
H. Fight Against Monsters
This is very similar to problem 2. Complete The Projects (Hard Version)
EDIT : This problem uses the same ideas as problem 1.
Why in this problem the comparator of exchange argument fails for positive rating changes. but works for negative ones.
Where I can submit these problems solution?
I was trying to submit a solution for the first problem here, Link to Polish Judge, as Errichto gave the link in the first problem. But it seems that no matter what I try, the verdict is RTE and it says Violation of memory protection. Syscall 383 () was called. If I submit an empty file, I get WA, but if I submit a file containing a single scanf and a single printf and nothing else, it still gets a RTE. Is there a particular file we are supposed to read from in this judge?
I had the same issue, then I tried solving the atcoder problem mentioned above and got AC,
link for the similar atcoder problem:
D — Zabuton
Really informative video on Exchange argument proof I found here: https://www.youtube.com/watch?v=5d5tVcUAzJU
Errichto in problem 1, boxes
For me, a bad order means box1 box2 such that box1 cant be placed on box2, but box 2 can be placed on box 1 then swap them i.e w1>=s2 && w2<=s1
From here, how do we proceed to the correct comparator?