private List<Vertex> ConvertToReal(Graph g, List<Vertex> list) {
		if(list==null)
			return null;
		Vector<Vertex> realList = new Vector<Vertex>();
		for(Vertex v: list)
			for(Vertex realV: g.get_vertices())
				if(v.get_num()==realV.get_num()){
					realList.add(realV);
					break;
				}
		return realList;
	}