Domande taggate «sum-of-squares»

Sistema di prova della somma dei quadrati

Di recente ho visto diversi articoli su arxiv che si riferiscono a un sistema di prove chiamato somma dei quadrati. Qualcuno può spiegare cos'è una prova di somma dei quadrati e perché tali prove sono importanti / interessanti? In che modo sono collegati ad altri sistemi a prova algebrica? Sono …

23 cc.complexity-theory lo.logic algebraic-complexity proof-complexity sum-of-squares

Precisione numerica nel metodo della somma dei quadrati?

Ho letto un po 'del metodo della somma dei quadrati (SOS) dall'indagine di Barak & Steurer e dagli appunti di Barak . In entrambi i casi spazzano via i problemi di precisione numerica sotto il tappeto. Dalla mia comprensione (ammessa limitata) del metodo, dovrebbe essere vero quanto segue: Dato qualsiasi …

13 optimization sum-of-squares

Quando il divario di dualità della programmazione semidefinita (SDP) è zero?

Non sono stato in grado di trovare in letteratura una caratterizzazione precisa della scomparsa del gap di dualità SDP. Oppure, quando regge la "forte dualità"? Ad esempio, quando si va avanti e indietro tra Lasserre e SOS SDP, in linea di principio si ha un divario di dualità. Tuttavia, in …

10 approximation-hardness convex-optimization semidefinite-programming sum-of-squares primal-dual

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.