[PPL-devel] Re: OK

[Roberto Bagnara]

Just a quick answer before checking this message more carefully.
To me, "constraints are minimized" means "as far as constraints are
concerned, there is no need to call minimize()".
The purpose of these flags is to try to reduce the calls to minimize()
as much as possible.

Andrea Pescetti wrote:
> 
> Il significato del flag minimized sarebbe da chiarire. Per me, quando ho
> commentato bug3, "minimized" significava che non si poteva descrivere lo
> stesso poliedro con un numero di equazioni (e, in subordine, disequazioni)
> inferiore.
> Invece ho capito che per voi "minimized" significa "intatto dopo
> l'applicazione di minimize()".
> Cioe', se ho un quadrato in R^2 e lo trasformo in un triangolo togliendo
> un vertice, per me la rappresentazione rimane minimale e quindi minimized
> deve rimanere settato se lo e', per voi, se capisco bene, va invece
> azzerato.
> 
> > [Elisa]
> > Quindi secondo me il test sui constraints minimizzati che ieri
> > abbiamo aggiunto in OK non viene contraddetto da questo esempio
> > (la con_sys1 non doveva avere il flag constraints_are_minimized
> > settato, perche' non era minimizzata).
> Su questo posso essere d'accordo.
> In effetti il flag minimized era settato gia' nei dati di ingresso (in
> bug3.dat) e quindi il controesempio non era attendibile.
> Pero' c'e' un problema. Se si tolgono i flag +CM e +GM dai due poliedri di
> bug3.dat, e quindi non si racconta piu' che x e y sono minimizzati, si
> arriva dopo un po' ad una situazione in cui le matrici risultano
> minimizzate ma sono diverse tra loro (ed, ovviamente, sono identiche alle
> due matrici per cui falliva il confronto).
> Quindi, prendendo per buona la vostra definizione di minimized, c'e'
> qualche punto del codice che imposta minimized a true senza che questo sia
> vero, oppure qualche punto del codice che imposta minimized=true in base
> a ragionamenti diversi e non all'applicazione di minimize().
> Ciao.
>   Andrea.

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it