Indice
20 relazioni: Algoritmi per la generazione di un labirinto, Algoritmo di Ullmann, Algoritmo ID3, Algoritmo ricorsivo, Alter Echo, Backward chaining, DPLL, Generazione di programmi di prova automatici, Gerald Jay Sussman, Pentamino, Problema della cricca, Problema di soddisfacimento di vincoli, Programmazione a vincoli, Prolog, Ricerca in profondità, Rompicapo delle otto regine, Shiatsu, Tails Adventure, The Great Fusion, 2-satisfiability.
Algoritmi per la generazione di un labirinto
Gli algoritmi per la generazione di un labirinto sono metodi automatizzati per la creazione di labirinti.
Vedere Backtracking e Algoritmi per la generazione di un labirinto
Algoritmo di Ullmann
L'algoritmo di Ullmann è un algoritmo per la soluzione del problema dell'isomorfismo di sottografi. Il problema è NP-completo e l'algoritmo non fornisce una soluzione in tempo polinomiale, tuttavia utilizza tecniche quali il backtracking per diminuire il tempo effettivo di esecuzione, che però non hanno effetto sulla complessità asintotica, che rimane esponenziale.
Vedere Backtracking e Algoritmo di Ullmann
Algoritmo ID3
ID3 (Iterative Dichotomiser 3) è un algoritmo greedy per l'induzione di alberi di decisione.
Vedere Backtracking e Algoritmo ID3
Algoritmo ricorsivo
In informatica viene detto algoritmo ricorsivo, o ricorsione, un algoritmo espresso in termini di se stesso, ovvero in cui l'esecuzione dell'algoritmo su un insieme di dati comporta la semplificazione o suddivisione dell'insieme di dati e l'applicazione dello stesso algoritmo agli insiemi di dati semplificati.
Vedere Backtracking e Algoritmo ricorsivo
Alter Echo
Alter Echo è un videogioco in stile avventura dinamica sviluppato da Outrage Games e pubblicato da THQ per le console PlayStation 2 e Xbox nel 2003.
Vedere Backtracking e Alter Echo
Backward chaining
Il backward chaining o backward reasoning (lett. risp. "incatenamento a ritroso" e "ragionamento a ritroso") è un metodo di ragionamento automatico che consiste, intuitivamente, nel ragionare partendo dall'obiettivo e procedere a ritroso verso i dati a disposizione.
Vedere Backtracking e Backward chaining
DPLL
DPLL (Davis-Putnam-Logemann-Loveland) è un algoritmo di ricerca esaustiva, basato sul backtracking, utilizzato per decidere la soddisfacibilità booleana di formule di logica proposizionale in forma normale congiuntiva (CNF), problema noto come CNF-SAT.
Vedere Backtracking e DPLL
Generazione di programmi di prova automatici
La generazione automatica di vettori di collaudo (ATPG) è un metodo e una tecnologia, utilizzata per trovare una sequenza di collaudo che, quando applicata ad un circuito digitale, dà la possibilità ai tester di distinguere fra il comportamento del circuito corretto e non corretto determinato da anomalie funzionali.
Vedere Backtracking e Generazione di programmi di prova automatici
Gerald Jay Sussman
E' il professore di ingegneria elettrica presso il Massachusetts Institute of Technology (MIT). Ha ricevuto la laurea (bachelor) e dottorato in matematica al MIT rispettivamente nel 1968 e nel 1973.
Vedere Backtracking e Gerald Jay Sussman
Pentamino
Un pentamino (dal greco πέντε, cinque) è un polimino composto di cinque quadrati identici, connessi tra di loro lungo dei lati. Esistono dodici diversi pentamini, convenzionalmente chiamati con le lettere dell'alfabeto a cui assomigliano.
Vedere Backtracking e Pentamino
Problema della cricca
In informatica, il problema della cricca si riferisce a uno qualsiasi dei problemi legati alla ricerca di particolari sottografi completi ("cricche") in un grafo, cioè, insiemi di elementi dove ciascuna coppia di elementi è connessa.
Vedere Backtracking e Problema della cricca
Problema di soddisfacimento di vincoli
Molti problemi nell'ambito dell'Intelligenza Artificiale sono classificabili come Problemi di Soddisfacimento di Vincoli (Constraint Satisfaction Problem o CSP); fra questi citiamo problemi di complessità combinatorica, di allocazione di risorse, pianificazione e ragionamento temporale.
Vedere Backtracking e Problema di soddisfacimento di vincoli
Programmazione a vincoli
In informatica la programmazione a vincoli, detta anche programmazione con vincoli o constraint è un paradigma di programmazione dove le relazioni fra variabili possono essere dichiarate in forma di vincoli.
Vedere Backtracking e Programmazione a vincoli
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Vedere Backtracking e Prolog
Ricerca in profondità
Nella teoria dei grafi, la ricerca in profondità (in acronimo DFS), è un algoritmo di ricerca su alberi e grafi. A differenza della ricerca in ampiezza, ha la caratteristica di essere intrinsecamente ricorsivo.
Vedere Backtracking e Ricerca in profondità
Rompicapo delle otto regine
Il rompicapo (o problema) delle otto regine è un problema che consiste nel trovare il modo di posizionare otto donne (pezzo degli scacchi) su una scacchiera 8×8 tali che nessuna di esse possa catturarne un'altra, usando i movimenti standard della regina.
Vedere Backtracking e Rompicapo delle otto regine
Shiatsu
Lo, diffuso in Giappone agli inizi del secolo scorso, è una pratica manuale manipolatoria che stimola nel ricevente le risorse vitali necessarie al recupero e al mantenimento di una condizione di buona salute (il corpo reagisce da solo).
Vedere Backtracking e Shiatsu
Tails Adventure
, anche conosciuto come Tails Adventures nella schermata del titolo e sulla confezione della versione giapponese, è un videogioco a piattaforme sviluppato da Aspect e pubblicato da Sega nel 1995 per la console Game Gear.
Vedere Backtracking e Tails Adventure
The Great Fusion
The Great Fusion è un videogioco di tipo avventura punta e clicca per i sistemi iOS, Android, Windows, macOS e Linux. Il gioco ricalca le tipiche avventure grafiche Lucasarts degli anni '90.
Vedere Backtracking e The Great Fusion
2-satisfiability
In informatica, 2-satisfiability, 2-SAT o semplicemente 2SAT è un problema di soddisfacibilità booleana con clausole composte da coppie di letterali.