핵심 개념
L クラスは NP クラスと異なることを証明する。
초록
本論文では、L クラスと NP クラスが異なることを証明する。
まず、L クラスは pebble 階層の厳密な階層の和集合であることを示す。また、pebble 階層は Mealy 還元に関して不変であることを示す。
次に、NRT (quasi real-time 言語クラス) が pebble 階層で高いことを示す。これにより、Greibach の議論を用いて、NRT が L に含まれないことが導かれる。したがって、L ≠ NP が成り立つ。
本論文の主な貢献は以下の通りである:
L クラスが pebble 階層の厳密な階層の和集合であることの証明
pebble 階層が Mealy 還元に関して不変であることの証明
NRT が pebble 階層で高いことの証明
L ≠ NP の分離の証明
통계
L クラスは pebble 階層の和集合である。
pebble 階層は Mealy 還元に関して不変である。
NRT クラスは pebble 階層で高い。
인용구
"L ≠ NP."
"NRT は pebble 階層で高い。"
"L クラスは pebble 階層の和集合である。"