<p>A mobile agent, starting from a node <i>s</i> of a simple undirected graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=(V,E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, has to explore all nodes and edges of <i>G</i>. To do so, the agent uses a deterministic algorithm that allows it to gain information on <i>G</i> as it traverses its edges. During its exploration, the agent must always respect the constraint of knowing a path of length at most <i>D</i> to go back to node <i>s</i>. The upper bound <i>D</i> is fixed as being equal to <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\((1+\alpha )r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>r</i> is the eccentricity of node <i>s</i> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is any positive real constant. This task has been introduced by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and is known as <i>distance-constrained exploration</i>. The <i>penalty</i> of an exploration algorithm running in <i>G</i> is the number of edge traversals made by the agent in excess of |<i>E</i>|. In Panaite and Pelc (J Algorithms 33(2):281–295, 1999), Panaite and Pelc gave an algorithm for solving exploration without any constraint on the moves that is guaranteed to work in every graph <i>G</i> with a (small) penalty in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {O}(|V|)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>V</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. <i>Can we obtain a distance-constrained exploration algorithm with the same guarantee?</i> In this paper, we provide a negative answer to this question. We also observe that an algorithm working in every graph <i>G</i> with a linear penalty in |<i>V</i>| cannot be obtained for the task of <i>fuel-constrained exploration</i>, another variant studied in the literature. This solves an open problem posed by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and shows a fundamental separation with the task of exploration without constraint on the moves.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Graph Exploration: The Impact of a Distance Constraint

  • Stéphane Devismes,
  • Yoann Dieudonné,
  • Arnaud Labourel

摘要

A mobile agent, starting from a node s of a simple undirected graph \(G=(V,E)\) G = ( V , E ) , has to explore all nodes and edges of G. To do so, the agent uses a deterministic algorithm that allows it to gain information on G as it traverses its edges. During its exploration, the agent must always respect the constraint of knowing a path of length at most D to go back to node s. The upper bound D is fixed as being equal to \((1+\alpha )r\) ( 1 + α ) r , where r is the eccentricity of node s and \(\alpha \) α is any positive real constant. This task has been introduced by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and is known as distance-constrained exploration. The penalty of an exploration algorithm running in G is the number of edge traversals made by the agent in excess of |E|. In Panaite and Pelc (J Algorithms 33(2):281–295, 1999), Panaite and Pelc gave an algorithm for solving exploration without any constraint on the moves that is guaranteed to work in every graph G with a (small) penalty in \(\mathcal {O}(|V|)\) O ( | V | ) . Can we obtain a distance-constrained exploration algorithm with the same guarantee? In this paper, we provide a negative answer to this question. We also observe that an algorithm working in every graph G with a linear penalty in |V| cannot be obtained for the task of fuel-constrained exploration, another variant studied in the literature. This solves an open problem posed by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and shows a fundamental separation with the task of exploration without constraint on the moves.