[논문 리뷰] Simulation vs. Equivalence

Zoltán Ésik, Andreas Maletti|arXiv (Cornell University)|2010. 04. 14.

Logic, programming, and type systems참고 문헌 4인용 수 13

한 줄 요약

이 논문은 모든 노에터 반환장—즉, 가환환과 유한 반환장을 포함하여—가 적절한 성질을 지닌다는 것을 입증한다. 이는 이러한 반환장에서 등가인 가중 자동기들이 항상 유한한 시뮬레이션 체인으로 연결될 수 있음을 의미한다. 그러나 논문은 태양반환장이 적절하지 않음을 증명하며, 이는 태양반환장에서 자동기 등가성 문제가 어떤 유한한 시뮬레이션 체인으로도 포괄될 수 없음을 보여주며, 비적절한 반환장의 첫 번째 알려진 예를 제시한다.

ABSTRACT

For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is called "proper". It is known that the Boolean semiring, the semiring of natural numbers, the ring of integers, all finite commutative positively ordered semirings and all fields are proper. The semiring S is Noetherian if every subsemimodule of a finitely generated S-semimodule is finitely generated. First, it is shown that all Noetherian semirings and thus all commutative rings and all finite semirings are proper. Second, the tropical semiring is shown not to be proper. So far there has not been any example of a semiring that is not proper.

연구 동기 및 목표

• 자동기 등가성이 항상 유한한 시뮬레이션 체인으로 연결되는 더 넓은 반환장의 범주를 특정하는 것.
• 모든 반환장이 적절한가라는 오랫동안 미해결된 열린 문제를 해결하는 것.
• 최적화 분야에서 널리 사용되는 태양반환장이 적절하지 않음을 입증하여 첫 번째 반례를 제공하는 것.
• 가중 자동기에서 등가성 문제의 결정 가능성과 불결정 가능성을 구분하는 경계를 명확히 하는 것.

제안 방법

• 등가인 자동기들이 항상 유한한 시뮬레이션 체인으로 연결될 수 있는 반환장을 적절한 반환장이라 정의한다.
• 모든 유한 생성 반모듈러의 부분반모듈러가 유한 생성인 반환장의 개념인 노에터 반환장을 도입한다.
• 모든 노에터 반환장이 적절함을 증명하며, A와 B 양쪽으로의 시뮬레이션을 가지는 공통의 시뮬레이션 자동기 C를 구성하는 방식을 사용한다.
• 유한 반환장과 가환환은 노에터이므로, 적절하다.
• 효율적 표현 가능성과 반결정 가능성의 논증을 사용하여 자동기 등가성의 결정 가능성 문제를 분석한다.
• 태양반환장 T가 적절하지 않음을 증명하기 위해, T에서 자동기 등가성 문제가 결정 불가능하다는 것을 보여주며, 이는 체인 조건과 모순된다.

실험 결과

연구 질문

• RQ1 모든 반환장이 적절한가, 즉 임의의 반환장에서 등가인 가중 자동기들이 항상 유한한 시뮬레이션 체인으로 연결되는가?
• RQ2 노에터 반환장은 적절성 조건을 만족하는가, 그리고 이를 통해 기존의 적절한 반환장에 대한 결과를 일반화할 수 있는가?
• RQ3 조합 최적화와 형식 언어 이론에서 널리 사용되는 태양반환장은 적절한가?
• RQ4 태양반환장에서 자동기 등가성의 불결정 가능성은 이 반환이 적절하지 않음을 증명하는 데 사용될 수 있는가?
• RQ5 효율적 표현 가능성, 반결정 가능성과 반환장의 적절성 간의 관계는 무엇인가?

주요 결과

• 모든 노에터 반환장은 적절하며, 이는 모든 가환환과 유한 반환장을 포함한다.
• 유한 반환장은 노에터이므로 적절하며, 시뮬레이션 체인은 결정론적 자동기로 구성될 수 있다.
• 태양반환장 T = (N ∪ {∞}, min, +, ∞, 0)는 적절하지 않다. 이는 T에서 자동기 등가성 문제가 결정 불가능하기 때문이다.
• T에서의 등가성 문제의 불결정 가능성은 모든 등가 자동기들을 연결하는 유한한 시뮬레이션 체인 존재를 불가능하게 하며, 이는 적절성 조건을 위반한다.
• 이로 인해 반환이 적절하지 않은 첫 번째 알려진 예가 제시되며, 오랫동안 미해결이었던 열린 문제를 해결한다.
• 결과적으로 태양반환장에서는 시뮬레이션 기반의 등가성 검증이 완전하지 않다는 것을 의미한다. 비록 반결정 가능하긴 하지만 말이다.