MathDB
Graph counting problem

Source: Latvian TST for Baltic Way 2019 Problem 7

November 30, 2020
combinatoricsgraphunsolved combinatorics

Problem Statement

Two sequences bib_i, cic_i, 0i1000 \le i \le 100 contain positive integers, except c0=0c_0=0 and b100=0b_{100}=0. Some towns in Graphland are connected with roads, and each road connects exactly two towns and is precisely 11 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 XX and YY is denoted as distance. It is known that the greatest distance between two towns in Graphland is 100100 km. Also the following property holds for every pair XX and YY of towns (not necessarily distinct): if the distance between XX and YY is exactly kk km, then YY has exactly bkb_k neighbours that are at the distance k+1k+1 from XX, and exactly ckc_k neighbours that are at the distance k1k-1 from XX. Prove that b0b1b99c1c2c100\frac{b_0b_1 \cdot \cdot \cdot b_{99}}{c_1c_2 \cdot \cdot \cdot c_{100}} is a positive integer.