该会议论文探讨了三划分问题与唯一可达向量Petri网可达性问题之间的多项式归约关系。作者证明了三划分问题可以多项式时间归约为唯一可达向量Petri网的可达性问题，从而揭示了两者在计算复杂性上的联系。这一成果对Petri网理论及算法设计具有重要意义，为相关问题的求解提供了新的思路。
文档为pdf格式，0.17MB，总共3页。
举报
