genetic theory of cubic graphs › presentation › 14fb › ... · of cubic graphs on n vertices....

Genetic Theory of Cubic Graphs

Pouya Baniasadi

Hamiltonian Cycle, Traveling Salesman and RelatedOptimization Problems Workshop, 2012

Pouya Baniasadi Genetic Theory of Cubic Graphs

Joint work with:

Vladimir Ejov, Jerzy Filar, Michael Haythorpe

Earlier works containing ideas that can be seen as precursors.

1 D. Blanus̆a. “Problem cetiriju boja.” Glasnik Mat. Fiz. Astr.Ser. II, 1:31–42, 1946.

2 N. Wormald. “Enumeration of labelled graphs II: Cubicgraphs with a given connectivity.” Journal of the LondonMathematical Society, s2-20(1):1-7, 1979.

3 B. D. McKay and G. F. Royle. “Constructing the cubic graphson up to 20 vertices.” Ars Combinatoria, 12A:129–140, 1986.

4 G. Brinkmann. “Fast Generation of Cubic Graphs.” Journal ofGraph Theory, 23:139–149, 1996.

5 G. Nguyen. “Hamiltonian Cycle Problem, Markov DecisionProcesses and Graph Spectra”. PhD Thesis, UniSA, 2009.

Pouya Baniasadi Genetic Theory of Cubic Graphs

The Hamiltonian Cycle Problem: An Introduction

The Hamiltonian Cycle Problem (HCP) is defined by thefollowing - deceptively simple - statement:

Given a graph, find a simple cycle that contains all vertices of thegraph (Hamiltonian cycle (HC)) or prove that one does not exist.

The HCP is NP-Complete and has become a challenge both in itsown right and because of its close relationship to the famousTravelling Salesman Problem (TSP).

A graph is cubic, if every vertex has exactly three edges emanatingfrom it.

The HCP is already NP-Complete for cubic graphs.

Pouya Baniasadi Genetic Theory of Cubic Graphs

The Hamiltonian Cycle Problem: An Introduction

The Hamiltonian Cycle Problem (HCP) is defined by thefollowing - deceptively simple - statement:

Given a graph, find a simple cycle that contains all vertices of thegraph (Hamiltonian cycle (HC)) or prove that one does not exist.

The HCP is NP-Complete and has become a challenge both in itsown right and because of its close relationship to the famousTravelling Salesman Problem (TSP).

A graph is cubic, if every vertex has exactly three edges emanatingfrom it.

The HCP is already NP-Complete for cubic graphs.

Pouya Baniasadi Genetic Theory of Cubic Graphs

The Hamiltonian Cycle Problem: An Introduction

The Hamiltonian Cycle Problem (HCP) is defined by thefollowing - deceptively simple - statement:

Given a graph, find a simple cycle that contains all vertices of thegraph (Hamiltonian cycle (HC)) or prove that one does not exist.

The HCP is NP-Complete and has become a challenge both in itsown right and because of its close relationship to the famousTravelling Salesman Problem (TSP).

A graph is cubic, if every vertex has exactly three edges emanatingfrom it.

The HCP is already NP-Complete for cubic graphs.

Pouya Baniasadi Genetic Theory of Cubic Graphs

The Hamiltonian Cycle Problem: An Introduction

The Hamiltonian Cycle Problem (HCP) is defined by thefollowing - deceptively simple - statement:

Given a graph, find a simple cycle that contains all vertices of thegraph (Hamiltonian cycle (HC)) or prove that one does not exist.

The HCP is NP-Complete and has become a challenge both in itsown right and because of its close relationship to the famousTravelling Salesman Problem (TSP).

A graph is cubic, if every vertex has exactly three edges emanatingfrom it.

The HCP is already NP-Complete for cubic graphs.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Studying the “Population” of Cubic Graphs

The philosophy underlying this presentation is that much canbe learned about the HCP, by studying the whole populationof cubic graphs on n vertices.

For small n there is reliable, public domain, software enablingus to explicitly enumerate all distinct, connected, cubic graphson n vertices.

Indeed, for n = 8, 10, 12, 14, 16, 18, there are5, 19, 85, 509, 4060, 41301 such graphs.

