Geração de colunas com divisão em clusters para o problema de programação quadrática binária irrestrita

Column generation with clusters for the unconstrained binary quadratic programming problem

Geração de colunas com divisão em clusters para o problema de programação quadrática binária irrestrita

Column generation with clusters for the unconstrained binary quadratic programming problem

Geraldo Regis Mauri^I; Luiz Antonio Nogueira Lorena^II

^ICentro de Ciências Agrárias, Departamento de Engenharia Rural, Universidade Federal do Espírito Santo – UFES. CEP 29500-000, Alegre, ES, Brasil. e-mail: [e-mail]

^IILaboratório Associado de Computação e Matemática Aplicada, Instituto Nacional de Pesquisas Espaciais – INPE. CEP 12227-010, São José dos Campos, SP, Brasil, e-mail: [e-mail]

RESUMO

Este trabalho propõe uma nova alternativa de geração de colunas (GC), baseada na relaxação lagrangeana com divisão em clusters (LagClus), para resolução do Problema de Programação Quadrática Binária Irrestrita (PQ). O PQ é um dos problemas clássicos de otimização não-linear, cujo objetivo é resolver uma função quadrática por meio da escolha de valores binários apropriados para as variáveis de decisão. A GC proposta trata um modelo linear inteiro misto (PQL) do PQ, que tem restrições representadas por meio de um grafo e é dividido através de uma heurística de particionamento. Além de encontrar soluções viáveis, o método proposto ainda apresenta duas formas alternativas para obtenção de limitantes para o PQ. Foram realizados vários experimentos computacionais, utilizando-se instâncias de difícil solução com diferentes características. A GC é comparada a métodos tradicionais de relaxação lagrangeana e outros métodos propostos recentemente, sendo que os resultados apresentados são superiores para a maioria das instâncias consideradas.

Palavras-chave: Programação quadrática. Geração de colunas. Relaxação lagrangeana.

ABSTRACT

This paper proposes a new alternative of column generation (GC) based on the lagrangean relaxation with clusters (LagClus) to solve the Unconstrained Binary Quadratic Programming Problem (PQ). The PQ is a classical non-linear problem of optimizing a quadratic function by suitable choices of binary decisions variables. The proposed GC treats a mixed binary linear model (PQL) of PQ with constraints represented by a graph and divided through a partitioning heuristic. Besides finding feasible solutions the proposed method still presents two alternative ways to find bounds for PQ. Several computational experiments were performed using hard instances with different features. GC is compared to traditional lagrangean relaxation and other methods recently proposed presenting improved results for most of these instances.

Keywords: Quadratic programming. Column generation. Lagrangean relaxation.

1 Introdução

O Problema de Programação Quadrática Binária Irrestrita (PQ) consiste em maximizar (ou minimizar) uma função objetivo quadrática através da escolha de valores apropriados para as variáveis de decisão binárias (BEASLEY, 1998). O PQ é um problema NP-Hard (BILLIONNET; ELLOUMI, 2007) clássico na área de otimização não-linear. Esse problema aborda aplicações em diversas áreas, como: biologia molecular (PHILLIPS; ROSEN, 1994); planejamento de investimentos e análise financeira (LAUGHUNN, 1970; McBRIDE; YORMARK, 1980), e alguns problemas do tipo CAD (KRARUP; PRUZAN, 1978). Além disso, o PQ ainda aborda inúmeros problemas modelados através de grafos, como clique máximo, máximo conjunto independente e outros (PARDALOS; PHILLIPS, 1990; PARDALOS; RODGERS, 1992; PARDALOS; XUE, 1994).

Os métodos exatos existentes para resolução do PQ (BILLIONNET; SUTTER, 1994; PARDALOS; RODGERS, 1990a; PARDALOS; RODGERS, 1990b) são restritos a problemas com até 200 variáveis. Já os métodos heurísticos (BEASLEY, 1998; GLOVER et al., 1998; PARDALOS; JHA, 1992) têm apresentado bons resultados para instâncias com até 2500 variáveis.

Uma prática comum para resolver o PQ é a linearização do seu modelo original (ADAMS et al., 2004; GLOVER; WOOLSEY, 1974; HANSEN; MEYER, 2009), ou seja, a obtenção de um modelo linear equivalente cujas soluções são correspondentes ao modelo quadrático original. Dessa forma, o PQ é transformado em um problema linear inteiro misto, o que permite a relaxação linear de suas variáveis de decisão e, consequentemente, a obtenção de um limitante para a solução do problema original. Esse limitante é conhecido como roof dual (ADAMS; DEARING, 1994; BOROS et al., 1990; BOROS et al., 1992; HAMMER et al., 1984).

Além desses métodos, a relaxação do problema para obtenção de limitantes (ADAMS; DEARING, 1994; CHARDAIRE; SUTTER, 1995) tem apresentado bons resultados para o PQ. Essa abordagem possui a vantagem de definir limitantes para a solução ótima e pode apresentar uma informação de boa qualidade, o que permite avaliar a proximidade da melhor solução encontrada em relação à solução ótima do problema. Uma estratégia usada para relaxar o problema original é a sua divisão em problemas menores, com as mesmas características. Essa divisão pode ser realizada através do particionamento do grafo, que representa o problema em clusters formados por vértices e arestas. Essa estratégia não garante a obtenção de uma solução viável para o problema completo, pois algumas arestas são ignoradas. Entretanto, uma maneira de considerar essas arestas é relaxá-las no sentido lagrangeano e encontrar um limitante de boa qualidade para o problema original. Essa é a ideia da relaxação lagrangeana baseada em clusters - LagClus (RIBEIRO, 2007; RIBEIRO; LORENA, 2007; RIBEIRO; LORENA, 2008).

