Characterization and computation of ancestors in reaction systems

SOFT COMPUTING(2020)

引用 3|浏览3
暂无评分
摘要
In reaction systems, preimages and n th ancestors are sets of reactants leading to the production of a target set of products in either 1 or n steps, respectively. Many computational problems on preimages and ancestors, such as finding all minimum-cardinality n th ancestors, computing their size or counting them, are intractable. In this paper, we characterize all n th ancestors using a Boolean formula that can be computed in polynomial time. Once simplified, this formula can be exploited to easily solve all preimage and ancestor problems. This allows us to directly relate the difficulty of ancestor problems to the cost of the simplification so that new insights into computational complexity investigations can be achieved. In particular, we focus on two problems: (i) deciding whether a preimage/ n th ancestor exists and (ii) finding a preimage/ n th ancestor of minimal size. Our approach is constructive, it aims at finding classes of reactions systems for which the ancestor problems can be solved in polynomial time, in exact or approximate way.
更多
查看译文
关键词
Reaction systems, Ancestor computation, Computational complexity, Causality relations
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络