Unsurprisingly, perhaps, the structure of these classes ofgraphs is very rich.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Studying the “Population” of Cubic Graphs

The philosophy underlying this presentation is that much canbe learned about the HCP, by studying the whole populationof cubic graphs on n vertices.

For small n there is reliable, public domain, software enablingus to explicitly enumerate all distinct, connected, cubic graphson n vertices.

Indeed, for n = 8, 10, 12, 14, 16, 18, there are5, 19, 85, 509, 4060, 41301 such graphs.

Unsurprisingly, perhaps, the structure of these classes ofgraphs is very rich.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Studying the “Population” of Cubic Graphs

The philosophy underlying this presentation is that much canbe learned about the HCP, by studying the whole populationof cubic graphs on n vertices.

For small n there is reliable, public domain, software enablingus to explicitly enumerate all distinct, connected, cubic graphson n vertices.

Indeed, for n = 8, 10, 12, 14, 16, 18, there are5, 19, 85, 509, 4060, 41301 such graphs.

Unsurprisingly, perhaps, the structure of these classes ofgraphs is very rich.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Studying the “Population” of Cubic Graphs

The philosophy underlying this presentation is that much canbe learned about the HCP, by studying the whole populationof cubic graphs on n vertices.

For small n there is reliable, public domain, software enablingus to explicitly enumerate all distinct, connected, cubic graphson n vertices.

Indeed, for n = 8, 10, 12, 14, 16, 18, there are5, 19, 85, 509, 4060, 41301 such graphs.

Unsurprisingly, perhaps, the structure of these classes ofgraphs is very rich.

Pouya Baniasadi Genetic Theory of Cubic Graphs

“Population” of 10-vertex Cubic Graphs

First a sample of four (out of 19) Hamiltonian graphs

Pouya Baniasadi Genetic Theory of Cubic Graphs

“Population” of 10-vertex Cubic Graphs

Next, the only two (out of 19) non-Hamiltonian graphs

The first is a “bridge graph”, the second is the famousPetersen graph.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Rhetorical questions:

Can this richness of structure be, somehow, explained?

In particular, is it “inherited” from simpler structures?

Are there some cubic graphs that could be called “genes”?

If so, could all “non-genes” be “descendants” of genes?

If so, can this be of help in determining Hamiltonicity of agraph?

Pouya Baniasadi Genetic Theory of Cubic Graphs

Rhetorical questions:

Can this richness of structure be, somehow, explained?

In particular, is it “inherited” from simpler structures?

Are there some cubic graphs that could be called “genes”?

If so, could all “non-genes” be “descendants” of genes?

If so, can this be of help in determining Hamiltonicity of agraph?

Pouya Baniasadi Genetic Theory of Cubic Graphs

Rhetorical questions:

Can this richness of structure be, somehow, explained?

In particular, is it “inherited” from simpler structures?

Are there some cubic graphs that could be called “genes”?

If so, could all “non-genes” be “descendants” of genes?

If so, can this be of help in determining Hamiltonicity of agraph?

Pouya Baniasadi Genetic Theory of Cubic Graphs

Rhetorical questions:

Can this richness of structure be, somehow, explained?

In particular, is it “inherited” from simpler structures?

Are there some cubic graphs that could be called “genes”?

If so, could all “non-genes” be “descendants” of genes?

If so, can this be of help in determining Hamiltonicity of agraph?

Pouya Baniasadi Genetic Theory of Cubic Graphs

Rhetorical questions:

Can this richness of structure be, somehow, explained?

In particular, is it “inherited” from simpler structures?

Are there some cubic graphs that could be called “genes”?

If so, could all “non-genes” be “descendants” of genes?

If so, can this be of help in determining Hamiltonicity of agraph?

Pouya Baniasadi Genetic Theory of Cubic Graphs

Non-Hamiltonian cubic 12-vertex graphs

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

+ =

Hence, we say that Tietze’s graph is a “descendant” of thePetersen graph, and the 4-vertex graph.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Tietze’s graph

+ =