Este trabalho propõe um método de geração de colunas baseado na relaxação lagrangeana do problema através de sua divisão em clusters (LagClus). Esse método trata um modelo linear inteiro misto (PQL) do PQ que tem restrições representadas através de um grafo, que é particionado através da heurística METIS (KARYPIS; KUMAR, 1998). É formado, então, um problema coordenador (problema mestre restrito) e um subproblema para cada cluster, que são utilizados para geração de novas colunas. Além de encontrar soluções viáveis, o método proposto ainda apresenta duas formas para obtenção de limitantes para o PQ.

O restante do artigo está assim organizado: na Seção 2, é apresentada uma breve revisão bibliográfica acerca do problema abordado. Na Seção 3, são apresentados os modelos matemáticos utilizados. Na Seção 4, descreve-se o método proposto e, na Seção 5, são apresentadas algumas formas já existentes para obtenção de limitantes para o PQ. Os resultados computacionais são apresentados na Seção 6 e as conclusões são resumidas na Seção 7.

2 Revisão bibliográfica

Uma abordagem trivial para obtenção de limitantes para o Problema Quadrático da Mochila (PQM) é apresentada por Billionnet e Calmels (1996). Essa abordagem é baseada na linearização do problema original e na resolução desse modelo linear por meio da relaxação linear de suas variáveis de decisão. Os Autores mostram que esses limitantes são de qualidade moderada. Além disso, eles utilizam a inserção de restrições de corte de Chvatal–Gomory, que apresentam melhores limitantes para o PQM.

Adams e Dearing (1994) apresentam uma discussão acerca da obtenção de limitantes para o PQ. Eles apresentam um modelo linear para o problema, que é obtido através da técnica de linearização de Glover e Woolsey (1974). Várias estratégias de linearização do PQ são apresentadas e discutidas em Adams et al. (2004) e Hansen e Meyer (2009).

Vários métodos baseados em busca em árvores para resolver o PQ são encontrados na literatura. Gulati et al. (1984) apresentam um método de busca em árvore, baseado na enumeração de ótimos locais, que resolve problemas com até 40 variáveis. Pardalos e Rodgers (1990a) apresentam um método de busca em árvore que utiliza limitantes baseados na fixação de variáveis em cada nó da árvore. Os resultados tratam problemas com até 200 variáveis. Pardalos e Rodgers (1990b) apresentam uma versão paralelizada de um branch-and-bound capaz de resolver problemas com até 100 variáveis. Billionnet e Sutter (1994) apresentam um método de busca em árvore capaz de resolver problemas com até 100 variáveis. Palubeckis (1995) propõe uma busca em árvore heurística que apresenta resultados para problemas com até 247 variáveis.

Uma heurística baseada na Busca Tabu é proposta por Glover et al. (1998). Essa heurística resolve problemas com até 500 variáveis. Beasley (1998) apresenta uma comparação entre duas metaheurísticas para resolver o PQ. Ele utiliza a Busca Tabu e o Simulated Annealing para resolver problemas com até 2500 variáveis (com baixa densidade). A Busca Tabu apresenta os melhores resultados para a maioria dos problemas utilizados. Já o Simulated Annealing supera a Busca Tabu para os problemas com maior número de variáveis.

Pardalos e Jha (1992) discutem a complexidade computacional de vários problemas relacionados com o PQ e apresentam uma heurística de busca local para resolvê-los. Os resultados são apresentados para problemas com até 100 variáveis.

Glover et al. (2002) apresentam várias heurísticas baseadas no algoritmo DDT (BOROS et al., 1989) para resolução do PQ. Essas heurísticas são testadas através de várias instâncias com até 2500 variáveis. Billionnet e Elloumi (2007) aplicam técnicas de convexificação da função objetivo do PQ e as resolvem via CPLEX (Ilog, 2006). Os métodos propostos apresentam resultados para instâncias com até 200 variáveis.

A LagClus, apesar de recente, já apresenta bons resultados para vários problemas, como: carregamento de paletes (RIBEIRO; LORENA, 2007), rotulação cartográfica (RIBEIRO; LORENA, 2008), alocação de facilidades (CORRÊA et al., 2006), entre outros.

3 Formulações para o Programação Quadrática Binária Irrestrita

Seja Q = [q_ij]_mxm uma matriz de números reais. O PQ pode ser formulado pela Equação (1).

Sem perder a generalidade do problema, a matriz Q pode ser considerada simétrica (BILLIONNET; ELLOUMI, 2007). Logo, de forma análoga à apresentada por Adams e Dearing (1994), o PQ pode ser reescrito da seguinte forma:

em que N = {(i,j): i < j, q_ij < 0} e P = {(i,j): i < j, q_ij > 0}

