Repovive
  • Dashboard
  • Ranking
  • Submissions
  • Discussion
  • Rules
  1. Contests
  2. Math Contest Round 2
  3. M2D

My submissions

/
/
/
/

Announcements

My submissions

/
/
/
/

Announcements

A four-vertex lemma

For four vertices x1,x2,x3,x4x_1,x_2,x_3,x_4x1​,x2​,x3​,x4​, write dij=dist⁡(xi,xj)d_{ij}=\operatorname{dist}(x_i,x_j)dij​=dist(xi​,xj​) and define

S1=d12+d34,S2=d13+d24,S3=d14+d23.S_1=d_{12}+d_{34},\quad S_2=d_{13}+d_{24},\quad S_3=d_{14}+d_{23}.S1​=d12​+d34​,S2​=d13​+d24​,S3​=d14​+d23​.

Lemma. In a connected graph with NNN vertices, if one of these three sums is strictly greater than both others, it is at most NNN. The four vertices may repeat.

We prove the lemma by induction on NNN. The one-vertex case is immediate.

First suppose the graph has no cut vertex, where a cut vertex is a vertex whose removal disconnects the graph. Take two vertices at distance ℓ>0\ell>0ℓ>0, and group the vertices by their distance from the first.

Each layer 1,…,ℓ−11,\ldots,\ell-11,…,ℓ−1 contains at least two vertices. If a layer contained just one vertex, every path between the chosen endpoints would pass through it, making it a cut vertex. Counting the endpoints and these layers gives

N≥1+2(ℓ−1)+1=2ℓ.N\ge1+2(\ell-1)+1=2\ell.N≥1+2(ℓ−1)+1=2ℓ.

Thus every distance is at most N/2N/2N/2, and every SiS_iSi​ is at most NNN. This proves the lemma in this case.