La memoria está enmarcada en el contexto de la Teoría de Juegos Simples, aunque varios de los resultados obtenidos pueden ser trasladados a campos como la Electrónica o Fiabilidad de Sistemas. Está estructurada en cinco capítulos. El primero de ellos es un resumen de los principales resultados necesarios para el seguimiento del trabajo.Partiendo de los resultados obtenidos por Hu en el campo de la Electrónica, en el 2º capítulo determinamos el máximo porcentaje permitido en la variación de los pesos y la cuota de una representación estricta de un juego de mayoría ponderada que hace que el juego no cambie. Se mejoran los resultados existentes, a la vez que se definen los conceptos de amplitud, amplitud coalicional y amplitud coalicional con suma de pesos constante de representaciones estrictas de juegos de mayoría ponderada. Determinamos la cuota que hace que la amplitud sea máxima cuando los pesos están fijados.En el capítulo tercero partimos de los resultados obtenidos por Carreras y Freixas en el estudio y caracterización de los juegos simples completos, para definir y caracterizar los juegos completos con mínimo. A partir de la relación de desplazamiento y, teniendo en cuenta que a jugadores indiferentes les corresponde el mismo vector de pago, consideramos el vector normalizado del nucleolo y lo obtenemos como solución de un sistema determinado de ecuaciones.Dado que en un juego completo sin clases triviales el núcleo y el pre-núcleo coinciden y que ambos respetan la relación de desplazamiento, podemos definir el núcleo maximal de un juego completo y caracterizar su maximalidad en función de los jugadores con veto y de los jugadores nulos.Proporcionamos un método para calcular los semivalores, que es suficiente realizarlo para cada I-clase, puesto que jugadores indiferentes tienen asociado el mismo semivalor, y a su vez, el semivalor de una I-clase está definido aditivamente a partir de los semivalores individuales.El cuarto capítulo está dedicado al cálculo de la dimensión de ciertos juegos simples. En el primer bloque determinamos la dimensión de los juegos completos con mínimo. Como consecuencia inmediata de este resultado se deduce que para todo natural, n, existe un juego completo (con mínimo) cuya dimensión es n. Este hecho demuestra que la complejidad de la dimensión del juego no está directamente relacionada con que la relación de desplazamiento sea total.En el segundo bloque se establecen de nuevo conexiones con la Fiabilidad. Las dos clases de juegos que estudiamos aquí pueden interpretarse como un caso particular de los juegos simples compuestos, y que denominamos composición de juegos de unanimidad vía individualismo y composición de juegos individualistas vía unanimidad. Ambos generan juegos simples de cualquier dimensión.La dimensión obtenida para composición de juegos de unanimidad vía individualismo nos permite generar juegos simples monótonos de dimensión exponencial y mejorar los resultados existentesEn el capítulo quinto definimos y caracterizamos mediante coeficientes ponderados a los semivalores para juegos simples, estudiando su comportamiento ante una serie de postulados y paradojas. Estos coeficientes de ponderación nos permitirán definir los semivalores binomiales y calcularlos a partir de la extensión multilineal del juego. Este resultado podrá extenderse al resto de los semivalores teniendo en cuenta que todo semivalor es combinación lineal de n semivalores binomiales linealmente independientes. Finalmente presentamos una serie de aplicaciones de los semivalores a la Fiabilidad de Sistemas.