Hence, we say that Tietze’s graph is a “descendant” of thePetersen graph, and the 4-vertex graph.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An n-cracker is a set of n non-adjacent edges whoseremoval disconnects the graph, such that removal of anyproper subset of the n-cracker does not disconnect the graph.

Example of a 2-cracker.

Example of a cutset that is not a cracker.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An n-cracker is a set of n non-adjacent edges whoseremoval disconnects the graph, such that removal of anyproper subset of the n-cracker does not disconnect the graph.

Example of a 2-cracker.

Example of a cutset that is not a cracker.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An n-cracker is a set of n non-adjacent edges whoseremoval disconnects the graph, such that removal of anyproper subset of the n-cracker does not disconnect the graph.

Example of a 2-cracker.

Example of a cutset that is not a cracker.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An “n-cracker” for n ∈ {1, 2, 3} will be called a “cubiccracker”.

A cubic graph without a cubic cracker will be called a“gene”!.

It will be seen that cubic cracker are created by simplebreeding operations.

Graphs obtained by these breeding operations are calleddescendants.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An “n-cracker” for n ∈ {1, 2, 3} will be called a “cubiccracker”.

A cubic graph without a cubic cracker will be called a“gene”!.

It will be seen that cubic cracker are created by simplebreeding operations.

Graphs obtained by these breeding operations are calleddescendants.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An “n-cracker” for n ∈ {1, 2, 3} will be called a “cubiccracker”.

A cubic graph without a cubic cracker will be called a“gene”!.

It will be seen that cubic cracker are created by simplebreeding operations.

Graphs obtained by these breeding operations are calleddescendants.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Crackers and Genes

An “n-cracker” for n ∈ {1, 2, 3} will be called a “cubiccracker”.

A cubic graph without a cubic cracker will be called a“gene”!.

It will be seen that cubic cracker are created by simplebreeding operations.

Graphs obtained by these breeding operations are calleddescendants.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 breeding

+ =

Creates a bridge graph, that is, a 1-cracker.

Descendant more complex than either parent.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 breeding

+ =

Creates a bridge graph, that is, a 1-cracker.

Descendant more complex than either parent.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 breeding

+ =

Creates a bridge graph, that is, a 1-cracker.

Descendant more complex than either parent.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 breeding

+ =

Descendant still more complex than either parent even thoughtotal number of vertices is the same.

Creates a 2-cracker

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 breeding

+ =

Descendant still more complex than either parent even thoughtotal number of vertices is the same.

Creates a 2-cracker

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 breeding

+

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 breeding

+ =

Descendant still more complex than either parent even thoughtotal number of vertices is reduced by 2.

Creates a 3-cracker

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 breeding

+ =

Descendant still more complex than either parent even thoughtotal number of vertices is reduced by 2.

Creates a 3-cracker

Pouya Baniasadi Genetic Theory of Cubic Graphs

Parthenogenesis

“Breeding” involving a single graph.

From biology: Parthenogenesis is a form of asexualreproduction that does not require the involvement of apartner.

Idea: Exploit the structure of an existing 1-cracker or2-cracker to create a more complex descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Parthenogenesis

“Breeding” involving a single graph.

From biology: Parthenogenesis is a form of asexualreproduction that does not require the involvement of apartner.

Idea: Exploit the structure of an existing 1-cracker or2-cracker to create a more complex descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Parthenogenesis

“Breeding” involving a single graph.

From biology: Parthenogenesis is a form of asexualreproduction that does not require the involvement of apartner.

Idea: Exploit the structure of an existing 1-cracker or2-cracker to create a more complex descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 Parthenogenic operation

&

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 1 Parthenogenic operation

& =

Inserts a parthenogenic diamond,

Increases total size by 4 vertices.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 Parthenogenic operation

&

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 2 Parthenogenic operation

& =

Inserts a parthenogenic bridge,

Increases total size by 2 vertices.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 Parthenogenic operation

&

Pouya Baniasadi Genetic Theory of Cubic Graphs

Type 3 Parthenogenic operation

& =

Inserts a parthenogenic triangle,

Increases total size by 2 vertices.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Descendants

Formally, a descendant is any cubic graph obtained byapplying a breeding/parthenogenic operation to one or twocubic graphs.

