Domande taggate «approximation-hardness»

Durezza di approssimazione, nota anche come approssimazione.

1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
1
Analisi uniforme degli algoritmi di approssimazione
NP≠ZPPNP≠ZPP\mathsf{NP}\ne \mathsf{ZPP}NPNP\mathsf{NP} È stato svolto un lavoro sull'analisi semplificata per i rapporti dell'algoritmo di approssimazione. C'è Rao Raghavendra, Probabilistic and Smoothed Analysis of Approximation Algorithms , 2008, che tenta di fornire un miglioramento dell'approssimazione legata all'algoritmo Christofides con un'analisi uniforme. Tuttavia, non viene fornito alcun rapporto di approssimazione esplicito. C'è …
1
Quasi sempre quasi a posto
Sto cercando una classe di complessità che si riferisce ad APX come BPP si riferisce a P. Ho già fatto la stessa domanda qui , ma forse TCS sarebbe un luogo più fruttuoso per le risposte. Il motivo della domanda è che nei problemi pratici è spesso necessario trovare risposte …
2
Durezza dei separatori di vertici
Per un dato grafico , il problema del separatore chiede se esiste un vertice o un insieme di bordi di piccola cardinalità (o peso) la cui rimozione separa in due grafici disgiunti di dimensioni approssimativamente uguali. Questo si chiama Problema del separatore di vertici quando il set rimosso è un …
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.