Informatica teorica ds.algorithms

1

Algoritmo di ordinamento ottimale in numero di swap

Data una sequenza di numeri, può essere ordinato con O ( n ln n ) confronti e O ( n ) swap / mosse? Qualsiasi puntatore a pubblicazioni su tale argomento o controargomenti che mostrano un limite inferiore di Ω ( n ln n ) sarebbe di aiuto.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n …

12 cc.complexity-theory ds.algorithms

4

Qual è la nozione più importante di scarsità per la progettazione di algoritmi grafici efficienti?

Esistono diverse nozioni concorrenti di un "grafico sparsa". Ad esempio, un grafico incorporabile in superficie potrebbe essere considerato scarso. O un grafico con densità del bordo limitata. O un grafico con circonferenza alta. Un grafico con grande espansione. Un grafico con larghezza dell'albero limitata. (Anche all'interno del sottocampo di grafici …

12 ds.algorithms graph-theory graph-algorithms big-picture

2

Riferimento per algoritmo veloce per percorsi più brevi colli di bottiglia

Sto cercando un buon riferimento per i percorsi più brevi colli di bottiglia. In particolare, dati i vertici s et in un grafico non orientato con pesi di bordo, si desidera il percorso più breve da s a t, dove la lunghezza di un percorso è il bordo massimo di …

12 ds.algorithms reference-request graph-algorithms

2

Max-taglio quadrato euclideo in dimensioni ridotte

Lascia che siano punti nel piano . Considera un grafico completo con i punti come vertici e con i pesi dei bordi di . Riesci sempre a trovare un taglio di peso che sia almeno \ frac 2 3 del peso totale? In caso contrario, quale costante dovrebbe sostituire \ …

12 ds.algorithms graph-algorithms application-of-theory max-cut clustering

1

Quale algoritmo c'è dietro akinator o 20q?

Il titolo parla da solo. Ecco Akinator e 20Q . Il principio di questi giochi è di porre a un utente una serie di domande relative a qualche entità scelta dall'utente. E poi scopri cos'è questa entità. Il nucleo dell'algoritmo è trovare la "domanda più utile" ad ogni round, mentre …

12 ds.algorithms

2

Problemi di ottimizzazione di MSOL su grafici di larghezza di banda limitata, con predicati di cardinalità

CMSOL sta contando la logica monadica del secondo ordine, cioè una logica di grafici in cui il dominio è l'insieme di vertici e spigoli, ci sono predicati per l'adiacenza vertice-vertice e l'incidenza di vertice-vertice, c'è quantificazione su spigoli, vertici, insiemi di bordi e vertici imposta e esiste un predicato che …

12 ds.algorithms reference-request graph-algorithms descriptive-complexity cliquewidth

2

Invertire un elenco usando due code

Questa domanda si ispira a una domanda esistente sulla possibilità di simulare uno stack utilizzando due code in ammortizzato per operazione di stack. La risposta sembra essere sconosciuta. Ecco una domanda più specifica, corrispondente al caso speciale in cui tutte le operazioni PUSH vengono eseguite per prime, seguite da tutte …

12 ds.algorithms ds.data-structures lower-bounds time-complexity sorting

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

1

Durezza tipica della decomposizione degli alberi?

La decomposizione degli alberi è difficile nel peggiore dei casi, ma il metodo avido sembra essere quasi ottimale su piccole reti nella vita reale. Si sa qualcosa sulla durezza della decomposizione dell'albero di un'istanza "tipica" di una classe di grafici? C'è un esempio di una famiglia di grafici in cui …

12 ds.algorithms graph-theory graph-algorithms treewidth

3

Un problema multi-taglio

Sto cercando un nome o qualsiasi riferimento a questo problema. Dato un grafico ponderato G = ( V, E, w )G=(V,E,w)G = (V, E, w) trova una partizione dei vertici fino a n = | V|n=|V|n = |V|imposta S1, ... , SnS1,…,SnS_1,\ldots,S_n modo da massimizzare il valore dei bordi tagliati: …

12 ds.algorithms reference-request approximation-algorithms max-cut

3

Quali sono i problemi con il miglior rapporto di approssimazione raggiunto dall'algoritmo che restituisce una soluzione uniformemente casuale?

Quali sono i problemi con il rapporto di approssimazione più noto raggiunto da un algoritmo che restituisce una soluzione uniformemente casuale? Conosco uno di questi esempi per il problema del negozio di flusso di permutazione : nel documento " Limiti rigorosi per la pianificazione dei negozi di flusso di permutazione …

12 ds.algorithms reference-request approximation-algorithms

1

Condizioni per la rintracciabilità di 3SAT-Satisfiability

Quello che mi chiedo in particolare è se esiste una condizione interessante sulla percentuale di incarichi che soddisfano una formula 3SAT per garantire che tali problemi siano trattabili. Supponiamo ad esempio la classe di problemi 3SAT che delle 2 n possibili assegnazioni soddisfano la formula booleana; possiamo trovare in modo …

12 cc.complexity-theory ds.algorithms sat np

3

Esiste un algoritmo online per tenere traccia dei componenti in un grafico non indirizzato che cambia?

Problema Ho un grafico non orientato (con bordi multipli), che cambierà nel tempo, nodi e bordi possono essere inseriti ed eliminati. Ad ogni modifica del grafico, devo aggiornare i componenti collegati di questo grafico. Proprietà Ulteriori proprietà sono che non verranno mai ricollegati due componenti. Ovviamente, il grafico può avere …

12 ds.algorithms graph-theory approximation-algorithms online-algorithms

2

Prodotto a matrice booleana sparsa veloce con possibile preelaborazione

Quali sono gli algoritmi più efficienti per moltiplicare due matrici booleane molto sparse (diciamo, N = 200 e ci sono solo circa 100-200 elementi diversi da zero)? In realtà, ho il vantaggio che quando sto moltiplicando A per B, le B sono predefinite e posso eseguire una pre-elaborazione arbitrariamente complessa …

12 ds.algorithms matrix-product sparse-matrix boolean-matrix implementation

1

Ordine topologico positivo, prendere 2

Questo è un seguito alla recente domanda di David Eppstein ed è motivato dagli stessi problemi. Supponiamo che io abbia una dag con pesi in numero reale sui suoi vertici. Inizialmente, tutti i vertici non sono contrassegnati. Posso modificare l'insieme dei vertici contrassegnati da (1) contrassegnando un vertice senza predecessori …

12 ds.algorithms directed-acyclic-graph partial-order

Domande taggate «ds.algorithms»