Relative Survivable Network Design
One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum \(k\)-Edge-Connected Spanning Subgraph problem (\(k\)-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A w...
Gespeichert in:
Veröffentlicht in: | arXiv.org 2022-06 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | |
---|---|
container_issue | |
container_start_page | |
container_title | arXiv.org |
container_volume | |
creator | Dinitz, Michael Koranteng, Ama Kortsarz, Guy |
description | One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum \(k\)-Edge-Connected Spanning Subgraph problem (\(k\)-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A weakness of these formulations, though, is that we are not able to ask for fault-tolerance larger than the connectivity. We introduce and study new variants of these problems under a notion of relative fault-tolerance. Informally, we require not that two nodes are connected if there are a bounded number of faults (as in the classical setting), but that two nodes are connected if there are a bounded number of faults and the two nodes are connected in the underlying graph post-faults. That is, the subgraph we build must "behave" identically to the underlying graph with respect to connectivity after bounded faults. We define and introduce these problems, and provide the first approximation algorithms: a \((1+4/k)\)-approximation for the unweighted relative version of \(k\)-ECSS, a \(2\)-approximation for the weighted relative version of \(k\)-ECSS, and a \(27/4\)-approximation for the special case of Relative Survivable Network Design with only a single demand with a connectivity requirement of \(3\). To obtain these results, we introduce a number of technical ideas that may of independent interest. First, we give a generalization of Jain's iterative rounding analysis that works even when the cut-requirement function is not weakly supermodular, but instead satisfies a weaker definition we introduce and term local weak supermodularity. Second, we prove a structure theorem and design an approximation algorithm utilizing a new decomposition based on important separators, which are structures commonly used in fixed-parameter algorithms that have not commonly been used in approximation algorithms. |
format | Article |
fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2681279719</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2681279719</sourcerecordid><originalsourceid>FETCH-proquest_journals_26812797193</originalsourceid><addsrcrecordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mRQCkrNSSzJLEtVCC4tKsssS0zKSVXwSy0pzy_KVnBJLc5Mz-NhYE1LzClO5YXS3AzKbq4hzh66BUX5haWpxSXxWfmlRXlAqXgjMwtDI3NLc0NLY-JUAQBzaC4S</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2681279719</pqid></control><display><type>article</type><title>Relative Survivable Network Design</title><source>Freely Accessible Journals at publisher websites</source><creator>Dinitz, Michael ; Koranteng, Ama ; Kortsarz, Guy</creator><creatorcontrib>Dinitz, Michael ; Koranteng, Ama ; Kortsarz, Guy</creatorcontrib><description>One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum \(k\)-Edge-Connected Spanning Subgraph problem (\(k\)-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A weakness of these formulations, though, is that we are not able to ask for fault-tolerance larger than the connectivity. We introduce and study new variants of these problems under a notion of relative fault-tolerance. Informally, we require not that two nodes are connected if there are a bounded number of faults (as in the classical setting), but that two nodes are connected if there are a bounded number of faults and the two nodes are connected in the underlying graph post-faults. That is, the subgraph we build must "behave" identically to the underlying graph with respect to connectivity after bounded faults. We define and introduce these problems, and provide the first approximation algorithms: a \((1+4/k)\)-approximation for the unweighted relative version of \(k\)-ECSS, a \(2\)-approximation for the weighted relative version of \(k\)-ECSS, and a \(27/4\)-approximation for the special case of Relative Survivable Network Design with only a single demand with a connectivity requirement of \(3\). To obtain these results, we introduce a number of technical ideas that may of independent interest. First, we give a generalization of Jain's iterative rounding analysis that works even when the cut-requirement function is not weakly supermodular, but instead satisfies a weaker definition we introduce and term local weak supermodularity. Second, we prove a structure theorem and design an approximation algorithm utilizing a new decomposition based on important separators, which are structures commonly used in fixed-parameter algorithms that have not commonly been used in approximation algorithms.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Algorithms ; Approximation ; Connectivity ; Fault tolerance ; Faults ; Graph theory ; Mathematical analysis ; Network design ; Nodes ; Rounding ; Separators ; Survival</subject><ispartof>arXiv.org, 2022-06</ispartof><rights>2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>780,784</link.rule.ids></links><search><creatorcontrib>Dinitz, Michael</creatorcontrib><creatorcontrib>Koranteng, Ama</creatorcontrib><creatorcontrib>Kortsarz, Guy</creatorcontrib><title>Relative Survivable Network Design</title><title>arXiv.org</title><description>One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum \(k\)-Edge-Connected Spanning Subgraph problem (\(k\)-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A weakness of these formulations, though, is that we are not able to ask for fault-tolerance larger than the connectivity. We introduce and study new variants of these problems under a notion of relative fault-tolerance. Informally, we require not that two nodes are connected if there are a bounded number of faults (as in the classical setting), but that two nodes are connected if there are a bounded number of faults and the two nodes are connected in the underlying graph post-faults. That is, the subgraph we build must "behave" identically to the underlying graph with respect to connectivity after bounded faults. We define and introduce these problems, and provide the first approximation algorithms: a \((1+4/k)\)-approximation for the unweighted relative version of \(k\)-ECSS, a \(2\)-approximation for the weighted relative version of \(k\)-ECSS, and a \(27/4\)-approximation for the special case of Relative Survivable Network Design with only a single demand with a connectivity requirement of \(3\). To obtain these results, we introduce a number of technical ideas that may of independent interest. First, we give a generalization of Jain's iterative rounding analysis that works even when the cut-requirement function is not weakly supermodular, but instead satisfies a weaker definition we introduce and term local weak supermodularity. Second, we prove a structure theorem and design an approximation algorithm utilizing a new decomposition based on important separators, which are structures commonly used in fixed-parameter algorithms that have not commonly been used in approximation algorithms.</description><subject>Algorithms</subject><subject>Approximation</subject><subject>Connectivity</subject><subject>Fault tolerance</subject><subject>Faults</subject><subject>Graph theory</subject><subject>Mathematical analysis</subject><subject>Network design</subject><subject>Nodes</subject><subject>Rounding</subject><subject>Separators</subject><subject>Survival</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><recordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mRQCkrNSSzJLEtVCC4tKsssS0zKSVXwSy0pzy_KVnBJLc5Mz-NhYE1LzClO5YXS3AzKbq4hzh66BUX5haWpxSXxWfmlRXlAqXgjMwtDI3NLc0NLY-JUAQBzaC4S</recordid><startdate>20220624</startdate><enddate>20220624</enddate><creator>Dinitz, Michael</creator><creator>Koranteng, Ama</creator><creator>Kortsarz, Guy</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20220624</creationdate><title>Relative Survivable Network Design</title><author>Dinitz, Michael ; Koranteng, Ama ; Kortsarz, Guy</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_26812797193</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Algorithms</topic><topic>Approximation</topic><topic>Connectivity</topic><topic>Fault tolerance</topic><topic>Faults</topic><topic>Graph theory</topic><topic>Mathematical analysis</topic><topic>Network design</topic><topic>Nodes</topic><topic>Rounding</topic><topic>Separators</topic><topic>Survival</topic><toplevel>online_resources</toplevel><creatorcontrib>Dinitz, Michael</creatorcontrib><creatorcontrib>Koranteng, Ama</creatorcontrib><creatorcontrib>Kortsarz, Guy</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dinitz, Michael</au><au>Koranteng, Ama</au><au>Kortsarz, Guy</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Relative Survivable Network Design</atitle><jtitle>arXiv.org</jtitle><date>2022-06-24</date><risdate>2022</risdate><eissn>2331-8422</eissn><abstract>One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum \(k\)-Edge-Connected Spanning Subgraph problem (\(k\)-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A weakness of these formulations, though, is that we are not able to ask for fault-tolerance larger than the connectivity. We introduce and study new variants of these problems under a notion of relative fault-tolerance. Informally, we require not that two nodes are connected if there are a bounded number of faults (as in the classical setting), but that two nodes are connected if there are a bounded number of faults and the two nodes are connected in the underlying graph post-faults. That is, the subgraph we build must "behave" identically to the underlying graph with respect to connectivity after bounded faults. We define and introduce these problems, and provide the first approximation algorithms: a \((1+4/k)\)-approximation for the unweighted relative version of \(k\)-ECSS, a \(2\)-approximation for the weighted relative version of \(k\)-ECSS, and a \(27/4\)-approximation for the special case of Relative Survivable Network Design with only a single demand with a connectivity requirement of \(3\). To obtain these results, we introduce a number of technical ideas that may of independent interest. First, we give a generalization of Jain's iterative rounding analysis that works even when the cut-requirement function is not weakly supermodular, but instead satisfies a weaker definition we introduce and term local weak supermodularity. Second, we prove a structure theorem and design an approximation algorithm utilizing a new decomposition based on important separators, which are structures commonly used in fixed-parameter algorithms that have not commonly been used in approximation algorithms.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | EISSN: 2331-8422 |
ispartof | arXiv.org, 2022-06 |
issn | 2331-8422 |
language | eng |
recordid | cdi_proquest_journals_2681279719 |
source | Freely Accessible Journals at publisher websites |
subjects | Algorithms Approximation Connectivity Fault tolerance Faults Graph theory Mathematical analysis Network design Nodes Rounding Separators Survival |
title | Relative Survivable Network Design |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T05%3A59%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Relative%20Survivable%20Network%20Design&rft.jtitle=arXiv.org&rft.au=Dinitz,%20Michael&rft.date=2022-06-24&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2681279719%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2681279719&rft_id=info:pmid/&rfr_iscdi=true |