Problema de decisão

O problema de decisão tratado nessa seção é:

Dados k retângulos de dimensões $(l,w)$, sendo d deitados ( $0 \leq d \leq k$) e uma região convexa, verificar se é possível colocar todos os retângulos dentro dessa região ou não.

Introduziremos alguns modelos para esse problema. Encontrar a resposta para o problema de decisão dependerá de encontrar o minimizador global de um problema de otimização não-linear e não-convexo. Também descreveremos um método para encontrar pontos estacionários de primeira ordem (minimizadores locais) do modelo introduzido e a estratégia para aumentar a probabilidade de encontrar minimizadores globais.