鳩の巣原理に対する木状導出原理の証明サイズについて

• Material Type: 文書・図像類
• Title: 鳩の巣原理に対する木状導出原理の証明サイズについて
• Author/Editor: 宮崎, 修一; 岩間, 一雄
• Author Heading: 宮崎, 修一; 岩間, 一雄
• Publication, Distribution, etc.: Institute of Electronics, Information and Communications Engineers (IEICE)
• Publication Date: 1999-09-03
• Publication Date (W3CDTF): 1999-09-03
• Alternative Title: On the size of the tree-like resolution for the pigeonhole principle
• Periodical title: 電子情報通信学会技術研究報告
• No. or year of volume/issue: 99 288
• Volume: 99
• Issue: 288
• Pages: 15-22
• ISSN (Periodical Title): ISSN : 0913-5685
• Text Language Code: eng
• Alias of Author: ミヤザキ, シュウイチ; イワマ, カズオ
• Subject Heading: 導出原理; 木状導出原理; 鳩の巣原理; resolution; tree-like resolution; the pigeonhole principlethe
• Target Audience: 一般
• Format (IMT): application/pdf
• Source: IEICE_tec.rep_COMP99-33.pdf （fulltext）; http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/227137/1/IEICE_tec.rep_COMP99-33.pdf
• Access Restrictions: インターネット公開
• Rights (production): © 1999 by the Institute of Electronics, Information and Communications Engineers (IEICE)
• Periodical Title (NCID): AN00349328; https://ci.nii.ac.jp/ncid/AN00349328
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 京都大学 : 京都大学学術情報リポジトリ

• Summary, etc.: We improve upper and lower bounds of the size of tree-1ike resolution refutation for the pigeonhole principle. These results imply the super-polynomia...