数理解析研究所講究録 906
アルゴリズムと計算量理論
京都大学数理解析研究所
1995 年 4 月
$-I-$
(9 Il $0u$ I $!\Downarrow sns\P}]$ )
$\llcorner\underline{-}$軍
$T$
十6
$T\cdot$\yen
口家$(w0\iota u ! V^{S0}\lambda 0J!\Downarrow 9u\mathfrak{n}s_{1)\#^{y,}}\ldots )$
[磐
童豊甲響$f9—————————————-a’\iota J_{S}Jl9u$ ! 1
$Q\Uparrow s$V1 !
$m$ $P$} I $uI0$ }
$\mathbb{R}V$$J9$ }
$un0\mathfrak{J}-!$}
$|n_{N}$$(10 PXu|)$ X
$\epsilon n_{-}0hJ$$J0f$ $u0$ ! $t\in uJt_{1}|V$ 6
( $01|$ I
$J$! 1V)
劉 周回 $T\cdot$\yen
口甲(
$0u\epsilon$爪
a
$n_{\lambda}$)
奮 王 $I\cdot$\yen
口$m$
$(a\mathfrak{n}0u_{1}!\Downarrow sns\iota wx)L\underline{.}*$
$T\#$ $T\cdot*\square$ rn
( $n_{X}0ug!|ur$ ! f) $B8$ $
$T\cdot$\yen
$\square |T^{1}$9\S ----9
$JP\emptyset S$ $\theta$!
$u$]
$\Downarrow 1$! 1
$W\beta 0|Q\Uparrow S$ $\Downarrow$} !
$h$ $W$}
$P$UIO1
$|1V$ $Uh0\#\Downarrow sn_{d}$ $\mathfrak{g}u$! 1 $PUJ91|V$
$U0$9} $0N$
$V$ $\int$(g
田2
熱1
$0\Uparrow Z0$)
$)$ 窮-
酬箒$T\cdot*V$
$(0ufX ! N !! ! \exists)$
二二 蛋旦$T\cdot*V$
$l\dagger---*$
$R\emptyset\not\in$詫麗$B1P_{\backslash 4}^{I\cdot P}$窮$L$ ffi $F_{-}OY--|u0$ ! $tn_{|0S}$ a
$d\not\equiv$劃 $||g$a
$l$$(PJP\Downarrow BhP)$
$0$Il
$SP\Lambda$)
陽解 $H\llcorner u/$.
石–
箪\yen
抽$\not\in$酷鱗雛$\Xi\cdot$\yen $V$
(
$P$熱$PS\Uparrow J\Uparrow 4$ $!\Downarrow S01$! H)
$\urcorner-$ 順序$\#\#$
抽$\not\in T$孟早鐸. \yen $V$
6 $C———————l\iota tC_{-}^{-}|$
孟 「脂$=$1-\yen
$\emptyset$a7 $\Re aJ$
当国冫6
$\angle \mathcal{L}$9
$(!J0W 0PS\epsilon r)$
玉粧 埜 健革絶壽$T$
孟$\overline{v}$驚. \yen $V$
$lC—————–$ $———————— 2.\iota 1C_{-}^{-}|fl$
宗玉$\emptyset$ 饗講尋
1 $9|$
丁丁傷曾羊1
鐸$–|$ 孟曝羅膨$\emptyset\dashv\prime_{\backslash }T.’\backslash \cdot-l$ 壬$\triangleleft’\Delta$9
( $PUIPf0\lambda 0$ A $nz$
闘$ns\}$ !
肖) –群 叩辮 工. \yen
工堂ヤ
$l———————————————-\supset$ . $(1 C–\int$
7X
$r_{1}f\triangleleft’\angle \mathfrak{B}\Leftrightarrow\Phi$(Iu a
$|\eta_{0J}d$$ufuIS9$ I
$g_{S}$$0u$ !
$|9$A8
$\int 1$)
冒甜’A $Y\triangleleft’-l$
回双 $\nu$$(!\Downarrow’ 0lu\iota 0g_{N}!V^{S0J}!H)-\urcorner fl*$
$T\cdot\yen^{\underline{g}}$( $0\}|$ $0J$ ! H)
窮\yen
翠$\theta$ 担鵠血罐網$–11N$
$tl——————–\ovalbox{\tt\small REJECT}$
珊一望 $\Phi$鞠婁7
駐峯 $\dashv\prime_{\backslash }t\neq-\dashv\omega’_{\backslash }4$べん6
$f$( $gu1PXnSP$ yl
旧a
$0!\Downarrow S$)
嘗 叩尉 堂古$T$
駐鋤周到.\yen
古煙射響繋葺(Wul $rXg_{1^{P}N}$ !V
$r!-u_{!}\Downarrow S$) $-$
鱗 甲中 $\ovalbox{\tt\small REJECT}$田$T$
駐引回暗.\yen
壽性購看尉冨9————————————- $———- S\Downarrow \mathfrak{y}_{PJ}8$
$JwuP|JJ9\}\Uparrow 0\mathfrak{g}u$ !
$z$! $u00\theta 9dJ0$ }
$\mathbb{I}1\Downarrow 1!J00|V1^{9}1$I $PJld1^{IUI}!\mathfrak{l}^{J}0JP9N9|pu_{!S}IV^{\cdot}l$
(!
$\lambda^{PZguIP}$A !V
$\theta$!
$0$) $)-$
累 伽$m$
一型側 $-$\yen
聾喜$I————————— S\Downarrow JPJ\beta 9f$ ! $I-u$ !
$P\Downarrow\theta \mathfrak{p}_{9\mathfrak{i}!J}’ 1^{S9J}\downarrow 0$[us $!\Downarrow\iota J0UI0S|.\iota$
潔 目
(! $rSWX$ !
田$nt_{P}1$ )
三豊$\#$
耳 峯$W$
革把日
$lgl\sim$
目I $CyI\Rightarrow 966$ I
10. Two Va $ri$ a $ti0nsof$ I $n4urti$ ve I $nfer\epsilon nc\epsilon 0fL$ a $n0u$ a0 $esfr$ om $Positi$ ve
Da $ta——————————————————–73$
九大・基礎情報学研究施設 田部 尚志
(Takashi Tabe)
九大・基礎情報学研究施設Thomas Zeuomann
11. $GirruitCom\mathfrak{p}1\epsilon xity0f$ A
$n$Ex $\beta|icityDefine4FirstS1iceFunction---81$
東工大・理 築地 立家
(I\sim suie Tsukiii)
12.
対称関数の否定数限定回路計算量についてー———————–89
北陸先端科学技術大・情報科学研究科 田中 圭介(Keisuke Tanaka)
電通大・電子情報学科 西野 哲朗
(I\sim Suro Nishino)
13. $\text{
単調並べ換え関数についてー}---96$
東北大情報科学研究科 東北大情報科学研究科 東北大・情報科学研究科 東北大・情報科学研究科
神保 秀司
$(Shuii /imho)$
佐々木 宏平
(Kohei Sasaki)
山本 佳典(YOShinori Yamamo to)
丸岡 章
(A
$k$$ir$ a Ma $ruok$ a)
14. 2
次元オルタネイティング$0(100|00111)$
領域計算量クラスの補集合に関する 非閉包性$———-\cdot---104$
山自大・工 伊藤 暁
(A
$k$$ir$ a1 $to$ )
山繭大・工 井上 克司
(
$K$a $tsushi$
$1\Uparrow 0u\epsilon$)
山口大・工 王 躍( $Yut$ Wa $n0$ )
15. RIGHT CONGRUENCES FOR
$\omega$-REGULAR $LANGUAGES———————-112$
橋大・法 山崎 秀記
(Hideki Yamas a $ki$ )
16. 1
次元可逆セル・オー トマ トンにおける$-$
斉射撃問題の高速解$————-119$
広島大・工 今井 克暢
(
$K$a $tsu\Uparrow 0hu$ 1111 ai)
広島大・工 森田 憲
$-$ ( $Kenichi$ Mo
$r$I
$t$a)
17.
周期1
と2
のリミットサイクルをもつセルオー トマ トンについて$———-126$
九大・総合理工学研究科 井面 修
$-$ ( $Syu$
$i\iota$A
$i$1 $nokuchi$ )
九大・基礎情報学研究施設 河原 康雄(Yasuo Kawah a
$r$a)
18.
知識命題の標準形を用いる妥当性検証——————————-132
名工大・工 大芝 猛
(Takeshi Oshiba)
名工大・電気情報工学 小橋 –秀(Kazuhide Kobashi)
$-ii-$
-I I 1-
( $asfx_{P}H$ Isoxnz2X)
暑\pm \sim k
古 孟. \yen
堂$\dagger 0l---s\}aS\u}9\beta u9\phi 9\beta u|$
1 $ruI!^{xrW}$ Ou ! 1 $u9S9JJ9qs0080/0$ uo ! 1 anJl $su09$ }
$S\rfloor$! $d\Downarrow 1\beta P9J8u_{0}$ $ll$
$(ru|!^{fP}.\Lambda 0zn\Downarrow S)\equiv$
勤 暫\yen
$T\cdot$\yen
章$(^{p0Pu9}1^{g}10\eta!\Downarrow ns?\downarrow)\Xi g$ \yen # T. \yen
章( $P\}1!N$ 0A0)I)
期豊 田蜷 工\yen
箪$96I———————————-1UJ04\downarrow rn\mathfrak{p}0JJ-\downarrow 0-uln_{S}$
$0u$ ! 1 $utS9JJadsuIlJ0\iota$ ! $0u0$ !
$s$! $\theta 90iJuu$ ! 8 10 $J9h0d9A$ ! $SS9JJx_{\exists}$ 9
$l$( $r\eta 011SP$ A
$!\Downarrow\theta$!
$0$)
$)$ –毒 園品$-6$
べ斗徽鴬4
暑禧\yen
$\cdot$\yen
軍9 $8I———————————-$
粧峯 誤糞重薯4\sim 1
自]
辛 $\mathcal{L}\leq\ell$ぶ・終{
苓 $\epsilon$$9l$
$(IQUI9S0J!\Downarrow\theta|)W$
– $\Re I|$[
$\}$$S$
門.\yen
獅進$8ll——————\#\mathfrak{B}\emptyset\sim\triangleleft rx.\backslash /\emptyset \text{
孟}\Phi\triangleleft r-\epsilon$ $.il$
(wulr $h|$ $0nZ2]$ )
窮– 町回 $T\cdot$\yen $V$
$(!^{\iota J\mathbb{R}}1^{g}S1^{\theta} ! noX)-$
圭$\#$
鰍 $T\cdot$\yen $uf$
$0lI————————–sa!JISJ9A\beta Vlsu_{!}\epsilon 0fsuIIJ00Jd0u!lrJ\}su0UI90$ $Cl$
(Is $rk\iota QP$ X2齢 I
$\theta$!.u!V
$S$) $-$
覚$g$
呈$(0t^{0uI}!\Downarrow s ! Xrs!\Downarrow!\Downarrow so\lambda)V\not\in$ $X_{m}^{g}$
$(!0p!u[w_{X} 0|0\lambda)$
壬割$\#\mp T$
$T\cdot*$
耳『$T\cdot*\lrcorner\forall$
壽野州緋
\yen
軍門門門$l9l————$
謹箭$\emptyset 7$@
$f_{I}r\triangleleft l\angle$ 野州警写$\tau lY\mathfrak{a}$ 壇畢勢州$\circ.\dashv$ 忌 ミイ; ?
留石$ll$
$(!J01^{g\int}I\Downarrow S0 ! J0N)$
障DI
留日(
$!\Downarrow sr001$\S q $snstV$ )
准 遁固( $PJnuI$ ! 1
$0$U101 f0-
$!\Downarrow S$) $\#\Phi$ $E*$
$(!ns\Uparrow I)1^{n}$ A $nqoN$ )
$\prec$ 断 四日里
26
捨」$=-$ 蟹導塁\yen $1f$
憲 里[3-
把罫蟹導塁\yen 1k
葦$[$$E_{qa}^{b\prime}R\not\in E*$
緋.\yen
$1f\not\simeq$健
\yen
把古性駐緋\yen
非堂$f9l—————————————g_{\overline{v}}\chi$
斗口 $\beta CD$《き$\iota\# 0SN$ I
$l$$(!J0tPJ!\Downarrow S0 ! J0N)$
平D
首 留日(
$!\Downarrow s\iota 001$@qsnstv)
准R
量(
$\iota\rfloor n$町
X $0Iu01a0$ ! $tS$ )
卦2
回 博$*$
極-.
\acute \iota
絋皿罫璽塔喜. \yen ]f
憲$4^{d_{-}}\yen$把罫蟹
1
三塁. \yen
$1f\not\geq$性
$\#$
序詞性酷緋\yen
写東9 $fI———————————————————s\Uparrow|nJ|$ P$-#
$0ts$ a
$ss\epsilon v0Jd9A!SJ\mathbb{R}\theta 9d\downarrow 0\iota u\Downarrow$} $!J0\beta 1VS!S9\Downarrow 1ukS\downarrow 0uo!su\epsilon t^{X}\exists$ $0l$
(
$\iota 1$! V $sruIP$ A $01^{iszW}$ )
$\gamma\pi$ 止甲$T$ a. \yen
日(
$!\Downarrow sr\Downarrow fX^{p}1$!
$\eta n$A9
$\beta$! H) 7:
葦 辮箪 工詫. \yen
日8 $CI—————————————-qr_{\backslash }$ . $\iota$ 壬 .
$\mathcal{L}-\triangleleft tg$
$CD$を $\eta\eta$
}
箪鎧舞等護$\omega$雫礁$\Phi$過鵬受 $\tau^{-}$-[
喫誹響目61
28 . $NeOativ\epsilon$ Results for Learnino Minor Glosed Graph $Glasses————212$
東工大・理
Garlos Domingo Univ. of Lo ndon Jo $hn$ Sh awe-Tay 1 or
29.
正データからの$SiI11\beta I\in Re0u1$ a
$r$ 言語の多項式時間帰納推論————220
大阪府立大・総合科学研究科 佐藤 清朗(Kiyoaki Sato)
大阪府立大・総合科学研究科 佐藤 優子
(Masako Sato)
30.
完全データからの$Si111\beta 1eRe0u|$ a
$r$言語族の多項式時間反駁推論について$—-228$
大阪府立大・総合科学研究科 渡辺 紀仁
(No $rihit0$ Wa
$t$a
$n$a
$h\epsilon$)
大阪府立大・総合科学研究科 佐藤 優子(
閣asako Sato)
31 .
$pro\mathfrak{p}er$learnino aloorithm for functions of
$\kappa$terms under smooth
$Jistri\mathfrak{b}uti0ns----$ $—————————-$ $——-236$
東北大・工 酒井 義文
(Yoshifumi Sakai)
東北大工 瀧本 英二
( $EiiiT$ a $kimot0$ )
東北大工 丸岡 章
(Ak $ir$ a
閣a $ruok$ a)
32.
情報を意図的に改変する可能性のある通信路における安全な通信プロ トコルの
$LFKN$
プロ トコルによる改良についてー$————————244$
-橋大情報処理センター 坂本 直志
(
$N$a $oshi$
$S$a
$k$am $oto$ )
33. $Re1i$ a
$D$I
$\epsilon Bro$a $Jc$ a
$sti\mathfrak{n}0$$inPro$ $4urtN\epsilon$ two $rks—————————249$
群馬大・工
$B$
豊(F6no Bao)
群馬大・工 五十嵐 善英
(Yoshihide Igarashi)
Univ of North Texas Sabine R.
$ohrin\mathfrak{g}$34.
リングの方向付け問題を有限状態数で解く自己安定アルゴリズムー———257
広大・工学研究科 梅本 成俊
(Na rutos A
$iU_{I\mathbb{I}G}$mo to)
広大・工 角川 裕次
(Hirotsuou Kakuo $awa$ )
広大・工 山下 雅史
(Ma
$s$a
$f$um
$i$Yamashit a)
35.
自動翻訳における新しい木構造の導入 -左右木についてー$————264$
電通大・情報工学 黒川 浩
–(K0 uichi Ku rokawa)
電通大・電気通信 笠井 琢美