Pode-se, então, aplicar a técnica de linearização de Glover e Woolsey (1974) em (2), substituindo os termos quadráticos x_ix_j pela variável contínua w_ij e por restrições que garantam que w_ij = x_ix_j. Logo, tem-se uma versão linear inteira mista de PQ (3-8). Por convenção, esse modelo será chamado PQL.

Sujeito a

Fica claro nos modelos (1), (2) e (3-8) que o número de elementos da matriz Q utilizados em (2) e (3-8) será significativamente menor do que em (1), pois nesses casos são considerados apenas os elementos não nulos situados na metade superior e na diagonal principal dessa matriz.

4 Geração de colunas com divisão em clusters

Dada a matriz Q descrita na seção anterior, pode-se criar um grafo G = (V,E) com V = {1, ,m} e uma matriz de adjacências E = [e_ij]_mxm, e_ij = 1 se q_ij ≠ 0 e e_ij = 0 se q_ij = 0. Particionando o grafo G em n (n < m) clusters independentes, tem-se V = V₁ ∪ V₂ ∪ ... ∪ V_n, em que V_i ÇV_j = Ø, ∀ i,j = 1,...,n, i ≠ j, G_i = (V_i,E_i), i = 1,...,n, e X_i = V – V_i, i = 1,...,n. Logo, o PQL pode ser reescrito da seguinte forma:

Sujeito a

As restrições (10) e (13) tratam as arestas (i,j), cujos vértices i são internos e os vértices j internos ou externos, ao cluster (subgrafo) k. As restrições (11) e (12) tratam as arestas (i,j), cujos vértices i e j são internos ao cluster k. Já as restrições (14) e (15) tratam apenas as arestas (i,j), cujos vértices i e j estão em clusters distintos. A Figura 1 apresenta o exemplo de um grafo formado para um problema com seis variáveis (m = 6) e seu respectivo particionamento. Nesse exemplo, o grafo é particionado em dois clusters (n = 2) e duas arestas são "cortadas", o que resulta na relaxação das restrições referentes a essas arestas. Um exemplo completo da aplicação da Geração de Colunas proposta neste artigo pode ser encontrado em Mauri (2008).

Com o intuito de facilitar a compreensão do método proposto (GC), esse modelo (9)-(16) pode ser representado matricialmente da seguinte forma:

em que: : é um vetor linha com os coeficientes das variáveis x_i, i e V_k; : é um vetor linha com os coeficientes das variáveis w_ij, i∈ V_k e j∈ V; B_k: é uma matriz com os coeficientes das variáveis (pertencentes ao cluster k) presentes nas restrições (10)-(13); A_k: é uma matriz com os coeficientes das variáveis (pertencentes ao cluster k) presentes restrições (14)-(15); x^k: é um vetor coluna com os valores das variáveis de decisão x_i, i∈ V_k; w^k: é um vetor coluna com os valores das variáveis de decisão w_ij, i∈ V_k e j∈ V; ~: são os operadores relacionais < ou >, variando de acordo com as restrições; bª: vetor coluna com os valores (0 ou 1) do lado direito das restrições (14) e (15); e b^B: vetor coluna com os valores (0 ou 1) do lado direitor das restrições (10)-(13).

Relaxando as restrições (14) e (15) no sentido lagrangeano através do vetor de multiplicadores µ, (µ > 0), o problema PQLⁿ (indiretamente o PQ) pode ser dividido em n subproblemas independentes. Considerando R_k como sendo as restrições associadas ao subproblema k, k = 1,...,n e d o número de restrições (15) relaxadas, cada subproblema pode ser representado como descrito em (17), e a solução da relaxação do problema PQL em n subproblemas (clusters) é dada pela Equação (18).

A implementação clássica da técnica de geração de colunas utiliza um problema coordenador – ou Problema Mestre Restrito (PMR) – e subproblemas geradores de colunas para formá-lo. O PMR, através de suas variáveis duais, direciona os subproblemas na busca de novas colunas. Assim, aplicando a decomposição Dantzig-Wolfe (BAZAARA et al., 1990) para a relaxação linear (PL) do problema PQLⁿ, tem-se (Equação 19, 20, 21, 22):

Sujeito a

O conjunto de pontos extremos de R_k associados com as colunas geradas no PMR é dado por S_k. β_k é a variável dual associada com a k-ésima restrição de convexidade de (21). x^sk e w^sk são vetores que definem os pontos extremos s ∈ S_k, ou seja, as soluções viáveis do subproblema definido pelo cluster k. λ_sk é a variável de decisão correpondente ao ponto extremo s∈ S_k, ou seja, λ_sk = 1 se a coluna s (uma solução para o subproblema k) pertencer a solução do PMR, e λ_sk = 0, caso contrário. Para cada subproblema k (17), pode-se substituir o vetor de multiplicadores lagrangeanos m pelo vetor de variáveis duais a associado com as restrições (20) e, de uma forma alternativa, cada subproblema pode ser descrito pela Equação (23) e a relaxação do PQL, em n clusters, por (24).

A partir de então, uma nova coluna gerada pelo subproblema k é inserida no PMR se o seu custo reduzido q_k for positivo, isto é, θ_k = Z_k – β_k > 0. Assim, o PMR coordena as soluções dos problemas por meio de suas variáveis duais, buscando uma solução para o problema original.

