Maths Olympiad Prep

Library / /5 of 5

Combinatorics Difficulty 8.3 Shortlist Prove it Bulgaria

Някои от градовете в една държава са свързани с директни пътища. Нека tt е най-малкото естествено число, за което съществува град, от който до всеки друг град може да се стигне, минавайки по най-много tt пътя. Да се докаже, че съществуват градове A1A_1, A2A_2, ..., A2t1A_{2t-1}, за които за всеки iji \ne j, i=1,2,...,2t2i = 1, 2, ..., 2t - 2, j=2,3,...,2t1j = 2, 3, ..., 2t - 1 градовете AiA_i и AjA_j са свързани с път тогава и само тогава, когато i+1=ji + 1 = j.

Solution

Разглеждаме граф GG с върхове градовете в държавата и ребра пътищата между тях. От всички подграфи на GG да изберем граф HH, който има свойството на GG и е минимален по отношение на броя на върховете.
Да изберем произволен връх vtv_t на HH, който не разделя графа на две несвързани компоненти (не е трудно да се види, че такъв връх съществува). От минималността на HH следва, че съществува връх v0Hv_0 \in H, за който d(v0,w)t1d(v_0, w) \le t - 1 за всички върхове wvtw \ne v_t. Тъй като tt е най-малкото естествено число, за което съществува град, от който до всеки друг град може да се стигне, минавайки по най-много tt пътя, то d(v0,vt)=td(v_0, v_t) = t. Нека v0,v1,,vtv_0, v_1, \dots, v_t е пътят от v0v_0 до vtv_t. Отново поради свойството на HH съществува връх ww, за който d(v2,w)td(v_2, w) \ge t и за този връх също имаме d(v0,w)t1d(v_0, w) \le t - 1.

При t=2t = 2 търсеният път е v0v1v2v_0v_1v_2. Нека t3t \ge 3. Поради d(v2,w)td(v_2, w) \ge t имаме, че wviw \ne v_i. Нека uu е произволен връх от пътя между v0v_0 и ww и нека d(v0,u)=pd(v_0, u) = p и d(u,w)=qd(u, w) = q. Да допуснем, че d(u,vi)=1d(u, v_i) = 1 за някое i2i \ge 2. Тогава
d(v0,vi)=id(v0,u)+d(u,vi)=p+1,d(v_0, v_i) = i \le d(v_0, u) + d(u, v_i) = p + 1,
td(v2,w)d(v2,vi)+d(vi,u)+d(u,w)=i2+1+q.t \le d(v_2, w) \le d(v_2, v_i) + d(v_i, u) + d(u, w) = i - 2 + 1 + q.
Събираме горните неравенства и получаваме tp+q=d(v0,w)t1t \le p+q = d(v_0, w) \le t-1, което е противоречие. Следователно разстоянието от всеки връх от пътя между v0v_0 и ww до viv_i, i2i \ge 2 е поне 2.

Ако няма връх от този път, който е съседен на v1v_1, то този път, заедно с пътя от v0v_0 до vtv_t е търсеният. Ако съществува връх uu от този път, за който d(u,v1)=1d(u, v_1) = 1, то td(v2,w)d(v2,v1)+d(v1,u)+d(u,w)t \le d(v_2, w) \le d(v_2, v_1) + d(v_1, u) + d(u, w), откъдето d(v2,w)t2d(v_2, w) \ge t - 2. Сега лесно следва, че d(v0,u)=1d(v_0, u) = 1 и търсеният път е wuv1vtw \dots u v_1 \dots v_t.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.