클리크 축제
시간 제한2초메모리 제한512 MB
n개 정점 위에 최대 18개의 가중 클리크가 추가된 그래프에서 모든 정점 쌍 사이 최단 거리의 합을 구한다.
문제
John에게는 정수 로 번호가 붙은 개의 정점을 가진 그래프가 있다. 처음에는 그래프에 간선이 없다. 그런 다음 John은 그래프를 번 수정하며, 매번 그래프에 클리크 하나를 추가한다. 그는 정수 와 의 부분집합 중 공집합이 아닌 집합 를 고른다. 이고 인 모든 순서 없는 쌍 에 대해, John은 정점 와 사이에 무게 의 무향 간선을 추가한다. John의 그래프에는 평행 간선이 생길 수 있다.
정점 와 사이의 거리는 다음과 같이 정의된다. 를 정점 와 사이 간선의 최소 무게, 그러한 간선이 없으면 로 표기하자. 그러면 이다. 즉, 거리는 와 사이 최단 경로의 길이이다.
여러분의 과제는 를 계산하는 것이다. 모든 항이 유한함이 보장된다.
입력
첫째 줄에 두 정수 과 가 주어진다 (, ). 다음 개의 줄에는 추가된 클리크의 설명이 주어진다. 각 줄에는 정수 (), (), 그리고 개의 정수 (, 모든 는 서로 다름)가 주어진다. 이들은 각각 클리크에 있는 간선의 무게, 클리크에 있는 정점의 수, 정점들의 번호이다.
입력에서 모든 의 합은 을 넘지 않는다.
출력
문제의 답을 나타내는 정수 하나를 출력한다.