Scienza del computer heuristics

3

Misurare la difficoltà delle istanze SAT

Data un'istanza di SAT, vorrei essere in grado di stimare quanto sarà difficile risolvere l'istanza. Un modo è eseguire i solutori esistenti, ma quel tipo di sconfitte ha lo scopo di stimare la difficoltà. Un secondo modo potrebbe essere il rapporto tra clausole e variabili, come avviene per le transizioni …

28 complexity-theory satisfiability heuristics

1

Quando utilizzare Soddisfazione per vincoli vs SAT?

Se ho un problema difficile, un approccio standard è quello di esprimerlo come istanza SAT e provare a eseguire un solutore SAT su di esso. Un altro approccio standard è quello di esprimerlo come un problema di soddisfazione dei vincoli e provare a utilizzare un risolutore CSP. I due si …

18 heuristics sat-solvers constraint-programming

2

In che modo un euristico ammissibile garantisce una soluzione ottimale?

Quando si utilizza A * (o qualsiasi altro algoritmo di individuazione del percorso migliore), si dice che l'euristico usato dovrebbe essere ammissibile , cioè non dovrebbe mai sopravvalutare la lunghezza (o le mosse) del percorso della soluzione effettiva. In che modo un euristico ammissibile garantisce una soluzione ottimale? Preferibilmente sto …

16 algorithms artificial-intelligence search-algorithms heuristics

2

Temperatura iniziale in algoritmo di ricottura simulato

Ho eseguito alcuni test su diverse temperature iniziali nel mio algoritmo di ricottura di simulazione e ho notato che la temperatura iniziale influisce sulle prestazioni dell'algoritmo. Esiste un modo per calcolare una buona temperatura iniziale?

14 optimization artificial-intelligence heuristics

1

In che modo la coerenza implica che anche un'euristica è ammissibile?

Una funzione euristica h(n)h(n)h (n) è ... Coerente se il costo stimato dal nodo nnn all'obiettivo non è maggiore del costo del passaggio per il suo successore n′n′n' più il costo stimato dal successore all'obiettivo. È ammissibile se h(n)h(n)h(n) non sopravvaluta mai il costo reale per lo stato obiettivo. Il …

13 algorithms shortest-path heuristics

3

Differenza tra algoritmo euristico e di approssimazione?

ho un problema relativo alla seguente situazione. Ho due matrici di numeri come questo: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array …

9 approximation heuristics

1

Problema di altezza massima di impilamento

Il problema seguente è stato studiato in precedenza? Se sì, quali approcci / algoritmi sono stati sviluppati per risolverlo? Problema ("Problema altezza massima di impilamento") Dati poligoni, trovano la loro disposizione stabile e non sovrapposta che massimizza la loro altezza di accatastamento su un piano fisso sotto l'influenza della gravità.nnn …

8 algorithms time-complexity optimization computational-geometry heuristics

Domande taggate «heuristics»