著者

小川 瑞史

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. [プログラミング-言語基礎実践-]

巻号頁・発行日

vol.93, no.46, pp.75-85, 1993-05-28

---

近年Robertson-Seymourにより証明されたグラフマイナー定理(Wagnberの予想)により有限グラフ上のminor-closedな性質の検出は多項式時間アルゴリズムが存在することが知られている.しかし,その証明は非構成的であり一般に実際のアルゴリズムを構成するのは難しかった.本稿ではグラフマイナー定理の簡単な場合であるHigmanの補題の構成的証明を用い,未解決問題であった時間概念を含むデータベース上の選言的単項質問処理の線形時間アルゴリズムを自動生成により与えた.