Grunnleggende konsepter
L 클래스는 NP 클래스와 다르다는 것을 증명한다.
Sammendrag
이 논문은 L 클래스가 NP 클래스와 다르다는 것을 증명한다.
먼저 L 클래스는 pebble 계층의 엄격한 계층 구조로 이루어져 있다는 것을 보인다. 또한 pebble 계층은 Mealy 환원에 대해 불변이라는 것을 증명한다.
다음으로 NRT(quasi real-time) 클래스가 pebble 계층에서 높다는 것을 보인다. 이를 통해 Greibach의 논증을 사용하여 L ≠ NP를 증명한다.
핵심 아이디어는 다음과 같다:
L 클래스는 pebble 계층의 합으로 표현된다.
pebble 계층은 Mealy 환원에 대해 불변이다.
NRT 클래스는 pebble 계층에서 높다.
NRT 클래스는 주요 문제를 가지고 있다.
따라서 Greibach의 논증을 적용하면 L ≠ NP가 성립한다.
Statistikk
L 클래스는 pebble 계층의 합과 같다: L = ⋃k≥1 REGk
NRT 클래스는 pebble 계층에서 높다: 모든 k≥1에 대해 NRT ∉ REGk
Sitater
"L ≠ NP."
"NRT는 pebble 계층에서 높다."