A Topological Study of the Upward Refinement Operators on ILP
Full text
! "# $ % $ & '( % ! & $ ' $% ) ! ' & "# '( & * $ ' ' ' * $ $ + ' ' ! ' ) ! ! " !! #" $ ! %&' (')(*+, -. / 0 ". #" $ %#$, ! 1! / !! ! 2 !!3 #$ ""! " " / )" ! 4 " / ! ! 5 ! ! " " " 1 " " ""! " !! ! ! / 6" (789 &:+ . " " !! ; " % , % ,<8 % , % ,<8 < % , % ,< % , % , % , % ,= % , " 2 / / .! " !" !"## $%#&
, 1! 0 " !! > " ? " 2 " .2 !/ / @ " " 6"A " !!! " > " !! " / " " % ,< 8 < ( < " 2 6"A " / " / . !"" " )" % @ ", / . Æ" 2 " !! "!/ !! " " /! " . / 3. ! $ 1"" ! 2 ! % )" ! " , > " " /! !! /! / ! ! " "3 1 " ! 2 ! ! B !0 " " 2 " " 6 " / . " ! " " / " 1 ! / !! ; > / " " " . >." / /! 1 !! ; " ' . / 3! /" 2 / " " : ! " 3. ! / ! 3. ! " * !. 6 ! / 0 / . ! 2 ! !. ; ! " 3. ! 5" C "! ; ! / " " ! " 9 "" ! !! 2 //! !!3 " . "" ! $ ' -./0
1 1 !"! " . / &( (8+ #" $ /! &* C+ &9 (D+ 3. ! &(7+ 1! 6 " 23 "/ 2 " / !". ./ !" / 2 " " ! !! " # / 2 ./ !! ; " % ,& < % ,+ ? < ; % < % , < , % , " % , % , " E/. !!"/ ()( / "% % ,, & + " " < # $ ' / $ " ' / $ ' 3 / " $ < ' # $ ' / $ ' . F $ " ' ' " $ ? &*+ - &C+ ! 2 >" ! . ( # ( ! 1 ! !23 !23 ! % ,& < ! + # % , ! % , % , ! "" % ,< 6 % , < ? 2 " " 2 ! ! $ % $ , % $ ,& + ! " # % ,<( % $ ,& +< % $ $ ($ , < G ( ( % $ ,& +< % $ $ & + ($ ,
2 ( ! % & +,& +<% & +,& + % , < & +< < & +<% & +,& + 1 " . / "! 3. ! 1 ! !! 2 "! "" %&(C (D+, " ! ! " !" ? / /" 2 1! ! "" / " ! ; %, / %/, 2 " / %", / ! ! " ! " !" ! " !" / $ "" ! " ! F . " ! ! " # % / ! " !" ; % 1 " F "/ % , % / $ " % $ , ? " F " " & & ; & & ! % ,& & % , & % ,+ 1 3 >." . / ! 1 ' ; % ! % ,& % , % ,+ ' < ' & " 2 % ,& & + # ! " % ,& & % ( ,% ( ( ,+ " ! $
3 6 / . . ! " !" " ! ; ! " 3 ; . ! " 2 ! " !" / & "% ) % & ,< & 3. ! " ! 5 /" 3! ! " / / /0 < / & H H ! & ' 3. ! ) % , ! " ! .!. ! " / ! ) % , ' ) % , "% & $ % ,% & , ( % , 5" 2 /! 1 % , 5!! " * ) % ," * 1 / 2 2 * 1 " 2 " / ! " !! . ! 3. ! ) ; % * $ ; % $ & & ) % & , ) % % & , ( 5!! + / % , 1 3 , " % , , + 5" ) % % & , , 2 % & % , , ) % & , " / / # ( % , % , I> " ; "% ) % , ! ! ) ! * ! & ! $ 4 -506
5 1 !!" 1! #$ !! " ! 2 ! 3. ! !! ; > / " " " . >." / /! ! " ! !"2" !" / ! ". 3! / 1 ! !! 2 ! " 1 ! " / !! ; " E !! " " ! " !! " 3. !" . " / " " ! 5" /! / " >) / ! ! ! ! / ! % ! ". 3. ! ? / "! /" 1 ! / /" "" / !!"/ 2 /! / ! % " " " + 1 3 )0 $0 &((+ 5" >." / ! ". > . & +< & + < . !. !! ; 2 / %& + ,<& + /" ! % & + & + ,%& + & + , 1 )2 " " ' & 4 -.706
8 "#$ % 2 ! " / 5! &(9+ # "/ &D+ 0 ! 2! !! I ? &(8+ 1 3! " / ! . 0 "! ! 2 . ! I ) " $ < < % % , % ,, # . / " ' " 3 / !!"/ ' . ' $ 6 %, " < % , %/, " . / % , $ < ( ' < % < ( : %", " ./ " "" $ %, / " ' < & $ + < ( ' : < % $ % ,, % % , % ,, % $ $ , E/. < $ % , !!" / ' ' $ ' < % $ % ,, % % , % ,, % $ $ , $ $ $ < ( ' < % < ( : % , % % , % ,, $ < 6 ( " . 3! $ < $ ' % $ < % % ,, ' < - % . % ,, % < % % , # % % ,,, ! 6 " . $ < % , 1 " $ $ / % , " $ < ( % $ , ' < ' % ' , % < ( ' ( ( % % , 0 ./ """ $ $ / $ ½ % $ , ' ¾ - % . $ , - % . % ,, % ¿ % $ # % $ ,, % $ # % % ,,, 6 " ' ' < % $ , - % . $ , - % . % ,, % $ # % $ ,, % $ # % % ,,, ( $ ' & $ 3
7 "! / / / &'(' ) *+ 1 3 2 " / " / ! 1 "" / 2 ! $ ' . " 0 / / / 0 /" ! >." " & + . " " 1 " " & + / " " !. . " ./ / " /" / ! 1 /" """ !! &7+ / F " " " >" 1 " ! >" , "!/ % , 6 3! < % % , % ,, $ < ' ' < % < ( : "!/ # < ( ( ' & < ( * : . %, "!/ ! %/, % , <8 < %", < "!/ " " "" ! / 0 "!/ " " /" / - ( % ,< < % ,< < "!/ 1 3 2 3 "!/ ! ( "! / % ,& + % ,& < + + % ,< < % , < 6 3! < % % , % ,, " $ < ( : ' < ( % < # < ' 5!! $ < $ ' % ' < ' # 1 $ "!/ ' . % $ ,< % $ ,< % , 1 3 2 /" ! 2 ! . ( "!/ " / . !
/ , ( + & +< & + 6 3! < % % , % ,, $ 0 3! & $ +< & + $ < % , % % ,, % % , % ,, < & +< & + < " ./ " "" / " < / ! "!/ < % , "!/ < % , !! 3 !. . "" / "/! & )' * / .. " / " ! "!/ ! $ !" /. ' " /" "" ! 1 2 ! " / 2 & + " ! / " / !" ". 3 ! 2 !! / ; ( / ; ( " / ! 0 1 / " . " " / ; ( ! " "!/ ! / % , "!/ ! % ,& / + "!/ ! ! / / ; ( 6 3! " / ; ( " / % , < % , "!/ ! 1 3 # / ; ( $ ' $ ' / % $ ,< / % ' , 1 3 " / " / ! . ! " / 2 / . " / % ," / " / " / ! !" / " /
.5 .1 : @& ' :&?% H > H% ' 31 ,35%,51 .//2 .2 : ! ' " # < '% ,2 426 13/%175 .//3 .3 @? ! " $ ! # ./7/ .5 HF ' ' ' < ; 5,2 ' F ! E& = ./7. .8 A> ! ! =$ ? ' " @ . >?% A H $! $?!A $$! H A$ +)' #$ .//, 52.85. .7 #;C " %= E!% $ ' ; H;<H/,98 ' % H ! E .//, ./ ! ! #$ ! ./89 & 1 . "" / 1 # D / 1 : * % , ' < % & ' +, & +%% , ,< & + ( 1 ! / " / " / % & +, < I < % $ , , / 5!! ! " % ,<( % $ ,& +%% , , < % $ $ ($ ,%% , , < % $ $ ($ , < % $ $ ($ ,& + < % $ , & + , 0 5!! ! / ! =( < G ( ( !" % ,< % $ ,& +%% , , < % $ ,& G +%% , , < % $ ½ & + ($ ,%% , , < % $ ½ & +%% , , ($ , < % $ ½ & + ($ , < % $ ½ ($ ,& G + < % $ , & +
.8 * ( ' < % & ' +, & +%% , ,< & + ( 1 # 9 " / ! ! ! % , $ ' $ < ' & $ + < & ' + ( " 5!! ! " % , < ( 1 % $ ,& $ + < % $ $ $ ($ , < % $ $ $ ($ , < % $ $ ' ($ , < % $ $ ($ ,& ' + < % $ , & ' + 5!! ! / ! =( < G ( ( !" % ,< % $ ,& $ + < % $ ,& G $ + < % $ ½ & $ + ($ , < % $ ½ & $ + ($ , < % $ ½ & ' + ($ , < % $ ½ ($ ,& G ' + < % $ , & ' + , ( $ ' $ < ' % & $ +, < & ' + ( " " < % & $ +, < < & ' + < % & $ +, < % & $ +, < % & $ +,& $ + < % & $ +, & ' + / # K < % & ' +,& ' + < & ' +
.7 !" # $ " 1 3 " # 7 % , % & +,% ,< & + ( # 7 " < % , % ,< ( $ ' $ < ' % & $ +, < & ' + ( 7 2 "!/ %2 ((,