O PMR inicial é gerado através da heurística apresentada na Figura 2. Essa heurística utiliza a busca local apresentada em Beasley (1998). Em seguida, novas colunas são geradas até que um critério de parada seja satisfeito e o PMR final, formado por todas as colunas geradas, é resolvido de forma inteira (λ_sk∈ {0,1}); consequentemente, sua solução será equivalente a uma solução viável para o PQL e, indiretamente, para o PQ. Por convenção, esse problema será tratado como PMR_PLI e o valor de sua solução como v(PMR_PLI). A Figura 3 apresenta os procedimentos para execução da GC.

A solução do PMR de forma inteira – v(PMR_PLI) – apresenta uma solução viável para o PQ. Já a solução do PMR através de sua relaxação linear – v(PMR_PL) – e a solução da relaxação com divisão em clusters – v(LC_aPQLⁿ) – apresentam limitantes para o PQ.

5 Outros limitantes para o Programação Quadrática Binária Irrestrita

O valor da solução da relaxação linear do PQL (substituindo a restrição (8) por 0 <x_i < 1) é um limitante trivial para o PQ (BILLIONNET; CALMELS, 1996). Como apresentado em Adams e Dearing (1994), esse limitante é conhecido como roof dual.

Outro limitante para o PQ pode ser obtido através da inserção de uma restrição de corte de Chvatal-Gomory em PQL. Essa restrição é descrita na Equação (25).

Essa restrição de corte é baseada em uma das restrições de corte apresentadas em Billionnet e Calmels (1996) para o Problema Quadrático da Mochila - PQM. Como mostrado pelos Autores, os limitantes obtidos com a inserção de restrições de corte são melhores do que os apresentados pela relaxação linear do PQM. Por convenção, o modelo PQL com a restrição de corte será tratado como PQLC.

A relaxação lagrangeana tradicional das restrições (4), (5) e/ou (6) também pode ser utilizada para obtenção de outros limitantes para o PQ. Essas restrições podem ser combinadas de forma a gerar sete diferentes modelos para o problema (relaxando as restrições 4; 5; 6; 4 e 5; 4 e 6; 5 e 6; 4 e 5 e 6), sendo que a minimização de cada dual correspondente apresenta um limitante para o PQ. Todos esses sete modelos foram implementados e os melhores resultados obtidos entre eles são apresentados na coluna Lag, na Tabela 1. Mais detalhes acerca da relação lagrangeana são apresentados em Guignard (2003).

6 Experiência computacional

Vários experimentos computacionais trataram um conjunto de 45 instâncias disponíveis na OR-Library (BeasLey, 1990). Essas instâncias foram criadas através do gerador proposto por Pardalos e Rodgers (1990a) e separadas em seis classes (A, B, C, D, E e F) com diferentes características (m, densidade e intervalo dos elementos da matriz Q). Além de fornecer os critérios para a criação das instâncias, os problemas das classes A, B e C foram apresentados neste mesmo estudo, e os demais em Glover et al. (1998). Segundo estes Autores, devido a suas características, essas instâncias estão entre as mais difíceis encontradas na literatura. Todos os experimentos foram realizados em um PC com processador AMD Athlon de 2.2 GHz com 1GB de memória RAM e o código-fonte foi implementado em C++.

Para resolver a relaxação linear do problema (roof dual), a relaxação linear com a restrição de corte (PQLC) e o modelo PQL, foi utilizado o CPLEX 10.0.1 (ILOG, 2006), com o tempo limite de uma hora de processamento para cada instância.

O dual lagrangeano das relaxações lagrangeanas tradicionais, apresentadas na seção anterior, foi otimizado através do algoritmo de subgradiente apresentado em Narciso e Lorena (1999), que aproxima as soluções do problema no sentido euclideano de distância (PARKER; RARDIN, 1988). O CPLEX (ILOG, 2006) também foi utilizado para resolver os problemas de forma exata a cada iteração do algoritmo de subgradiente. O tempo limite para execução desse algoritmo também foi de uma hora.

Na geração de colunas proposta, o PMR e os subproblemas também foram resolvidos através do CPLEX. Para a divisão do grafo G, foi utilizada a heurística METIS (KARYPIS; KUMAR, 1998), que, segundo Hicks et al. (2005), apresenta bons resultados para o particionamento de grafos. Essa heurística divide o grafo minimizando o número de arestas com terminações em clusters distintos.

Na Tabela 1, os gaps apresentados são calculados de acordo com a Equação (26), na qual v(OPT) é o valor das melhores soluções conhecidas (GLOVER et al., 1998) para as instâncias utilizadas e v(Solução) é o valor dos limitantes obtidos pelas abordagens apresentadas. As colunas CPU apresentam o tempo de processamento, em segundos. A coluna Dsde apresenta a densidade da matriz Q de cada instância e a coluna Lag apresenta os melhores gaps obtidos pelas relaxações lagrangeanas tradicionais (ver Seção 5). Os limitantes (LC_aPQLⁿ e PMR_PL) obtidos pela geração de colunas proposta (GC) apresentam os mesmos valores para as instâncias menores (A, B e C), o que indica a convergência completa do método. Diversamente, para as maiores, essa convergência não acontece no tempo limite de uma hora de processamento. Entretanto, os limitantes obtidos apresentam excelentes gaps para todas as instâncias. Os melhores resultados estão destacados em negrito.

