Departamento de Matemática - FCEIA-ECEN-DM
URI permanente para esta comunidad
Examinar
Examinando Departamento de Matemática - FCEIA-ECEN-DM por Autor "Severín, Daniel Esteban"
Mostrando 1 - 7 de 7
Resultados por página
Opciones de ordenación
Ítem Acceso Abierto An exact approach for the balanced k-way partitioning problem with weight constraints and its application to sports team realignment(Springer Nature Switzerland, 2018-02-09) Recalde, Diego; Severín, Daniel Esteban; Torres, Ramiro; Vaca, PoloÍtem Acceso Abierto Appendix and source code of ACP solver for the paper On the additive chromatic number of several families of graphs(2020-02-12) Severín, Daniel EstebanÍtem Acceso Abierto Cross-identification between Cordoba Durchmusterung catalog (declinations -22, -23 and -24) and PPMX catalog(2018-04-02) Severín, Daniel EstebanÍtem Acceso Abierto Cross-identification of stellar catalogs with multiple stars: Complexity and Resolution(Elsevier, 2018-08) Severín, Daniel EstebanÍtem Acceso Abierto Domination Chain with Weighted Parameters (Coq files)(2019-03-14) Severín, Daniel EstebanÍ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.Ítem Acceso Abierto Instances and source code for the paper An Exact Approach for the Balanced k-Way Partitioning Problem with Weight Constraints and its Application to Sports Team Realignment(2018-04-05) Severín, Daniel Esteban; Recalde, Diego; Torres, Ramiro; Vaca, Polo