o h=@szdZddlZddlmZddlmZddlmZgdZ GdddZ Gd d d e Z Gd d d e Z Gd dde Z dS)z@Hessian update strategies for quasi-Newton optimization methods.N)norm)get_blas_funcs)warn)HessianUpdateStrategyBFGSSR1c@s0eZdZdZddZddZddZdd Zd S) ra]Interface for implementing Hessian update strategies. Many optimization methods make use of Hessian (or inverse Hessian) approximations, such as the quasi-Newton methods BFGS, SR1, L-BFGS. Some of these approximations, however, do not actually need to store the entire matrix or can compute the internal matrix product with a given vector in a very efficiently manner. This class serves as an abstract interface between the optimization algorithm and the quasi-Newton update strategies, giving freedom of implementation to store and update the internal matrix as efficiently as possible. Different choices of initialization and update procedure will result in different quasi-Newton strategies. Four methods should be implemented in derived classes: ``initialize``, ``update``, ``dot`` and ``get_matrix``. Notes ----- Any instance of a class that implements this interface, can be accepted by the method ``minimize`` and used by the compatible solvers to approximate the Hessian (or inverse Hessian) used by the optimization algorithms. cCtd)Initialize internal matrix. Allocate internal memory for storing and updating the Hessian or its inverse. Parameters ---------- n : int Problem dimension. approx_type : {'hess', 'inv_hess'} Selects either the Hessian or the inverse Hessian. When set to 'hess' the Hessian will be stored and updated. When set to 'inv_hess' its inverse will be used instead. z=The method ``initialize(n, approx_type)`` is not implemented.NotImplementedErrorselfn approx_typerb/var/www/html/scripts/venv/lib/python3.10/site-packages/scipy/optimize/_hessian_update_strategy.py initialize$z HessianUpdateStrategy.initializecCr)Update internal matrix. Update Hessian matrix or its inverse (depending on how 'approx_type' is defined) using information about the last evaluated points. Parameters ---------- delta_x : ndarray The difference between two points the gradient function have been evaluated at: ``delta_x = x2 - x1``. delta_grad : ndarray The difference between the gradients: ``delta_grad = grad(x2) - grad(x1)``. z>The method ``update(delta_x, delta_grad)`` is not implemented.r r delta_x delta_gradrrrupdate6rzHessianUpdateStrategy.updatecCr)PCompute the product of the internal matrix with the given vector. Parameters ---------- p : array_like 1-D array representing a vector. Returns ------- Hp : array 1-D represents the result of multiplying the approximation matrix by vector p. z)The method ``dot(p)`` is not implemented.r r prrrdotHszHessianUpdateStrategy.dotcCr)zReturn current internal matrix. Returns ------- H : ndarray, shape (n, n) Dense matrix containing either the Hessian or its inverse (depending on how 'approx_type' is defined). z0The method ``get_matrix(p)`` is not implemented.r )r rrr get_matrixYs z HessianUpdateStrategy.get_matrixN)__name__ __module__ __qualname____doc__rrrrrrrrr s  rc@sneZdZdZedddZedddZedddZddd Zd d Z d d Z ddZ ddZ ddZ ddZdS)FullHessianUpdateStrategyzKHessian update strategy with full dimensional internal representation. syrddtypesyr2symvautocCs"||_d|_d|_d|_d|_dSN) init_scalefirst_iterationrBH)r r+rrr__init__os  z"FullHessianUpdateStrategy.__init__cCsTd|_||_||_|dvrtd|jdkr tj|td|_dStj|td|_dS)r T)hessinv_hessz+`approx_type` must be 'hess' or 'inv_hess'.r0r%N) r,rr ValueErrornpeyefloatr-r.r rrrrxs z$FullHessianUpdateStrategy.initializecCs`t||}t||}tt||}|dks!|dks!|dkr#dS|jdkr,||S||S)Nrr0)r3rabsr)r rrs_norm2y_norm2ysrrr _auto_scales   z%FullHessianUpdateStrategy._auto_scalecCr)Nz9The method ``_update_implementation`` is not implemented.r rrrr_update_implementationsz0FullHessianUpdateStrategy._update_implementationcCst|dkr dSt|dkrtdtdS|jrB|jdkr&|||}nt|j}|jdkr8|j |9_ n|j |9_ d|_| ||dS)rr6Nzdelta_grad == 0.0. Check if the approximated function is linear. If the function is linear better results can be obtained by defining the Hessian as zero instead of using quasi-Newton approximations.r)r0F) r3allr UserWarningr,r+r<r5rr-r.r=)r rrscalerrrrs    z FullHessianUpdateStrategy.updatecCs*|jdkr |d|j|S|d|j|S)rr0r7)r_symvr-r.rrrrrs zFullHessianUpdateStrategy.dotcCsD|jdkr t|j}nt|j}tj|dd}|j|||<|S)zReturn the current internal matrix. Returns ------- M : ndarray, shape (n, n) Dense matrix containing either the Hessian or its inverse (depending on how `approx_type` was defined). r0)k)rr3copyr-r.tril_indices_fromT)r Mlirrrrs  z$FullHessianUpdateStrategy.get_matrixN)r))rrr r!r_syr_syr2rAr/rr<r=rrrrrrrr"gs     & r"cs>eZdZdZ  d fdd ZddZd d Zd d ZZS)raBroyden-Fletcher-Goldfarb-Shanno (BFGS) Hessian update strategy. Parameters ---------- exception_strategy : {'skip_update', 'damp_update'}, optional Define how to proceed when the curvature condition is violated. Set it to 'skip_update' to just skip the update. Or, alternatively, set it to 'damp_update' to interpolate between the actual BFGS result and the unmodified matrix. Both exceptions strategies are explained in [1]_, p.536-537. min_curvature : float This number, scaled by a normalization factor, defines the minimum curvature ``dot(delta_grad, delta_x)`` allowed to go unaffected by the exception strategy. By default is equal to 1e-8 when ``exception_strategy = 'skip_update'`` and equal to 0.2 when ``exception_strategy = 'damp_update'``. init_scale : {float, 'auto'} Matrix scale at first iteration. At the first iteration the Hessian matrix or its inverse will be initialized with ``init_scale*np.eye(n)``, where ``n`` is the problem dimension. Set it to 'auto' in order to use an automatic heuristic for choosing the initial scale. The heuristic is described in [1]_, p.143. By default uses 'auto'. Notes ----- The update is based on the description in [1]_, p.140. References ---------- .. [1] Nocedal, Jorge, and Stephen J. Wright. "Numerical optimization" Second Edition (2006). skip_updateNr)cs^|dkr|dur ||_nd|_n|dkr |dur||_nd|_ntdt|||_dS)NrK:0yE> damp_updateg?z<`exception_strategy` must be 'skip_update' or 'damp_update'.) min_curvaturer2superr/exception_strategy)r rPrNr+ __class__rrr/s  z BFGS.__init__cCs>|jd||||jd|_|j|||d||jd|_dS)aUpdate the inverse Hessian matrix. BFGS update using the formula: ``H <- H + ((H*y).T*y + s.T*y)/(s.T*y)^2 * (s*s.T) - 1/(s.T*y) * ((H*y)*s.T + s*(H*y).T)`` where ``s = delta_x`` and ``y = delta_grad``. This formula is equivalent to (6.17) in [1]_ written in a more efficient way for implementation. References ---------- .. [1] Nocedal, Jorge, and Stephen J. Wright. "Numerical optimization" Second Edition (2006). aN)rJr.rI)r r;HyyHysrrr_update_inverse_hessian%s$zBFGS._update_inverse_hessiancCs4|jd|||jd|_|jd|||jd|_dS)aUpdate the Hessian matrix. BFGS update using the formula: ``B <- B - (B*s)*(B*s).T/s.T*(B*s) + y*y^T/s.T*y`` where ``s`` is short for ``delta_x`` and ``y`` is short for ``delta_grad``. Formula (6.19) in [1]_. References ---------- .. [1] Nocedal, Jorge, and Stephen J. Wright. "Numerical optimization" Second Edition (2006). g?rTrSN)rIr-)r r;BssBsyrrr_update_hessian9szBFGS._update_hessianc Cs*|jdkr |}|}n|}|}t||}||}||}|dkrN|||}|jdkr9|tj|jtd|_n |tj|jtd|_||}||}||j |kr||j dkr\dS|j dkr|d|j d||} | |d| |}t||}|jdkr| ||||dS| ||||dS)Nr0r6r%rKrMr7) rr3rr<r4rr5r-r.rNrPr^rZ) r rrwzwzMwwMwr@ update_factorrrrr=Ks2            zBFGS._update_implementation)rKNr)) rrr r!r/rZr^r= __classcell__rrrQrrs"rcs*eZdZdZdfdd ZddZZS) raSymmetric-rank-1 Hessian update strategy. Parameters ---------- min_denominator : float This number, scaled by a normalization factor, defines the minimum denominator magnitude allowed in the update. When the condition is violated we skip the update. By default uses ``1e-8``. init_scale : {float, 'auto'}, optional Matrix scale at first iteration. At the first iteration the Hessian matrix or its inverse will be initialized with ``init_scale*np.eye(n)``, where ``n`` is the problem dimension. Set it to 'auto' in order to use an automatic heuristic for choosing the initial scale. The heuristic is described in [1]_, p.143. By default uses 'auto'. Notes ----- The update is based on the description in [1]_, p.144-146. References ---------- .. [1] Nocedal, Jorge, and Stephen J. Wright. "Numerical optimization" Second Edition (2006). rLr)cs||_t|dSr*)min_denominatorrOr/)r rfr+rQrrr/sz SR1.__init__cCs|jdkr |}|}n|}|}||}||}t||}t||jt|t|kr/dS|jdkrB|jd|||jd|_dS|jd|||jd|_dS)Nr0r7rT) rrr3r8rfrrIr-r.)r rrr_r`rb z_minus_Mw denominatorrrrr=s     zSR1._update_implementation)rLr))rrr r!r/r=rerrrQrrysr)r!numpyr3 numpy.linalgr scipy.linalgrwarningsr__all__rr"rrrrrrs   \