qnighyのブックマーク - はてなブックマーク

計算の複雑さ
P NP terui@nii.ac.jp http://research.nii.ac.jp/~terui NO V Hartmanis & Stearns1965) V V V / V V V V V V (feasibly computable) V G V guess & check guess check V Guess V 2n guess check V V G G V n n2 V V G V V V V V V n 2n/2 V V n n2 n3 V a,b,c ax+by=c x,y V V a,b,c ax +by=c x,y V V V : V – – V INPUT V yes INPUT N V A N V G G INPUT V V reasonable ) V G |G| c n3 c V M A INPUT A yes V INPUT INPUT feas
qnighy 2015/01/26
リンク
Homepage of Kazushige TERUI
Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Research Interest Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics Lambda Calculus and Type Theory Implicit Computational Complexity 講義資料等コンピュータサイエンス基礎(2020年度) 数理論理学I(命題論理) 数理論理学II(不完全性定理) コンピュータにできること・できないこと『数学セミナー』2015年11月号掲載記事の草稿 NASH村とスライム退治：整列擬順序入門「代数学入門」入門としての普遍代数学直観主義論理への招待著書（一般向け読み
qnighy 2012/05/23
リンク
1

はてなブックマーク