A última linha da Tabela 1 apresenta os tempos médios necessários para obtenção dos limitantes para cada instância através do método correspondente. O número de clusters (n) utilizado para as instâncias das classes A, B, C e D foi igual a 2 e, para as instâncias das classes E e F, foram 3 e 5, respectivamente.

A Tabela 2 apresenta as soluções inteiras obtidas para as instâncias das classes B e F. Nessa tabela, a coluna Perc apresenta o percentual da solução obtida em relação à melhor solução conhecida ((v(Solução)/v(OPT))*100). Os resultados obtidos pela GC são comparados aos resultados apresentados pelas diferentes heurísticas apresentadas em Glover et al. (2002) e com o CPLEX (coluna CPX). Como pode ser observado, em relação às heurísticas de Glover et al. (2002), a GC apresentou os melhores resultados para todas as instâncias da classe B e para as instâncias da classe F com densidade de até 50%. Já o CPLEX superou a GC em apenas três das dez instâncias da classe B, porém foi expressivamente pior para as primeiras instâncias da classe F. Para as demais, a GC não foi capaz de encontrar uma solução em um tempo aproximado de uma hora.

O método descrito em Billionnet e Elloumi (2007) não foi capaz de resolver as instâncias da classe F e, segundo os Autores, todas as soluções ótimas foram encontradas para as instâncias da classe B com um limite de tempo de duas horas de processamento, em um PC com processador Intel Pentium IV de 1.6 GHz com 1GB de memória RAM. Glover et al. (2002) não apresentam os tempos computacionais utilizados pelas heurísticas propostas. A GC proposta apresentou um tempo médio inferior a um segundo para resolver o PMR_PLI para as instâncias da classe B e 2483,23 segundos, para a classe F. Logo, considerando os tempos para formar esse PMR (Tabela 1), a GC apresentou um tempo total médio de 0,18 e 6970,33 segundos para as instâncias das classes B e F, respectivamente.

A Tabela 3 apresenta as soluções obtidas para as instâncias da classe D. Os gaps obtidos pela GC proposta são comparados com os apresentados por Billionnet e Elloumi (2007). O tempo médio de execução para resolver o PMR de forma inteira foi de 10,30 segundos, além do tempo para formá-lo (Tabela 1), e o método apresentado pelos Autores utilizou um tempo médio de dez minutos por instância. O tempo médio utilizado pelo CPLEX foi de uma hora de processamento. Como apresentado na Tabela 2, os resultados apresentados pela GC proposta foram expressivamente melhores. Glover et al. (2002) não apresentam resultados para essas instâncias. A coluna Gap apresenta o gap referente à solução inteira do PMR. Esses gaps são calculados de acordo com a Equação (27).

A Tabela 4 apresenta as soluções obtidas para as instâncias das classes A, C e E. De acordo com Billionnet e Elloumi (2007), seu método obteve as soluções ótimas para as instâncias das classes A e C em um tempo limite de duas horas por instância; entretanto, não foi capaz de resolver os problemas da classe E. O CPLEX foi capaz de encontrar as soluções ótimas para as instâncias das classes A e C em um tempo médio de 3,28 segundos e o tempo médio para obter as soluções para as instâncias da classe E foi de uma hora. A GC proposta utilizou um tempo médio de 17,96, 2426,56 e 119,98 segundos para resolver o PMR_PLI para as instâncias das classes A, C e E, respectivamente. Logo, considerando os tempos para formar esse PMR (Tabela 1), a GC apresentou um tempo total médio de 17,96, 2426,56 e 6970,33 segundos para as instâncias das classes A, C e E, respectivamente. Glover et al. (2002) não apresentam resultados para essas instâncias.

Como pode ser observado nas tabelas anteriores, o método proposto se destaca na resolução dos problemas de maior porte (a partir de 100 vértices), principalmente aqueles cuja matriz Q possui baixa densidade (até 50%), apresentando resultados melhores que outros métodos encontrados na literatura.

7 Conclusões

Este trabalho apresentou uma nova estratégia de geração de colunas para resolver o problema de programação quadrática binária irrestrita. O método proposto, além de encontrar soluções viáveis, também apresenta duas alternativas para obtenção de limitantes para o PQ. Instâncias de difícil solução e com diferentes características foram utilizadas para avaliar o método proposto.

A GC tratou o PQ por meio de um modelo linear com restrições representadas através de um grafo, cuja divisão é realizada por meio da heurística de particionamento METIS (KARYPIS; KUMAR, 1998). O PMR e os subproblemas foram resolvidos através do CPLEX 10.0.1 (ILOG, 2006).

Foram obtidos excelentes resultados para as instâncias com até 200 variáveis e várias densidades, e também para instâncias com 500 variáveis e baixas e médias densidades. Diversamente, para as instâncias com 500 variáveis e alta densidade, a GC não apresentou soluções, pois o CPLEX não foi capaz de resolver os subproblemas dentro de um tempo aceitável.

