Axiom Postulates și-a instalat un nou joc și are nevoie de ajutor. Se dă o listă de niveluri, fiecare având o lungime , în secunde, număr natural între și . De asemenea, fiecare nivel are o dificultate, un alt număr natural , cuprins între și . Durata pentru a completa un astfel de nivel este egală cu . Inițial, este egal cu pentru fiecare nivel.
În acest joc, Axiom are posibilitatea de a juca nivelurile în "Practice Mode". Pentru un nivel , durata completării acestuia în "Practice Mode" este egală cu , iar, în urma acesteia, valoarea lui scade cu 3, dar nu poate deveni mai mică decât .
Axiom Postulates se întreabă: dacă poate să se joace în "Practice Mode" de maxim ori, care este durata minimă pentru a completa toate nivelurile.
Date de intrare
Fișierul de intrare gd.in conține, pe prima linie, două numere naturale, și . Pe cea de-a doua linie sunt numere naturale, reprezentând lungimile în secunde ale nivelelor, iar, pe a treia linie, alte numere naturale, reprezentând dificultățile nivelelor.
Date de ieșire
Fișierul de ieșire gd.out conține un singur număr natural, reprezentând durata minimă pentru a completa toate nivelurile.
Restricții și precizări
| # | Puncte | Restricții |
|---|---|---|
| 1 | 20 | |
| 2 | 10 | |
| 3 | 20 | și , pentru orice |
| 4 | 20 | , pentru orice |
| 5 | 30 | Fără restricții suplimentare |
Exemplul 1
gd.in
4 0
100 200 50 70
1 2 5 2
gd.out
8900
Explicație
Avem , așadar niciun nivel nu va fi jucat în „Practice Mode”. Toate nivelurile vor fi jucate normal, având coeficientul inițial . Prin urmare, durata totală pentru a termina toate nivelurile va fi:
Exemplul 2
gd.in
3 4
150 40 30
1 3 2
gd.out
2310
Explicație
Avem la dispoziție exersări în „Practice Mode”. Repartizarea optimă a exersărilor pentru a minimiza timpul, precum și calculul duratelor per nivel, sunt ilustrate în figura de mai jos: , rezultat = secunde
| Nivel | l[i] | d[i] | Practice | x[i] final | Timp total |
|---|---|---|---|---|---|
| Nivel 1 | 150 | 1 | 1(-3) | 10-3=7 | |
| Nivel 2 | 40 | 3 | 3(-9) | 10-9=1 | |
| Nivel 3 | 30 | 2 | 0 | 10 |