Problem:
Problem 08: Provident Housewife

主婦の琴子はこの不況のさなか食費を抑えることに闘志を燃やしていました。毎朝新聞広告を必ずチェック。買う物リストと最も安く売られているお店をしっかりリストアップして、お店をはしごしながら、エプロン・サンダルという戦闘スタイルで自転車をこぎこぎ買い物に行きます。

そこで夫のあなたは少しでも琴子の役に立とうと、得意のプログラミングで家計簿プログラムを作成することにしました。プログラムは、各スーパーに売っている品物の名前と値段（円）、琴子が必要な品物を入力し、全ての品物を集めるための最小金額を出力します。

琴子は家を出て必要な品物を集め、家に戻ってこなければなりません。
そこで、琴子を気遣ったあなたは、最小金額が同じになる買い物ルートが複数ある場合も考慮して、より距離が短くなるルートの距離を報告する機能を追加することにしました。従って、プログラムはスーパー・家間を繋ぐ道の情報も入力します。

スーパーの数を n とし、各スーパーにはそれぞれ 1 から n までの番号が割り当てられます。さらに琴子の家を 0 番とします。道の情報はこれらの番号のペアとその距離（整数）で与えられます。

Input

入力として複数のデータセットが与えられます。各データセットの形式は以下の通りです：

n　（スーパーの数：整数）

k1 name1 value1 name2 value2 . . . namek1 valuek1（1 番目のスーパーにある品物の種類の数、1つ目の品物名と値段、2つ目の品物名と値段,,,：整数と文字列の空白区切り）

k2 name1 value1 name2 value2 . . . namek2 valuek2（2 番目のスーパーにある品物の種類の数、1つ目の品物名と値段、2つ目の品物名と値段,,,：整数と文字列の空白区切り）

.

.

kn name1 value1 name2 value2 . . . namekn valuekn（n 番目のスーパーにある品物の種類の数、1つ目の品物名と値段、2つ目の品物名と値段,,,：整数と文字列の空白区切り）

q　（必要な品物の数：整数）

name1　（1 つ目の必要な品物の名前：文字列）

name2　（2 つ目の必要な品物の名前：文字列）

.

.

nameq　（q つ目の必要な品物の名前：文字列）

m　（道の数：整数）

s1 t1 d1　（1 本目の道の情報：空白区切りの整数）

s2 t2 d2　（2 本目の道の情報：空白区切りの整数）

.

.

sm tm dm　（m 本目の道の情報：空白区切りの整数）

si ti di は si番目のスーパー（または家）と ti番目のスーパー（または家）が双方向に行き来することができ、その距離が diであることを示します。

家から（スーパーを経由して）全てのスーパーへ行くことができるような道が与えられます。

n は 10 以下であり、q は 15 以下とします。
ki は 100 以下であり、
品物名の文字列は 20文字を越ず、品物の値段は 10000 を越えません。
また、道の長さは 1000 を越えません。

n が 0 のとき、入力の終わりとします。

Output

各データセットについて、最小の金額と距離を１つの空白で区切って１行に出力して下さい。ただし、必要な品物を全て集められない場合は "impossible" と出力して下さい。

Sample Input

3
3 apple 100 banana 200 egg 300
3 apple 150 banana 100 cola 200
3 apple 100 banana 150 cola 200
3
apple
banana
cola
5
0 2 4
0 1 3
0 3 3
1 2 3
2 3 5
3
3 apple 100 banana 200 egg 300
3 apple 150 banana 100 cola 200
3 apple 100 banana 150 cola 200
4
apple
banana
cola
jump
5
0 2 4
0 1 3
0 3 3
1 2 3
2 3 5
0

Output for the Sample Input

400 10
impossible

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

#include<iostream>
#include<string>
#include<queue>
#include<map>
#include<vector>
#include<algorithm>
#include<set>
#include<functional>

#define MAX_ITEM 32
using namespace std;

const int infty = 999999999;

class Node{
public:
  vector<int> con;
  vector<int> cost;
  int item_num;
  pair<int,int> shop[MAX_ITEM];
};

typedef vector<Node> Graph;