O método proposto foi comparado diretamente com métodos propostos recentemente e com o CPLEX, e apresentou excelentes resultados para praticamente todas as instâncias. A GC proposta contribui com a exploração do PQ e apresenta uma nova alternativa para resolução de problemas representados por grafos. Além disso, acredita-se que uma técnica mais eficiente para resolução dos subproblemas geradores de colunas pode resultar em melhores soluções para as instâncias tratadas neste trabalho e, possivelmente, para instâncias ainda maiores.

Referências bibliográficas

ADAMS, W. P.; DEARING, P. M. On the equivalence between roof duality and lagrangean duality for unconstrained 0-1 quadratic programming problems. Discrete Applied Mathematics, v. 48, n. 1, p. 1-20, 1994.

ADAMS, W. P.; FORRESTER, R. J.; GLOVER, F. W. Comparisons and enhancement strategies for linearizing mixed 0-1 quadratic programs. Discrete Optimization, v. 1, p. 99-120, 2004.

BAZAARA, M. S.; JARVIS, J. J.; SHERALI, H. D. Linear programming and network flows. New York: John Wiley & Sons, 1990.

BEASLEY, J. E. Heuristic algorithms for the unconstrained binary quadratic programming problem. London, UK: Management School, Imperial College, 1998. Technical Report.

BEASLEY, J. E. Or-library: Distributing test problems by electronic mail. Journal of the Operational Research Society, v. 41, n. 11, p. 1069-1072, 1990.

BILLIONNET, A.; CALMELS, F. Linear programming for the 0-1 quadratic knapsack problem. European Journal of Operational Research, v. 92, n. 2, p. 310-325, 1996.

BILLIONNET, A.; ELLOUMI, S. Using a mixed integer quadratic programming solver for the unconstrained quadratic 0-1 problem. Mathematical Programming, v. 109, p. 55-68, 2007.

BILLIONNET, A.; SUTTER, A. Minimization of a quadratic pseudo-boolean function. European Journal of Operational Research, v. 78, p. 106-115, 1994.

BOROS, E.; CRAMA, Y.; HAMMER, P. L. Chvatal cuts and odd cycle inequalities in quadratic 0-1 optimization. SIAM - Journal on Discrete Mathematics, v. 5, n. 2, p. 163-177, 1992.

BOROS, E.; CRAMA, Y.; HAMMER, P. L. Upper bounds for quadratic 0-1 maximization. Operations Research Letters, v. 9, p. 73-79, 1990.

BOROS, E.; HAMMER, P.; SUN, X. The DDT method for quadratic 0-1 minimization. New Brunswick, USA: RUTCOR Research Center, 1989. RRR 39-89.

CHARDAIRE, P.; SUTTER, A. A decomposition method for quadratic zero-one programming. Management Science, v. 41, n. 4, p. 704-712, 1995.

CORRÊA, F. A.; LORENA, L. A. N.; SENNE, E. L. F. Lagrangean relaxation with clusters for the uncapacitated facility location problem. In: Congreso Latino-Iberoamericano de Investigación Operativa, 13, 2006, Montevideo - Uruguay. Anais. ..

GLOVER, F. et al. One-pass heuristics for large-scale unconstrained binary quadratic problems. European Journal of Operational Research, v. 137, n. 2, p. 272-287, 2002.

GLOVER, F.; KOCHENBERGER, G.; ALIDAEE, B. Adaptative memory tabu search for binary quadratic programs. Management Science, v. 44, n. 3, p. 336-345, 1998.

GLOVER, F.; WOOLSEY, E. Converting a 0-1 polynomial programming problem to a 0-1 linear program. Operations Research, v. 22, p. 180-182, 1974.

GUIGNARD, M. Lagrangean relaxation. TOP, v. 11, n. 2, p. 151-200, 2003.

GULATI, V. P.; GUPTA, S. K.; MITTAL, A. K. Unconstrained quadratic bivalent programming problem. European Journal of Operational Research, v. 15, p. 121-155, 1984.

HAMMER, P. L.; HANSEN, P.; SIMEONE, B. Roof duality, complementation and persistency in quadratic 0-1 optimization. Mathematical Programming, v. 28, p. 121-195, 1984.

HANSEN, P.; MEYER, C. Improved compact linearizations for the unconstrained quadratic 0-1 minimization problem. Discrete Applied Mathematics, v. 157, n. 6, p. 1267-1290, 2009.

HICKS, I. V. et al. A branch-and-price approach for the maximum weight independent set problem. Networks, v. 46, n. 4, p. 198-209, 2005.

ILOG. ILOG CPLEX 10.0: user's manual. France, 2006. 478 p.

KARYPIS, G.; KUMAR, V. Multilevel k-way partitioning scheme for irregular graphs. Journal of Parallel and Distributed Computing, v. 48, p. 96-129, 1998.

KRARUP, J.; PRUZAN, P. A. Computer aided layout design. Mathematical Programming Study, v. 9, p. 75-94, 1978.

LAUGHUNN, D. J. Quadratic binary programming with application to capital budgeting problems. Operations Research, v. 18, p. 454-461, 1970.

MAURI, G. R. Novas abordagens para representação e obtenção de limitantes e soluções para alguns problemas de otimização combinatória. São José dos Campos – SP, 2008. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

MCBRIDE, R. D.; YORMARK, J. S. An implicit enumeration algorithm for quadratic integer programming. Management Science, v. 26, p. 282-296, 1980.

