Informatica teorica heuristics

5

Spiegazioni teoriche per il successo pratico dei solutori SAT?

Quali spiegazioni teoriche ci sono per il successo pratico dei solutori di SAT, e qualcuno può dare una panoramica e una spiegazione "stile Wikipedia" legandole tutte insieme? Per analogia, l' analisi semplificata ( versione arXiv ) per l'algoritmo simplex fa un ottimo lavoro spiegando perché funziona così bene nella pratica, …

43 cc.complexity-theory ds.algorithms sat heuristics

5

Qual è il numero massimo di matrimoni stabili per un'istanza del problema del matrimonio stabile?

Problema del matrimonio stabile: http://en.wikipedia.org/wiki/Stable_marriage_problem Sono consapevole che per un'istanza di SMP sono possibili molti altri matrimoni stabili oltre a quello restituito dall'algoritmo Gale-Shapley. Tuttavia, se ci viene dato solo , il numero di uomini / donne, poniamo la seguente domanda: possiamo costruire un elenco di preferenze che dia il …

24 ds.algorithms co.combinatorics graph-algorithms heuristics matching

2

Ci sono problemi NP completi senza euristica?

Esistono problemi NP completi senza un sottoinsieme infinito di istanze tale che l'appartenenza a Φ può essere decisa in tempo polinomiale e per tutti x ∈ Φ , x può essere risolta in tempo polinomiale? (Supponendo P ≠ N P )ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhiXxxP≠ NPP≠NPP \neq NP

18 cc.complexity-theory np-complete heuristics

5

Algoritmi veloci di larghezza degli alberi

Vorrei calcolare la larghezza dell'albero di un grafico. Esistono euristiche davvero buone per altri problemi con i grafici NP-hard come VF2 per l'isomorfismo dei sottografi, ad esempio con il codice disponibile in igraph . Li ho provati sui miei grafici e trovo che corrano molto velocemente per i miei dati. …

18 ds.algorithms graph-algorithms treewidth heuristics

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

2

Algoritmo decentralizzato per la determinazione di nodi influenti nei social network

In questo articolo di Kempe-Kleinberg-Tardos, gli autori propongono un avido algoritmo basato su funzioni sottomodulari per determinare i nodi più influenti in un grafico, con applicazioni ai social network.kkk Fondamentalmente l'algoritmo procede come segue: S=empty setS=empty setS = {\rm empty~set} scegli il nodo con la massima influenza individuale, chiamalo ; …

13 ds.algorithms graph-theory dc.distributed-comp social-sciences heuristics

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

1

Comprensione delle prestazioni dei solutori QFBV SMT

I risolutori SMT come Z3 o Boolector utilizzano un insieme complesso di euristiche per risolvere i problemi. Tuttavia, ciò rende anche molto difficile prevedere le prestazioni di un tale risolutore per un determinato problema. La mia domanda è quindi: Domanda Esiste un modo per comprendere o ottenere approfondimenti sulle prestazioni …

9 ds.algorithms sat heuristics

2

Elenco di problemi NP-difficili, dove esiste una ricerca attiva in euristica pratica

Sto cercando un elenco di problemi di ottimizzazione NP-hard, in cui esiste una ricerca attiva in euristica pratica per risolverli e ci sono benchmark comuni, che le persone cercano di battere. Gli esempi includono: Ricostruzione dell'albero filogenetico (euristica ad esempio qui ) Venditore ambulante (non così attivo, ma LKH è …

9 heuristics

2

Generazione di interessanti problemi di ottimizzazione combinatoria

Sto insegnando un corso sulla meta-euristica e ho bisogno di generare esempi interessanti di classici problemi combinatori per il termine progetto. Concentriamoci su TSP. Stiamo affrontando grafici di dimensione e superiore. Ho ovviamente cercato di generare un grafico con una matrice di costo con valori presi da una casuale e …

9 ds.algorithms co.combinatorics optimization tsp heuristics

1

Euristica per l'ottimizzazione

Dal momento che è venerdì, è tempo di una domanda CW. Sto cercando euristiche che hanno un ampio uso in problemi di ottimizzazione. Per limitare il campo di applicazione a euristiche più "teoriche", ecco le regole (alcune arbitrarie, altre no) Dovrebbe essere un metodo ben definito senza numerosi parametri e …

9 ds.algorithms reference-request optimization heuristics

Domande taggate «heuristics»