Laurent Bulteau, Konrad K. Dabrowski, Noleen Köhler, Sebastian Ordyniak, Daniël Paulusma
{"title":"An Algorithmic Framework for Locally Constrained Homomorphisms","authors":"Laurent Bulteau, Konrad K. Dabrowski, Noleen Köhler, Sebastian Ordyniak, Daniël Paulusma","doi":"10.1137/22m1513290","DOIUrl":null,"url":null,"abstract":"SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1315-1350, June 2024. <br/> Abstract. A homomorphism [math] from a guest graph [math] to a host graph [math] is locally bijective, injective, or surjective if for every [math], the restriction of [math] to the neighbourhood of [math] is bijective, injective, or surjective, respectively. We prove a number of new FPT (fixed-parameter tractable), W[1]-hard, and paraNP-complete results for the corresponding decision problems LBHom, LIHom, and LSHom by considering a hierarchy of parameters of the guest graph [math]. In this way we strengthen several existing results. For our FPT results, we develop a new algorithmic framework that involves a general ILP (integer linear program) model. We also use our framework to prove FPT results for the Role Assignment problem, which originates from social network theory and is closely related to locally surjective homomorphisms.","PeriodicalId":49530,"journal":{"name":"SIAM Journal on Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIAM Journal on Discrete Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1137/22m1513290","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1315-1350, June 2024. Abstract. A homomorphism [math] from a guest graph [math] to a host graph [math] is locally bijective, injective, or surjective if for every [math], the restriction of [math] to the neighbourhood of [math] is bijective, injective, or surjective, respectively. We prove a number of new FPT (fixed-parameter tractable), W[1]-hard, and paraNP-complete results for the corresponding decision problems LBHom, LIHom, and LSHom by considering a hierarchy of parameters of the guest graph [math]. In this way we strengthen several existing results. For our FPT results, we develop a new algorithmic framework that involves a general ILP (integer linear program) model. We also use our framework to prove FPT results for the Role Assignment problem, which originates from social network theory and is closely related to locally surjective homomorphisms.
期刊介绍：
SIAM Journal on Discrete Mathematics (SIDMA) publishes research papers of exceptional quality in pure and applied discrete mathematics, broadly interpreted. The journal''s focus is primarily theoretical rather than empirical, but the editors welcome papers that evolve from or have potential application to real-world problems. Submissions must be clearly written and make a significant contribution.
Topics include but are not limited to:
properties of and extremal problems for discrete structures
combinatorial optimization, including approximation algorithms
algebraic and enumerative combinatorics
coding and information theory
additive, analytic combinatorics and number theory
combinatorial matrix theory and spectral graph theory
design and analysis of algorithms for discrete structures
discrete problems in computational complexity
discrete and computational geometry
discrete methods in computational biology, and bioinformatics
probabilistic methods and randomized algorithms.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
