Informatica teorica optimization

1

Qual è lo stato dell'arte nella teoria dell'algoritmo cache?

Di recente mi sono interessato al problema generale dell'ottimizzazione dell'utilizzo della memoria in una situazione in cui è disponibile più di un tipo di memoria e c'è un compromesso tra la capacità di un determinato segmento di memoria e la velocità di accesso ad essa. L'esempio familiare è un programma …

14 optimization program-analysis

2

0-1 Programmazione lineare: calcolo della formulazione ottimale

Considera lo spazio dimensionale { 0 , 1 } n e lascia che c sia un vincolo lineare della forma a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a n …

14 reference-request co.combinatorics optimization linear-programming convex-optimization

1

Il gap zero integrity implica zero duality gap per alcuni problemi?

Sappiamo che se il divario tra i valori di un programma intero e il suo doppio (il "divario di dualità") è zero, allora i rilassamenti di programmazione lineare del programma intero e il doppio del rilassamento, entrambi ammettono soluzioni integrali (zero "integralità gap "). Voglio sapere se il contrario vale, …

14 ds.algorithms optimization linear-programming integrality-gap

2

Complessità di ottimizzazione rispetto al gruppo unitario

Qual è la complessità computazionale dell'ottimizzazione di varie funzioni rispetto al gruppo unitario ?U( n )U(n)\mathcal{U}(n) Un compito tipico, derivanti spesso in teoria dell'informazione quantistica, sarebbe massimizzando quantità di tipo (o superiore polinomi di ordine nelle U ) in tutto unitario matrici U . Questo tipo di ottimizzazione è calcolabile …

14 cc.complexity-theory reference-request optimization quantum-information

4

Studio teorico dei metodi di discesa delle coordinate

Sto preparando del materiale didattico sull'euristica per l'ottimizzazione e ho esaminato i metodi di discesa delle coordinate. L'impostazione è qui una funzione multivariata che si desidera ottimizzare. f ha la proprietà limitata a ogni singola variabile, è facile da ottimizzare. Quindi la discesa delle coordinate procede scorrendo ciclicamente le coordinate, …

14 ds.algorithms reference-request optimization heuristics

4

Cosa c'è di nuovo nelle tecniche di ottimizzazione del compilatore negli ultimi anni?

Sono interessato all'ottimizzazione del flusso di dati e ai grafici del flusso di controllo e in particolare a un livello di elaborazione più complesso. Ma sarà anche interessante conoscere le ultime invenzioni nel campo delle ottimizzazioni dello spioncino.

14 optimization compilers

1

Secondo più piccolo

Si sa qualcosa della seconda più piccola - -cut in una rete a flusso? O, più in generale, su questo problema:sssttt Ingresso: una reteNNN e un numero , tutto in binario. Uscita: Un k esimo più piccolo s - t taglio.kkkkkksssttt Un esimo più piccolo s - t taglio ( …

13 cc.complexity-theory optimization max-flow-min-cut flow-problems

2

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

1

Algoritmi esatti per la programmazione quadratica non convessa

Questa domanda riguarda problemi di programmazione quadratica con vincoli di riquadro (box-QP), ovvero problemi di ottimizzazione del modulo minimizza f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} soggetto a x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Se fosse semi-definito positivo, allora tutto sarebbe bello, convesso e facile, e potremmo risolvere il problema in …

13 ds.algorithms optimization exp-time-algorithms

3

Applicazione riuscita di metodi branch-and-bound per problemi NP-hard

Branch and bound è un'euristica efficace per i problemi di ricerca e Wikipedia elenca una serie di problemi difficili in cui è stato utilizzato branch-and-bound. Tuttavia, non sono stato in grado di trovare riferimenti per suggerire che è più di un "solo metodo" per risolvere questi problemi. Aneddoticamente, ho sentito …

13 ds.algorithms reference-request optimization heuristics

2

Rilievo di trasformazioni legate all'uso di solutori SAT

Sto iniziando a studiare la possibilità di fare affidamento su un solutore SAT per affrontare un problema di ottimizzazione che mi interessa e attualmente sto cercando un sondaggio che includa esempi di trasformazioni "intelligenti" in varianti di SAT (ovvero trasformazioni che risultano in un problema di dimensioni ragionevoli, dal momento …

13 ds.algorithms reference-request sat optimization

4

Riordinare i dati (set di stringhe) per ottimizzare la compressione?

Esistono algoritmi per riordinare i dati da ottimizzare per la compressione? Capisco che questo è specifico per i dati e l'algoritmo di compressione, ma c'è una parola per questo argomento? Dove posso trovare ricerche in questo settore? In particolare, ho un elenco json di 1,5 milioni di stringhe e voglio …

12 optimization permutations

2

Qual è la variante di questo problema di set cover noto come?

Input è un universo UUU e una famiglia di sottoinsiemi di UUU , ad esempio, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Assumiamo che i sottoinsiemi FF{\cal F} possono coprire UUU , cioè, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Una sequenza di copertura incrementale è una sequenza di sottoinsiemi in FF{\cal F} , diciamo …

12 cc.complexity-theory ds.algorithms approximation-algorithms optimization set-cover

1

Stabilità numerica del metodo Simplex

L'algoritmo simplex viene spesso trattato all'interno dell'aritmetica reale o nel mondo discreto con calcoli esatti. Tuttavia, sembra essere implementato più spesso con l'aritmetica in virgola mobile. Ciò porta alla domanda se l'algoritmo simplex debba essere considerato un algoritmo numerico, in particolare in che modo gli errori di arrotondamento influenzano il …

12 ds.algorithms reference-request optimization linear-programming na.numerical-analysis

2

Soluzioni massime minime di LP

La programmazione lineare è, ovviamente, al giorno d'oggi molto ben compresa. Abbiamo molto lavoro che caratterizza la struttura delle soluzioni fattibili e la struttura delle soluzioni ottimali. Abbiamo la forte dualità, algoritmi poli-tempo, ecc. Ma cosa si sa sulle soluzioni minime massime di LP? O, equivalentemente, soluzioni minime massime? (Questa …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

Domande taggate «optimization»