an algebraic approach

0 downloads 0 Views 212KB Size Report
dynamic programming was first popularised by Bellman in [9], where he intro- duced the ... Optimisation problems in logic programming: an algebraic approach. 3 ..... and head, since taking the first element of the list sorted in reverse order of r.
                    

   

                 !" #$#   

 " %   & '  '  %   (

  &               # ) %(

      % %%     '                  Æ%      %   ' %    Æ%      % %  %( *%  # +  &  ' ' %'      '  %  

# 

  

   ½                                                     

                   !     "  #$%                                &        '    Æ     (               )                       *            

                            *                   +                                                     &                                                         ,                                  -                                      ½

,'  %   '  %       &' %     &' & & ' %'   &     % -./#

0

1  2 1   1' ('  3

           !  +                             .  

     +                          ,                                                   &              

      Æ          /                              &                             0       1 #2%    !                          " #3 4%     #5% 1                                        *     .                467 0  0  /  8         0  

 9                        !         

        /  : 5  3                      ;     &          *         



      

&                                    Æ    &            0     !      /     !       !                                 /    0                    !                              0                                          ,    0                 &  !              . !                          !           <     = >                       *      

       &          

        %  4    % %'                                       )

             ?       !      .        

&           @*      1                   

        =       >  /  >>?.? 99:# .# ,#+#   #;#     ##  #       # 3%@&(+  99:# 5# 1#  #           # '" '       995# 6# #  3#            # '" '  (      990# 7# "# " 1%'   # 3   @# 1  3# ' #    

(           (&  %   %  # , %' %    $ '   #    989# 8# # + # ,'  %       '    Æ%   ' #    !             9497=07 986# 9#   # "    #  %       957# :# $# 1  ,# 1&    "#1#  # 1   Æ%   %     #  /  >>?