Equivalently, a descendant is any graph containing one ormore cubic crackers.

Results: Any cubic graph is either a gene G or a descendant graphGD . Suppose it is a descendant graph, then,

(1) GD can be obtained from a set of genes by a finite sequenceof the six breeding operations described earlier.

(2) The set of genes which through such a sequence of the sixbreeding operations results in the descendant graph GD willbe called the ancestor genes of ΓD

Pouya Baniasadi Genetic Theory of Cubic Graphs

Descendants

Formally, a descendant is any cubic graph obtained byapplying a breeding/parthenogenic operation to one or twocubic graphs.

Equivalently, a descendant is any graph containing one ormore cubic crackers.

Results: Any cubic graph is either a gene G or a descendant graphGD . Suppose it is a descendant graph, then,

(1) GD can be obtained from a set of genes by a finite sequenceof the six breeding operations described earlier.

(2) The set of genes which through such a sequence of the sixbreeding operations results in the descendant graph GD willbe called the ancestor genes of ΓD

Pouya Baniasadi Genetic Theory of Cubic Graphs

Descendants

Formally, a descendant is any cubic graph obtained byapplying a breeding/parthenogenic operation to one or twocubic graphs.

Equivalently, a descendant is any graph containing one ormore cubic crackers.

Results: Any cubic graph is either a gene G or a descendant graphGD . Suppose it is a descendant graph, then,

(1) GD can be obtained from a set of genes by a finite sequenceof the six breeding operations described earlier.

(2) The set of genes which through such a sequence of the sixbreeding operations results in the descendant graph GD willbe called the ancestor genes of ΓD

Pouya Baniasadi Genetic Theory of Cubic Graphs

Descendants

Formally, a descendant is any cubic graph obtained byapplying a breeding/parthenogenic operation to one or twocubic graphs.

Equivalently, a descendant is any graph containing one ormore cubic crackers.

Results: Any cubic graph is either a gene G or a descendant graphGD . Suppose it is a descendant graph, then,

(1) GD can be obtained from a set of genes by a finite sequenceof the six breeding operations described earlier.

(2) The set of genes which through such a sequence of the sixbreeding operations results in the descendant graph GD willbe called the ancestor genes of ΓD

Pouya Baniasadi Genetic Theory of Cubic Graphs

Ancestor Genes

There could be factorially many ways to decompose a graphinto a set of genes.

For example for an 80 node graph there could be up to 10billion decompositions.

Do we always obtain the same family of genes no matter howwe decompose the graph?

Theorem?

Every descendant possesses a unique set of ancestor genes.

If correct, this allows us to consider graph theoretic properties ofthe ancestor genes that are inherited by the descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Ancestor Genes

There could be factorially many ways to decompose a graphinto a set of genes.

For example for an 80 node graph there could be up to 10billion decompositions.

Do we always obtain the same family of genes no matter howwe decompose the graph?

Theorem?

Every descendant possesses a unique set of ancestor genes.

If correct, this allows us to consider graph theoretic properties ofthe ancestor genes that are inherited by the descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Ancestor Genes

There could be factorially many ways to decompose a graphinto a set of genes.

For example for an 80 node graph there could be up to 10billion decompositions.

Do we always obtain the same family of genes no matter howwe decompose the graph?

Theorem?

Every descendant possesses a unique set of ancestor genes.

If correct, this allows us to consider graph theoretic properties ofthe ancestor genes that are inherited by the descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Ancestor Genes

There could be factorially many ways to decompose a graphinto a set of genes.

For example for an 80 node graph there could be up to 10billion decompositions.

Do we always obtain the same family of genes no matter howwe decompose the graph?

Theorem?

Every descendant possesses a unique set of ancestor genes.

If correct, this allows us to consider graph theoretic properties ofthe ancestor genes that are inherited by the descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Ancestor Genes

There could be factorially many ways to decompose a graphinto a set of genes.

For example for an 80 node graph there could be up to 10billion decompositions.

Do we always obtain the same family of genes no matter howwe decompose the graph?

Theorem?

Every descendant possesses a unique set of ancestor genes.

