最低限度挑战PACE 2017实例 这些实例用于Track B中。 该跟踪的目的是计算给定图的最小填充量。 填充是一组边线,其插入使输入图变弦。 弦图是不包含长度至少为四的循环作为诱导子图的图。 一半的实例在挑战之前已公开,而另一半则一直隐藏到挑战结束为止。 详细信息可以在。 文件格式 每个.graph文件包含一个顶点对列表,这些顶点对构成一个无向边。 每条线对应一条边。 边缘的顶点由空白分隔。 顶点ID是至少为1的整数。以'#'开头的行是注释。