平衡连通k划分问题:多面体及其算法

M. J. Ota, F. Miyazawa, Phablo F. S. Moura
{"title":"平衡连通k划分问题:多面体及其算法","authors":"M. J. Ota, F. Miyazawa, Phablo F. S. Moura","doi":"10.5753/CTD.2021.15763","DOIUrl":null,"url":null,"abstract":"The balanced connected k-partition (BCPk) problem consists in partitioning a connected graph into connected subgraphs with similar weights. This problem arises in multiple practical applications, such as police patrolling, image processing, data base and operating systems. In this work, we address the BCPk using mathematical programming. We propose a compact formulation based on flows and a formulation based on separators. We introduce classes of valid inequalities and design polynomial-time separation routines. Moreover, to the best of our knowledge, we present the first polyhedral study for BCPk in the literature. Finally, we report on computational experiments showing that the proposed algorithms significantly outperform the state of the art for BCPk.","PeriodicalId":236085,"journal":{"name":"Anais do XXXIV Concurso de Teses e Dissertações da SBC (CTD-SBC 2021)","volume":"14 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Balanced Connected k-Partition Problem: Polyhedra and Algorithms\",\"authors\":\"M. J. Ota, F. Miyazawa, Phablo F. S. Moura\",\"doi\":\"10.5753/CTD.2021.15763\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The balanced connected k-partition (BCPk) problem consists in partitioning a connected graph into connected subgraphs with similar weights. This problem arises in multiple practical applications, such as police patrolling, image processing, data base and operating systems. In this work, we address the BCPk using mathematical programming. We propose a compact formulation based on flows and a formulation based on separators. We introduce classes of valid inequalities and design polynomial-time separation routines. Moreover, to the best of our knowledge, we present the first polyhedral study for BCPk in the literature. Finally, we report on computational experiments showing that the proposed algorithms significantly outperform the state of the art for BCPk.\",\"PeriodicalId\":236085,\"journal\":{\"name\":\"Anais do XXXIV Concurso de Teses e Dissertações da SBC (CTD-SBC 2021)\",\"volume\":\"14 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-07-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do XXXIV Concurso de Teses e Dissertações da SBC (CTD-SBC 2021)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/CTD.2021.15763\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XXXIV Concurso de Teses e Dissertações da SBC (CTD-SBC 2021)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/CTD.2021.15763","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

平衡连通k-划分(BCPk)问题包括将连通图划分为具有相似权值的连通子图。这个问题出现在许多实际应用中,如警察巡逻、图像处理、数据库和操作系统。在这项工作中,我们使用数学规划来解决BCPk。我们提出了一个基于流动的紧凑配方和一个基于分离器的配方。我们引入了有效不等式的类别,并设计了多项式时间分离例程。此外,据我们所知,我们在文献中首次提出了BCPk的多面体研究。最后,我们报告了计算实验,表明所提出的算法显着优于BCPk的最新状态。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
The Balanced Connected k-Partition Problem: Polyhedra and Algorithms
The balanced connected k-partition (BCPk) problem consists in partitioning a connected graph into connected subgraphs with similar weights. This problem arises in multiple practical applications, such as police patrolling, image processing, data base and operating systems. In this work, we address the BCPk using mathematical programming. We propose a compact formulation based on flows and a formulation based on separators. We introduce classes of valid inequalities and design polynomial-time separation routines. Moreover, to the best of our knowledge, we present the first polyhedral study for BCPk in the literature. Finally, we report on computational experiments showing that the proposed algorithms significantly outperform the state of the art for BCPk.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Shared Memory Verification for Multicore Chip Designs Characterizing the Relationship Between Unitary Quantum Walks and Non-Homogeneous Random Walks Towards Automatic Fake News Detection in Digital Platforms: Properties, Limitations, and Applications Sunflower Theorems in Monotone Circuit Complexity On the Helly Property of Some Intersection Graphs
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1