The Resolving Graph of Amalgamation of Cycles

For an ordered set W = {w_1,w_2,...,w_k} of vertices and a vertex v in a connected graph G, the representation of v with respect to W is the ordered k-tuple r(v|W) = (d(v,w_1),d(v,w_2),...,d(v,w_k)) where d(x,y) represents the distance between the vertices x and y. The set W is called a resolving set for G if every vertex of G has a distinct representation. A resolving set containing a minimum number of vertices is called a basis for G. The dimension of G, denoted by dim(G), is the number of vertices in a basis of G. A resolving set W of G is connected if the subgraph induced by W is a nontrivial connected subgraph of G. The connected resolving number is the minimum cardinality of a connected resolving set in a graph G, denoted by cr(G). A cr-set of G is a connected resolving set with cardinality cr(G). A connected graph H is a resolving graph if there is a graph G with a cr-set W such that = H. Let {G_i} be a finite collection of graphs and each G_i has a fixed vertex v_{oi} called a terminal. The amalgamation Amal{Gi,v_{oi}} is formed by taking of all the G_i's and identifying their terminals. In this paper, we determine the connected resolving number and characterize the resolving graphs of amalgamation of cycles

Strong resolvability in product graphs.

En aquesta tesi s'estudia la dimensió mètrica forta de grafs producte. Els resultats més importants de la tesi se centren en la recerca de relacions entre la dimensió mètrica forta de grafs producte i la dels seus factors, juntament amb altres invariants d'aquests factors. Així, s'han estudiat els següents productes de grafs: producte cartesià, producte directe, producte fort, producte lexicogràfic, producte corona, grafs unió, suma cartesiana, i producte arrel, d'ara endavant "grafs producte". Hem obtingut fórmules tancades per la dimensió mètrica forta de diverses famílies no trivials de grafs producte que inclouen, per exemple, grafs bipartits, grafs vèrtexs transitius, grafs hamiltonians, arbres, cicles, grafs complets, etc, i hem donat fites inferiors i superiors generals, expressades en termes d'invariants dels grafs factors, com ara, l'ordre, el nombre d'independència, el nombre de cobriment de vèrtexs, el nombre d'aparellament, la connectivitat algebraica, el nombre de cliqué, i el nombre de cliqué lliure de bessons. També hem descrit algunes classes de grafs producte, on s'assoleixen aquestes fites. És conegut que el problema de trobar la dimensió mètrica forta d'un graf connex es pot transformar en el problema de trobar el nombre de cobriment de vèrtexs de la seva corresponent graf de resolubilitat forta. En aquesta tesi hem aprofitat aquesta eina i hem trobat diverses relacions entre el graf de resolubilitat forta de grafs producte i els grafs de resolubilitat forta dels seus factors. Per exemple, és notable destacar que el graf de resolubilitat forta del producte cartesià de dos grafs és isomorf al producte directe dels grafs de resolubilitat forta dels seus factors.En esta tesis se estudia la dimensión métrica fuerte de grafos producto. Los resultados más importantes de la tesis se centran en la búsqueda de relaciones entre la dimensión métrica fuerte de grafos producto y la de sus factores, junto con otros invariantes de estos factores. Así, se han estudiado los siguientes productos de grafos: producto cartesiano, producto directo, producto fuerte, producto lexicográfico, producto corona, grafos unión, suma cartesiana, y producto raíz, de ahora en adelante "grafos producto". Hemos obtenido fórmulas cerradas para la dimensión métrica fuerte de varias familias no triviales de grafos producto que incluyen, por ejemplo, grafos bipartitos, grafos vértices transitivos, grafos hamiltonianos, árboles, ciclos, grafos completos, etc, y hemos dado cotas inferiores y superiores generales, expresándolas en términos de invariantes de los grafos factores, como por ejemplo, el orden, el número de independencia, el número de cubrimiento de vértices, el número de emparejamiento, la conectividad algebraica, el número de cliqué, y el número de cliqué libre de gemelos. También hemos descrito algunas clases de grafos producto, donde se alcanzan estas cotas. Es conocido que el problema de encontrar la dimensión métrica fuerte de un grafo conexo se puede transformar en el problema de encontrar el número de cubrimiento de vértices de su correspondiente grafo de resolubilidad fuerte. En esta tesis hemos aprovechado esta herramienta y hemos encontrado varias relaciones entre el grafo de resolubilidad fuerte de grafos producto y los grafos de resolubilidad fuerte de sus factores. Por ejemplo, es notable destacar que el grafo de resolubilidad fuerte del producto cartesiano de dos grafos es isomorfo al producto directo de los grafos de resolubilidad fuerte de sus factores.In this thesis we study the strong metric dimension of product graphs. The central results of the thesis are focused on finding relationships between the strong metric dimension of product graphs and that of its factors together with other invariants of these factors. We have studied the following products: Cartesian product graphs, direct product graphs, strong product graphs, lexicographic product graphs, corona product graphs, join graphs, Cartesian sum graphs, and rooted product graphs, from now on ``product graphs''. We have obtained closed formulaes for the strong metric dimension of several nontrivial families of product graphs involving, for instance, bipartite graphs, vertex-transitive graphs, Hamiltonian graphs, trees, cycles, complete graphs, etc., or we have given general lower and upper bounds, and have expressed these in terms of invariants of the factor graphs like, for example, order, independence number, vertex cover number, matching number, algebraic connectivity, clique number, and twin-free clique number. We have also described some classes of product graphs where these bounds are achieved. It is known that the problem of finding the strong metric dimension of a connected graph can be transformed to the problem of finding the vertex cover number of its strong resolving graph. In the thesis we have strongly exploited this tool. We have found several relationships between the strong resolving graph of product graphs and that of its factor graphs. For instance, it is remarkable that the strong resolving graph of the Cartesian product of two graphs is isomorphic to the direct product of the strong resolving graphs of its factors

