Scienza del computer greedy-algorithms

2

Come dimostrare che l'algoritmo goloso è corretto

Ho un algoritmo avido che sospetto possa essere corretto, ma non ne sono sicuro. Come posso verificare se è corretto? Quali sono le tecniche da utilizzare per dimostrare che un algoritmo avido è corretto? Ci sono modelli o tecniche comuni? Spero che questo diventerà una domanda di riferimento che può …

29 algorithm-analysis proof-techniques correctness-proof greedy-algorithms

1

Quando un avido algoritmo può risolvere il problema del cambio moneta?

Dato un insieme di monete con diverse denominazioni e un valore v si desidera trovare il numero minimo di monete necessarie per rappresentare il valore v.c 1 , . . . , c nc1,...,cnc1, ... , cn Ad esempio per il set di monete 1,5,10,20 questo dà 2 monete per …

24 algorithms combinatorics greedy-algorithms

1

Quanto sono fondamentali i matroidi e i greedoidi nella progettazione di algoritmi?

Inizialmente, matroidi sono state introdotte per generalizzare i concetti di indipendenza lineare di una collezione di sottoinsiemi su un terreno impostato . Alcuni problemi che contengono questa struttura consentono agli algoritmi golosi di trovare soluzioni ottimali. Il concetto di greedoids è stato successivamente introdotto per generalizzare questa struttura per catturare …

23 algorithms optimization combinatorics greedy-algorithms matroids

4

Come usare un algoritmo avido per trovare la sequenza non decrescente più vicina a quella data?

un'1, ... , unna1,…,ana_1, \ldots, a_n000lllun'ioaia_iBiobib_i000lllBiobib_ib i O ( n 4 √max ( | a1- b1| ,…, | un'n- bn| )max(|a1−b1|,…,|an−bn|)\max(|a_1-b_1|, \ldots, |a_n-b_n|)Biobib_iO(nl√4)O(nl4)O(n\sqrt[4]{l}) Onestamente non ho idea di come iniziare a risolvere questa domanda. Mi sembra una domanda di programmazione dinamica, ma il professore ha detto che questo dovrebbe essere …

20 algorithms optimization greedy-algorithms subsequences

2

Prova di correttezza di un algoritmo avido per la copertura minima del vertice di un albero

Esiste un algoritmo avido per trovare la copertura minima del vertice di un albero che utilizza l'attraversamento DFS. Per ogni foglia dell'albero, seleziona il suo genitore (cioè il suo genitore è nella copertura minima del vertice). Per ciascun nodo interno: se uno dei suoi figli non è selezionato, selezionare questo …

14 algorithms trees greedy-algorithms

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Selezione di caratteristiche simili a un albero decisionale a lunghezza fissa per ridurre al minimo le prestazioni di ricerca medie

Ho una query complessa utilizzata per cercare un set di dati per trovare . Ogni query impiega il tempo medio quindi il tempo complessivo nella ricerca lineare è. Posso suddividere una query in sottoquery più semplici q_i e trovare e dove . Ogni sottoquery è molto più veloce da calcolare, …

9 algorithms optimization machine-learning greedy-algorithms databases

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

4

Trova lavori pianificati non sovrapposti con il costo massimo

Dato un insieme di n lavori con [ora di inizio, ora di fine, costo] trova un sottoinsieme in modo che non vi siano 2 lavori sovrapposti e il costo sia massimo. Ora non sono sicuro se un algoritmo avido farà il trucco. Cioè, ordina per costo e prendi sempre il …

8 algorithms scheduling greedy-algorithms knapsack-problems

Domande taggate «greedy-algorithms»