A system (8) for optimizing the allocation of a resource includes an optimizer file (14) containing resource allocation data including a demand for allocation of the resource, a plurality of bids for the resource, and a plurality of reserve bids for the resource. A solver (18) receives an integer program and generates an LP relaxation solution to the integer program. An optimizer engine (16) coupled to the file (14) and to the solver (18) receives the data and the LP relaxation solution and generates an enhanced integer program that includes at least one cut according to the data. The cut includes a lifted cover inequality of a specified general form that the LP relaxation solution violates. A specified parameter associated with the lifted cover inequality is determined according to a first heuristic. The solver (18) generates a solution to the enhanced integer program that optimizes the allocation of the resource subject to the demand, bids, and reserve bids. In another embodiment, the engine (16) constructs a maximization problem of a specified general form according to the data, bids, and reserve bids and communicates the problem. The problem incorporates a special ordered set. The solver (18) receives the problem and determines a cover according to the problem.

Un sistema (8) per l'ottimizzazione della ripartizione di una risorsa include una lima dell'ottimizzatore (14) che contiene i dati di ripartizione delle risorse compreso una richiesta della ripartizione della risorsa, una pluralità di offerte per la risorsa e una pluralità di riserva fa un'offerta per la risorsa. Un solver (18) riceve un programma di numero intero e genera una soluzione di rilassamento del LP al programma di numero intero. Un motore dell'ottimizzatore (16) accoppiato alla lima (14) ed al solver (18) riceve i dati e la soluzione di rilassamento del LP e genera un programma aumentato di numero intero che include almeno uno tagliato secondo i dati. Il taglio include una diseguaglianza alzata della copertura di una forma generale specificata che la soluzione di rilassamento del LP viola. Un parametro specificato si è associato con la diseguaglianza alzata della copertura è determinato secondo un primo euristico. Il solver (18) genera una soluzione al programma aumentato di numero intero che ottimizza la ripartizione della risorsa conforme alla richiesta, alle offerte ed alle offerte della riserva. In un altro incorporamento, il motore (16) costruisce un problema di massimazione con forma generale specificata secondo i dati, le offerte e le offerte della riserva e comunica il problema. Il problema comprende un insieme ordinato speciale. Il solver (18) riceve il problema e determina una copertura secondo il problema.