NARCISO, M. G.; LORENA, L. A. N. Lagrangean/surrogate relaxation for generalized assignment problems. European Journal of Operational Research, v. 114, p. 165-177, 1999.

PALUBECKIS, G. A heuristic-based branch and bound algorithm for unconstrained quadratic 0-1 programming. Computing, v. 54, n. 4, p. 283-301, 1995.

PARDALOS, P. M.; JHA, S. Complexity of uniqueness and local search in quadratic 0-1 programming. Operations Research Letters, v. 11, p. 119-123, 1992.

PARDALOS, P. M.; PHILLIPS, A. T. A global optimization approach for solving the maximum clique problem. International Journal of Computer Mathematics, v. 33, p. 209-216, 1990.

PARDALOS, P. M.; RODGERS, G. P. A branch and bound algorithm for the maximum clique problem. Computers & Operations Research, v. 19, p. 363-375, 1992.

PARDALOS, P. M.; RODGERS, G. P. Computational aspect of a branch and bound algorithm for quadratic 0-1 programming. Computing, v. 45, p. 131-144, 1990a.

PARDALOS, P. M.; RODGERS, G. P. Parallel branch and bound algorithms for quadratic zero-one programs on the hypercube architecture. Annals of Operations Research, v. 22, p. 271-292, 1990b.

PARDALOS, P. M.; XUE, J. The maximum clique problem. Journal of Global Optimization, v. 4, p. 301-328, 1994.

PARKER, R. G.; RARDIN, R. L. Discrete Optimization. New York, USA: Academic Press, 1988.

PHILLIPS, A. T.; ROSEN, J. B. A quadratic assignment formulation of the molecular conformation problem. Journal of Global Optimization, v. 4, p. 229-241, 1994.

RIBEIRO, G. M. Relaxação lagrangeana com divisão em clusters para alguns problemas de otimização modelados em grafos de conflitos. São José dos Campos – SP, 2007. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

RIBEIRO, G. M.; LORENA, L. A. N. Lagrangean relaxation with clusters and column generation for the manufacturer's pallet loading problem. Computers & Operations Research, v. 34, n. 9, p. 2695-2708, 2007.

RIBEIRO, G. M.; LORENA, L. A. N. Lagrangean relaxation with clusters for point-feature cartographic label placement problems. Computers & Operations Research, v. 35, p. 2129-2140, 2008.

Recebido em 28/4/2008

Aceito em 5/10/2009

Agradecimentos: Os autores agradecem aos dois revisores anônimos pelos valiosos comentários e sugestões, e à Fundação de Amparo à Pesquisa do Estado de São Paulo – FAPESP (processo 04/11053-9) e ao Conselho Nacional de Pesquisas – CNPq (processo 304598/2003-8) pelo apoio financeiro parcial dado ao desenvolvimento deste trabalho.

Referências bibliográficas

