Maximal Independent Set
An independent set of vertices does not contain any pair of vertices that are neighbors, i.e., ones which have an edge between them. A maximal independent set (MIS) is the largest independent set that contains those vertices; you cannot improve upon it unless you start over with a different independent set. However, the search for the largest possible independent set is an NPhard problem: there is no known algorithm that can find that answer in polynomial time. So we settle for the maximal independent set.
This algorithm finds use in applications wanting to find the most efficient configuration which "covers" all the necessary cases. For example, it has been used to optimize delivery or transit routes, where each vertex is one transit segment and each edge connects two segments that can not be covered by the same vehicle.
Since there could be multiple maximal independent sets, there are two versions of the Maximal Independent Set algorithm:

Deterministic. The deterministic version makes sure that you get the same results every time.

Randomized. The randomized version can produce different results every time you run it. The random version requires a userdefined function (UDF). See Query UserDefined Functions for how to add a UDF.
Specifications
tg_maximal_indep_set(STRING v_type, STRING e_type,
INT maximum_iteration = 100, BOOL print_results = TRUE, STRING file_path = "")
tg_maximal_indep_set_random(STRING v_type, STRING e_type,
INT maximum_iteration = 100, BOOL print_results = TRUE, STRING file_path = "")
Parameters
Parameter  Description  Default Value 


The vertex type to use 
(empty string) 

The edge type to use 
(empty string) 

The number of nearest neighbors to consider 
N/A 

If true, print output in JSON format to the standard output. 
True 

If not empty, write output to this file. 
(empty string) 
Example
Consider our social10 graph, with three components.
It is clear that for each of the two triangles — (Alex, Bob, Justin) and (Chase, Damon, Eddie) — we can select one vertex from each triangle to be part of the MIS.
For the 4vertex component (Fiona, George, Howard, Ivy), it is less clear what will happen. If the algorithm selects either George or Ivy, then no other independent vertices remain in the component. However, the algorithm could select both Fiona and Howard; they are independent of one another.
This demonstrates the uncertainty of the Maximal Independent Set algorithm and how it differs from Maximum Independent Set. A maximum independent set algorithm would always select Fiona and Howard, plus 2 others, for a total of 4 vertices. The maximal independent set algorithm relies on chance. It could return either 3 or 4 vertices.