Lorenzo Balzotti, Paolo G. Franciosa
求助PDF
{"title":"无向平面图在最大流量方面有多脆弱?","authors":"Lorenzo Balzotti, Paolo G. Franciosa","doi":"10.1002/net.22205","DOIUrl":null,"url":null,"abstract":"We study the problem of computing the vitality of edges and vertices with respect to the <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"1\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0001.png\"><mjx-semantics><mjx-mrow data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic- data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0001\" display=\"inline\" location=\"graphic/net22205-math-0001.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">s</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\"></mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow in undirected planar graphs, where the vitality of an edge/vertex is the <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"2\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0002.png\"><mjx-semantics><mjx-mrow data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic- data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0002\" display=\"inline\" location=\"graphic/net22205-math-0002.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">s</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\"></mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow decrease when the edge/vertex is removed from the graph. This allows us to establish the vulnerability of the graph with respect to the <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"3\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0003.png\"><mjx-semantics><mjx-mrow data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic- data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0003\" display=\"inline\" location=\"graphic/net22205-math-0003.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">s</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\"></mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow. We give efficient algorithms to compute an additive guaranteed approximation of the vitality of edges and vertices in planar undirected graphs. We show that in the general case high vitality values are well approximated in time close to the time currently required to compute <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"4\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0004.png\"><mjx-semantics><mjx-mrow data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic- data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0004\" display=\"inline\" location=\"graphic/net22205-math-0004.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple;clearspeak:unit\" data-semantic-children=\"0,1\" data-semantic-content=\"2\" data-semantic-role=\"implicit\" data-semantic-speech=\"s t\" data-semantic-type=\"infixop\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">s</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"infixop,\" data-semantic-parent=\"3\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\"></mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"3\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"5\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0005.png\"><mjx-semantics><mjx-mrow data-semantic-children=\"0,13\" data-semantic-content=\"14,0\" data-semantic- data-semantic-role=\"simple function\" data-semantic-speech=\"upper O left parenthesis n log log n right parenthesis\" data-semantic-type=\"appl\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"15\" data-semantic-role=\"simple function\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"15\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-children=\"12\" data-semantic-content=\"1,6\" data-semantic- data-semantic-parent=\"15\" data-semantic-role=\"leftright\" data-semantic-type=\"fenced\"><mjx-mo data-semantic- data-semantic-operator=\"fenced\" data-semantic-parent=\"13\" data-semantic-role=\"open\" data-semantic-type=\"fence\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\"clearspeak:unit\" data-semantic-children=\"2,10\" data-semantic-content=\"11\" data-semantic- data-semantic-parent=\"13\" data-semantic-role=\"implicit\" data-semantic-type=\"infixop\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"12\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"infixop,\" data-semantic-parent=\"12\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"3,8\" data-semantic-content=\"9,3\" data-semantic- data-semantic-parent=\"12\" data-semantic-role=\"prefix function\" data-semantic-type=\"appl\"><mjx-mi data-semantic-font=\"normal\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"10\" data-semantic-role=\"prefix function\" data-semantic-type=\"function\"><mjx-c></mjx-c><mjx-c></mjx-c><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"10\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"4,5\" data-semantic-content=\"7,4\" data-semantic- data-semantic-parent=\"10\" data-semantic-role=\"prefix function\" data-semantic-type=\"appl\"><mjx-mi data-semantic-font=\"normal\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"8\" data-semantic-role=\"prefix function\" data-semantic-type=\"function\"><mjx-c></mjx-c><mjx-c></mjx-c><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"8\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"8\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-mrow></mjx-mrow><mjx-mo data-semantic- data-semantic-operator=\"fenced\" data-semantic-parent=\"13\" data-semantic-role=\"close\" data-semantic-type=\"fence\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo></mjx-mrow></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0005\" display=\"inline\" location=\"graphic/net22205-math-0005.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-children=\"0,13\" data-semantic-content=\"14,0\" data-semantic-role=\"simple function\" data-semantic-speech=\"upper O left parenthesis n log log n right parenthesis\" data-semantic-type=\"appl\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-operator=\"appl\" data-semantic-parent=\"15\" data-semantic-role=\"simple function\" data-semantic-type=\"identifier\">O</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"appl\" data-semantic-parent=\"15\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\"></mo><mrow data-semantic-=\"\" data-semantic-children=\"12\" data-semantic-content=\"1,6\" data-semantic-parent=\"15\" data-semantic-role=\"leftright\" data-semantic-type=\"fenced\"><mo data-semantic-=\"\" data-semantic-operator=\"fenced\" data-semantic-parent=\"13\" data-semantic-role=\"open\" data-semantic-type=\"fence\" stretchy=\"false\">(</mo><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:unit\" data-semantic-children=\"2,10\" data-semantic-content=\"11\" data-semantic-parent=\"13\" data-semantic-role=\"implicit\" data-semantic-type=\"infixop\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"12\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">n</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"infixop,\" data-semantic-parent=\"12\" data-semantic-role=\"multiplication\" data-semantic-type=\"operator\"></mo><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"3,8\" data-semantic-content=\"9,3\" data-semantic-parent=\"12\" data-semantic-role=\"prefix function\" data-semantic-type=\"appl\"><mi data-semantic-=\"\" data-semantic-font=\"normal\" data-semantic-operator=\"appl\" data-semantic-parent=\"10\" data-semantic-role=\"prefix function\" data-semantic-type=\"function\">log</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"appl\" data-semantic-parent=\"10\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\"></mo><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"4,5\" data-semantic-content=\"7,4\" data-semantic-parent=\"10\" data-semantic-role=\"prefix function\" data-semantic-type=\"appl\"><mi data-semantic-=\"\" data-semantic-font=\"normal\" data-semantic-operator=\"appl\" data-semantic-parent=\"8\" data-semantic-role=\"prefix function\" data-semantic-type=\"function\">log</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"appl\" data-semantic-parent=\"8\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\"></mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"8\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">n</mi></mrow></mrow></mrow><mo data-semantic-=\"\" data-semantic-operator=\"fenced\" data-semantic-parent=\"13\" data-semantic-role=\"close\" data-semantic-type=\"fence\" stretchy=\"false\">)</mo></mrow></mrow>$$ O\\left(n\\mathrm{loglog}n\\right) $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>. We also give improved, and sometimes optimal, results in the case of integer capacities. All our algorithms work in <mjx-container aria-label=\"Menu available. Press control and space , or space\" ctxtmenu_counter=\"6\" ctxtmenu_oldtabindex=\"1\" jax=\"CHTML\" role=\"application\" sre-explorer- style=\"font-size: 103%; position: relative;\" tabindex=\"0\"><mjx-math aria-hidden=\"true\" location=\"graphic/net22205-math-0006.png\"><mjx-semantics><mjx-mrow data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"0,4\" data-semantic-content=\"5,0\" data-semantic- data-semantic-role=\"simple function\" data-semantic-speech=\"upper O left parenthesis n right parenthesis\" data-semantic-type=\"appl\"><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"6\" data-semantic-role=\"simple function\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\"true\" data-semantic- data-semantic-operator=\"appl\" data-semantic-parent=\"6\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-children=\"2\" data-semantic-content=\"1,3\" data-semantic- data-semantic-parent=\"6\" data-semantic-role=\"leftright\" data-semantic-type=\"fenced\"><mjx-mo data-semantic- data-semantic-operator=\"fenced\" data-semantic-parent=\"4\" data-semantic-role=\"open\" data-semantic-type=\"fence\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic- data-semantic-parent=\"4\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic- data-semantic-operator=\"fenced\" data-semantic-parent=\"4\" data-semantic-role=\"close\" data-semantic-type=\"fence\" style=\"margin-left: 0.056em; margin-right: 0.056em;\"><mjx-c></mjx-c></mjx-mo></mjx-mrow></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\"true\" display=\"inline\" unselectable=\"on\"><math altimg=\"urn:x-wiley:net:media:net22205:net22205-math-0006\" display=\"inline\" location=\"graphic/net22205-math-0006.png\" overflow=\"scroll\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-children=\"0,4\" data-semantic-content=\"5,0\" data-semantic-role=\"simple function\" data-semantic-speech=\"upper O left parenthesis n right parenthesis\" data-semantic-type=\"appl\"><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-operator=\"appl\" data-semantic-parent=\"6\" data-semantic-role=\"simple function\" data-semantic-type=\"identifier\">O</mi><mo data-semantic-=\"\" data-semantic-added=\"true\" data-semantic-operator=\"appl\" data-semantic-parent=\"6\" data-semantic-role=\"application\" data-semantic-type=\"punctuation\"></mo><mrow data-semantic-=\"\" data-semantic-children=\"2\" data-semantic-content=\"1,3\" data-semantic-parent=\"6\" data-semantic-role=\"leftright\" data-semantic-type=\"fenced\"><mo data-semantic-=\"\" data-semantic-operator=\"fenced\" data-semantic-parent=\"4\" data-semantic-role=\"open\" data-semantic-type=\"fence\" stretchy=\"false\">(</mo><mi data-semantic-=\"\" data-semantic-annotation=\"clearspeak:simple\" data-semantic-font=\"italic\" data-semantic-parent=\"4\" data-semantic-role=\"latinletter\" data-semantic-type=\"identifier\">n</mi><mo data-semantic-=\"\" data-semantic-operator=\"fenced\" data-semantic-parent=\"4\" data-semantic-role=\"close\" data-semantic-type=\"fence\" stretchy=\"false\">)</mo></mrow></mrow>$$ O(n) $$</annotation></semantics></math></mjx-assistive-mml></mjx-container> space.","PeriodicalId":54734,"journal":{"name":"Networks","volume":"14 1","pages":""},"PeriodicalIF":1.6000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"How vulnerable is an undirected planar graph with respect to max flow\",\"authors\":\"Lorenzo Balzotti, Paolo G. Franciosa\",\"doi\":\"10.1002/net.22205\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the problem of computing the vitality of edges and vertices with respect to the <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"1\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0001.png\\\"><mjx-semantics><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic- data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0001\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0001.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">s</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\"></mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow in undirected planar graphs, where the vitality of an edge/vertex is the <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"2\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0002.png\\\"><mjx-semantics><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic- data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0002\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0002.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">s</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\"></mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow decrease when the edge/vertex is removed from the graph. This allows us to establish the vulnerability of the graph with respect to the <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"3\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0003.png\\\"><mjx-semantics><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic- data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0003\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0003.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">s</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\"></mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow. We give efficient algorithms to compute an additive guaranteed approximation of the vitality of edges and vertices in planar undirected graphs. We show that in the general case high vitality values are well approximated in time close to the time currently required to compute <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"4\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0004.png\\\"><mjx-semantics><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic- data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0004\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0004.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple;clearspeak:unit\\\" data-semantic-children=\\\"0,1\\\" data-semantic-content=\\\"2\\\" data-semantic-role=\\\"implicit\\\" data-semantic-speech=\\\"s t\\\" data-semantic-type=\\\"infixop\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">s</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\"></mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"3\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">t</mi></mrow>$$ st $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>-max flow <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"5\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0005.png\\\"><mjx-semantics><mjx-mrow data-semantic-children=\\\"0,13\\\" data-semantic-content=\\\"14,0\\\" data-semantic- data-semantic-role=\\\"simple function\\\" data-semantic-speech=\\\"upper O left parenthesis n log log n right parenthesis\\\" data-semantic-type=\\\"appl\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"simple function\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-children=\\\"12\\\" data-semantic-content=\\\"1,6\\\" data-semantic- data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"leftright\\\" data-semantic-type=\\\"fenced\\\"><mjx-mo data-semantic- data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"open\\\" data-semantic-type=\\\"fence\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\\\"clearspeak:unit\\\" data-semantic-children=\\\"2,10\\\" data-semantic-content=\\\"11\\\" data-semantic- data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"implicit\\\" data-semantic-type=\\\"infixop\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"3,8\\\" data-semantic-content=\\\"9,3\\\" data-semantic- data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"appl\\\"><mjx-mi data-semantic-font=\\\"normal\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"function\\\"><mjx-c></mjx-c><mjx-c></mjx-c><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"4,5\\\" data-semantic-content=\\\"7,4\\\" data-semantic- data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"appl\\\"><mjx-mi data-semantic-font=\\\"normal\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"function\\\"><mjx-c></mjx-c><mjx-c></mjx-c><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi></mjx-mrow></mjx-mrow></mjx-mrow><mjx-mo data-semantic- data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"close\\\" data-semantic-type=\\\"fence\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo></mjx-mrow></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0005\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0005.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-children=\\\"0,13\\\" data-semantic-content=\\\"14,0\\\" data-semantic-role=\\\"simple function\\\" data-semantic-speech=\\\"upper O left parenthesis n log log n right parenthesis\\\" data-semantic-type=\\\"appl\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"simple function\\\" data-semantic-type=\\\"identifier\\\">O</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\"></mo><mrow data-semantic-=\\\"\\\" data-semantic-children=\\\"12\\\" data-semantic-content=\\\"1,6\\\" data-semantic-parent=\\\"15\\\" data-semantic-role=\\\"leftright\\\" data-semantic-type=\\\"fenced\\\"><mo data-semantic-=\\\"\\\" data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"open\\\" data-semantic-type=\\\"fence\\\" stretchy=\\\"false\\\">(</mo><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:unit\\\" data-semantic-children=\\\"2,10\\\" data-semantic-content=\\\"11\\\" data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"implicit\\\" data-semantic-type=\\\"infixop\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">n</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"infixop,\\\" data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"multiplication\\\" data-semantic-type=\\\"operator\\\"></mo><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"3,8\\\" data-semantic-content=\\\"9,3\\\" data-semantic-parent=\\\"12\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"appl\\\"><mi data-semantic-=\\\"\\\" data-semantic-font=\\\"normal\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"function\\\">log</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\"></mo><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"4,5\\\" data-semantic-content=\\\"7,4\\\" data-semantic-parent=\\\"10\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"appl\\\"><mi data-semantic-=\\\"\\\" data-semantic-font=\\\"normal\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"prefix function\\\" data-semantic-type=\\\"function\\\">log</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\"></mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"8\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">n</mi></mrow></mrow></mrow><mo data-semantic-=\\\"\\\" data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"13\\\" data-semantic-role=\\\"close\\\" data-semantic-type=\\\"fence\\\" stretchy=\\\"false\\\">)</mo></mrow></mrow>$$ O\\\\left(n\\\\mathrm{loglog}n\\\\right) $$</annotation></semantics></math></mjx-assistive-mml></mjx-container>. We also give improved, and sometimes optimal, results in the case of integer capacities. All our algorithms work in <mjx-container aria-label=\\\"Menu available. Press control and space , or space\\\" ctxtmenu_counter=\\\"6\\\" ctxtmenu_oldtabindex=\\\"1\\\" jax=\\\"CHTML\\\" role=\\\"application\\\" sre-explorer- style=\\\"font-size: 103%; position: relative;\\\" tabindex=\\\"0\\\"><mjx-math aria-hidden=\\\"true\\\" location=\\\"graphic/net22205-math-0006.png\\\"><mjx-semantics><mjx-mrow data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"0,4\\\" data-semantic-content=\\\"5,0\\\" data-semantic- data-semantic-role=\\\"simple function\\\" data-semantic-speech=\\\"upper O left parenthesis n right parenthesis\\\" data-semantic-type=\\\"appl\\\"><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"simple function\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic-added=\\\"true\\\" data-semantic- data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mrow data-semantic-children=\\\"2\\\" data-semantic-content=\\\"1,3\\\" data-semantic- data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"leftright\\\" data-semantic-type=\\\"fenced\\\"><mjx-mo data-semantic- data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"open\\\" data-semantic-type=\\\"fence\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo><mjx-mi data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic- data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\"><mjx-c></mjx-c></mjx-mi><mjx-mo data-semantic- data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"close\\\" data-semantic-type=\\\"fence\\\" style=\\\"margin-left: 0.056em; margin-right: 0.056em;\\\"><mjx-c></mjx-c></mjx-mo></mjx-mrow></mjx-mrow></mjx-semantics></mjx-math><mjx-assistive-mml aria-hidden=\\\"true\\\" display=\\\"inline\\\" unselectable=\\\"on\\\"><math altimg=\\\"urn:x-wiley:net:media:net22205:net22205-math-0006\\\" display=\\\"inline\\\" location=\\\"graphic/net22205-math-0006.png\\\" overflow=\\\"scroll\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><semantics><mrow data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-children=\\\"0,4\\\" data-semantic-content=\\\"5,0\\\" data-semantic-role=\\\"simple function\\\" data-semantic-speech=\\\"upper O left parenthesis n right parenthesis\\\" data-semantic-type=\\\"appl\\\"><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"simple function\\\" data-semantic-type=\\\"identifier\\\">O</mi><mo data-semantic-=\\\"\\\" data-semantic-added=\\\"true\\\" data-semantic-operator=\\\"appl\\\" data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"application\\\" data-semantic-type=\\\"punctuation\\\"></mo><mrow data-semantic-=\\\"\\\" data-semantic-children=\\\"2\\\" data-semantic-content=\\\"1,3\\\" data-semantic-parent=\\\"6\\\" data-semantic-role=\\\"leftright\\\" data-semantic-type=\\\"fenced\\\"><mo data-semantic-=\\\"\\\" data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"open\\\" data-semantic-type=\\\"fence\\\" stretchy=\\\"false\\\">(</mo><mi data-semantic-=\\\"\\\" data-semantic-annotation=\\\"clearspeak:simple\\\" data-semantic-font=\\\"italic\\\" data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"latinletter\\\" data-semantic-type=\\\"identifier\\\">n</mi><mo data-semantic-=\\\"\\\" data-semantic-operator=\\\"fenced\\\" data-semantic-parent=\\\"4\\\" data-semantic-role=\\\"close\\\" data-semantic-type=\\\"fence\\\" stretchy=\\\"false\\\">)</mo></mrow></mrow>$$ O(n) $$</annotation></semantics></math></mjx-assistive-mml></mjx-container> space.\",\"PeriodicalId\":54734,\"journal\":{\"name\":\"Networks\",\"volume\":\"14 1\",\"pages\":\"\"},\"PeriodicalIF\":1.6000,\"publicationDate\":\"2024-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Networks\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1002/net.22205\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Networks","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1002/net.22205","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0
引用
批量引用