The simultaneous (strong) metric dimension of graph families

En aquesta tesi vam introduir la noció de resolubilitat simultània per a famílies de grafs definides sobre un conjunt de vèrtexs en comú. Els principals resultats de la tesi s'han abordat als generadors i bases mètrics simultanis, així com la dimensió mètrica simultània d'aquestes famílies. Addicionalment, hem tractat dues formes de resolubilitat simultània relacionades. Primerament, vam abordar la dimensió d'adjacència simultània, la qual va demostrar la seva utilitat per caracteritzar la dimensió mètrica simultània de famílies compostes per grafs-producte lexicogràfics i corona. En segon lloc, vam estudiar les propietats principals de la dimensió mètrica forta simultània. En tots els casos, el focus va estar a determinar les cotes generals per a aquests paràmetres, les seves relacions amb els paràmetres de resolubilitat estàndard dels grafs individuals i, quan va ser possible, donar valors exactes o cotes ajustades per certes famílies específiques. Des del punt de vista computacional, el problema encara no es pot considerar resolt per al cas general, ja que vam aconseguir verificar que el requisit de simultaneïtat augmenta la complexitat computacional dels càlculs relacionats amb aquests paràmetres, els quals ja s'havia demostrat que eren NP -difícils. En particular, vam caracteritzar famílies compostes per grafs pels quals alguns paràmetres estàndards de resolubilitat es poden calcular eficientment, mentre que calcular els paràmetres simultanis associats és NP-difícil. Per pal•liar aquest problema, vam proposar diversos mètodes per estimar aproximadament aquests paràmetres i vam realitzar una avaluació experimental per estudiar el seu comportament en col•leccions de famílies de grafs generades aleatòriament.En esta tesis hemos introducido la noción de resolubilidad simultánea para familias de grafos definidas sobre un conjunto de vértices en común. Los principales resultados de la tesis han abordado los generadores y bases métricos simultáneos, así como la dimensión métrica simultánea de dichas familias. Adicionalmente, hemos tratado dos formas de resolubilidad simultánea relacionadas. Primeramente, abordamos la dimensión de adyacencia simultánea, la cual demostró su utilidad para caracterizar la dimensión métrica simultánea de familias compuestas por grafos-producto lexicográficos y corona. En segundo lugar, estudiamos las propiedades principales de la dimensión métrica fuerte simultánea. En todos los casos, el foco estuvo en determinar las cotas generales para estos parámetros, sus relaciones con los parámetros de resolubilidad estándar de los grafos individuales y, cuando fue posible, dar valores exactos o cotas ajustadas para ciertas familias específicas. Desde el punto de vista computacional, los problemas aún no se pueden considerar resueltos para el caso general, ya que logramos verificar que el requisito de simultaneidad aumenta la complejidad computacional de los cálculos relacionados con estos parámetros, los cuales ya se había demostrado que eran NP-difíciles. En particular, caracterizamos familias compuestas por grafos para los cuales algunos parámetros estándares de resolubilidad se pueden calcular eficientemente, mientras que calcular los parámetros simultáneos asociados es NP-difícil. Para paliar este problema, propusimos varios métodos para estimar aproximadamente estos parámetros y realizamos una evaluación experimental para estudiar su comportamiento en colecciones de familias de grafos generadas aleatoriamente.In this thesis we have introduced the notion of simultaneous resolvability for graph families defined on a common vertex set. The main results of the thesis have dealt with simultaneous metric generators and bases, as well as the simultaneous metric dimension of such families. Additionally, we have covered two related forms of simultaneous resolvability. Firstly, we treated the simultaneous adjacency dimension, which proved useful for characterizing the simultaneous metric dimension of families composed by lexicographic and corona product graphs. Secondly, we studied the main properties of the simultaneous strong metric dimension. In all cases, our focus was on determining the general bounds for these parameters, their relations to the standard resolvability parameters of the individual graphs and, when possible, giving exact values or sharp bounds for a number of specific families. Computationally, these problems are far from solved for the general case, as we were able to verify that the requirement of simultaneity adds on the complexity of the calculations involving these resolvability parameters, which had already been proven to be NP-hard for their standard counterparts. In particular, we characterized families composed by graphs for which some standard resolvability parameters can be efficiently computed, while computing the associated simultaneous parameters is NP-hard. To alleviate this problem, we proposed several methods for approximately estimating these parameters and conducted an experimental evaluation to study their behaviour on randomly generated collections of graph families