下级 发表于 2025-3-25 05:36:12
6楼强有力 发表于 2025-3-25 07:54:27
6楼符合规定 发表于 2025-3-25 13:46:01
6楼Trochlea 发表于 2025-3-25 16:59:20
6楼Cursory 发表于 2025-3-25 21:34:36
7楼孤僻 发表于 2025-3-26 00:55:11
7楼小故事 发表于 2025-3-26 06:22:42
7楼interlude 发表于 2025-3-26 12:20:57
7楼欢腾 发表于 2025-3-26 16:40:20
http://reply.papertrans.cn/35/3458/345798/345798_29.pnghieroglyphic 发表于 2025-3-26 18:00:45
Computing Preimages and Ancestors in Reaction Systems, respectively. Many computational problems on preimages and ancestors, such as finding all minimum-cardinality .-th ancestors, computing their size, or counting them, are intractable. In this paper we propose a characterization of .-th ancestors as a Boolean formula, and we define an operator able