Using Functional Programming to recognize Named Structure in an Optimization Problem: Application to Pooling

Branch-and-cut optimization solvers typically apply generic algorithms, e.g., cutting planes or primal heuristics, to expedite performance for many mathematical optimization problems. But solver software receives an input optimization problem as vectors of equations and constraints containing no structural information. This article proposes automatically detecting named special structure using the pattern matching features of functional programming. Specifically, we deduce the industrially-relevant nonconvex nonlinear Pooling Problem within a mixed-integer nonlinear optimization problem and show that we can uncover pooling structure in optimization problems which are not pooling problems. Previous work has shown that preprocessing heuristics can find network structures; we show that we can additionally detect nonlinear pooling patterns. Finding named structures allows us to apply, to generic optimization problems, cutting planes or primal heuristics developed for the named structure. To demonstrate the recognition algorithm, we use the recognized structure to apply primal heuristics to a test set of standard pooling problems

Palha e pasto com milho safrinha em consórcio com braquiária.

O cultivo em consórcio é uma prática antiga, Oem que numa mesma área são implantadas duas ou mais espécies, possibilitando aumento de produtividade. Nas condições do Cerrado, em especial para Mato Grosso do Sul, o cultivo de milho safrinha com braquiária é uma alternativa econômica, tendo demonstrado eficiência na formação de palha e pasto no outono-inverno.bitstream/item/38835/1/FOL200730.pd

Estimativa do custo de produção do milho safrinha, 2006, para Mato Grosso do Sul e Mato Grosso.

bitstream/item/24680/1/COT2005112.pdfDocumento on-line

Estimativa do custo de produção do milho safrinha 2011, em cultivo solteiro e consorciado com Brachiaria ruziziensis, em Mato Grosso do Sul.

bitstream/item/29232/1/COT2011163.pd

Estimativa do custo de produção de aveia branca para Mato Grosso do Sul, em 2007.

bitstream/item/24400/1/COT2007132.pdfDocumento on-line

Manejo de plantas daninhas na cultura do sorgo.

bitstream/item/74344/1/CT175-CPAO-Sorgo-Andres.pd

O sistema de semeadura direta da cultura do sorgo colabora no controle de plantas daninhas.

bitstream/item/61910/1/COT2012176.pd

Estimativa do custo de produção de Aveia Branca para a Região de Dourados, MS, 2008.

bitstream/item/24394/1/COT2008143.pdfDocumento on-line

Toward the total synthesis of spirastrellolide A. Part 3: Intelligence gathering and preparation of a ring-expanded analogue

Different methods for the formation of the C.25–C.26 bond of spirastrellolide A (1) are evaluated that might qualify for the end game of the projected total synthesis, with emphasis on metathetic ways to forge the macrocyclic frame