If correct, this allows us to consider graph theoretic properties ofthe ancestor genes that are inherited by the descendant.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Uniqueness of ancestor genes

Pouya Baniasadi Genetic Theory of Cubic Graphs

Genetic Theory and Non-Hamiltonicity

It can be shown that breeding a non-Hamiltonian genecreates a non-Hamiltonian descendant! But...

When are descendants of Hamiltonian genesnon-Hamiltonian?

Type 1 breeding - non-Hamiltonian.

Type 2 & 3 breeding - usually (but not always) Hamiltonian.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Genetic Theory and Non-Hamiltonicity

It can be shown that breeding a non-Hamiltonian genecreates a non-Hamiltonian descendant! But...

When are descendants of Hamiltonian genesnon-Hamiltonian?

Type 1 breeding - non-Hamiltonian.

Type 2 & 3 breeding - usually (but not always) Hamiltonian.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Genetic Theory and Non-Hamiltonicity

It can be shown that breeding a non-Hamiltonian genecreates a non-Hamiltonian descendant! But...

When are descendants of Hamiltonian genesnon-Hamiltonian?

Type 1 breeding - non-Hamiltonian.

Type 2 & 3 breeding - usually (but not always) Hamiltonian.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Genetic Theory and Non-Hamiltonicity

It can be shown that breeding a non-Hamiltonian genecreates a non-Hamiltonian descendant! But...

When are descendants of Hamiltonian genesnon-Hamiltonian?

Type 1 breeding - non-Hamiltonian.

Type 2 & 3 breeding - usually (but not always) Hamiltonian.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Nodes NHNB graphs/NH Mutants/NH Mutants/NHNB

10 50.00% 50.00% 100%

12 20.00% 0% 0%

14 17.14% 0% 0%

16 15.07% 0% 0%

18 13.86% 0.12% 0.86%

20 12.60% 0.05% 0.38%

22 11.41% 0.02% 0.21%

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Nodes NHNB graphs/NH Mutants/NH Mutants/NHNB

10 50.00% 50.00% 100%

12 20.00% 0% 0%

14 17.14% 0% 0%

16 15.07% 0% 0%

18 13.86% 0.12% 0.86%

20 12.60% 0.05% 0.38%

22 11.41% 0.02% 0.21%

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Nodes NHNB graphs/NH Mutants/NH Mutants/NHNB

10 50.00% 50.00% 100%

12 20.00% 0% 0%

14 17.14% 0% 0%

16 15.07% 0% 0%

18 13.86% 0.12% 0.86%

20 12.60% 0.05% 0.38%

22 11.41% 0.02% 0.21%

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Similar to, but more general than, snarks.

BH-Mutant

Zircon-Mutant

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Similar to, but more general than, snarks.

BH-Mutant

Zircon-Mutant

Pouya Baniasadi Genetic Theory of Cubic Graphs

Mutants

A mutant is any gene that is non-Hamiltonian.

Extremely rare.

Similar to, but more general than, snarks.

BH-Mutant

Zircon-Mutant

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

The following properties can be inherited from the ancestor genes:

Non-Hamiltonicity (if any ancestor genes are mutants)

However, some non-bridge, non-Hamiltonian descendants existwith all Hamiltonian ancestor genes.

Bipartiteness (if and only if all genes are bipartite)

Planarity (if and only if all genes are planar)

There are undoubtedly other such graph theoretic properties thatcan be inherited.

Motivates a decomposition algorithm for graph theory problems -first identify ancestor genes, then solve the finite set of smallerproblems.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Identification of ancestors

Under mild technical conditions all six breeding operations areinvertible (ie., identify a unique parent or pair of parents).

Result: Identification all ancestor genes can always be achieved, inpolynomial time, by searching for crackers.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Identification of ancestors

Under mild technical conditions all six breeding operations areinvertible (ie., identify a unique parent or pair of parents).

Result: Identification all ancestor genes can always be achieved, inpolynomial time, by searching for crackers.

Pouya Baniasadi Genetic Theory of Cubic Graphs

Inheritence of graph theoretic properties

Any Questions?

Pouya Baniasadi Genetic Theory of Cubic Graphs