A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report)

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report)

                                   ...
Download PDF
830KB Sizes 19 Downloads 95 Views
Report

                             

          !       "

 #          "" ! $  %& #'(            !       "

 #          "" ! $  %& #'(           

                                                                   

                                 

      

                                                                                        !

                           

   376

Design, real-time control, insights

World, Context Run time

Contextual evidence

Problem Instances

Solver

Structural evidence

Execution evidence

Feature refinement, insights

Bayesian Learner

Predictive Model

! "            #     

                 

                    

      Æ                                                                 Æ    Æ                                  

            !          " # $               %                                                   &                       '                                                                                                                    

       

           

)  ! 

     *

  +  , " $ ""  -$ #.

377

  "                              &    

    

              &                 )'             *+',     *+$, "        Æ                 &         )                     -#./ 0                                1          0                                                     '          +$  +'                      '         +                     2               &      3   + -4/                  5      '  *5', 5'         

                      000 11111111 00000 000 111 000 000111 111 00000 11111 000 111 000 111 00000 000 11111 00000111 11111 000 111 00000 11111 000 111 000 111 11111 00000 000111 111 000 11111 00000 000111 111 000 00000 000 111 000 11111 00000 11111 000111 111 000 111 000 111 000 111 111 000

000 11111111 00000 000 111 000 000111 111 00000 11111 000 111 000 111 00000 000 11111 00000111 11111 000111 000111 00000 11111 000 111 000 111 000 111 00000 11111 000 111 000111 111 000 11111 00000 000111 111 000 00000 11111 000 00011111 00000 11111 000111 111 00000111 000 111 000 111 00000 11111 000 000 11111 111 00000111

000 111 000 111 0000 1111 000 111 1111 0000 111 000 0000 000 1111 111 000 111 000 111 000111 111 000 000111 111 000 111 000000 111 000000 111111 000 111 00000 111 000 111111 111111 00000

