CCO '20 P2 - Exercise Deadlines

View as PDF

Submit solution

Points: 15 (partial)
Time limit: 1.0s
Memory limit: 1G

Author:
Problem types
Allowed languages
Ada, Assembly, Awk, Brain****, C, C#, C++, COBOL, CommonLisp, D, Dart, F#, Forth, Fortran, Go, Groovy, Haskell, Intercal, Java, JS, Kotlin, Lisp, Lua, Nim, ObjC, OCaml, Octave, Pascal, Perl, PHP, Pike, Prolog, Python, Racket, Ruby, Rust, Scala, Scheme, Sed, Swift, TCL, Text, Turing, VB, Zig
Canadian Computing Olympiad: 2020 Day 1, Problem 2

Bob has N programming exercises that he needs to complete before their deadlines. Exercise i only takes one time unit to complete, but has a deadline d_i (1\le d_i\le N) time units from now.

Bob will solve the exercises in an order described by a sequence a_1,a_2,\dots,a_N, such that a_1 is the first exercise he solves, a_2 is the second exercise he solves, and so on. Bob's original plan is described by the sequence 1,2,\dots,N. With one swap operation, Bob can exchange two adjacent numbers in this sequence. What is the minimum number of swaps required to change this sequence into one that completes all exercises on time?

Input Specification

The first line consists of a single integer N (1\le N\le 200\,000). The next line contains N space-separated integers d_1,d_2,\dots,d_N (1\le d_i\le N).

For 17 of the 25 available marks, N\le 5000.

Output Specification

Output a single integer, the minimum number of swaps required for Bob to solve all exercises on time, or -1 if this is impossible.

Sample Input 1

4
4 4 3 2

Sample Output 1

3

Explanation for Output for Sample Input 1

One valid sequence is (1,4,3,2), which can be obtained from (1,2,3,4) by three swaps.

Sample Input 2

3
1 1 3

Sample Output 2

-1

Explanation of Output for Sample Input 2

There are two exercises that are due at time 1, but only one exercise can be solved by this time.


Comments


  • 4
    peatlo17  commented on July 23, 2020, 12:16 p.m.

    can an editorial be opened for this problem?