FCEIA-ECEN-DM - Comunicaciones a congresos
URI permanente para esta colección
Examinar
Envíos recientes
Ítem Acceso Abierto Memorias de las Segundas Jornadas de Práctica Profesional Docente en Profesorados Universitarios en Matemática(Asociación de Profesores de la Facultad de Ciencias Exactas e Ingeniería de la Universidad Nacional de Rosario, 2022-07-01) Sgreccia, Natalia; Facultad de Ciencias Exactas, Ingeniería y Agrimensura de la Universidad Nacional de RosarioÍtem Acceso Abierto Memorias de las Primeras Jornadas de Práctica Profesional Docente en Profesorados Universitarios en Matemática(Asociación de Profesores de la Facultad de Ciencias Exactas e Ingeniería de la Universidad Nacional de Rosario, 2019-10-01) Sgreccia, Natalia; Facultad de Ciencias Exactas, Ingeniería y Agrimensura de la Universidad Nacional de RosarioÍtem Acceso Abierto Formalization of the Domination Chain with Weighted Parameters(2019) Severín, Daniel Esteban; LIPIcs – Leibniz International Proceedings in InformaticsThe Cockayne-Hedetniemi Domination Chain is a chain of inequalities between classic parameters of graph theory: for a given graph G, ir(G) ≤ γ(G) ≤ ι(G) ≤ α(G) ≤ Γ(G) ≤ IR(G). These parameters return the maximum/minimum cardinality of a set satisfying some property. However, they can be generalized for graphs with weighted vertices where the objective is to maximize/minimize the sum of weights of a set satisfying the same property, and the domination chain still holds for them. In this work, the definition of these parameters as well as the chain is formalized in Coq/Ssreflect.