Mateméaticas aplicadas discretas Volumen 155, Numero 10, 15 de mayo de 2007 , paginas L175- ELSEVIER 1187 Graficos, particiones y numeros de Fibonacci * [Declcado al prafesor Helmut Prodinger con metiva de su 50 cumpleance Arnold Knopfmacher?s, Robert F. Tichy °es, Stephan Wagner ® ss, Volker Ziegler? Mostrar mis V https;fidoi org/10.1014jjdam.2006.10.010 Obtén derechos y contenida Cour neeimadsuniseueelpeier arson oe Abstracto El ntimero de Fibonacci de un grifico es el mimero de subconjuntos de vértices independientes. En este articulo, investigamos drboles con un gran mimero de Fibonacci. En particular, mostramos que todos los drboles con n aristas y nimexo de Fibonacci > yl. 5 tener didmetro < 4y determinar el orden de estos Arboles con respacto asus miimeros de Fibonacci. Ademis, se muestra que él niimero promedio de Fibonacci de un Arbol con forma de estrella (es decir, el didmetro< 4)es asintéticamente A+2” -exp(Byn) -n*4 para constantes A,B como n — oo. Esto se demuestra mediante el uso de una correspondencia natural entire particiones de niimeros enteros y drboles con forma de estrella.Palabras clave Arbol con forma de estrella, Divicir, Nifmero de Fibonacci; Conjunto independiente 1. Introduccién Dejar G = (V(G), E(G)) denotar un grafico con vértice establecido V(G) y conjunto de bordes (CG). Todos los grificos considerados aqui son finitos y simples, En general, usaremos]a terminologia introducida en [5]. Escribizemos¢ \ {u1,»2,...} paral gréfico que resulta de climinar los vértices v1, v2,... € V(G) y todoslos bordes incidentes con ellos, y escribinemos @ \ {e1,¢2,...} parael grafico (V(@), B(@) \ {er €25--.}), ddnde €1,€2.-. € E(G). Para una grifica G, su niimero de Fibonacci, simplemente denotado porl'((): Se define como él miimero de subconjuntos de V(G)en el que no hay dos vértices adyacentes en G, es deci, en terminologla tedrica de grafos, el mimero de conjuntos independientes de G, incluido el conjunto vacio. Elconcepto del mimero de Fibonacci paratm grafico se introdujo en [28] y se discutid on varios articulos [17] , [18] . El articulo [17] investigé el niimero de Fibonacci de arboles binarios (y mis generalmente, t-ary y 4rboles generados simples) incnyendo resultados asintéticos paran — |F(@)| +00. En [28]se observ quela esirellaS,,con naristas tiene el mimero maximo de Fibonacci en‘re todos los Arboles con naristas y'(S,) ~ 2” + 1. Ademds se demostré que el camino P,con naristas es €l arbol con un mimero mfnimo de Fibonacci entre todos los Arboles con #aristas yF'(P,) = ino aénde fy =0, fy =1y Soya = Jn + fy paran > Idenota la secuencia de miimeros de Fibonacci (Fig. 1). a F, Descargar: Descargar imagen a tamafio completo Figural. La estrella y od camino.Un problema relacionado, pero mucho mis dificil, ¢s la cuestidn de encontrar el mimero maximo de conjuntos independientes maximos en un grifico, que fue resuelto por Moon y Moser [25] e independientemente por Erdés. En una serie de articulos, se determinaron resultados andloges para tipos especiales de graficos, induidos Arboles, bosques y grificos conectados (ef [11] , [12] , (29) , [4]. Para el niimero de conjumtos independientes, se dieron Limites para varias clases de grificos. Por ejemplo, Alameddine [1] consideré gréficas planas externas m4ximas, Dutton et al. [| dio limites queimplican el mimero maximo de bordes independientes, y Lin 23) estudié ciertas clases de grificos conectados, Un concepto que est muy relacionado con él miimero de Fibonacci es el polinomio de independencia (cf. [6], [16]), un polinomio cuyo h- ésimo coeficiente es el mimero de subconjuntos independientes de tamatio & . Es obvio que el miimero de Fibonacci es exactamente el valor en 1. En la teoria de grupos se da una aplicacién matematica para el miimero de subconjimtos indepencientes: un subconjanto S de un grupo aditivo se llama libre de sama si no contiene elementoser,y, 2tal que xy = cf [7], [30]). La cuestién de delimitar el mimero de conjuntos sin suma est’ relacionada con el mimero de conjuntos independientes en. Jos grificos de Cayley correspondientes. De hecho, a partir de un teorema de Alon [2] (todo k- grafo regular en # vértices tiene como maximo2"***())" subconjuntos independientes, donde e(#) tiende a0 como k + 00), se sigue que hay 2°)" subconjuntos libres de suma de {1,2,...,}. Elzesultado de Alon se generalizé a hipergrafias en un articulo reciente de Ordentlich y Roth [26]. Es de particular interés determinar el niimero de conjuntos independien‘es de um grifico de cuadricula, que es de importancia en Fisica estadistica (cf []). Se sabe que el mimero de Fibonacci de un(n, m)-el grafico de cuadricula crece con a, dénde a = 1.503048082es la llamada constante de entropia cuadrada dura. El limite de esta constante fine mejorado sucesivamente por Weber [33] , Engel [10] y Calkin y Wilf 8] Existe otra aplicacidn mis para el concepto del nimero de Fibonacci dem grifice en gquimica tedrica. Para un grafico molecular, este mimero fue ampliamente estudiado en la amonografia [24] y en varios articulos posteriores [19] , [32] . Alli el uso qufmico del niimero de Fibonacci'(@) se demuestra y el mimero se llama o-index o Merrifield - Simmons indexy se denota por o(@)Jos o-index se introduce como un mapa del conjunte de compuestos quimicos representados por grificos al conjumto de niimeres reales, Los resultados experimentales muaestran quer-index (y varias finciones de indice similares) est estrechamente télacionado con algunas caracteristicas fisicoquimicas. De reciente interés en la quimica combinatoria son los problemas invarsos correspondientes: dado el valor de lag-index, uno quiere diseitar compnestos quimicos (dados como graficos 0 Arboles) que tengan ese valor de indice. El problema inverso tiene aplicaciones en el disefto de bibliotecas combinatorias para el descubrimiento de farmacos. En [19]1os autores establecieron um algoritme para calcular lar-indice de un Arbol determinado. dems, investigaron el problema inverso de lao-index fy finciones de indice relacionadas) y también establecieron un algoritme de tiempo polinomial para construir un drbol con o-index (siempre que exista tal drbol), De hecho, no se sabe si existe un 4rbol con un determinadoo-indice s para todos, excepto un niimero finito de auimeros enteros positives s, a pesar de Ja declaracién después de Definicidn 4 sugiere esto. Sin embargo, se sabe que cada entero positivo es el mimero de subcorjuntos independientes de un grifico bipartito (Cf [22]). Para un estudio mis detallado de las propiedades del indice Merrifield Simmons, constlte la monografia [24] . En el presente articulo estamos interesados en 4rboles con n aristas y grandes niimeros de Fibonacci. Ya conocems el arbol maximo con respecto a su niimero de Fibonacci; es la esirellaS,,. En el resultado principal del articulo determinaremos todos los Arboles Tcon 1 bordes que satisfacen 21 +5 = FOS) < F(L) < F(S,) =2" +1, Q dénde CS,,denota la “estrella de Navidad" con n bordes: consiste en una estrella con, muchos rayos arbitrariamente y wma "cola" de cuatro bordes conectados al centro de la estrella (por lo tanto, su didmetro es 5).CS;, se muestra en la Fig.2 . Resultados similares, obtenidos por métodos algo diferentes, se deben a Lin y Lin [21] y Li et al. 20]. Descargar: Descargar imagen a tamamo completo Figura 2 . La “estrella de Navidad"OSy..Se mostrard que los Arboles que satisfacen la designaldad (1) pertenecer a una familia de Arboles (que Tamamos "en forma de estrella") que corresponde a particiones de nen niimeros enteros positives. También incluimos un resultado asintético (paran + oe) sobre el niimero promedio de Fibonacci de estos drboles con forma de estrella. Para las plopiedades bisicas relativas a las particiones, consulte [3] . En particular, el famoso teorema de Hardy-Ramanujan-Rademacher [3, Teorema 5.1] juega un papel importante en nuestras demostraciones. Teorema 0 ee) Den t-te =n, >1,dEN}| Klas denota el raimero de particiones de n en niimeros positivos. En la Succidn 2 presentamos los conceptos bisicos y probamos algunos resultados auxiliares relacionados con grificas y particiones. La seccién 3 contiene una demostracién del teorema principal. La prueba depende de ordenar drboles en forma de estrdla por cus ntimeros de Fibonacci. La seccién 4 esté dedicadaa los resultados asintéticos y en la seccién 5 mencionamos algunos problemas abiertos. 2.. Notacién y resultados preliminares En este documento, sélo se considerar4 4rboles T. Como en la Introduccién, el niimero de Fibonacci de Tse denota porF(7). Definicién 1 Un Arbol se llama estreila si tiene didmetro.< 4. Definicién 2 Dajar (c1,..., e2)seruma particién den. El drbol en forma de estrella asignado a esta particién es el Arbol que se construye dela siguiente manera (ver Fig 3): + Dejar S,,..., $1 ser estrellas cone; — 1,...,cz — 1 bordes, respectivamente, y dejar ‘U1y+++)¥¢ Ser sus centros. + Agregar un vértice v ala unin 5; U++ U Sj yconectar vauiy... a.Descargar: Descargar imagen a tamamo cornpleto Figura3. Un drbol con forma de estrella, Luego v;,..., vy tener grado ci,..., ¢4, lespectivamente, y €l grafico resultante tiene exactamente d+ (¢) ~1) + +++ (ea -1) =e: +++ + ea =nbordes. El arvol en si se denota porS(c:,...,¢a),sumimero de Fibonacci por f(er,..., ¢a)- Proposicién 1 Cuda drbo! con forma de estrella T tiene ta forma S(cx,..-, a) para diqura particién den; esta particién es dniea si el drbol tne didmetro 4. Delo contrario, hay exactamente dos harticiones diferentes , excepto en ef caso del drbol S((n +1)/2,1,...,1) si nesimpar. Prueba Primero, deja que el didmetro da Tsea igual ad. Elija cualgnier didmetrouy,01,02,08, 9. Entonces la distancia desde cualquier otro vértice w debe sex < 2 (de lo contrario, habria un camine de longitud > 5 desde w aw o dew aw} Por lo tanto, todos los componentes deT \ {va} som estrellas, y sus puntos medios estin conectados av». De ello se deduce que el 4rbol tiene la forma descada, donden, es el punto medio nico (desde cualquier otro punto, hay caminos de longitad > 3), Si €l didmetro es 3, entonces vemos (andlogamente) que T debe ser una estrella doble, es decis, laimién de dos estrellas cayos censtros estin conectados por un borde. Entonces hay dos posibilidades para que el punto medio produzca las dos representaciones posibles S(K,1,.-.,1) ¥S(L1,..., 1), donde ky f son los grados de los dos vértices centralas. Estas sagas! Surete eT Pt representaciones coincidan si y solo sik — =(n41)/2 Finalmente, la estrella con n aristas (que tiene didmetro 2) tiene las dos representaciones S(1,...,1) y S(n). Por lo tanto, se prueba la afirmacién. oDefinicién 3 Dejarc,...,¢¢-1 ser enteros con ¢ > 0, Entonces el Arbol que se compone de un camino 19, 01)-.., tude longitad duniendog nuevos bordes para v (I y > en J(n) por T, ~ T, => F(T;) > F(Te), TST BATES An): F(T) > FIL) > F(D)) Observacién + no es un pedido total en 7(n); por ejemplo, los 4rboles de7(7)que se muestra en la Fig,5, ambos tienen el niimero de Fibonacci 60: ool ot Descargar: Descargar imagen a tamafio completo Figura 5 . Dos arboles con Fibonacci mimero 60.De hecho, hay induse conjuntos de érboles arbitrariamente grandes con «l mismo niimero de bordes y el mismo niimero de Fibonacci, Esta es una consecuencia inmediata del hecho de que|7(n)| ~ Ban 8? (@dnde a = 2.055765... wer [14], [27]), que crece més répide que d numero maximo de Fibonacci?” Ifpor el Lema 3). Lema 2 cf. Gutman y Polansky [13], Li et al. [20] Sea G una grdfica arbitraria . SIG = Gy UG, Us UC, esa unibn de qrdficos disjuntos, tenemos F(6) ~ Tha F(Gi)- Siv € V(C), tenemos P66) = F(G \ () +6 \ (FUNG), ddnde (uv) denote ef barrio dev. En particular, sea T un drbol y vc V(P), ¥ dejarTi,...,.T, ser los componentes de r\ {v}- Ademés, defina w = N(v) OT. La combinacién de las dos formulas , obtenemos{ Tig .6) FQ) = 1h FR) +a PUT \ u))- Descargar: Descargar imagen a tamaro completo Figuza 6 . Tlustracidn del Lema 2.Prueba La primera afirmacién es obvia por el hecho de que un subconjunto independiente on G es launién de subconjuntos independientes en los componentesG,; esta correspondencia es biyectiva, Para la segunda afirmacidn, tenga en cuenta que el primer sumando da el niimero de subconjuntos independientes que no contieneny, mientras que el segundo sumando da el ntimero de subconjuntos independientes que contienen v.90 Elsiguiente resultado se debe a Prodinger y'Tichy [28], para completarincluimos una prueba aqui. En [19] este resultado fue redescubierto y extendido a grificos arbitrarios. Lema 3 Para un maimero dado de aristas n, el drbol'T que maximiza F(T) es la estrelia S,, conn rayos ; F(Sn) = 2" +1. Prueba Por induccién en n porn = 0, no hay nada que probar. Ahora, suponga que el resultado es vélido para n, ¥ sea Tum érbol conn 1 tbordes. Ademds, dejavser una hoja de T, y dejare; serel vimico vecino dev. LuegoF(T) = rr \ @}) LAD \ fo, v:}) porellema anterior. Por la hipétesis deinducciém, sabemos que F(T \ {v}) < F(S,) ~ 2" + 4,conigualdad ei y solo air\ {ayes La sréficar \ {v,u }contiene a vértices, entoncesh'(I'\ { uj<” (urimero total de posibles subconjuntos de vértices), con igualdad si y solo si T'\ {0,1} esum gréfico sin bordes. Esto sucede solo sir \ {v} © Sp, dénde ves el centro dela estrella, De ello se deduce inmediatamente queF(T) es maximo para T ~ S41, y eso FS) = 29 +14R%=24 410Lema 4 Lema de reemplazo Sea T un drba ,e = (v,u1) © B(T) une ventaje ,y dejar que T ser ef componente deT \ {c} que contiene vy. Ahora aplicamos fa siquiente transformacidn: reemplazamos todas las aristas de 7) por bordies incidentes con-v; en otras palabras 1, es reemplazado por una estrella con centro v. Sie rbot resultante se denota por 1’, la desigquaidad F(x") > #(1) sosttene (Fig. 7). 0-0 — OF Descargar: Descargar imagen a tamaiio completo Figura 7. Mustracién del Lema 4. Prueba Aplicamos el Lema 2 av: dejar 7), ..., TZ) setlos componentes de 7’ \ {vu} otro que‘T},y sea mel mimero de vértices de7,. Eso es obvior (1, \ (vs}) < F(T) 2 ha F( \ fod) con igualdad si y solo si & — Ifen este caso, tenemos dos productos vacios de valor 1} Por al Lemma 3, sabemos queF(T}) <2"! +1y F(T) \ {v;}) <2", con ignaldad si y solo si 7, esuna estrella con centro v,. Ahora aplicando el Lema 2 av rendimtientos F(T) = [1 FC) + TE, PD \ tes} ¥ FQ’) ~ 2" TT FR) + Tha PH \ {00)- ‘Usando las desigualdades de arriba, obtenemos (2"— F(T) The PH) > (PCT \ fou) - TT Pm \ {ns})con igualdad si cualquiera m = 1 (en este caso, ambos lados son 0) 0 7; ~ Sj, es una estrella con centro vy k = 1-tenga en cuenta que en ambos casos, 7" ~ T. De esta desigualdad y Jas férnmulas paraF(T") y F(T), se sigue facilmente que F(T") > F(T’), conigualdad en los casos antes mencionadas. 9 Teorema § Para un ntimero n dado de aristas.y un didmetro D dado, el drbol T con el ntimero de Fibonacci méximo F(T) es el (n ~ D,0,...,0)- cadena de estrellas, es decir , ef drbol de ka Big . 8 con nrimero de Fibonacci 2°-P* fy, + fo( donde fy =0, fy =1, days = Sa + fra) SK Descargar: Descargar imagen a tamatio completo Figura8. Arbol con néunero indximno de Fibonacci, dado el didmetro. Observacién ‘Tenga en cuenta que 2?“ fy. + fp > 2" foya + fos Que es equivalente a 2-P fy > fy ana evidente desigualdad). Esto significa que el maximo numero de Fibonacci, dado el nvimero de bordes wy el didmetro D, es una fimcién decrecienteen D. Prueba Por induccién en n porn <2, laafirmacién es trivial. Ahora dejan > 3. Primero, probamos que el Arbol T del mimero maximo de Fibonacci debe ser una cadena de estrellas.Dejar vy, 01,...,upser un didmetro, Luego vérticesi y up deben ser hojas. Por ellema4, el niimero de Fibonacci aumenta si teemplazamos todos los componentes deT Ns {vs} que no contienen ninguno de los otros », {0 < j < D) por aristas individuales incidentes con »,Aplicamos asta transformacidn para todo i (1 1. Imago Rytienerm didmetro D, y porlo tanto (por la hipstesis de induccién), F(R;) es maxima si y solo si Ry ~ C(n —1—D,0,...,0). Ademds,R) contiene el camino sa Da simple P = {v»,...,vp}. Porlo tanto, F(R) < FUP) PNA = FP) ato = Roy eh -P con ignaldad si y solo si Ry — P. Sin embargo, esto significa que F(L) < F(C(n—1—D,0,...,0)) +2" fo De con igualdad si y solo si cy = 69 = ---= cp-1 = 0, es decir T~ C(n — D, 0, > Ba hipétesis deinduccién, F(R; ) es maxima si y solo si Ry ~ C(n — D,0, 0. LuegoR, tiene didmetro D — ly Ry tiene didmetro D 20 D~ 1, Porla 0), es decix, ya Ds D, @ =++s=ep2=0. seacg=n—D, eg=-+-=ep1=00ep1 = De manera anéloga, por la hipétesis de indaccidn, F(R,) es miximo si Rz + C(n—1~—D,0,...,0) (Gidmetro D — 1)o R, ~ C(n — D,0,...,0) (didmetro D peg D Da Pero como sabemos que la funcién2"-*1f,,, + fyest4 disminuyendo en D F(R) es maxima si y solo si Ry tiene didmetro D—2y cp =n —D, co: =er = ++ en =00 ena =n~D, c= ++ =en-2 =0.Gomo enel caso 1, sesigne queF (I) es méxima si y Oyens =n—D, esdecir T ~ C(n — D,0,...,0). Da solo si caFinalmente, el paso de induecidn de la formula para F(T) se hace ficilmente dela siguiente manera (con Ri, Ra como en el caso 1) F(D) = F(Ry) + 2° F(Ry) = F(C(n—1—D,0,...,0)) +2"-P F(P) = 2"? fy, that? fo =P fo tho 0 Corolario 6 Ef drbol no similar at und estrella del niimero meximo de Fibonacci es la" estrella de Navidad." CS, = C(n—5,0,...,0) conundidmetro de 5y F(CS,) = 2"? + 5( Fig. 2). Ahora, vemos que todos los Arboles con un mimero de Fibonacci mayor qua 2"? = 5 tienen forma de estrella, por lo que solo tenemos que considerar los Arboles con forma de estrella a continuacién. Gomenzamos con una férmula explicita para el 4rbol en forma de estrella correspondiente a una particién(c),...,¢4)+ Lema7 F (Cty «++ €a) = F(S(C1y «++ ¢a)) = TE (28-7 +) 42-4. Prueba Esto se sigue trivialmente del Lema 2 usando el hecho de que la estrellaS.,_, tiene mimero. de Fibonacci 2* *+1.0 Lema& Siuna particidn contiene a, b cona > b-+ 2, ef ntimero de Fibonacci correspondiente (es decir, ef ntimero de Eiboracci del drbot con forma de estrella correspondiente ) disminuye cuindo o, b son reemplazados por a ~1,b+ 1. Prueba Come la longitud de la particién permanece sin cambios, el érmino 2°-“en el Lema7 permanece igual. Por tanto, basta probar que(2*"! + 1)(2-? +1) > (27-7 +1)(2 +1): (2°-t +1)" +1) > (2°? 41) +1) eat eat > 92 ot >a, Jo cual es correcto poral supuesto dequea > 6 2.0Corolario 9 Sila tongitud dela particién d es ja , el rukmero de Fibonacei correspondiente es mdacitno para let particién (n — d+ 1,1,...,1) p minimo para la pariicidn (k-L1,...,k-+1, +k) conk = |n/d} El segundo nimero de Fibonacel mas grande se obtiene para ta partictén (n — d,2,1,...,1)(st 1< d > 2, Silos reemplazamos pora + 1,b— 1, el mimero de Fibonacci aumenta en el Lema $ .Andlogamente, si la particién es diferente de(k- 1... —1,k,...,h), podemos encontrar piezas a > b — 2y aplique el Lema 8. Esto :preba las declaraciones de mAximo y minime. pord >n-1od=1,laparticién estd determinada tnicamente por su longitad. Por le tanto, no existe el segundo niimero de Fibonacci mds grande en este caso, Ahora, una particidn diferente de(n — d+ 1,1,...,1) y (w~ d,2,1,...1) debe contener dos partes a> >So tres partesc>a> b> . En ambos casos, reemplazamoso, } pore + 1,b— 1. Entonces obtenemos una particién diferente a(n —d-+1)1,...,1),yelmumero de Fibonacci aamenta (por el Lema 8), Esto praeba la segunda parte. Sid >n—20d=1,no hay mas particiones. Sid = n — 3, solo queda una particidn, a saber (2,2,2.1,...,1). Porlo tanto, también esla particidn que da el tercer ntimero de Fibonacci mas grande. Eventualmente, sil ) 2 40 tres partesc > a> b > n—4la particién no puede ser (2,2, 2,1,..., 1)}, Nuevamente, podemos reemplazara, b por cone > 30 cuatro partes 1 =o; =a =b = 2 (como d a+1,b— 1 para aumentar el mimero de Fibonacci, y obtenemos particiones diferentes de (n-d+1,1,...,1) y(n~d,2,1,..., 1) (ya sea dos partes > 3 0 tres partes > 2permanecer). De ello se deduce que el tercer mimero de Fibonacci mAs grande se produce parala particién(n —d—1,3,1,...,1).0Lema1¢ Seat el nuimero de aristasn > 8. Si un drbol con forma de estrella no tiene la forma S(n—d41,1,...51), $(m— 4,2, 1,...51), 0 9(n— kh), tiene ndmero de Fibonacci <2". Prueba Por el Corolario 9, basta para probar la afirmacidn delos ArbolesS(n — d —1,3,1,..-,1),( 38) y N2,2,2,1;--.51) EE 3-28 p9= Aes sca? (an Zs). La desigualdad 5.2"? + 2"~¢ < 10 + } .2" puede verificarse mediante la observacidn de gue la fimeidn 5-27? + 2” 4es convexa en dy, portanto, tiene su maximo en uno de los Lmites delintervalo. Ya que5 -2°-° 16 < 10-2" paran > 7, tenemos la desigualdad declarada. A continuacién, se utilizarin argumentos andlogos varias veces. 0 Lema Tenemos Hn—d+4,1,...,1) =91 4 21 4 ard, Hr 4,2,1,...,1) = 9-2" + Prueba Todas estas formulas se derivan trivialmente del Lema. 0