risolutore

Risolutore è un termine italiano che indica chi o ciò che risolve un problema. In senso ampio si riferisce a persone, strumenti, programmi o dispositivi in grado di trovare soluzioni a questioni matematiche, logiche, computazionali o di rete. L’uso è comune in contesti accademici, ingegneristici e informatici.

In matematica e informatica, i risolutori sono software o algoritmi progettati per determinare soluzioni. Si incontrano risolutori di equazioni lineari e non lineari, di sistemi di equazioni, nonché risolutori di problemi di ottimizzazione (ad esempio programmazione lineare o convessa) e di vincoli. Esistono anche risolutori logici o di teoremi che operano su espressioni simboliche o formulate con vincoli logici.

Nell’uso pratico dell’informatica, un risolutore può essere una libreria o un modulo che, data una descrizione del problema, restituisce una o più soluzioni. Le prestazioni e la scelta dell’algoritmo dipendono dal tipo di problema, dall’esattezza richiesta e dalle risorse disponibili. I risolutori possono impiegare metodi deterministici, iterative o heuristici, a seconda del contesto.

Nel settore delle reti, il termine è anche usato per lo "DNS resolver" (risolutore DNS), un componente che traduce nomi di dominio in indirizzi IP interrogando la gerarchia dei server DNS.

Etimologia: deriva dal verbo risolvere. In italiano contemporaneo, risolutore indica quindi sia la persona sia l’algoritmo o lo strumento in grado di fornire soluzioni a problemi specifici.