CF1728F Fishermen
Description
There are $ n $ fishermen who have just returned from a fishing trip. The $ i $ -th fisherman has caught a fish of size $ a_i $ .
The fishermen will choose some order in which they are going to tell the size of the fish they caught (the order is just a permutation of size $ n $ ). However, they are not entirely honest, and they may "increase" the size of the fish they have caught.
Formally, suppose the chosen order of the fishermen is $ [p_1, p_2, p_3, \dots, p_n] $ . Let $ b_i $ be the value which the $ i $ -th fisherman in the order will tell to the other fishermen. The values $ b_i $ are chosen as follows:
- the first fisherman in the order just honestly tells the actual size of the fish he has caught, so $ b_1 = a_{p_1} $ ;
- every other fisherman wants to tell a value that is strictly greater than the value told by the previous fisherman, and is divisible by the size of the fish that the fisherman has caught. So, for $ i > 1 $ , $ b_i $ is the smallest integer that is both strictly greater than $ b_{i-1} $ and divisible by $ a_{p_i} $ .
For example, let $ n = 7 $ , $ a = [1, 8, 2, 3, 2, 2, 3] $ . If the chosen order is $ p = [1, 6, 7, 5, 3, 2, 4] $ , then:
- $ b_1 = a_{p_1} = 1 $ ;
- $ b_2 $ is the smallest integer divisible by $ 2 $ and greater than $ 1 $ , which is $ 2 $ ;
- $ b_3 $ is the smallest integer divisible by $ 3 $ and greater than $ 2 $ , which is $ 3 $ ;
- $ b_4 $ is the smallest integer divisible by $ 2 $ and greater than $ 3 $ , which is $ 4 $ ;
- $ b_5 $ is the smallest integer divisible by $ 2 $ and greater than $ 4 $ , which is $ 6 $ ;
- $ b_6 $ is the smallest integer divisible by $ 8 $ and greater than $ 6 $ , which is $ 8 $ ;
- $ b_7 $ is the smallest integer divisible by $ 3 $ and greater than $ 8 $ , which is $ 9 $ .
You have to choose the order of fishermen in a way that yields the minimum possible $ \sum\limits_{i=1}^{n} b_i $ .
Input Format
N/A
Output Format
N/A