uva140

/*
solution:
在这种没有n皇后一样的可行性约束的问题时可以尝试“递归枚举”+“剪枝”

note:
剪枝

date:
2016/5/7
*/
#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>

using namespace std;
const int INF = 99999999;

int graph[10][10], vis[10], node[10], ans[10];
char input[500];
vector<int> tmp;

int main() {
//freopen("input.txt", "r", stdin);
while(~scanf("%s", input) && input[0] != '#') {
memset(vis, 0, sizeof(vis));
memset(graph, 0, sizeof(graph));
memset(node, 0, sizeof(node));
memset(ans, 0, sizeof(ans));
tmp.clear();

int len = strlen(input);
for(int i = 0; i < len; i++) {
if(input[i] >= 'A' && input[i] <= 'Z') {
if(!vis[input[i] - 'A']) {
tmp.push_back(input[i] - 'A');
vis[input[i] - 'A'] = 1;
}
} else if(input[i] == ':') {
int x = input[i - 1] - 'A';
for(int j = i + 1; input[j] != ';'; j++) {
graph[x][input[j] - 'A'] = 1;
graph[input[i] - 'A'][x] = 1;
}
}
for(int j = 0; j < tmp.size(); j++) node[j] = tmp[j];
}

int num = -1, minBand = INF;
int L = tmp.size();
do {
for(int i = 0; i < L; i++)
for(int j = i + 1; j < L; j++)
if(graph[i][j])
if(abs(i - j) > num)
num = abs(i - j);

if(minBand > num) {             //剪枝，若已经发现有两个节点的距离大于或等于k,再怎么扩展
minBand = num;              //也不可能比当前更优，所以直接忽略（剪枝），测试下一排列
memcpy(ans, node, L);
}
} while(next_permutation(node, node + L));

//output the answer
for(int i = 0; i < L; i++)
printf("%c ", 'A' + node[i]);
printf("-> %d\n", minBand);
}
}