• ADAMS, W. P.; DEARING, P. M. On the equivalence between roof duality and lagrangean duality for unconstrained 0-1 quadratic programming problems. Discrete Applied Mathematics, v. 48, n. 1, p. 1-20, 1994.
• ADAMS, W. P.; FORRESTER, R. J.; GLOVER, F. W. Comparisons and enhancement strategies for linearizing mixed 0-1 quadratic programs. Discrete Optimization, v. 1, p. 99-120, 2004.
• BAZAARA, M. S.; JARVIS, J. J.; SHERALI, H. D. Linear programming and network flows. New York: John Wiley & Sons, 1990.
• BEASLEY, J. E. Heuristic algorithms for the unconstrained binary quadratic programming problem. London, UK: Management School, Imperial College, 1998. Technical Report.
• BEASLEY, J. E. Or-library: Distributing test problems by electronic mail. Journal of the Operational Research Society, v. 41, n. 11, p. 1069-1072, 1990.
• BILLIONNET, A.; CALMELS, F. Linear programming for the 0-1 quadratic knapsack problem. European Journal of Operational Research, v. 92, n. 2, p. 310-325, 1996.
• BILLIONNET, A.; ELLOUMI, S. Using a mixed integer quadratic programming solver for the unconstrained quadratic 0-1 problem. Mathematical Programming, v. 109, p. 55-68, 2007.
• BILLIONNET, A.; SUTTER, A. Minimization of a quadratic pseudo-boolean function. European Journal of Operational Research, v. 78, p. 106-115, 1994.
• BOROS, E.; CRAMA, Y.; HAMMER, P. L. Chvatal cuts and odd cycle inequalities in quadratic 0-1 optimization. SIAM - Journal on Discrete Mathematics, v. 5, n. 2, p. 163-177, 1992.
• BOROS, E.; CRAMA, Y.; HAMMER, P. L. Upper bounds for quadratic 0-1 maximization. Operations Research Letters, v. 9, p. 73-79, 1990.
• BOROS, E.; HAMMER, P.; SUN, X. The DDT method for quadratic 0-1 minimization. New Brunswick, USA: RUTCOR Research Center, 1989. RRR 39-89.
• CHARDAIRE, P.; SUTTER, A. A decomposition method for quadratic zero-one programming. Management Science, v. 41, n. 4, p. 704-712, 1995.
• CORRÊA, F. A.; LORENA, L. A. N.; SENNE, E. L. F. Lagrangean relaxation with clusters for the uncapacitated facility location problem. In: Congreso Latino-Iberoamericano de Investigación Operativa, 13, 2006, Montevideo - Uruguay. Anais.
• GLOVER, F. et al. One-pass heuristics for large-scale unconstrained binary quadratic problems. European Journal of Operational Research, v. 137, n. 2, p. 272-287, 2002.
• GLOVER, F.; KOCHENBERGER, G.; ALIDAEE, B. Adaptative memory tabu search for binary quadratic programs. Management Science, v. 44, n. 3, p. 336-345, 1998.
• GLOVER, F.; WOOLSEY, E. Converting a 0-1 polynomial programming problem to a 0-1 linear program. Operations Research, v. 22, p. 180-182, 1974.
• GUIGNARD, M. Lagrangean relaxation. TOP, v. 11, n. 2, p. 151-200, 2003.
• GULATI, V. P.; GUPTA, S. K.; MITTAL, A. K. Unconstrained quadratic bivalent programming problem. European Journal of Operational Research, v. 15, p. 121-155, 1984.
• HAMMER, P. L.; HANSEN, P.; SIMEONE, B. Roof duality, complementation and persistency in quadratic 0-1 optimization. Mathematical Programming, v. 28, p. 121-195, 1984.
• HANSEN, P.; MEYER, C. Improved compact linearizations for the unconstrained quadratic 0-1 minimization problem. Discrete Applied Mathematics, v. 157, n. 6, p. 1267-1290, 2009.
• HICKS, I. V. et al. A branch-and-price approach for the maximum weight independent set problem. Networks, v. 46, n. 4, p. 198-209, 2005.
• ILOG. ILOG CPLEX 10.0: user's manual. France, 2006. 478 p.
• KARYPIS, G.; KUMAR, V. Multilevel k-way partitioning scheme for irregular graphs. Journal of Parallel and Distributed Computing, v. 48, p. 96-129, 1998.
• KRARUP, J.; PRUZAN, P. A. Computer aided layout design. Mathematical Programming Study, v. 9, p. 75-94, 1978.
• LAUGHUNN, D. J. Quadratic binary programming with application to capital budgeting problems. Operations Research, v. 18, p. 454-461, 1970.
• MAURI, G. R. Novas abordagens para representação e obtenção de limitantes e soluções para alguns problemas de otimização combinatória. São José dos Campos SP, 2008. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.
• MCBRIDE, R. D.; YORMARK, J. S. An implicit enumeration algorithm for quadratic integer programming. Management Science, v. 26, p. 282-296, 1980.
• NARCISO, M. G.; LORENA, L. A. N. Lagrangean/surrogate relaxation for generalized assignment problems. European Journal of Operational Research, v. 114, p. 165-177, 1999.
• PALUBECKIS, G. A heuristic-based branch and bound algorithm for unconstrained quadratic 0-1 programming. Computing, v. 54, n. 4, p. 283-301, 1995.
• PARDALOS, P. M.; JHA, S. Complexity of uniqueness and local search in quadratic 0-1 programming. Operations Research Letters, v. 11, p. 119-123, 1992.
• PARDALOS, P. M.; PHILLIPS, A. T. A global optimization approach for solving the maximum clique problem. International Journal of Computer Mathematics, v. 33, p. 209-216, 1990.
• PARDALOS, P. M.; RODGERS, G. P. A branch and bound algorithm for the maximum clique problem. Computers & Operations Research, v. 19, p. 363-375, 1992.
• PARDALOS, P. M.; RODGERS, G. P. Computational aspect of a branch and bound algorithm for quadratic 0-1 programming. Computing, v. 45, p. 131-144, 1990a.
• PARDALOS, P. M.; RODGERS, G. P. Parallel branch and bound algorithms for quadratic zero-one programs on the hypercube architecture. Annals of Operations Research, v. 22, p. 271-292, 1990b.
• PARDALOS, P. M.; XUE, J. The maximum clique problem. Journal of Global Optimization, v. 4, p. 301-328, 1994.
• PARKER, R. G.; RARDIN, R. L. Discrete Optimization. New York, USA: Academic Press, 1988.
• PHILLIPS, A. T.; ROSEN, J. B. A quadratic assignment formulation of the molecular conformation problem. Journal of Global Optimization, v. 4, p. 229-241, 1994.
• RIBEIRO, G. M. Relaxação lagrangeana com divisão em clusters para alguns problemas de otimização modelados em grafos de conflitos. São José dos Campos SP, 2007. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.
• RIBEIRO, G. M.; LORENA, L. A. N. Lagrangean relaxation with clusters and column generation for the manufacturer's pallet loading problem. Computers & Operations Research, v. 34, n. 9, p. 2695-2708, 2007.
• RIBEIRO, G. M.; LORENA, L. A. N. Lagrangean relaxation with clusters for point-feature cartographic label placement problems. Computers & Operations Research, v. 35, p. 2129-2140, 2008.

Datas de Publicação

• Publicação nesta coleção
  19 Jan 2010
• Data do Fascículo
  Dez 2009

Histórico

• Aceito
  05 Out 2009
• Recebido
  28 Abr 2008