State Space Search Flashcards
state space search
represented using a search tree or search graph it is about finding a sequence of actions to lead from an initial state/position to a goal state without knowing how to get there
state
representation of the problem at a given point in time
actions
set of all possible moves
transition model
describes result of applying action to a sate given the environment (rules)
state-space
math representation of all possible states that a system can be in with actions to go from one to another
completeness
always finding a solution if one exists
optimality
finding the least costly solution
time complexity in terms of big 0
nodes generated/expanded
how run time grows as a function of input
space complexity in terms of big 0
max nodes in memory
how much memory required grows as function of input
uninformed search
single agent
systematically exploring state space without use of knowledge to guide the agent until finds goal state
inefficient unintelligent
uninformed search has the following features
initial state
transition model (rules)
set of possible actions
goal test
node in state space search has
represents a state in the search tree incl extra info like action that led to i, parent node, depth, costs)
path vs step cost
path is total cost of total cost associated with a particular sequence of actions
step cost is cost incurred moving from one state to another or taking a single action
how is search strategy determined?
dependant on order of nodes in fringe are expanded
if search algorithm picks first node determined by
how new nodes are added
if search algorithm picks last node determined by
which node picked to expand
4 types of tree searches
Breadth first
depth first
death limited
iterative depth
BFS, what, complete, optimal and space/time
expand nodes in order of adding them to the fringe
work across all in one depth before going down
yes will complete if there is a solution
not optimal in general
space and time expo
DFS, what, complete, optimal and space/time
explores nodes as far as possible along a branch before backtracking via stack
complete if finite depth not complete if in inf depth
not optimal
space linear
time expo
DLS what, complete, optimal and space/time
DFS with limited depth
prevents inf loop
complete if depth is enough to find solution
not optimal
space linear
time expo
IDS, what, complete, optimal
combines space efficiency of DFS with completeness of BFS
complete
not optimal in general
space linear
time expo
tree vs graph search
tree explores hirearchical structures with single root, simple but doesn’t;t check for repeated states so wastes time and space
graph searches explore connections accounting for cycles, keeps closed list of repeated states expanded so far so only adds new node is state is not found on list but takes additional memory to track visited states
informed search
single agent
systematically exploring state space with use of knowledge to prioritise node expansion on those that are more likely to lead it to the goal state
informed search features
initial state
set of possible actions
transition model (rules)
goal test (evaluation function to evaluate with respect to reaching goal)