English

Deciding if a DAG is Interesting is Hard

Computational Complexity 2025-03-18 v1 Data Structures and Algorithms Combinatorics

Abstract

The \emph{interestingness score} of a directed path Π=e1,e2,e3,,e\Pi = e_1, e_2, e_3, \dots, e_\ell in an edge-weighted directed graph GG is defined as score(Π):=i=1w(ei)log(i+1)\texttt{score}(\Pi) := \sum_{i=1}^\ell w(e_i) \cdot \log{(i+1)}, where w(ei)w(e_i) is the weight of the edge eie_i. We consider two optimization problems that arise in the analysis of Mapper graphs, which is a powerful tool in topological data analysis. In the IP problem, the objective is to find a collection P\mathcal{P} of edge-disjoint paths in GG with the maximum total interestingness score. %; that is, two raised to the power of the sum of the weights of the paths in P\mathcal{P}. For kNk \in \mathbb{N}, the kk-IP problem is a variant of the IP problem with the extra constraint that each path in P\mathcal{P} must have exactly kk edges. Kalyanaraman, Kamruzzaman, and Krishnamoorthy (Journal of Computational Geometry, 2019) claim that both IP and kk-IP (for k3k \geq 3) are NP-complete. We point out some inaccuracies in their proofs. Furthermore, we show that both problems are NP-hard in directed acyclic graphs.

Keywords

Cite

@article{arxiv.2503.13398,
  title  = {Deciding if a DAG is Interesting is Hard},
  author = {Jean-Lou De Carufel and Anil Maheshwari and Saeed Odak and Bodhayan Roy and Michiel Smid and Marc Vicuna},
  journal= {arXiv preprint arXiv:2503.13398},
  year   = {2025}
}
R2 v1 2026-06-28T22:23:56.595Z