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

Problem I
Routing a Marathon Race

As a member of the ICPC (Ibaraki Committee of Physical Competitions), you are responsible for planning the route of a marathon event held in the City of Tsukuba. A great number of runners, from beginners to experts, are expected to take part.

You have at hand a city map that lists all the street segments suited for the event and all the junctions on them. The race is to start at the junction in front of Tsukuba High, and the goal is at the junction in front of City Hall, both of which are marked on the map.

To avoid congestion and confusion of runners of divergent skills, the route should not visit the same junction twice. Consequently, although the street segments can be used in either direction, they can be included at most once in the route. As the main objective of the event is in recreation and health promotion of citizens, time records are not important and the route distance can be arbitrarily decided.

A number of personnel have to be stationed at every junction on the route. Junctions adjacent to them, i.e., junctions connected directly by a street segment to the junctions on the route, also need personnel staffing to keep casual traffic from interfering the race. The same number of personnel is required when a junction is on the route and when it is adjacent to one, but different junctions require different numbers of personnel depending on their sizes and shapes, which are also indicated on the map.

The municipal authorities are eager in reducing the costs including the personnel expense for
events of this kind. Your task is to write a program that plans a route with the minimum
possible number of personnel required and outputs that number.

Input

The input consists of a single test case representing a summary city map, formatted as follows.

$n$ $m$

$c_1$

...

$c_n$

$i_1$ $j_1$

...

$i_m$ $j_m$

The first line of a test case has two positive integers, $n$ and $m$. Here, $n$ indicates the number of junctions in the map $(2 \leq n \leq 40)$, and $m$ is the number of street segments connecting adjacent junctions. Junctions are identified by integers 1 through $n$.

Then comes $n$ lines indicating numbers of personnel required. The $k$-th line of which, an integer $c_k$ $(1 \leq c_k \leq 100)$, is the number of personnel required for the junction $k$.

The remaining $m$ lines list street segments between junctions. Each of these lines has two integers $i_k$ and $j_k$, representing a segment connecting junctions $i_k$ and $j_k$ $(i_k \ne j_k)$. There is at most one street segment connecting the same pair of junctions.

The race starts at junction 1 and the goal is at junction $n$. It is guaranteed that there is at least one route connecting the start and the goal junctions.

Output

Output an integer indicating the minimum possible number of personnel required.

Figure I.1. The Lowest-Cost Route for Sample Input 1

Figure I.1 shows the lowest-cost route for Sample Input 1. The arrows indicate the route and the circles painted gray are junctions requiring personnel assignment. The minimum number of required personnel is 17 in this case.

Sample Input 1

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

Sample Output 1

17

Solution in C++ (judge verdict: Wrong Answer)

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> P;
typedef pair<int,P> P1;
typedef pair<P,P> P2;
#define pu push
#define pb push_back
#define mp make_pair
#define eps 1e-7
#define INF 1000000000
#define mod 1000000007
#define fi first
#define sc second
#define rep(i,x) for(int i=0;i<x;i++)
#define repn(i,x) for(int i=1;i<=x;i++)
#define SORT(x) sort(x.begin(),x.end())
#define ERASE(x) x.erase(unique(x.begin(),x.end()),x.end())
#define POSL(x,v) (lower_bound(x.begin(),x.end(),v)-x.begin())
#define POSU(x,v) (upper_bound(x.begin(),x.end(),v)-x.begin())
ll mask[41];
set<pair<ll,int> >used;
int n,m,a[41],ans,sum;
bool u[41];
void rec(ll zan,int cur,ll use){
	if(cur == n-1){
		ll M = 0; int S = 0;
		rep(i,n) if(((use>>i)&1LL)) M |= mask[i];
		rep(i,n) if(!((M>>i)&1LL)) S += a[i];
		ans = max(ans,S);
		return;
	}
	if(used.find(mp(use,cur)) != used.end()) return ;
	used.insert(mp(use,cur));
	rep(i,n){
		if(!((mask[cur]>>i)&1LL)) continue;
		if(!((zan>>i)&1LL)) continue;
		ll go = zan - (zan&mask[cur]);
		//assert(!((go>>i)&1LL));
		go += (1LL<<i);
		rec(go,i,use|(1LL<<i));
	}
}
int main(){
    cin>>n>>m;
    rep(i,n){
        cin>>a[i];
        mask[i] = 1LL<<i;
    }
    rep(i,m){
        int a,b;
        cin>>a>>b; a--; b--;
        mask[a] |= 1LL<<b;
        mask[b] |= 1LL<<a;
    }
    queue<int>que;
    que.push(0);
    while(!que.empty()){
        int q = que.front(); que.pop(); if(u[q]) continue;
        u[q] = 1; sum+=a[q];
        rep(i,n) if( ((mask[q]>>i)&1LL) == 1LL && !u[i]){
            que.push(i);
        }
    }
    ll beg = 0;
    rep(i,n) if(u[i]) beg += 1LL<<i; 
    rec(beg,0,1);
    cout<<sum-ans<<endl;
}