El objetivo de esta tesis es desarrollar la interpolación de Birkhoff mediante polinomios lacunarios.En la interpolación algebraica de Birkhoff se determina un polinomio de grado menor que n, para ello se emplean n condiciones que fijan el valor del polinomio o sus derivadas. Los problemas clásicos de interpolación de Lagrange, Taylor, Hermite, Hermite-Sylvester y Abel-Gontcharov son casos particulares de interpolación algebraica de Birkhoff.Un espacio de polinomios lacunarios de dimensión n es el conjunto de los polinomios que pueden generarse por combinación lineal de n potencias distintas de grados, en general, no consecutivos. En particular, cuando tomamos potencias de grados 0,1,.,n-1, se obtiene el espacio de polinomios de grado menor que n, empleado en la interpolación algebraica clásica. En la interpolación algebraica clásica, el número de condiciones determina el espacio de interpolación. En contraste, en la interpolación mediante polinomios lacunarios las condiciones de interpolación determinan únicamente la dimensión del espacio de interpolación y pueden existir una infinidad de espacios sobre los que realizar la interpolación. Esto nos permite construir mejores estrategias de interpolación en ciertos casos, como la interpolación de funciones de gran crecimiento (interpolación de exponenciales y de ramas asintóticas).La aportación de la tesis consiste en la definición de un marco teórico adecuado para la interpolación de Birkhoff mediante polinomios lacunarios y en la extensión al nuevo marco de los principales elementos de la interpolación algebraica de Birkhoff. En concreto, se generaliza la condición de Pólya, se caracteriza la regularidad condicionada, se establecen condiciones suficientes de regularidad ordenada que extienden el teorema de Atkhison-Sharma, se extiende la descomposición normal y se establecen condiciones suficientes de singularidad en los casos indescomponibles.

The original interest in sandwiched singularities comes from a natural question posed by J. Nash in the early sixties to H. Hironaka: “Does a finite succession of Nash transformations or normalized Nash transformations resolve the singularities of a reduced algebraic variety?” In 1975, A. Nobile proved that, in characteristic zero, a Nash transformation is an isomorphism only in case the original variety is already non-singular. It turns out, in particular, that curve singularities are resolved by a succession of Nash transformations. Rebasoo proved in his Ph. D. thesis that Nash transformations also resolve certain kinds of quasi-homogeneous hypersurface singularities in (C)3. In 1982, G. Gonzalez-Sprinberg proved that normalized Nash transformations resolve rational double points and cyclic quotients singularities of surfaces. Then, H. Hironaka proved that after a finite succession of normalized Nash transformations one obtains a surface “X” which birationally dominates a non-singular surface. By definition, the singularities of “X” are sandwiched singularities. Some years later, M. Spivakovsky proves that sandwiched singularities are resolved by normalized Nash transformations, thus giving a positive answer to the original question posed by Nash for the case of surfaces over C. Since then, a constant interest in sandwiched singularities has been shown, and they have been deeply studied from the point of view of deformation theory by de Jong and van Straten, and also by Stolen and Mohring. Sandwiched singularities have been also studied as a nice testing ground for the Nash and the wedge Problem by Lejeune-Jalabert and Reguera, where the main idea is to extend combinatorial arguments for toric surface singularities to sandwiched ones. Sandwiched singularities are the singularities obtained by blowing-up a complete ideal in the local ring of a regular point on a surface. They are rational surface singularities (roughly speaking, isolated singularities whose resolution has no effect on the arithmetic genus of the surface) and among them are included all cyclic quotients and minimal surface singularities. Sandwiched singularities are Cohen-Macaulay, but are not complete intersections and in general, there are no simple equations for them. The purpose of this memoir is to study sandwiched singularities through their relationship to the infinitely near base points of the complete ideals blownup to obtain them. Now, we briefly summarize the main contents of each one of the chapters. Chapter I is of preliminary nature and gives references to the literature for proofs. Concepts and well-known facts about infinitely near points, weighted clusters, complete ideals and rational and sandwiched surface singularities are reviewed and some consequences that are needed in the memoir are derived. In Chapter II we establish the main link between the study of sandwiched singularities and the theory of Enriques diagrams of weighted clusters and we derive some results on sandwiched singularities by using the unloading procedure. Chapter III deals essentially with the principality of divisors going through a sandwiched singularity. It is well known that Wei divisors going through a singularity (X, Q) are not Cartier divisors in general. In Chapter IV we use the results of Chapter III to explore the connection between the ideal sheaves on “X” with finite cosupport contained in the exceptional locus and the complete m(o)-primary ideals in R. Chapter V is devoted to derive consequences related to the Nash conjecture of arcs for sandwiched singularities. In Appendix A, we provide the listings of three programs in language C implementing some of the algorithms proposed. These programs have been used to compute some of the examples presented throughout the memoir. Part of the results of this thesis has been published or will be published in: • J. Fernandez-Sanchez, On sandwiched singularities and complete ideals, J. Pure Appl. Algebra 185 (2003), no. 1-3, 165-175. [19] • J. Fernandez-Sanchez, Nash families of smooth arcs on a sandwiched singularity, To appear in Math. Proc. Cambridge. Philos. Soc. [18] • J. Fernandez-Sanchez, Equivalence of the Nash conjecture for primitive and sandwiched singularities, To appear in Proc. Amer. Math. Soc. [17]

