[논문 리뷰] Computational Complexity of Alignments
논문은 Trace와 프로세스 모델 간의 정렬 계산의 계산 복잡도를 중요한 Petri 넷 클래스에서 분석하고, PSPACE- 및 NP-난이도 케이스를 식별하며 tractable 하위집합을 제시한다.
In process mining, alignments quantify the degree of deviation between an observed event trace and a business process model and constitute the most important conformance checking technique. We study the algorithmic complexity of computing alignments over important classes of Petri nets. First, we show that the alignment problem is PSPACE-complete on the class of safe Petri nets and also on the class of safe and sound workflow nets. For live, bounded, free-choice systems, we prove the existence of optimal alignments of polynomial length which positions the alignment problem in NP for this class. We further show that computing alignments is NP-complete even on basic subclasses such as process trees and T-systems. We establish NP-completeness on several related classes as well, including acyclic systems. Finally, we demonstrate that on live, safe S-systems the alignment problem is solvable in P and that both assumptions (liveness and safeness) are crucial for this result.
연구 동기 및 목표
- Identify the computational complexity of the alignment problem across key Petri net classes (safe nets, workflow nets, LBFC-systems, process trees, T-systems, acyclic systems).
- Determine which structural restrictions (safety, liveness, boundedness, free-choice) lead to tractable versus intractable alignment computation.
- Show existence of optimal alignments with polynomial-length for live, bounded, free-choice systems and derive NP membership for this class.
- Establish NP-hardness lower bounds for alignments on process trees, T-systems, and acyclic systems.
- Provide a comprehensive overview of complexity results and their implications for conformance checking in process mining.]
- method:
- {
제안 방법
- Model the alignment problem as a search over synchronous product constructions between trace systems and process models.
- Prove PSPACE-completeness of alignment for safe Petri nets and for safe and sound workflow nets.
- Show polynomial-length optimal alignments and NP-membership for live, bounded, free-choice (LBFC) systems using structural results like the Shortest Sequence Theorem.
- Demonstrate NP-completeness of alignment on basic subclasses such as process trees, T-systems, and acyclic systems; establish NP-hardness for these classes via membership reductions.
- Analyze the role of liveness and safeness by proving polynomial-time solvability on live, safe S-systems and NP-hardness when either assumption is dropped.
- Use the synchronous product construction to relate alignments to reachable markings and to connect traces with model behavior]
- research_questions: ["What is the computational complexity of computing alignments for various Petri net classes (safe nets, workflow nets, LBFC-systems, process trees, T-systems, acyclic systems)?","Do certain structural restrictions (safety, liveness, boundedness, free-choice) yield tractable alignment computation or render it intractable?","Can optimal alignments be of polynomial length for LBFC-systems, and does this place alignment in NP for this class?","Is alignment NP-complete for process trees, T-systems, and acyclic systems, and what are the corresponding lower/upper bounds?","Under what conditions do alignments become polynomial-time solvable (e.g., live, safe S-systems) and why are liveness and safeness crucial?"]
- key_findings: ["Alignment is PSPACE-complete for safe Petri nets and for safe and sound workflow nets.","For live, bounded, free-choice systems, optimal alignments have polynomial length and the problem lies in NP.","Alignment is NP-complete on basic subclasses including process trees, T-systems, and acyclic systems.","NP-hardness results extend to several related classes beyond the above, including various acyclic configurations.","Live, safe S-systems yield polynomial-time solvability of alignment, and dropping liveness or safeness makes the problem NP-complete.","The paper provides a comprehensive table (Table 3) summarizing the complexity across model classes."]
- table_headers: []
- table_rows: []
더 나은 연구,지금 바로 시작하세요
연구 설계부터 논문 작성까지, 연구 시간을 획기적으로 줄여보세요.
카드 등록 없음 · 무료 플랜 제공
이 리뷰는 AI가 만들고, 인간 에디터가 검토했습니다.