<p>Recently, <i>p</i>-presentation distances for <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(p\in [1,\infty ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> were introduced for merge trees and multiparameter persistence modules as more sensitive variations of the respective interleaving distances (<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p=\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. It is well-known that computing the interleaving distance is NP-hard in both cases. We extend this result by showing that computing the <i>p</i>-presentation distance is NP-hard for all <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\in [1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for both merge trees and <i>t</i>-parameter persistence modules for any <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(t\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Though the details differ, both proofs follow the same novel strategy, suggesting that our approach can be adapted to proving the NP-hardness of other distances based on sums or <i>p</i>-norms.</p>

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

Computing p-Presentation Distances is Hard

  • Håvard Bakke Bjerkevik,
  • Magnus Bakke Botnan

摘要

Recently, p-presentation distances for \(p\in [1,\infty ]\) p [ 1 , ] were introduced for merge trees and multiparameter persistence modules as more sensitive variations of the respective interleaving distances ( \(p=\infty )\) p = ) . It is well-known that computing the interleaving distance is NP-hard in both cases. We extend this result by showing that computing the p-presentation distance is NP-hard for all \(p\in [1,\infty )\) p [ 1 , ) for both merge trees and t-parameter persistence modules for any \(t\ge 2\) t 2 . Though the details differ, both proofs follow the same novel strategy, suggesting that our approach can be adapted to proving the NP-hardness of other distances based on sums or p-norms.