{"title":"寻找更好的填充","authors":"F. Fomin, Yngve Villanger","doi":"10.4230/LIPIcs.STACS.2013.8","DOIUrl":null,"url":null,"abstract":"Abstract Minimum Fill-in is a fundamental and classical problem arising in sparse matrix computations. In terms of graphs it can be formulated as a problem of finding a triangulation of a given graph with the minimum number of edges. In this paper, we study the parameterized complexity of local search for the Minimum Fill-in problem in the following form: Given a triangulation H of a graph G, is there a better triangulation, i.e. triangulation with less edges than H, within a given distance from H? We prove that this problem is fixed-parameter tractable (FPT) being parameterized by the distance from the initial triangulation, by providing an algorithm that in time f ( k ) | G | O ( 1 ) decides if a better triangulation of G can be obtained by swapping at most k edges of H. Our result adds Minimum Fill-in to the list of very few problems for which local search is known to be FPT.","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Searching for better fill-in\",\"authors\":\"F. Fomin, Yngve Villanger\",\"doi\":\"10.4230/LIPIcs.STACS.2013.8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract Minimum Fill-in is a fundamental and classical problem arising in sparse matrix computations. In terms of graphs it can be formulated as a problem of finding a triangulation of a given graph with the minimum number of edges. In this paper, we study the parameterized complexity of local search for the Minimum Fill-in problem in the following form: Given a triangulation H of a graph G, is there a better triangulation, i.e. triangulation with less edges than H, within a given distance from H? We prove that this problem is fixed-parameter tractable (FPT) being parameterized by the distance from the initial triangulation, by providing an algorithm that in time f ( k ) | G | O ( 1 ) decides if a better triangulation of G can be obtained by swapping at most k edges of H. Our result adds Minimum Fill-in to the list of very few problems for which local search is known to be FPT.\",\"PeriodicalId\":346691,\"journal\":{\"name\":\"Journal of computer and system sciences (Print)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of computer and system sciences (Print)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.STACS.2013.8\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of computer and system sciences (Print)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.STACS.2013.8","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
摘要
最小填充是稀疏矩阵计算中的一个基本问题和经典问题。就图而言,它可以被表述为一个用最小边数找到给定图的三角剖分问题。本文以如下形式研究最小填充问题局部搜索的参数化复杂度:给定图G的一个三角剖分H,在距H的给定距离内是否存在比H更优的三角剖分,即边数少于H的三角剖分?通过提供一种算法,在时间f (k) | G | O(1)决定是否可以通过交换h的最多k条边来获得G的更好的三角剖分,我们证明了该问题是由与初始三角剖分的距离参数化的固定参数可处理(FPT)问题。我们的结果将最小填充添加到已知局部搜索为FPT的极少数问题列表中。
Abstract Minimum Fill-in is a fundamental and classical problem arising in sparse matrix computations. In terms of graphs it can be formulated as a problem of finding a triangulation of a given graph with the minimum number of edges. In this paper, we study the parameterized complexity of local search for the Minimum Fill-in problem in the following form: Given a triangulation H of a graph G, is there a better triangulation, i.e. triangulation with less edges than H, within a given distance from H? We prove that this problem is fixed-parameter tractable (FPT) being parameterized by the distance from the initial triangulation, by providing an algorithm that in time f ( k ) | G | O ( 1 ) decides if a better triangulation of G can be obtained by swapping at most k edges of H. Our result adds Minimum Fill-in to the list of very few problems for which local search is known to be FPT.