Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

Problem J:
Black Company

JAG Company is a sweatshop (sweatshop is called "burakku kigyo" in Japanese), and you are
the CEO for the company.

You are planning to determine $N$ employees' salary as low as possible (employees are numbered
from 1 to $N$). Each employee's salary amount must be a positive integer greater than zero. At
that time, you should pay attention to the employees' contribution degree. If the employee $i$'s
contribution degree $c_i$ is greater than the employee $j$'s contribution degree $c_j$ , the employee i
must get higher salary than the employee $j$'s salary. If the condition is not satisfied, employees
may complain about their salary amount.

However, it is not necessarily satisfied in all pairs of the employees, because each employee can
only know his/her close employees' contribution degree and salary amount. Therefore, as long as
the following two conditions are satisfied, employees do not complain to you about their salary
amount.

If the employees $i$ and $j$ are close to each other, $c_i < c_j \Leftrightarrow p_i < p_j$ must be satisfied, where
$p_i$ is the employee $i$'s salary amount.

If the employee $i$ is close to the employees $j$ and $k$, $c_j < c_k \Leftrightarrow p_j < p_k$ must be satisfied.
Write a program that computes the minimum sum of all employees' salary amount such that no
employee complains about their salary.

Input

Each input is formatted as follows:

$N$

$c_1$ ... $c_N$

$M$

$a_1$ $b_1$

...

$a_M$ $b_M$

The first line contains an integer $N$ ($1 \leq N \leq 100,000$), which indicates the number of employees.
The second line contains $N$ integers $c_i$ ($1 \leq c_i \leq 100,000$) representing the contribution degree
of employee $i$.

The third line contains an integer $M$ ($0 \leq M \leq 200,000$), which specifies the number of relationships. Each of the following $M$ lines contains two integers $a_i$ and $b_i$ ($a_i \ne b_i, 1 \leq a_i, b_i \leq N$).
It represents that the employees $a_i$ and $b_i$ are close to each other. There is no more than one
relationship between each pair of the employees.

Output

Print the minimum sum of all employees' salary amounts in a line.

Sample Input

3
1 3 3
2
1 2
1 3

Output for the Sample Input

5

Sample Input

3
1 2 3
2
1 2
1 3

Output for the Sample Input

6

Sample Input

4
1 1 2 2
2
1 2
3 4

Output for the Sample Input

4

Sample Input

5
1 2 5 5 1
6
1 2
4 1
2 3
5 2
4 3
4 5

Output for the Sample Input

10

Sample Input

6
4 3 2 1 5 3
7
4 2
1 5
2 6
6 5
4 1
1 6
6 3

Output for the Sample Input

13

Solution in Ruby (judge verdict: Runtime Error)

require 'set'
require 'tsort'

n = gets.to_i
contribute = [0] + gets.split.map(&:to_i)

g = {}
(1..n).map {|i| g[i] = Set.new}
m = gets.to_i
neighbour = (0..n).map { Set.new }
m.times do
    u, v = gets.split.map(&:to_i)
    g[v] << u if contribute[u] <= contribute[v]
    g[u] << v if contribute[u] >= contribute[v]
    neighbour[u] << v
    neighbour[v] << u
end

(1..n).each do |c|
    neighbour[c].sort_by{|v| contribute[v]}.each_cons(2) do |u, v|
        if contribute[u] == contribute[v]
            g[v] << u
            g[u] << v
        else
            g[v] << u
        end
    end
end


class << g
    include TSort
    alias tsort_each_node each_key

    def tsort_each_child(u)
        self[u].each {|v| yield v}
    end
end

scc_size = Hash.new(1)
g.each_strongly_connected_component do |scc|
    next if scc.size == 1
    rep = scc[0]
    scc_size[rep] = scc.size
    set = Set[*scc[1..-1]]
    set.each do |u|
        next if u == rep
        g[u].each do |v|
            g[rep] << v if v != rep
        end
        g.delete(u)
        g.each do |v, a|
            next if v == rep
            if a.include?(u)
                a.delete(u)
                a << rep
            end
        end
        g[rep].delete(u)
    end

end

salary = {}
g.tsort.each do |u|
    salary[u] = (g[u].map {|v| salary[v]}.max || 0) + 1
end

p g.keys.map {|v| salary[v] * scc_size[v]}.inject(:+)