• 検索結果がありません。

最小重み点被覆問題に対する並列分枝限定法の性能評価

N/A
N/A
Protected

Academic year: 2021

シェア "最小重み点被覆問題に対する並列分枝限定法の性能評価"

Copied!
8
0
0

読み込み中.... (全文を見る)

全文

(1)社団法人 情報処理学会 研究報告 IPSJ SIG Technical Report. 2003−AL−91  (8) 2003/9/19.        

(2)              !#" $&%('!)(" &*,+!-(" .!/(0!1(" ]wT24xQ:3 ^454_868`87:a494R:;8B:b4<:=?c4d8>:@8e4f4A:@4Z:g4B:C4hjD8i:h8E:F4V4G4`:H4^4I8_4k8J:K8Y4L:l4M?m4Q4N:O4O4P4P:=4Q:G?c4d8RTS4e4U8f:n4V4o8B:M4L:;8p8W4qjX4wTr:x4Y4O:x8s4Z:=8t4 I8J:K4Z:[4u8\v 4 Y : l 4 5 8 6 : 7 4 9 8 ; : ` 4 y 8 b 4 z : < 4 = { 5 8 6 : Q 4 | 4 b 8 } 4 ~ : ` 4 y 8 b 8 z 8   € 4 G 4 H 8 M : ` 4 ‚ 4 b 4 ƒ 4 9 8 M : Z „ 4 = 4 6 ‡ † € w ”4Z:•|?c4NTˆ?d8`:‰:4Y:Š4Œ4‹4‹8Œ8B:–4Z:?—4‚4N:˜4B?M4€c4;8djLš™4Ž:h8b8L:Y8 ‰4a:k?`8‰4:›4aT=4z:k8c4d8B4E4Ž:h8:=4Z:4M4œ?;8Q:> x4=4‘4c4I8d8`:’8e4f{B{Q:Z4n4Y4o8l4Z:m84‰:ž8W:=4W4“Ÿ µ4Y{¶4l ·4@{O¡¸°=¢¹45£º 68J:7šK89£`:;8»4`{k¼<:Y =¤J¡K8½4¥{¾4Q8¿4¦šÀ:Q¡“8§4W4hjQ:L4sÁ¨¡t49{54k868Y{7:©«94;8ª¬5{` 64’4§{b8h4z:­£=4®{“ ¯°”4Qš• ­4cÁ®±d8Z{`:X4y8Y£Â4l³Y:²£‚°´j˜4W4M4<¡;4=¢Gà ™8Q:Ä4Å4=45464§4h4­4®8QšÄ4Å8L:c4d4Æ4Ç4È8`88€É4Ê4k8Y4l [. ]. PC. Performance Evaluation of Parallel Branch-and-Bound Algorithms for the Weighted Vetex Cover Problem. ". Yoshitaka Shimoda ,. ". Daisuke Takafuji ,. Satoshi Taoka. ". and. Toshimasa Watanabe. ". [abstract] Even though a branch-and-bound algorithm (BB for short) is the most general technique to deal with various combinatorial optimization problems, the computation time is likely to be exponential as the size of input increases. Parallelization is one way of improvement. We can expect that using a better upper bound makes bounding operations appear at early stages of computation, possibly resulting in short computation time. Here we consider using an approximation algorithm in computing an upper bound. In this paper, we experimentally evaluate how using an upper bound given by an existing approximation algorithm and variable selection strategies affect the computation time of a parallel BB for solving the minimun cost vertex cover problem on a PC cluster.. ÐÔ h4c4Ë Ñ4;4Ì!Ò8ÍÏQ:Î C°D8wTx E:F4G4H4I8J:K8<:S4U8` Ó O4Q4W4P4O4X4`:P:G4C4Y8Ø8D8‰4Q:E:a:Ù4F4Z:ÕD8G4H{<:I8Ú{Û8J:z:K8y‡V4B:Q:€Ö=8Ü4S4Ý8U8m4Q:L:V:G4Þ4M4H4ß?;?M8aTa4k8L:r:×8Y4z:5{P4l{6Ym 7²4:ä494å;8Z:ªæ54à?64N:ç4© è4wT=já4â7:94> ç4x è4z:=4b8“8Y4él:”54•68c47:d494=4;8Ü{QšÝã ;°W:Ã4ÒÁ™4¯jk8`꒰Y:ð4b8ñ4zÁò4< ã4²4` Œ4ë4ó8ìÁ<8í!‰ x > x `:ã4z:yîô?N³€ï=4l:²54áÁ68â7 94Þ4;8ß?<4aTk8J:K8Y8Q:‰4õ4a:ö8Z4ZšX4ì8Y{Ÿ8O4P:N:=4B4c4Y8d8aT÷4e4ì8f:n4B:c4o8d8Q:S4e4ø{f{;L a84Q:r:ƒ4z:s49 t4• I8ú4ûZ:u8`8v:›{wùxzê=Y4l8‰:Q8a:Ÿ:=?8€|4bje  Q  T[8`8: Y 