! $ %              &' (            ) ' (           *  

$ 6                      +6  $                               

          $   6  *  6 ,                             378

         5      '  *5',      8                         

5'   )'    -9/                         

           

                         -4(/ $    5'        *52, -(/        52              8          : 6        ;   <    52  )' 2  -(/ $                                                -#/       

                                +$  +'             & +$          52    & +'   52  +$    +&0 -##/   &     +&  :  $ -(./ +&        +$       7+$                    +$  

6      -#./    -#=/           >' *>'::,   -=/                                        ?

                   %                               

                                7.@                  A B                   &       & +'   6          C:!3                                 &    "                               ?              379

                                 E     -4(F(D/                    "            

               6             C    

               6                                            !               +'  +&        52     + C   G  C                +'52+ +'52G +&52+  +&52G         +'52+  +&52+                             &   H    +'52G  +&52G                         "#$ %  & ' 

                    

                       (             2                         

                * ,                                          "                             

                 0                    

   I                      & I                          &  380

                            "     

     +$                                              "                                             +'  +&        +'             

                              &    +'   !                 +'          6        : 6  $                                +'     #J                &     #79                        +  D#         +&0        +$                 %               +$                   +'   *##    6 , +          & *##      ,    &                                 !     

        * ,            %  6   Æ                   >'::       6         

                

  -(7/ C  +&   (9        &  #(=   "#) *  + , -

"                     &  #...                                 381

            

                                           "                                                C             &              

                   

                 

  !                       -F(=#(#7/ 3                                                      *  ,    * ,*,           

                          I  &                      -D/ 



                                      +'  +&        52                        

   +'52+    .#$

*/ 0  / 

"    +'52+              52     7D  7J.          D...       #...                                     &  #...                          382

                  

&          =.?7.                                                                                                 

               &          

                                     " 7                             " D                

         .4F7     

   

   .DJ4                   .#7D               .F47                               "   " D        8 '+*                52

         $         

          6  $                     -#/ $        6                   6          C                              *               $          6                           6                        

                         6                                                              

-

383

! +             ,-./0-     1          

 

-                                 6      

          C    6 E                                

'+*                  2              *##     ,             .#) */ 0  / 

"  +'52G                 52   7D  7J.         D...        #...      $                &        &    *   +'  ,             384

! 2                 ,-./0-   3                 

                  

                                   &   

                &  #...                  

   .=#9            

   .974                 .9F(               .F4. .#"

( 0  / 

         +&    C    +& 52+      52   *67DD#.#F,              

   .F.7 

         

   .9#=                      .F9#             .F47      +$          +'          +'    

                 6   *    ,            #(        #.        '               +$    8 ¯

       A B          $            +'    385

¯ ¯ ¯ ¯

          +'                      +&B    8          6     +  7#              

.#.

( 0  / 

"       +&52G       52                +&52+ '  *67DD#.,       0           &     

 +'52G      

            .=#9     

            .9(F            .99=               .F4( 

  ! "#     

$                  "                   

    &            $                                $                                           -#F/ +                                '                                              C     

                                                   +               C                  &          +                           386

                               :   # -(#/                                  *      ,  &       &                                      

           8 !      C                        C          %  

                   

 $                        

          

        "            B 

                             * , K #* *  , L  , $                                         L #                     *##      , 

 L *# ,*#  , $                *, K L * ,*  L *# ,*#  ,,                        * , *, 



















C                   

            %              &      "                                    1             &                          "     +' 52                 7J...                  (=...   ! &                                                

                  387

             #...    

          9..      

                             $   %&

:                         &    C    ;    <          Æ                  -((#4/ M    0      N                         Æ   -#J/ !                                  E           0                        2 & -7/

             6      &                                                          1  

                                            C    2 &  M -#D/                                  +                  

       !      -#9J(9/              

         G      

            E   I                          ' ( %&  "   

                                &                     388

                            &                &                          "                   &     )  #

          &         &                                         

                                                      "               &      &                  &*

  >  $            +  4"5 6 (

  ,  . % 0  1 # 7   )   -   8  -     !    -   -    .  9

4$5

4+5

/   0 )

     ! 

 $   " 1   

 , " $ ""  -$1$*#. -   $::" 6 (

  ,  . % 0  1 #    -   %    -    9   9 )

     ! 

 %  "     , " $ ""  -$*. ; .  )9 $::: (((9 . <-   =< 0# 9       9 )

   $*  2

   >2?@$ (  A     (9 8   B ,( <  "CC:

425 68 ,   6 0  , 8 (                  9 .  )9   D:?DC 8 1  (   "CC@

)

   $*3

4E5 , ,       3          FDG'$E?+: "CD2

"     

389

 

4>5 4@5 4D5 4C5

% ,  = 0 (                       4  C'+:C?+2@ "CC$ 8 6  % &  6 &  (            5     E'+C2?+C@ "C@C & 6  8. 

  )"   "   D+ 

 ! 3  9     +E+?+>+ 8 1  - !  "CC" ,  . %    -   .  -      .   .    9 )

   $*3 ; .  )9 "CC@ (((9 . 4":5 ,  . %   -  ;  ,   0  1 # 0                       1  5    $2F"?$G'>@?":: $::: 4""5 ,  . %   -   0  1 #   ,  -     ) #   9 )

    6

 %  "     , " $ ""  -$*. ; .  )9 "CCD (((9 . 4"$5 6 0 <   1 )  6         +D'+'2C?E@ "CCE 4"+5 6 0 68 ,   , 8 ) )     , 1  6        

         #    9 )

   $* -  ,(   D$?DD $::: 4"25 = 0#  ( 1   )                ' -           9 )

   $*    +:>?+"2 8  ,  (   "CCE 8 1  - !  4"E5 =< 0# )                 9 )

   $*   """?""> 8 1  - 8  ,( (   "CDD 4">5 ) <    <  ) -   A  ,-.            -(    9 $7$$   $:+?$:D (((9 . "CC@ 4"@5 0  1 #    -   A   -    %    .   9 )

    8

 $   " 1     , " $ ""  -$1$*. -   "CCC 4"D5 ) 1   6 )  &        9 $ )

   $*'   >D$?>D@ (((9 . <  "CC2 4"C5 , 1   - 8    =#  9       3      9 )

   $*# (((9 8 1      (   "CC" 4$:5 , 8 &  (    0              . "CC@   9 )

    $1$*3   +>>?+@" (((9 4$"5 8 &  ( -    6 H       &  B    $  )  4   2@F2G'"@+?"D: "CC+ 4$$5 - 8  < % ,  

, ( 1   6 ) 1   =#   7 %  =3       ' (       , " $ ""  2:'>+?""D "CDC 4$+5 8 8

 ) )  0 )   ;   !            4$25 < ,   )I  (               ,-. 9 )

 / /9 " %  "     , " $ "" 

  +>$?+>@ "CC2 390

4$E5 - ) 

 !            9  (  A     (9 8   B ,( (   "CC: 4$>5 . -  1 -      ( ,    /   ,  "CCD9 4$@5 6 -  ( 6  - & #  ) ,

     3  FDG'$"C?$D$ "CC+ )

 



8

  



  +

)

 





 

  "  

391



, "

$*

$ "" 

9: 



*2 +