{"title":"散射和稀疏分区及其应用","authors":"Arnold Filtser","doi":"10.1145/3672562","DOIUrl":null,"url":null,"abstract":"<p>A partition \\(\\mathcal{P}\\) of a weighted graph \\(G\\) is \\((\\sigma,\\tau,\\Delta)\\)-sparse if every cluster has diameter at most \\(\\Delta\\), and every ball of radius \\(\\Delta/\\sigma\\) intersects at most \\(\\tau\\) clusters. Similarly, \\(\\mathcal{P}\\) is \\((\\sigma,\\tau,\\Delta)\\)-scattering if instead for balls we require that every shortest path of length at most \\(\\Delta/\\sigma\\) intersects at most \\(\\tau\\) clusters. Given a graph \\(G\\) that admits a \\((\\sigma,\\tau,\\Delta)\\)-sparse partition for all \\(\\Delta \\gt 0\\), Jia et al. [STOC05] constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch \\(O(\\tau\\sigma^{2}\\log_{\\tau}n)\\). Given a graph \\(G\\) that admits a \\((\\sigma,\\tau,\\Delta)\\)-scattering partition for all \\(\\Delta \\gt 0\\), we construct a solution for the Steiner Point Removal problem with stretch \\(O(\\tau^{3}\\sigma^{3})\\). We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"78 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2024-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Scattering and Sparse Partitions, and their Applications\",\"authors\":\"Arnold Filtser\",\"doi\":\"10.1145/3672562\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A partition \\\\(\\\\mathcal{P}\\\\) of a weighted graph \\\\(G\\\\) is \\\\((\\\\sigma,\\\\tau,\\\\Delta)\\\\)-sparse if every cluster has diameter at most \\\\(\\\\Delta\\\\), and every ball of radius \\\\(\\\\Delta/\\\\sigma\\\\) intersects at most \\\\(\\\\tau\\\\) clusters. Similarly, \\\\(\\\\mathcal{P}\\\\) is \\\\((\\\\sigma,\\\\tau,\\\\Delta)\\\\)-scattering if instead for balls we require that every shortest path of length at most \\\\(\\\\Delta/\\\\sigma\\\\) intersects at most \\\\(\\\\tau\\\\) clusters. Given a graph \\\\(G\\\\) that admits a \\\\((\\\\sigma,\\\\tau,\\\\Delta)\\\\)-sparse partition for all \\\\(\\\\Delta \\\\gt 0\\\\), Jia et al. [STOC05] constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch \\\\(O(\\\\tau\\\\sigma^{2}\\\\log_{\\\\tau}n)\\\\). Given a graph \\\\(G\\\\) that admits a \\\\((\\\\sigma,\\\\tau,\\\\Delta)\\\\)-scattering partition for all \\\\(\\\\Delta \\\\gt 0\\\\), we construct a solution for the Steiner Point Removal problem with stretch \\\\(O(\\\\tau^{3}\\\\sigma^{3})\\\\). We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.</p>\",\"PeriodicalId\":50922,\"journal\":{\"name\":\"ACM Transactions on Algorithms\",\"volume\":\"78 1\",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-06-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Transactions on Algorithms\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1145/3672562\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Transactions on Algorithms","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1145/3672562","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Scattering and Sparse Partitions, and their Applications
A partition \(\mathcal{P}\) of a weighted graph \(G\) is \((\sigma,\tau,\Delta)\)-sparse if every cluster has diameter at most \(\Delta\), and every ball of radius \(\Delta/\sigma\) intersects at most \(\tau\) clusters. Similarly, \(\mathcal{P}\) is \((\sigma,\tau,\Delta)\)-scattering if instead for balls we require that every shortest path of length at most \(\Delta/\sigma\) intersects at most \(\tau\) clusters. Given a graph \(G\) that admits a \((\sigma,\tau,\Delta)\)-sparse partition for all \(\Delta \gt 0\), Jia et al. [STOC05] constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch \(O(\tau\sigma^{2}\log_{\tau}n)\). Given a graph \(G\) that admits a \((\sigma,\tau,\Delta)\)-scattering partition for all \(\Delta \gt 0\), we construct a solution for the Steiner Point Removal problem with stretch \(O(\tau^{3}\sigma^{3})\). We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.
期刊介绍:
ACM Transactions on Algorithms welcomes submissions of original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way, either in the objective or in the analysis. Most welcome are new algorithms and data structures, new and improved analyses, and complexity results. Specific areas of computation covered by the journal include
combinatorial searches and objects;
counting;
discrete optimization and approximation;
randomization and quantum computation;
parallel and distributed computation;
algorithms for
graphs,
geometry,
arithmetic,
number theory,
strings;
on-line analysis;
cryptography;
coding;
data compression;
learning algorithms;
methods of algorithmic analysis;
discrete algorithms for application areas such as
biology,
economics,
game theory,
communication,
computer systems and architecture,
hardware design,
scientific computing