El principal objectiu d'aquesta tesi és el de contribuir a l'estudi de l'existència i classificació dels grafs i digrafs que puguin admetre el màxim nombre de vèrtexs sota determinades condicions donats el grau i el diàmetre. Aquest estudi consta de tres parts ben diferenciades, una sobre digrafs i dos sobre grafs. En el treball relacionat amb els digrafs demostrem que els digrafs quasi de Moore de diàmetre k = 3 i qualsevol grau no existeixen. Així mateix provem la no existència dels digrafs quasi de Moore de diàmetre 4 i qualsevol grau assumint la irreductibilitat en Q[x] de certs polinomis. En quan als grafs ens hem centrat en l'existència dels de grau d, diàmetre 2 i defecte 2, anomenats (d,2,2)-grafs i assumint la irreductibilitat en Q[x] de certs polinomis provem que no existeixen per a cap grau. A més provem que no existeixen per a graus entre 4 i 50. Finalment estudiem els grafs radials de Moore de grau d i radi k. Proposem diferents mesures per classificar-los d'acord a la proximitat de les seves propietats a les d'un graf de Moore i ordenem segons aquestes mesures tots els grafs radials de Moore en els casos (d,k) = {(3,2), (3,3), (4,2)}. / El principal objetivo de esta tesis es el de contribuir al estudio de la existencia y clasificación de los grafos y digrafos que puedan admitir el máximo número de vértices bajo determinadas condiciones dados el grado y el diámetro. Este estudio consta de tres partes bien diferenciadas, una sobre digrafos y dos sobre grafos. En el trabajo relacionado con los digrafos demostramos que los digrafos casi de Moore de diámetro k = 3 y cualquier grado no existen. Asimismo probamos la no existencia de los digrafos casi de Moore de diámetro 4 y cualquier grado suponiendo la irreducibilidad en Q[x] de ciertos polinomios. En cuanto a los grafos nos hemos centrado en la existencia de los de grado d, diámetro 2 y defecto 2, llamados (d,2,2)-grafos y suponiendo la irreducibilidad en Q[x] de ciertos polinomios probamos que no existen para ningún grado. Además probamos que no existen para grados entre 4 y 50. Finalmente estudiamos los grafos radiales de Moore de grado d y radio k. Proponemos diferentes medidas para clasificarlos de acuerdo a la proximidad de sus propiedades a las de un grafo de Moore y ordenamos según estas medidas todos los grafos radiales de Moore en los casos (d, k) = {(3,2), (3,3), (4,2)}. / The main goal of this thesis is to contribute to the study of the existence and classification of graphs and digraphs that can achieve the maximum number of vertices under certain conditions given the degree and the diameter. This study consists of three differenciated parts, one on digraphs and two on graphs. The work on digraphs focuses on almost Moore digraphs. We prove that they do not exist for diameter 3 and any degree. Besides, we prove the non-existence of almost Moore digraphs of diameter 4 assuming the irreducibility in Q[x] of certain polynomials. Concerning graphs, we discuss the existence of graphs of degree d, diameter 2 and defect 2. Assuming the irreducibility in Q[x] of certain polynomials we prove their non existence. We also show they do not exist for degrees between 4 and 50. Finally we study radial Moore graphs of degree d and radius k. We propose different measures for classifying them in terms of their proximity to extremal properties of a Moore graph. By means of our measures, we are able to enumerate all radial Moore graphs for the cases (d, k) = {(3.2), (3.3), (4.2)}.