Graph counting problem
Source: Latvian TST for Baltic Way 2019 Problem 7
November 30, 2020
combinatoricsgraphunsolved combinatorics
Problem Statement
Two sequences , , contain positive integers, except and .
Some towns in Graphland are connected with roads, and each road connects exactly two towns and is precisely km long. Towns, which are connected by a road or a sequence of roads, are called neighbours. The length of the shortest path between two towns and is denoted as distance. It is known that the greatest distance between two towns in Graphland is km. Also the following property holds for every pair and of towns (not necessarily distinct): if the distance between and is exactly km, then has exactly neighbours that are at the distance from , and exactly neighbours that are at the distance from .
Prove that is a positive integer.