class State{
public:
  int now;
  pair<int,int> cost;
  int have;
  bool operator>(const State &t)const{
    if( cost.first != t.cost.first ) return cost.first > t.cost.first;
    if( cost.second != t.cost.second ) return cost.second > t.cost.second;
    //if( now != t.now ) return now < t.now;
    //if( have != t.have ) return have < t.have;
    return false;
  }
};

pair<int,int> dijkstra(int n, Graph &G, int q, State init){
  priority_queue< State,vector<State>,greater<State> > qs;
  pair<int,int> cost[1<<q][n];
  bool vis[1<<q][n];
  
  for(int i = 0; i < (1<<q); ++i){
    for(int j = 0; j < n; ++j){
      cost[i][j] = make_pair(infty,infty);
      vis[i][j] = false;
    }
  }
  
  qs.push(init);
  cost[0][0]=make_pair(0,0);
  
  while(!qs.empty()){
    State now = qs.top();
    qs.pop();
    
    // if( vis[now.have][now.now] )
    //continue;
    vis[now.have][now.now] = true;

    int id = now.now;
    
    for(int bit=0;bit<(1<<G[id].item_num);++bit){
      int nexthave = now.have;
      int nextvcost = now.cost.first;
      bool skip=false;
      for(int j = 0; j < G[id].item_num; ++j){
	int jbit = (1<<G[id].shop[j].first);
	int jval = G[id].shop[j].second;
	if( bit&jbit ){
	  if( now.have & jbit ){
	    skip=true;
	    break;
	  }
	  nexthave |= jbit;
	  nextvcost += jval;
	}
      }
      if( skip )continue;
      
      for(int i = 0; i < G[id].con.size(); ++i){
	State next = now;
	next.now = G[id].con[i];
	next.have = nexthave;
	next.cost = make_pair( nextvcost, now.cost.second + G[id].cost[i] );

	if( next.cost.first < cost[next.have][next.now].first ||
	    (next.cost.first == cost[next.have][next.now].first &&
	     next.cost.second < cost[next.have][next.now].second) ){
	  cost[next.have][next.now] = next.cost;
	  if( !vis[next.have][next.now] ){
	    qs.push( next );
	  }
	}
      }
      
    }
  }
  return cost[(1<<q)-1][0];
}

int main()
{

  while(true){
    int n;
    bool impossible=false;
    cin >> n;
    Graph G(n+1);
    map<string,int> shop[n+1];
    map<string,int> item_bit;
    if( n == 0 ) break;

    for(int i = 1; i < n+1; ++i){
      int k;
      cin >> k;
      for(int j = 0; j < k; ++j){
	string item;
	int val;
	cin >> item >> val;
	shop[i][item]=val;
      }
    }

    int q;
    cin >> q;
    for(int i = 0; i < q; ++i){
      string s;
      cin >> s;
      item_bit[s]=i;
    }

    for(int i = 0; i < n+1; ++i){
      G[i].item_num = 0;
      for(int j = 0; j < MAX_ITEM; ++j){
	G[i].shop[j] = make_pair(-1,infty);
      }
      for(map<string,int>::iterator itm = item_bit.begin(); itm != item_bit.end(); ++itm){
	if( shop[i].find( itm->first ) != shop[i].end() ){
	  G[i].shop[ G[i].item_num ] = make_pair(item_bit[itm->first],shop[i][itm->first]);
	  G[i].item_num++;
	}
      }
    }

    int m;
    cin >> m;
    for(int i = 0; i < m; ++i){
      int s,t,d;
      cin >> s >> t >> d;
      G[s].con.push_back(t);
      G[s].cost.push_back(d);
      G[t].con.push_back(s);
      G[t].cost.push_back(d);
    }

    State init;
    init.now = 0;
    init.have = 0;
    init.cost = make_pair(0,0);
    pair<int,int> ans;

    ans = dijkstra( n+1, G, q, init );
    if( ans.first >= infty ){
      cout << "impossible" << endl;
    }else{
      cout << ans.first << ' ' << ans.second << endl;
    }
  }
  return 0;
}