(3) 8e4f _4‘4üþý ÿ  Q  T[8`8: Y 

(4) 8e4f WšRT94ž8W4> x Ÿ4YšY4_£l ‘4üjZ  “ a:B£Y {=4_{‘{= 55468468L7š94T;8© `{ªæ<:54= 654 6 ¸ ±­4Q8®4¦š¯ =8 Q  J:¸K¼¥4{Q858¦:J:Q K §4hW 1. NP-. [4]. (. "!$#&%'%'()'*+,-. Hiroshima University. ). Graduate school of Engineering,. 4L ¨š`ê94y4kjb&Y4z¼©(‰ ªæx!54w6{Q §4­Áh{®4­4øÁ®£;&¯°Q `¼.{ ’jYêQ:sÁ­£t°®85ÁZ{68X?7 €ï9 = ;b88Y4Z l ½4¾4¿ÁÀ /  012¼½:“8W344ÇÁÈ?> x z z8NTˆ?@48O:‰:€G4=4Y8H454 Mj6jù`:`47:‚494B?b4;8€c4ƒ4`:d894y4M8b8Ž:h8L:z4™4L:<:b=4x854w k?68 ={Q:‰464}jaš†‡Z:~44`:€Tž8y4Z:|bW Ÿ:‰:=W:54=4Å8“ ”{V4• `šc4=?d8‰:`:Q:4M4Œ4;8‹8Q:4B:–4‘4—4I8‚4Z 6˜47?M4;j> xL:™4Y4b8l4mY · ‰4Y4a:`8l :Y:c{d8Ž:h8Q:4œ?µ°¶4aT=4·4c4¸Ád8¹4e4º f4Qšn4o8L 8 ¾4z:²4=4¿4´8“À:”4“8W4•< W4c4=Qšd8s494t4`:¾ –454:Á—468Q:‚4G7:˜494M4;8;8`8L:8H4€M?™4k8NTJêÙ{YjK8D8‰4L `:aT’4ò4b5½ 64§4h4­4®4;8Q:Ä{Å8L:c4d4Æ4Ç4È8`88€É4Ê4k8Y [7]. PC. PC. 2. ;=<. .. A CDFEH>@G ?B JILw KNMPORQ <š=TS±7{BVUjxW£\¡B bx ¸ ë£G DWK aG X ý ë{aRDY ` k ?O ‰£aša¢© R¡X í±Y{Y4lalZ°X K `=[b{O Ÿ L£Zdm c£b z¡b°K]BšI b Q R =^Q O_I ªfe Q 2.1. 1 −51−.

(5) ¸bdX{i Ml¯8k aùª i =gMLc£k m^bjK z:= bji Y±a[i Ršk QÏ<ªhnšSFS8b W£X£X4¯¤›¢Z{z±i X R4€Öù= b£’j¯ QL j L $a I v MlojkpQ Rl= SFSbdb XYX8qrL i Mlqkts Ml<škts = a i `°© k°w l i5MLo4k L{Ù4m4D°$Q = XjedQ b u X8¸ W k\šwjx Qb Ÿ£W{X{Y±aùk±Y{l kx±z{Q$XjZdebVX ª m x a| TbeSb b$l:94X{²4¾¯°´8:4Q W4L:9£=8<:¾= m :4y8x L¡`\:g= xz?eFX4€Tby?Z49£B: ¾ b8| :«7?94¾{€fª Se:8bb a 9{X4v ¾ y?o8:¡l ¯ G `šy4b±zš= Xr} ~ i MlkpQïZ G dQ XjW eF  b 4 9 ¾  : ý I XX‚x8} =8 @4= O°¸ < i ¸ a ¸k4ak Xƒ$< €} ?< rš„!z:b8r:zêYjb8aTb4Y8b£a =b¸ ùl{i @a Ob& =Y¼a:’¼Ÿ  Q = 8X‚BÁ}† Y X‚}L‡¡Š<}† PM†‰ }l‡ ‹!Z r:zê’&b8 Q Y&u aT¸ b L  ˆl S ’¼r:zQ ¸ i Mli kêaR‹Ž ršz:b±Y8ašŸšx = jB4YdXŒ} M†} ‡ Zji a4Rš`  k8w B4 Q X8E{:L =  }† ‘?Jý aTI b MlkpQ dl }L‡TXBJý } I Z4MlkpO Qï’ W4X{’±Y8Q a¡¸ Ÿ:=i L‰ “ u ¸ a4r:z:b8Y8a:Ÿ:=4k8B4E4:=H} ý~I¶ i M i QÖQ8a:Ÿ:= XB}  b 949±L¾¾:4” : L•G¢ž– ¡ Ÿ—?ý£CaTI¤bDK ¡ EM† O l aT¡ QT b ˜ Z£™ =Hlš K ›?¡R ¥ œ K X?©£’¦R 8O @4¡ B ý  ¡±° WÁXÁY°B w  = § I i Mlk¨QVm©O«ª i m¬K ¡®­  ’ ~ k ¯ m K Ga¡ < 94¾ : G Œ ¡ CDJE a b4b4= Gd· K ¡ ¸ a¹4k°l Q K `8: Y ²Š³´¶µ 9 º ¾ : G ` y b z = ¸ ^a X H Q »©¼ t ý Ë Ð½ ÎJÑ ý ý Ë w kĸ Ì Í ÎJÏZº k¿¾ÀM†}† ÁMlkp PMP†ÂPÂlMlkÄÃpÅÆ ÇM†}ÈÃpMl¸ kÄà kÊÉVº Y8 lašÖ?Ÿ:=[rT½H= }ÈL ÉÖ×ý k IؾkÙÉÚ©ÅÛ ÇMÜkÄÉlQ k à ζw8ÏQ$ζÓ?Ñ >ŠW4Ñ{QX ÔZ:—Õ Ò{aTk8 b « YX84lL ¸Þ4_?k ¾ r:© O8w R:k Q4à w8L ß Q Ý8à¿4á â?J` aTk ¾ bMÜk à ÿl:L [4“ \8u ¸½ ã8aTk8Q Ó Y L àÑá ä â?ÿ a4 a v rT=8o8m4l Q Ó?>: Z å4h?a:B4Y:[4\8 ½ ã8L º æ >:ß ¸ i Mlw k `š»&G ršz°R = i a 9{¾¸ : G `šy b±z³= ¦¡Q ¬ k dL u a kj$Y Ýj¿ G Zš— Ò{k°Y{B w ¸ = V< ç¡Û¥ è±W{X Yjm x aT b ` ‹ lŽ49{k8¾ Y:: kx8z{~ý Q I¤KNX8MPORL Qï釩 €{ê8Y8ë{‰4BD a:K L:= K#¸ ë a D a `4K k¡ Q l ëdì aùb£b¢í= é î€ ê ›:dO ïjQ 9 ¾ :{L Gñð K ¡  ò p8Q ¸ ë°DBK ¡ó¥ K `:»?rT=Hôaõ±Ð"ö÷I¤K ¡ Q ý §Èø m ¡Q ý K ð K ¡ ª†¡ k m[K ¡ IØk¨M ø Q&m¡ O ° § aT° y8Ÿšwê= ù ö I¤K  x xªúôûõ±ôaÐ"ö÷õ±Ð I¤ö K IØkpQÈQ ªï=a õ ¹4ö IØkjkpQ l ay8¹{ ` k°K lTõ ýö IØkpkQïL B ¸ k³Q =&¸ üm h \a v o8l µýþ ÿ?a:<4X4Y{J:K8L:b?NT’8x©4Q µ õ4ö8B{J K»?r:4z858 R J:nK 8`:`:5454M8M?L rù8=°P©:’5{464í çÁ> è =jO$4m45jQ 8J:K8z4L` M?E:F4N4G°‰4H4a:I8W:Ò Jê8K8V4Q:S°` jU8Q4V:J:MÁK8;8L:W4M?XÁN4Y4l T8B:=4W C 8· DL

(6) x8Y4l 2. 2. 1. ,. 2. ,. 1. (. ,. ). (. ). 2. and. (. ). (. ).  µ4¶4·4¸4¹{º m‰4x94‰:W4`:¾»4<:4: ²4k8Q ¸4´jY:‚4¹{Wº˜{M4a:;8<:49 =`:¾’44: ¸b8Q:ë4Gz:D8ð4W4k8X4›{Y .z:= òJ:K?p8Qa X Q“u ¸ QW¡ ¢œ&¸°B ¹ÁN º a±R¡¶ÁS±· ø¼L¸4 ¹Áº R¢Q°W±X x¸4Y ¹4Y#(q º "1 = ¸ 2 !Q ¶±)·%l $& W±¸4X±Q ¶4Y · l±9 <ê¾= ±: QêG µ±`ñ¶±&·@ <O8šaš= Ÿ:= ˜(4'¶ h8· GQ µ a:B4LY 4)¸ ’¹4eº Lšb×849 P4¾Y44: ZJ * v wTx J:K8 K&½¨W4¾ :XÁY°0l1 + 2QÁ3 J:K¼ª 4Æ<:ª658= ü 7Q¼9  `:9-4, I > x Y/. :;<= GHIJ 7K9LM4?@>AB@CBNCOD>EPF QR@ J LMS TVUXW#YKZ D[E]\]^`_aP NP-bKcDKE#F`dKefSAgVhXi W ^kv jm u |J Jwl xK[9]yPkzn`{o]Jpk|q}Kr~Sks€t i`^1, 2 ‚KF ƒ[10-41]. }~J †‡|K}ˆ SЉ‹DEFŒe>Pu Je|„}F~  ~ S7 ~J ‰‘’“DEF`deS”• D– Žh(i F i^ W FW de €k—˜™ F WYKZ  J™[8]ž ‚A^ j J|K^k}P]~@ L‚M`Ÿ SU š#P›@œLD`M_S ›œ JY> Z ‚ 1 >  1P 2 J CLAP BARP NTP BEP NI – ‚Ÿ U Pu i` ¦§K¨#©SkªK« i`^| j¬}l­~ P ~ ®- ki¯ ¡#ef¢K¡£¢ ¤#z-¥`{‚° kh FACLA  DEFe(ª« – i^ W F . S]7±_³²´1-p  1: wxyz{J|}~ |}ˆ ¡¢Kµ ¶· ¸ ¹Xº¼»¾½¿»ÁÀÃÂÅÄÆ»¾Ç¿»ÉÈ [17] CLA 2 2 [11] BAR ¹Xº¼»¾½¿»ÊÈ ¹Xº¼»É½¿»Ã»¾Ç(» ËÌÈ 2 [35] NT ÍÏÎ À¾ÂÅÍ ÄÐÀÃÂÅÄ­»¾Ç¿» ¹Xº¼»¾½¿»¾»¾Ç(»ÑÀ¾ÂÅÄлÉdz»ÊÈ [12] BE À¾ÂÅÄлÉdz» ¹Xº¼»¾½¿»ÊÈ 2 ҇ÓÔÕÖ [38] PIT  2: @LMS›œ JYZJwxyz{k|}~ |}ˆ ¸ ¡¢µ ¶· ÍÏÎ ØÅÙ × »¾½³» NI »¾ÇfØ » ËÛÚ × »É½³» ¹ÜºÝ»¾Ç¿»Ã»É½f»ÊÈ [34] ÍÏÎ Þ Ø º¼ßàÈ ¹ÜºÝ»¾Ç¿»Ã»É½f»ÊÈ [32] MS Ú f Þ â º¼ßáÈ »¾Ç¿»äãº Í Þ Ú Ù Èæåçº Í Þ Ú Í È €èé™ 7K9 Jê 3 2.2. 3. 3 ëíìïîíðòñ óôõö  >k÷ølúùøû(NO‚lúü JýKþ Sÿp F é „Pü `J€žé DP79KLM@BC. 2 −52−.

(7) . 

(8)   . . .  J   LM>  1: @BC ( J @ )  

(9)  . . 16. .   . . 7 9-LM-@ BC ( J @ ) J  (7- ~ ) kL M> 10 W J NO‚ ^ óôõö `€ • ™ F 3.1  J ûX‚ ö  – iFKNAO  ( d i €"!KZ t"#K7K ’` $ “NO &e %('F ) €  Ÿ )e ™ + F * 0:;1<2=3 , .º - ÈÐ587é 92U J 7 5 $ -6_ /1%70 'P hXiF#Sk01PK3’ 4 “D#> 8`hp W , º . È õ lú79 $ NO € ùøûdek‚ ™ F { e <=Ai?P > õ@ Z ƒ é >  d  d k D P   4 >   9  : ; Z ê  õ C @ A  ¢KMLOBN @ ZP DJEKFõ" þDóQE @ Z e U ^õ G > FCH@ I ZT 3S J ° u > P > ¶ R ? hS]\^U(P V 2 J ¶ Rõ ‚þ óXl @ WZ Y – iF > õ Z ¶ R:#[;K<J @= Z € & p _ADKEFK` 0#> :;<=  aUé _ J ( @ Z eu U ^>  P -b/10 d > c[S €kè`é™ de €AU ^ W F#De  , º . È > f c1/Qâ 0 ‚kŸ U ê ^ ê 3Õ P ¤3Õ( €  g p _ 'F23@ DZ h P , 0 j 5 i( > , â 0Km 5 l (¤3 ) DEF 3 @ Z ) EF W k no 3.1 g ' hfi é G-H-T I p q ºÝÇaP ½XÈ J @ @ Z P r @ Z€ ui  i Ç qs Ø uP tvtvtxw.Fzy P-k Ç â |KÇ q s º~} PuçÈa»€} POh/ ǁw‚}q ƒ „y e ™ F- ƒ ½ é {±Ph Ç 5 i‡† (ˆ‰ ê 3 @ q Z ) >Ø Q‹ @ Š/ ÇV‚LU Œ M ~º Š €È ™€ gž ' FJ 23DPê Ž KMºx LOº N ÈæPJ tvt‘@ t’wvZ º“F È ™Èae Pb4 ^ FHI  3 J e F ddDP d q s q 0 - Ž ~º c•”¼–P tvtvt—w˜cš™ XÈ /`4 Ž ›» cœ•/ sž P Ø y º Ø 1ã }۟ ã FÆÈ U °  ™ž ^ J ~º  P Þ •È /#½  ‚ Ÿ ^ d c  Ú c ¢å ¡ Ø y e(j¤£‹ d J e¥79q LM#@BCNO> U 701934 :0;1<2=3 -, .º /1- È 0 P é ަ-258 ¸ – iF -pj e  P fS ™W ž ^ J §€ 1 e ™ F  J Y Z M K O L N F?HIJ SP t¨F7 9@BCNO DEF ©ª . 2:. ™ F W £­ °#J ¬b® €¢ • U ^kj¯£f ±° % ’ ] “ " D b « ¬ ² >P óô³ ‚j(´F@ J deDEl­P óôõö  ‚2j~W ° ^> þ ó NO°‚µ(¶ ™ J~F½ ¾·¸(¹ºm»ú>Pƒ i^jh&¼[P u S¿(ÀÁh(i^ _ W pJ"ÉW#þ ó NAJ O €K™ó ô @`½D¾ E#FK ¢ÃÅÄÆQÇÈö >k– P NkO Ê 3 c œ ­û ÀKD ‚k\]^kÕSË i^ W p W ( EF W > <= óÌ ô ö ½S¾Í(JÎ Ï U ^ W J p W ) É 3 ö D– i Eé F ( EKÄF ÆW Ç> È<K>= P Ì ö "S ÍÅÎ UAé ‚K) É u 3`D#ÕEKS FKË ÐÑÒ >P aÓ~W ^ W F þ ó NO‚j W ^P01 J 7 5ÕDEF Ô ÑÒ >P aÓ ~23 W S^ ÷ø W F lúŽ` þ ó FÕ NO ‚j WÒ ^P0123Sk÷ølúŽFé J ÕÖ× 7J9ÕDKEF J ÕÆ >Pd(iƒDK‚ŽJ"h(iÚ ö Õ ‡û À#~ Dk7]9 ÕDKEl ØP ÕaÆ?ÓÙ~K>kW P u W þ Õó € g ' F DEF ÛôÜM½Ý(¾>P € Ú^ ö ~F  NO W° ~ hdXi’ Ö J ó  s K \ ^ _ l° _ JÞ ó#ô ½Sk¾Ž€ h(ip W deSt ° \ é YKZ Pud é ¢ ã ß3à7DáCEÈF >k. P óô h ½¾ _ U £> ¿( ô ÀCâ Ál F½dK¾e€ D#sEK\ F óK3.2ô õkä ö  åŒ>"æ¯H çJ è`é û ‚ U ^f¤Ks U ^ W £‹ ’`“AP8 hp W ½õ ¾ lú79 $ NO° e U ó^ ô ½• ™¾F € ìíVU P ~ S  9ê >óPë  N O h ô ½¾€ î ´FdeDEFK ddD Ž ( h  i  F  ƒ D J ð  J Éñ Ë ö ½¾ e(Pu óô ½¾ e>kPïNO ¤ þ ó ié ½‚`¾ l NAO (òNO ) € WY ™ F ½Q¾€kZ t # EóKFô õö J – hD þ  ‚ P ( 5  ¥ p   ó  ô  D  E k F  P  E F ó NO‚Ÿ U ^ui’ Ö J óô ½¾€ ¿(ÀCÁF † õ ö ½¾ ŒS“ × Õ € ¬ W ^stiF ™ pK J ¡“ × ÕS Ú ö ÕVl±5(¥ W e¥PEF W >“ × t Õ ÀP þ ó NO J 7 ~ S õ„h(i é e ¥>kPd Jþ ¢ D ó NO ° h J ui’ Ö J óô ½¾ >¿(ÀÁ`F d J ô â lúŒe WW P óô ½¾`€ s\^ Ú û(ö p ~ ½¾€ † WK _ W `l­Þ ð ~ SAJ ŽöhX÷i~ p W e Ì 8éDYK¥#Z F YKóZ ô P E¾F € >udkD  SzŽ h(iøù– ‚ ½  { €  #F `JFúdKû eD> Pó¡ óô¿(õö ÀÁ ô ¢³ D  t – iP ë NO> J ü Pò`NO>ïNO € ™  @‚ý îV– i ³   @KP ó# ô þÿ > ³ J ô € ò  @‚ é _AF`dFeXò P ô â l(SW é NkO> ³ J epF  € ð õ„F YZJ óô`õö J ¤ ’ “‚PK€7 ™ ~ é U P þ ó NO

(10) J   ‚ ü   2   J   ý ô ⠝ F l > J U ^ W J ÚFö ~ƒ é PK¡ ¢~ Í(Î ‚kP/phC=d e¥ SA7 DE l ­PӍXU Su W J 7ÕDEF  q  ph = ö÷~ > p ) s +*€y P Ú ö Õ, ) P 7 1.  " !$)/#&. % @ Z(' $ + ~ ( e1Z 0#Ó ™ F ' 3 q 2 ' q @ 2. (; ) ph=¡¢ͯÎ ƒ . ph ó. 3 −53−.

(11) ô   @ U € 4 N # N NSR ‚5 W/' J v ° h þ ó NOŒ J ÖQ œ × Õ8 U 7 69œ € ]¡ ¢ U 7 9œ 3úp h¢=kP1 ) 7 9œ 3.  œ U e J P °  ~ Ú ö ~ _1: é ; ™ FK <7 9œ J ¡K¢‚``l  œ J 7×  Sœ Ž€ h(i ™ ph= œ Step 7 =s¤£f 4.  œ “ Õ7 > ¡]¢ F] ?7 > ¡ Ûp `h =fP Step s f £ 7 =¤    ‚`l bP  œ ° h J ó#ô ½¾ Sš  ekp 5. ióô = ÉQStep ( ñ U 7 4 =N # N VSR ‚ ° h Éñ c   l   œ 6. € U U @'3 P  )/œ ° 'G`h s ÞBA J òNO  œDC ™ w‘tvt‘t’wv éœFE 2€ U W 1 Y é P  œDC wvt‘tvt’w‘ œDE yAe F Þ P ; q ‚¯ H Ø 'F òN]Þ O ° JJI R‹q }DK (€Ø è ã c ã )> P } K ƒ JQ }ML ' ( ã N]ã kc(ƒ N J$) I U P °  O H P J ™

(12) K‚RƒAi`"F òNkO RVeA>ÿ`pKF _' )/e ' Î Fs 7.  œ yke1: ; U ^AP Step 2 = SF ©ª W éZY[V\XJ ]^`_baVU c(ódôk e õå ö  3.3 TVUX¯ 79L~ M@BCNO`> H û(‚ ^ ‚ p l J £@ dZeS€ D¥ñ F J W ° @ @ H U 5(¥ @ &U h(É9 ñ –(W @ q = Ø   ‚dА”‘w.Š w‘tvtvtxw.Š€™Ke PQkŠ€qk œÆ‚Ÿ cšœ > Š œ € @W ËB C J €@ #Z ™ ‚¯ H ' c œ ž >]@B-C J J Ö@ × Z ‚ HÅ× 'p dJe ¿7#9™ LKMK@B#CNkO ÕKP “ Õ> H û(‚¡¢ F f “ × Õ ¡¢ * ó-ô ½ ¾ ‚]j ´-F#Q þ ó N]O   g œ e  ™ b  J v D-@ B C D J q G Ø H I €h “º cš W È q ‚ ˞ ö PV_ ö U U£é >A@€iBg C °J @ Z ‚( H ' pö º“c   È ó ek ˀ p q @ œ q hØ jÍ k U ^Þ œ º Ç œ w ½ œ È uP } w w t t t w   ƒFl m Y e€Z™ prqFs ƒ é P»ÉǖœÝñ» qo€Zn œæprPq Q p œÐ™ D J 7 5– H ñ 9 H prq s pr} qF œ e J F CJ !h]Z ‚ n œ ã t Jc œ YPZQ7-n  œP c œ P } F œ c^ € #‚Ÿ U Q € p œ v J @#BC ñJ 7Kn 9Ê Õ F Jœ Yõ Z „> ^d(i h  ‚ ` ƒ  e  „  ^ 7 j  ¥ P Æ œ. ã t €u U € é n J Yd(Zi >P ¬ ^ F œ õ„ F -ƒ P œwvx prq s qbn œ Î Ø J e¥ Ø F œ q »É½ œ »zy prqs c œ prq s cšc œœ qb ƒ nœÎ Ø J  e ¥ öD „F d(i‚ p œ J @ J 7 9LM €{ ´ é _ × J€oq œ e J ™ U é|q J} ~ þ “ ó Õ NO >P UAé „ @ J LKœ M J~ D e v J d @BKCû³‚ ‚ Ë ö ^ õ EF × Õ¡¢ * Ö× Õ>P þ ó NO J Ë ö Éñ f Ö @ Z ‚ Ÿ U P 4 ÂJ€ ~ ƒ é > | }~€ ¬ W ^ŽF .. ‚ Yo@ ƒVZ(„V'% VJ †Vv ‡ Z _ ó#ˆoô ‰V ƒV„Vþ Vó †i € °  "N !#&N % h U @  Ò ö ÉNñ` O ŠJ v U 4° ó #ô Éñ (NSR) ‚    \ ^ . U 4 P Ë é ‚ 0 hé U 4€ ö N ™ # N É(VSR)  ‚    \  ^ b P ; ƒ  > J 1 N ‚Õ N Ë F – ñW € U 4 ™ F `d(iƒ w‚ ñ J 9D #  S. ‹ Œ  i ^  F S   ó  ¦ X e  ¦ § ê@ 1p þ ó – >W  e V7_˃K\#^ W F`û(DEVl P [4] ‚ ó5ôY õö i  ‚^ j W F^ >Pd(ih J U 4 N # N J! Z t #‚Ž  U ^P  NO €~W ^_(ŽVh(iF ó ô³ J S É t\^ U ƒû‘ 5\^¡¢ ãñ P ‘ @ € g ' ” é „P U 4 N # N  ¡J¢!Z z{ ‚6_ 5(  ¥  p. ’ “ t # • óôõö  ‚j W ^L  p —`˜€–   e1( — ' ” . ² ˜ ™ š º š (NSR) 3.4.1 ° NSR • › H œ (a)› (b) ž Ÿ   ¡ ” ¢ (a) Depth-First Node Selection £ ¤ £ (DFN)[4] ¥§¦ ¨ © ¤&ª¬« ­X ¸ ¹ › º¼» ½bœJ¾¿®"±1œ ´b¯ À¼ Á °Âıà œ)² ÅijÆ ´ Ǽµ ȶ É (·  ¢ Ê Ë ±1Ì ÉÀ Á ÂÃÅ Í Î ÏÐ ÑÒ Ó È É ¢ 3.4. £ ¨© ¤`ªÔ«b­Õ®|œ¼¯b JÖ¼£Vפi ¥ § ¦  Ø Ù ²   ¡ ɵ ¶ ÅÆ Ç È É ¢$Ê Ë ±1Ì ÉÀ Á"Â à ŠÚ1¤ Û ÑÒ Ó È É ¢ ÜbÝ Þ  bß [1-3, 6] œJàbá ÅJâã1› µb¶¼Æ Çb£¼¤ £ ß DFN Åä ´ É . 3.4.2 å æ ç è é ê é (VSR) Á ë µ ¶ ÆÇ±1Ì É ì1› í ßî ïð ñ ò"¯   óœ ñ ò Åbïð ÈôÉ õ ÅÄö ð÷Jø ãÌôù ø úÄø´ ¢ VSR Ñ ·´ û ßü ¹þý ÿ ÂÃÑ  û ý ´ ñ  É  › Ã

(13) Ñ ÷ûä È É ¢ Ù Â ¾  ¶  ÂÄÃ

(14) Ñ ¿÷û¼ßí œ (i)› (ii) Åä ´ É . Ù (i) ² í¼òœ¶ôÙ ÅÆbÇ¼È É (¿÷ › íbòô  ­ Ñ

(15) ß    ¾œ¶ ÅÆ Ç È É ) ¢ Ù ¾ œ¶ ÅÆ Ç È É ¢ (ii)    í ò ø É

(16)  (b) Best Upper-Bound Node Selection (BUN)[4]. 4.  ! "#%$&%')(%* !. Ù ¾ b¶ ÂÄÃôÑ

(17) bÈôÉ,+ -./1032546487:9<; = > @? 2 ACBÉ 2 @ > /GFIH ®ôK ì Ü J1M® LNý;PO ÿ  QRSUT .C/WVNXZY · EÅ DE[= \È .C É ] Eø O;  µ A + - . / O  Q = > . /D

(18) ^_

(19) ` ß í D

(20) a ¹ A B É ] bc : dC à e fgUhijCkl0mKnporq:sIt?ì ¶ C@uò vw oy x{zM|{}~ €  ò ‚ƒ] „ c : ¶   F†o]. −54− 4.

(21) ‡ ˆ‹Š‰ŒŽr‘5‘“’•” ‰ (1) oy–{o—;˜0š™›–œ0E oŸž ;˜FK–¢¡ . ¡ ¸ ÙA

(22) £ ¤ ÅE¥ ¹§¦ È : (2) om 76ÿ ¨ª© n«¬t­? ¾D ¶®«

(23) ¯ 3 o Å$Æ@°A$í@D

(24) ±C²"ų ]

(25)   ÷ƒ; í ò?

(26)  ´ ÷1´ Ù ¶@?

(27) µ ò ¶ · È É

(28)  ­ ß

(29) ;¸«Z¹º D ¯  A ¶C ? ² D ¶ì1È É ] o– o‹»¼n¾½p«À¿ Á ®š7ÃÂ:¨r©Än«¬tÅtÆ;ÇFȖ FlÁ ®š7ÃÂ:¨r©ÄnÉ«¬tÊ;˜0Ÿ™Ë–{0 oŸž . 4.2 ̉͋ЉŒŽÎCσР[17] (1) Ñ DÒ«C¯˜ o Ñ

(30)  ÷ƒ;˜Ón«¬tº– v n«¬t , ÔÕnÉ«¬tI– 7 ¨ nÉ«¬t:] (2) FK–¢¡ , oŸ™­–{o , sŸ™Ë–{s] ¹§¦ È ¥ (3) sŸ™Àm˜¡ ìø É ¸  A  í

(31) D. ± ² "

(32) Å ¥ Ü ×ÙØÛÚ ? Ù ¾ìJø ɼ«¯@ “ Ö, o ÅJÆ Ý]PF‹–ÞFÁ ½p«À¿ ×Ù,ØÛÚÓn«¬t–àß , oº™I–àoº™Ë»á½¾«À¿ , sŸ™I–Žsš™Ë» ½6n«›ç qī♠täã<«â™š" ¯ ®M7Â:¨r©Än«¬t¾¿ . ¿  ÷;0Ÿ™3m‰nporqåsŸ™ tæ]. è ¯®Mç 7 ¨ª© n«¬t Ñéç O¼´ôûé;˜Ón ç tê–ëÓç n ç t3» Ö,Ü ×ì×ÙØÛØÛÚ Ú , ÔÕn t햜ÔÕn tâ»ïç $î ì<È"É] ð ÷ÇÔÕn tñmKß ø úù

(33) ;˜oŸ™ª–œoŸ™¬»½ ¿ ì1È É ] ” 4.3 ̉͋ЉŒŽò Ð

(34) ó [11] o Ñ

(35)  ÷ƒ;˜Ón«¬tí– v nÉ«¬t:] (1) Ñ Dá«

(36) ¯¸| (2) FK–¢¡“;˜sŸ™Ë–{s] ¹§¦ È ¥ (3) sŸ™Àm˜¡ ìø É ¸  A  í

(37) D. ± ² "

(38) Å ¥ Ñ®n çõô q ç›ö tí¯¸ÿsš™ ÅÆCÝ@]ïÓn çõô tí÷øÓn çùö t “Ñ  øôúJù®Â mèî6;ú ¼ A øbãJÌôù¼Âmü û ì¼÷Äû,; Fý– çFÒÁ½ ç ¹ ¿ , sŸ™P– ç sš™ñ»þ½ÿn ç ¹ qÅ«•™ tCã3«â™é¯ ®š7à¨r© n ¹:t¾¿å;

(39) Ó@™Ë –œÓn ¹6?t çì  È"ÉC]º|  ÷—;

(40) 0š™Àm n orqåsŸ™ t§A¼ B É] Ñé;˜Ón t–àÓn ç t3»Ó@™ (3møîZqåû ) ì1È É ] ” Œ

(41)  [38] 4.4  Љ (1) FK–¢¡Ë]¸sŸ™Ë–{s] ¹§¦ È ¥ (2) sŸ™Àm˜¡ ìø É ¸  A  í

(42) D. ± ² "

(43) Å ¥ ç qÅ«¬t¯sŸ™ ÅJÆ Ý]éßé çt “ÑU. ¢ Ñ n ÷ þ÷ v n  R v n«¬t›»î ø ÉòŠʱ É]"Å  é; v n ç t—÷ v nÉ«¬t ì ÿ È É"] $# v n ç ?t øúJç ù ! FK–{FÕÁí½p« ¿BìÄ÷º;ú AøÄã Ì"ùKF–{FÁí½ ¿ ì1È É ] Ñ

(44) ;˜sŸ™Ë–{sŸ™ù»½Û46¿ ì1È É ] ” %& &123% A 506 4.1 (')(*+,-Ù .0/ ) 4 1 ú1Ìij k Ñ

(45)  È É ¾   ¶C "  ÂÃÅ786 É . ú Ì89Ì Ö× Ø;:<"Ѽ032546487:9<;,FäH ® Å = 4 3; 4 ß$ ä÷

(46) 

(47)  ­ D >  ³ Ë ?@A B É ]  ú Ì09Ì ; À Á ¹ Âà Š8 @"¸ ß 4 @  Ê ¹ ÈbÉìA>C³@? B8Cb÷$ûO 1; Ö ×Ø):<D/ Ñ " :<FEò?HG"øÉ0I ì?ÁõÉ] 4.1. U L. V WSXSO V P Y XSO. JLKNMPONQSRUT. 1 U=15 L=6 < 13. U=15 L=10 < 13. bfcAdPe ] U=15 L=15. 1. 8. 7 0. e. 3. 4. Z\[S]_^a`. ZS[S]m^"`. 6 0. b. bfcAdPe ] U=13 L=13. 0. d. 2. 1. 0. c. 1. 1 U=15 L=10 < 13. U=13 L=2 < 13. 0. bPcAdfe ] gih\j ]Uk U=10 JlKNMSO\QSRUT. 5. L=10. 4 3: Ö× Ø:<"Ñ®0N2548487: 9 Åä ´  ­U D Á ë8nð /  D. >  ³  ?  ]  . o ƒ ÷  ;. p 0 ¶. q  D  r. s  ß  À. Á ÂÃDt uvw Ñ

(48)  x È É U L. € P‚\| € f ƒ ‚\|. yLzN{P|N}S~N. 1 U=14 L=6 < 10. ‰PŠU‹PŒ † iŽS †U U=10 L=10. U=10 L=2 < 13. 0. 1. c. 1 d. 0 4. 0. 2. 3. „\ P†m‡aˆ. „\ P†m‡aˆ. 4 4: Ö ×Ø:)< Ñ®FIH ®Åä ´

(49) ­D$Á ë8nð u/ D >w ³?]o ÷ƒ;p ¶0q Drs ßÀ Á"ÂÃDt v Ñ

(50)  x È É. 5. ‘“’•”—–. ˜™›š. Ù5.1¾Køœô ¶øQ¼ÃQÑ ôÈQɟž¡ ôÁôë¢n ðK/¿Å 100Base-TX D»¤ ) º £¡ Ï ¤íAà­8÷  ( 4 6 ¥)¦ )12 @D 8 Û §m¨Ï º } CPU:Pentium II 450MHz õ ú Penõú 1GB‚õúJø tium III 500MHz; ©!ª¬« :800MB É :)<®)£8 ­ Ï ¤U¯<¤"ÐÖ ( :)<®@D OS ß FreeBSD 4.3-RELEASE) Ñ C °± Åä ´  û >²

(51) ÷ ]ž ³ Ñ ß MPI[5] Åä  ´  ] µ¸·$¹¶º»$¼ Ù5.2¾´¶ ¶8ÂJÃDC^`KiUjk 0{m n orqåsät<ôßé¹ ; ã oêãrm®û ß q¾½ ßZq¾¿ ß q¾À ß q:î ß6ß

(52) Ñ ¿÷éû ; íD!Á /Ñ ú0 Ì 9Ì 10 @ ( ò 50 @ ) D Ë i j kbÅÊ Ë ÷

(53)  Ü : ¶ ò Dà  Å jÄÅÇÆ ÑJÊ Õ÷ ;ßÉÈ û•ãìoãÊÇî D Ë ?èãìoãùË Å Ì  ÍÏÎÐ £ ¹ ¤ Û

(54) Å ²úø´  ÿ Ñ jÄÅÆ  Ñ ÑÒ È  É ] (·"¸ ;UãìsãâmKîÉÈ û•ãìoã¾UîIA B É ] ) 5.3 ÓÔ¸ÕÖ :<®D× ò ÅÙØìƒOÛڐ]. 5 −55−.

(55) D 1 12 / ° Ô'ÖØ× 3Ùv d @A æ  T def # t f ó1ô2#hi ñ U / )DL #Ò1 ÓMõ Ï —› y ) #ön¾÷o:pqpq#r ø D#Lhi bU c k ùúû ¬ ü#ý k )L bc 3 æ T )$›LÞ D w bx c#æ 2 T .# 0   1þ wx / ° û ¬üÿý B*fe h*i U  g Ý ¡ e Ú'èë*ìk  U3!ÿ" D Ú )* *L 3Ù v D ¤gy — ëì  g#« ° & D 12#ñ /0    

(56)   C00(ROOT) C01(WORKER1) C11(WORKER11) 6 100Base-TX åAæPçNèAéêëíìïîñð  ,   A ñ#ÞSÙ Š#‹ , Œ D S ƒ„|ˆ ‰Š‹ aD ùúû ¬güý k 3 PC EFGH 4 5: ò Íó0ÆôõD

(57) [ö 1ý)þ        ! Í E h , §"‡d!#Ê N }ËÌÍÌ #hi U )L ÷) øù) [.

(58) ú û)üû] ÿ 3;  4 5!#)4"%$'6 &( *)ÿ+  )Lbc$ f /. D&%(' 3&) D / 3* ô +  j k 5  7 4 8 6 : 4 < 9 > ; > = ? = #.  @ A   1 # 2 3    , §- wx / °  #Ê N }ËÌÍÌ $ Bf e  ,-./0 3 )L M#N #OP . SM T{ #| #}Ë #B CD PC EFGHJÿ I #K ÿ PC N *| 3R}Ë ( #d!S # { N € '1@0‡A ¡ $ . D1ƒ # 5  7 4 8 6 Q 4 % 9 > ; > = ? = #.  @ A. R  B  C D Û „ #  J S ÿK 4 EF HIX#& 2 f z wx #« ° &  )/ STU ÿ 5(1)PC G W#& + ڛ)JL bc PC (5)  ) L  M N V 2  #hi U )Ljk ,  #    ¡ e Ú y — Y 9Z;\[^]\[^_\[^`\[^;>] #a D )L bc 3 %d#e#fgD . Bhi U )Ljk lm kno:pqpsrut 3#v f ef D ý 56  ° & D lm 3#Ùv d #¤  wx  ÿ 5 y z  (i) ST{ N #| 3#}~ ( d ëì3$54 50‡¡ . D 2 f z wx #k« ° & + { N €‚@A  ƒ„S g |3}~ ) † f w )L,7 bc 58‹  # { 59— , D + Œ x 3 ‡d#e#f D |ˆ‰ Š#‹ #Bf e  Œ D |3 |ˆ‰A #Ž D 2#W #‘| #{ N # 3 ’“ ”• (1) PC EFGH )L:;N  f @A # Œ Df  | N 5 f @A ó<§- + D 12# ,- W#& 3–—™˜  12  y —›š Fœ K w š Fœ #žŸ   ‡$¡ . D { N #T - f | ƒ„|ˆ‰Š#‹ ÒÓ  k3$ y—™« ° & 3#} ¢£#¤  y —™¥%¡#š Fœ # K w š Fœ #žŸ (2) S  Ò Ó  #SÙ‡2 5= aó< .  # ‡$¡ . — ¥¦ #  §¨©ª  3#« e#¬­ —› ® D  (i) † f wx 3 %defgD 2'¯ ° & D >?@A  [±²³´ ] » ™6g 7 8# 9g10 ¶ u·

(59) ¾¸ ¹#º ¿   ¼ !"‡$'7 & [1] T. Watanabe, S. Kajita and K. Onaga, “Experi  » µ ½ ( *)+ ,-./0 123 »  » 6 8 W#&X mental evaluation of node/variable-selection and loadbalancing strategies in parallel branch-and-bound algo&À47684:9<`>= 47684:9Á;Â=>=? @A #B CD PC EFG rithms for solving 0-1 knapsack problems on a trans K. #OP W#&X#& puter network”, Transputer/Occam Japan 4(S. Noguchi and H. Umeo (Eds. )), IOS PRESS, Amsterdam, pp. 4ÄH6?I 4Å9Æ`Â= PC47684Q)9ÆL ;>M=Â=?N #@A #ûBÇC7D 9PC EFGH 102–119, W [2] B C , D&E 1992-06. I&X *& K Y PC9Ç ;>[q)]>[qLÇ_>[qM#`>[qN ;s] #SaTJ U D » 10(1)3 V È(5)d FHG&I “ JLK&MNOQPSRTVUXWYJ[Z\RY]H^ _`a 0-1, bc ef W\d\efWS]Hg\hYiVj&kYl\mHno ”IpHq & r s  )  L  b c D . B hÉ wx / °‚Ê N }ËÌÍÌ   (i) S , NA37-9, pp. 67–74, 1991. T{ N |g3}Ë D ( d { N €‚@A  ƒ [3] tv_u `&,aSDv|HE } , FvGI “wVx 0-1 byW[dQecr&W[s ]zj{kYlQmvoY^ I~H€&&‚ƒ ”I(pHq , CPSY89-49, „ #S #| 3#}Ë  D ) 3#v f e#f D pp. 25–31, 1989. yǗ 47684Î9Ï;>=Â= Y 9Æ;>]8 *@JA *BfÇe \‘f’H“  » h8 i 9U )L RÐÑÒÓ  kÕÔ'ÖØ× 3#Ùv  D 1 [4] „&” •—†&–&‡˜ I I&“Hˆ&™&‰Yš&ŠV›H‹o Œ&8œ ŽH”RIj&&kYžl\ŸVm  oy, 1980. 2  y — O )JL M*N‡Ú K PC )LÛM#N #STU [5] P.­&¡&® ¢Y ¤¦¥ , §&¨©HI “MPI w&xydª&«&KY¬VM&« ”, ¯ I£2001. ڛÜd Ý / $›d Þ D 12# ,- 3R ÙJ v d #@JA   O [6] T ° KajitaI “Evaluations of Parallel Branch-and-Bound Algorithms for Some Combinatorial Optimization Probàß ? â × ™ á àã ¾ \ ä å ) K. #.  S  T U È Ž # d # e  f  D  ³H´&q lems µ&¶&·Hon¸&a¹HTransputer º&»&¼½HNetwork“ ¾ s ´&q&¿HIÀ&uÁ ±V¹&²&Â&qHà ²&I q&1992. L M#N‡ Ú y D PC2 )L M# N ڛæ y —  _X` “PC ]ÅKÅN5TVwÅx&jÅkXl\mÅnÅo^ † f[8] 3!#" d#çÔe#èB Öé× — Òß›Ó ×êá¾ àãk ™ #ä\åí ª #îڛïëì #O [7] a\C5ÆÄ }&, DÅÇ EÅ~&I €H È&ÉYiVÊË&ÌÍ ”I IEICE Technical .  î ï  1  2   ñ    a È ð # d  e f D  D  / Report COMP2003-7, pp. 47–54, 2003. )y L — MN 9ò;>]' #@A #Bf e 3Ùv d #» @10 A [8] Î&Ï , C&Ä , DHE , “Œ&Ð&ÑHÒ }HÓ&Ô gVh^VÕ&Ö aV×&Ø Y ' Ô Ø Ö × nä oYiSÊ&ËÙÚÛ&ÌÍ ”, Ü 16 ÝÝSÞf’VßNSàYá\âã O )L M#N  ÜÝ d   Ú // ñ ° ( )L bc  Z\Ry]&ßyåæW\d , pp. 507–512, 2003. ÜPÝHÞàßmá\âàã_ä. 6 −56−.

(60) [9] M. R. Garey and D. S. Johnson, “Computers and Intractability: a Guide to the Theory of NPCompleteness”, Freeman, San Francisco, 1979. [10] E. M. Arkin, M. M. Halldrsson, and R. Hassin, “Approximating the tree and tour covers of a graph,” IPL, pp. 275–282, 1993. [11] R. Bar-Yehud and S. Even, “A linear time approximation algorithm for the weighted vertex cover problem,” J. Algorithms, Vol. 2, pp. 198–203, 1981. [12] R. Bar-Yehuda and S. Even, “A local-ratio theorem for approximating the weighted vertex cover problem,” Analysis and Design of Algorithms for Combinatorial Problems, pp. 27–46, 1985. [13] N. Bshouty and L. Burroughs, “Massaging a linear programming solution to give a 2-approximation for a generalization of the vertex cover problem,” in Proc. 15nth Ann. Symp. on Theoretical Aspects of Comput. Sci. LNCS, pp. 298–308, Springer-Verlag, 1998. [14] J. Chen and I. Kanj, “On approximating minimum vertex cover for graphs with perfect matching,” in International Symposium on Algorithms and Computation, pp. 132–143, 2000. [15] J. Chen, I. Kanj, and W. Jia, “Vertex cover: Further observations and further improvements,” in Workshop on Graph-Theoretic Concepts in Computer Science, pp. 313–324, 1999. [16] J. Chen and I. A. Kanj, “On constrained minimum vertex covers of bipartite graphs: Improved algorithms,” in Graph-Theoretic Concepts in Computer Science WG’01, A. Brandst¨adt and V. B. Le, Eds. Vol. 2204 of LNCS, pp. 55–65, Springer, 2001. [17] K. L. Clarkson, “A modification of the greedy algorithm for vertex cover,” IPL, Vol. 16, pp. 23–25, 1983. [18] T. Fujito, “A note on approximation of the vertex cover and feedback vertex set problems - unified approach,” IPL, Vol. 59, No. 2, pp. 59–63, 1996. [19] T. Fujito, “Approximation algorithms for submodular set cover with applications,” IEICE Trans. INF. SYST., Vol. E83-D, No. 3, pp. 480–487, Mar. 2000. [20] M. K. Goldberg, T. H. Spencer, and D. A. Berque, “A low-exponential algorithm for counting vertex covers,” Graph Theory, Combinatorics, Algorithms, and Applications, Vol. 1, pp. 431–444, 1995. [21] O. Goldreich, “Using the FGLSS-reduction to prove inapproximability results for minimum vertex cover in hypergraphs,” ECCC Reports TR01-102, Electronic Colloquium on Computational Complexity (ECCC), 2001. [22] T. F. Gonzales, “A simple LP-free approximation algorithm for the minimum weight vertex cover problem,” IPL, Vol. 54, No. 3, pp. 129–131, 1995. [23] E. Halperin, “Improved approximation algorithms for the vertex cover problem in graphs and hypergraphs,” in Proc. 11th Ann. ACM-SIAM Symp. on Discrete Algorithms, 2000. [24] J. H˚astad, “Some optimal inapproximability results,” in Proc. 29th ACM Symp. on Theory of Computing, El Paso, pp. 1–10, 1997. [25] D. S. Hochbaum, “Approximation algorithms for the set covering and vertex cover problems,” SIAM J. Computing, Vol. 11, pp. 555–556, 1982. [26] H. B. Hunt III, M. V. Marathe, V. Radhakrishnan, S. S. Ravi, D. J. Rosenkrantz, and R. E. Stearns, “Nc-approximation schemes for NP- and PSPACE-hard problems for geometric graphs,” J. Algorithms, pp. 238– 274, 1998.. ç. »ê. } ËÌÍÌ (4Ä6?4 ò 9 ;>=>= ) è3é O  Ê N  ) L M#N  ë ì í î ïë ì 3:. (i) 353134 359328 365848 434580 413128 (ii) 11970695 12609898 10913486 9982364 7135929. Ê N }ËÌJÍÌ ( 476›4 9<;Â=>= ) è3é PC EFGH K IA‡ é 2 PCó é#)L M#Nðé STUð+5ñò I  Y 9%; é @ ê é ë í ëïì ». 4:. (i) 353134 146048(2.4179) 62114(5.6852) (ii) 11970695 3700799(3.2346) 968768(12.3566). [27] M. Karpinski and A. Zelikovsky, “Approximating dense cases of covering problems,” Tech. Rep. TR97-004, ECCC, 1997. [28] M. Karpinski and A. Zelikovsky, “Approximating dense cases of covering problems,” Electronic Colloquium on Computational Complexity (ECCC), Vol. 4, No. 004, 1997. [29] S. Khuller, U. Vishkin, and N. E. Young, “A primal-dual parallel approximation technique applied to weighted set and vertex covers,” J. Algorithms, Vol. 17, No. 2, pp. 280–289, 1994. [30] S. Khuri and T. B¨ack, “An evolutionary heuristic for the minimum vertex cover problem,” in Genetic Algorithms within the Framework of Evolutionary Computation – Proc. of the KI-94 Workshop, J. Hopf, Ed., Saarbr¨ucken, Germany, pp. 86–90, 1994. [31] J. Kleinberg and M. X. Goemans, “The lov´az theta function and a semidefinite programming relaxation of vertex cover,” SIAM Journal on Discrete Mathematics, Vol. 11, No. 2, pp. 196–204, 1998. [32] B. Monien and E. Speckenmeyer, “Ramsey numbers and an approximation algorithm for the vertex cover problem,” Acta Inf., pp. 115–123, 1985. [33] R. Motwani, “Lecture notes on approximation algorithms: Volume I,” Tech. Rep. CS-TR-92-1435, Stanford University, Department of Computer Science, 1992. [34] H. Nagamochi and T. Ibaraki, “An approximation of the minimum vertex cover in a graph,” Japan J. Indust. Appl. Math., pp. 369–375, 1999. [35] G. L. Nemhauser and L. E. Trotter Jr., “Vertex packing: Structural properties and algorithms,” Mathematical Programming, Vol. 16, pp. 232–248, 1975. [36] R. Niedermeier and P. Rossmanith, “Upper bounds for vertex cover further improved,” LNCS, pp. 561–570, 1999. [37] C. H. Papadimitriou and M. Yannakakis, “Optimization, approximation, and complexity classes,” J. Comput. System Sci., Vol. 43, pp. 425–440, 1991. [38] L. Pitt, “A simple probabilistic approximation algorithm for vertex cover,” Tech. Rep. YaleU/DCS/TR-404, Department of Computer Science, Yale University, 1985. [39] Y. Saab, “Iterative improvement of vertex covers,” IPL, Vol. 55, No. 2, pp. 95–98, 1995. [40] C. Savage, “Depth-first search and the vertex cover problem,” IPL, Vol. 14, pp. 233–237, 1982. [41] A. Srinivasan, “Improved approximation guarantees for packing and covering integer programs,” SIAM Journal on Computing, Vol. 29, No. 2, pp. 648–670, 1999.. 7 −57−.

(61) } ËÌÍÌ è3é#)L bc (óôöõø÷ » 5: Ê N  Y 9Z; ù ïì ú íûú (1) üïú îïú ëïúïú (i) 0.007 0.017 0.275 2.406 23.422 (ii) 0.007 0.043 9.039 803.466 9Z117.217 ] (2) Y ù ìïú íûú üïú îïú ëïúïú (i) 0.008 0.032 0.353 2.376 23.215 (ii) 0.010 0.058 10.042 691.703 9Z102.564 _ (3) Y ù ìïú íûú üïú îïú ëïúïú (i) 0.017 0.023 0.323 1.962 17.708 (ii) 0.010 0.049 6.567 446.277 9Z61.400 ` (4) Y ù ìïú íûú üïú îïú ëïúïú (i) 0.021 0.042 0.182 0.862 13.522 (ii) 0.028 0.069 3.266 9Ç;>39.062 ] 253.731 (5) Y ù ìïú íûú üïú îïú ëïúïú. ». ). Greedy CLA BAR PIT. ù. Greedy CLA BAR PIT. ù. Greedy CLA BAR PIT. ù. (i) 0.061 0.079 0.216 0.656 10.231 (ii) 0.082 0.105 1.953 31.506 167.862. ». 6:. Greedy CLA BAR PIT. Ä4 6è4 9ò`>= é O )L M#N hi U  ê  ) Lë jk ì ( í ) è3 î ëïì Greedy CLA BAR PIT. 43580 40103 55637 51925. 39423 40984 51093 51764. 40116 40550 51362 47016. 31603 32013 41727 35087. ù. 28699 30718 36828 31087. ýÿþ. Ä4 6?4 9ò`>= ) è3é PC EFGHI » K 7: hi U  ) Ljk (S T Uð+5ñò I  Y 9%; é @ é 2 PCó é#)L M#Nðé  A‡ é ê  ë í ëïì Greedy CLA BAR PIT. 43580 40103 55637 51925. 17869(2.4388) 19531(2.0532) 23222(2.3958) 20934(2.4804). 0.017 0.103 0.042 0.027. ìïú. (2). 0.032 0.100 0.050 0.038. ìïú. (3). 0.023 0.081 0.050 0.028. ìïú. (4). ìïú. 0.353 1.578 0.635 0.474. 2.376 23.215 11.360 4.764 66.568 3.421 42.084. 0.323 1.148 0.500 0.382. 1.962 17.708 7.573 3.423 42.368 2.510 28.869. 0.182 0.578 0.262 0.191. 0.862 13.522 2.939 1.305 28.184 0.973 19.867. 0.216 0.437 0.231 0.179. 0.656 2.120 0.987 0.764. Y 9Ç_ íûú üïú. 0.017 0.018 0.008 0.010. 0.061 0.092 0.084 0.089. 2.406 23.422 12.040 5.477 81.378 3.698 52.647. Y 9Ç] íûú üïú. 0.008 0.009 0.014 0.011. 0.021 0.060 0.034 0.042. 0.275 1.692 0.607 0.427. Y 9Ç` íûú üïú. 0.042 0.079 0.049 0.049. îïú. ëïúïú. îïú. ëïúïú. îïú. ëïúïú. Y 9Ç;>] íûú üïú îïú. (5). 0.079 0.112 0.110 0.103. ëïúïú. 10.231 33.067 19.205 13.635. (sec). (i) (ii) 100. 10. 1. 0.1. . V. . V. ¼ 6: Ê N }ËÌÍÌ è3é)Lgbc ( Y 9Ç;Â]  ý# ó ôöõø÷ ) 0. Greedy 353134 359328 365848 434580 413128 CLA 392433 BAR 719509 673788 679658 782872 658357 PIT 605062 441850 568256 633961 532472.

(62)  . 20. 40. 60. 80. 100. (sec). 100. 10. hi U )LJjk ( 47684 9%;>=Â= ) è3é PC EFGH K IA‡ é 2 PCó é#)L MRN3é STJU3+5ñò I  Y 9%; é @ êé  ë í ëïì 9:. Greedy 353134 146048(2.4179) 62114(5.6852) CLA 59258( - ) BAR 719509 250908(2.8676) 93041(7.7332) PIT 605062 204590(2.9574) 77995(7.7577). Greedy CLA BAR PIT. 0.007 0.007 0.007 0.007. ). 1000. 4245(10.2661) 4448(9.0159) 5220(10.6584) 4619(11.2416). 9 ;>=>= ) è3é O  » 8: ê hi U  ) Ljk (4Ä6?4 ò ) L M#N  ë ì í î ïë ì. ». hi U  ) Ljkè39Ç é#;)L  b c ( ó ôöõø÷ Y ù ìïú (1) íûú üïú îïú ëïïú ú. 10:. Greedy CLA BAR PIT. 1. 0.1. ¼ 7: hi U Ljkè3é ôöõø÷ ) 0. 8 −58−. 20. 40. . 60. Lgbc Y 80. 100.  ( . ý# ó.

(63)

参照

関連したドキュメント

13 proposed a hybrid multiobjective evolutionary algorithm HMOEA that incorporates various heuristics for local exploitation in the evolutionary search and the concept of

In this research, the ACS algorithm is chosen as the metaheuristic method for solving the train scheduling problem.... Ant algorithms and

5 used an improved version of particle swarm optimization algorithm in order to solve the economic emissions load dispatch problem for a test system of 6 power generators, for

A generalization of Theorem 12.4.1 in [20] to the generalized eigenvalue problem for (A, M ) provides an upper bound for the approximation error of the smallest Ritz value in K k (x

In the second computation, we use a fine equidistant grid within the isotropic borehole region and an optimal grid coarsening in the x direction in the outer, anisotropic,

We presented simple and data-guided lexisearch algorithms that use path representation method for representing a tour for the benchmark asymmetric traveling salesman problem to

For arbitrary 1 &lt; p &lt; ∞ , but again in the starlike case, we obtain a global convergence proof for a particular analytical trial free boundary method for the

Since the boundary integral equation is Fredholm, the solvability theorem follows from the uniqueness theorem, which is ensured for the Neumann problem in the case of the