54AIexp2
54AIexp2
2
Study and Implementation of Depth first search for problem
solving.
Date of Performance:
Date of Submission:
Vidyavardhini’s College of Engineering & Technology
Department of Computer Engineering
Aim: Study and Implementation of Depth first search for problem solving.
Objective: To study the uninformed searching techniques and its implementation for problem
solving.
Theory:
Artificial Intelligence is the study of building agents that act rationally. Most of the time,
these agents perform some kind of search algorithm in the background in order to achieve
their tasks.
● A search problem consists of:
● A State Space. Set of all possible states where you can be.
● A Start State. The state from where the search begins.
● A Goal Test. A function that looks at the current state returns whether or not it
is the goal state.
● The Solution to a search problem is a sequence of actions, called the plan that transforms
the start state to the goal state.
● This plan is achieved through search algorithms.
Depth First Search: DFS is an uninformed search method. It is also called blind search.
Uninformed search strategies use only the information available in the problem definition. A
search strategy is defined by picking the order of node expansion. Depth First Search (DFS)
searches deeper into the problem space. It is a recursive algorithm that uses the idea of
backtracking. It involves exhaustive searches of all the nodes by going ahead, if possible, else
by backtracking.
Pick a starting node and push all its adjacent nodes into a stack.
Pop a node from stack to select the next node to visit and push all its adjacent nodes into a
stack.
However, ensure that the nodes that are visited are marked. This will prevent you from
visiting the same node more than once. If you do not mark the nodes that are visited and you
visit the same node more than once, you may end up in an infinite loop.
Algorithm:
A standard DFS implementation puts each vertex of the graph into one of two categories:
CSL604: Artificial Intelligence Lab
Vidyavardhini’s College of Engineering & Technology
Department of Computer Engineering
1. Visited
2. Not Visited
The purpose of the algorithm is to mark each vertex as visited while avoiding cycles.
The DFS algorithm works as follows:
1.Start by putting any one of the graph's vertices on top of a stack.
2.Take the top item of the stack and add it to the visited list.
3.Create a list of that vertex's adjacent nodes. Add the ones which aren't in the visited
list to the top of the stack.
4.Keep repeating steps 2 and 3 until the stack is empty.
Pseudocode:
DFS-recursive(G, s):
mark s as visited
for all neighbours w of s in Graph G:
if w is not visited:
DFS-recursive(G, w)
Path: 1 🡪 2🡪 4🡪 5🡪 3
1. There is a possibility that it may go down the left-most path forever. Even a finite
graph can generate an infinite tree.
2. Depth-First Search is not guaranteed to find the solution.
3. No guarantee to find an optimum solution, if more than one solution exists.
Applications
A graph is said to be disconnected if it is not connected, i.e. if two nodes exist in the graph
such that there is no edge in between those nodes. In an undirected graph, a connected
component is a set of vertices in a graph that are linked to each other by paths.
Consider the example given in the diagram. Graph G is a disconnected graph and has the
following 3 connected components.
Code:
DFA:
Input:
if visited is None:
visited = set()
visited.add(current)
return
tree = {}
tree[parent] = []
tree[parent].append(child)
goal_node = input("Enter the goal node (or leave blank for regular DFS): ")
print("Depth-First Search:")
Output:
Enter the goal node (or leave blank for regular DFS): 1
Depth-First Search:
9751
Conclusion:
In conclusion, the Depth-First Search (DFS) algorithm provides a fundamental graph
traversal technique, exploring deeply using a stack (or recursion). DFS is well-suited for tasks
like topological sorting. It exhibits a time complexity of O(V + E), where V is the number of
vertices and E is the number of edges. Performance depends on the choice of data structure
and graph structure. Rigorous testing on diverse graphs and validation against established