csdp-theta - Online nel cloud

PROGRAMMA:

NOME

csdp - risolutore di programmi semidefiniti

SINOSSI

csd <file problema>soluzione finale>soluzione iniziale>
csdp-complemento <grafico di input>grafico di output>
csdp-graphtoprob <grafico>file problema>
csdp-randgraph <rand_graph>filetto>n>p> [seme>]
csdp-teta <grafico>

DESCRIZIONE

Questa pagina di manuale documenta brevemente il PSDC, csdp-complemento, csdp-graphtoprob, csd-
randgrafo che a csdp-teta comandi.

csd -- interfaccia per risolvere programmi semi-definiti generali
csdp-complemento -- calcola il complemento di un grafico e lo emette in formato problema csdp
csdp-graphtoprob -- converte il grafico in un file in formato problema csdp
csdp-randgraph -- genera un grafico casuale
csdp-teta -- risolve il problema di Lovasz thetha

VERSIONI

Di seguito è riportato un riepilogo delle opzioni. Per una descrizione completa, vedere
/usr/share/doc/coinor-csdp-doc/csdpuser.pdf.

csd
problema di input nel formato sparso SDPA

file problema
è il nome di un file contenente il problema SDP in formato sparso SDPA

soluzione finale
è il nome opzionale di un file in cui salvare la soluzione finale

soluzione iniziale
è il nome facoltativo di un file da cui prendere la soluzione iniziale.

CSDP cerca un file denominato param.csdp nella directory corrente. Se nessun file del genere
esiste, vengono utilizzati i valori predefiniti per tutti i parametri della PSDC. Se c'è un parametro
file, quindi CSDP legge i valori dei parametri da questo file. I valori dei parametri predefiniti
è riportato di seguito (può essere incollato in un file):

axtolo=1.0e-8
atitolo=1.0e-8
objtol=1.0e-8
pinftol=1.0e8
dinftol=1.0e8
massimo=100
minstepfrac=0.90
maxstepfrac=0.97
passo min=1.0e-8
minstepd=1.0e-8
usaxzgap=1
tweakgap=0
affine=0
livello di stampa=1
perturboj=1
modalità veloce=0

param.csdp filetto parametro descrizione

axtolo atitolo oggetto tolleranze per fattibilità primaria, fattibilità duale e relativa
divario di dualità

pinftol
dinftolo tolleranze utilizzate nel determinare l'infattibilità primaria e duale

massimo
plimitare il numero totale di iterazioni che la PSDC può utilizzare

minstepfrac
maxstepfrac determinare quanto vicino al limite della regione fattibile si avvicinerà la PSDC.
Se il primal o il dual step è più corto di minstepp o minstepd, allora la PSDC dichiara
un errore di ricerca della linea. usexzgap Se il parametro 0, la PSDC utilizzerà l'obiettivo
gap di dualità di funzione invece del gap di tr(XZ)

ritocco
se è impostato su 1 e usexzgap è impostato su 0, CSDP tenterà di "risolvere" il negativo
gap di dualità.

raffinato Se il parametro affine è impostato su 1, CSDP eseguirà solo passaggi primal-doppi affine
e non utilizzare il termine barriera. Questo può essere utile per alcuni problemi che lo fanno
non hanno soluzioni praticabili che sono strettamente all'interno del cono di
matrici semidefinite. livello di stampa determina quante informazioni di debug sono
produzione. Utilizzare printlevel=0 per nessun output e printlevel=1 per output normale. Più alto
i valori di printlevel genereranno più output di debug.

perturbobj
determina se la funzione obiettivo sarà perturbata per aiutare ad affrontare
problemi che hanno insiemi di soluzioni ottime illimitate. Se per-turbobj è 0, allora il
obiettivo non sarà perturbato. Se perturbobj=1, allora la funzione obiettivo sarà
essere disturbato da un importo predefinito. Valori maggiori di perturbobj (es. 100.0) aumentano
la dimensione della perturbazione. Questo può essere utile per risolvere alcune difficoltà
problemi.

modalità veloce
determina se la PSDC salterà o meno determinate operazioni dispendiose in termini di tempo che
migliorare leggermente la precisione delle soluzioni. Se la modalità veloce è impostata su 1, allora CSDP
può essere un po' più veloce, ma anche un po' meno preciso.

Usa csdp-theta online utilizzando i servizi onworks.net