SlideShare a Scribd company logo
1 of 2
Download to read offline
Dirac theorem:
For a simple network with n 3 vertices, if each vertex has degree
at least n/2 (i.e., ki n/2, i), then the network has a Hamiltonian cycle,.
Proof: Let G be the connected graph
Let L = (i1,iL) = (i1, i2, . . . , iL) be the longest path.
The neighbors of vertex i1 must lie on
(i1, iL); the same is true for vertex iL, since if say i is not a neighbour, i i1 i2 ...iiL would be the
longest path contradicting our selection of the longest path.
The same for iL also.
So both i1 and iL are adjacent to vertices in the longest path L only,
Since degree of i1>k/2 and i1 is not adjacent to itself, k> n/2 +1
Let us assume a claim
There is some value of j (1jk) such that:
Incase claim is not true,
Since all vertices adjacent to L1 or Lk lie on L, there must be at least deg(L1) vertices on P not
adjacent to Lk.
Since all the vertices adjacent to Lk and pk itself also lie on P, the path must have at least
deg(L1)+deg(Lk)+1n+1 vertices.
But L has only n vertices: a contradiction.
This gives a cycle C=Lj+1Lj+2…LkLjLj1…L2L1Lj+1.
Suppose LC is nonempty.
Then since L is connected, there must be a vertex vGC adjacent to some Li.
So the path from v to Li and then around C to the vertex adjacent to Li is longer than L,
contradicting the definition of L.
Hence our assumption/claim is true.
Therefore all vertices in L are contained in C, making C a Hamilton cycle.
Solution
Dirac theorem:
For a simple network with n 3 vertices, if each vertex has degree
at least n/2 (i.e., ki n/2, i), then the network has a Hamiltonian cycle,.
Proof: Let G be the connected graph
Let L = (i1,iL) = (i1, i2, . . . , iL) be the longest path.
The neighbors of vertex i1 must lie on
(i1, iL); the same is true for vertex iL, since if say i is not a neighbour, i i1 i2 ...iiL would be the
longest path contradicting our selection of the longest path.
The same for iL also.
So both i1 and iL are adjacent to vertices in the longest path L only,
Since degree of i1>k/2 and i1 is not adjacent to itself, k> n/2 +1
Let us assume a claim
There is some value of j (1jk) such that:
Incase claim is not true,
Since all vertices adjacent to L1 or Lk lie on L, there must be at least deg(L1) vertices on P not
adjacent to Lk.
Since all the vertices adjacent to Lk and pk itself also lie on P, the path must have at least
deg(L1)+deg(Lk)+1n+1 vertices.
But L has only n vertices: a contradiction.
This gives a cycle C=Lj+1Lj+2…LkLjLj1…L2L1Lj+1.
Suppose LC is nonempty.
Then since L is connected, there must be a vertex vGC adjacent to some Li.
So the path from v to Li and then around C to the vertex adjacent to Li is longer than L,
contradicting the definition of L.
Hence our assumption/claim is true.
Therefore all vertices in L are contained in C, making C a Hamilton cycle.

More Related Content

Similar to Dirac theoremFor a simple network with n 3 vertices, if each ver.pdf

1 s2.0-0012365 x81900017-main
1 s2.0-0012365 x81900017-main1 s2.0-0012365 x81900017-main
1 s2.0-0012365 x81900017-main
Bala Krishna
 
elliptic-curves-modern
elliptic-curves-modernelliptic-curves-modern
elliptic-curves-modern
Eric Seifert
 
хагас дамжуулагчийн физик
хагас дамжуулагчийн физикхагас дамжуулагчийн физик
хагас дамжуулагчийн физик
Jkl L
 
Discrete-Chapter 11 Graphs Part III
Discrete-Chapter 11 Graphs Part IIIDiscrete-Chapter 11 Graphs Part III
Discrete-Chapter 11 Graphs Part III
Wongyos Keardsri
 
A study on connectivity in graph theory june 18 123e
A study on connectivity in graph theory  june 18 123eA study on connectivity in graph theory  june 18 123e
A study on connectivity in graph theory june 18 123e
aswathymaths
 
A study on connectivity in graph theory june 18 pdf
A study on connectivity in graph theory  june 18 pdfA study on connectivity in graph theory  june 18 pdf
A study on connectivity in graph theory june 18 pdf
aswathymaths
 

Similar to Dirac theoremFor a simple network with n 3 vertices, if each ver.pdf (20)

Gauge theory field
Gauge theory fieldGauge theory field
Gauge theory field
 
2300notesset11v11 130808223429-phpapp02
2300notesset11v11 130808223429-phpapp022300notesset11v11 130808223429-phpapp02
2300notesset11v11 130808223429-phpapp02
 
An Application Of Graph Theory In Cryptography
An Application Of Graph Theory In CryptographyAn Application Of Graph Theory In Cryptography
An Application Of Graph Theory In Cryptography
 
Laplace
LaplaceLaplace
Laplace
 
1 s2.0-0012365 x81900017-main
1 s2.0-0012365 x81900017-main1 s2.0-0012365 x81900017-main
1 s2.0-0012365 x81900017-main
 
elliptic-curves-modern
elliptic-curves-modernelliptic-curves-modern
elliptic-curves-modern
 
graphs
graphsgraphs
graphs
 
хагас дамжуулагчийн физик
хагас дамжуулагчийн физикхагас дамжуулагчийн физик
хагас дамжуулагчийн физик
 
Discrete-Chapter 11 Graphs Part III
Discrete-Chapter 11 Graphs Part IIIDiscrete-Chapter 11 Graphs Part III
Discrete-Chapter 11 Graphs Part III
 
Kirchoff''s matrix tree theorem
Kirchoff''s matrix tree theoremKirchoff''s matrix tree theorem
Kirchoff''s matrix tree theorem
 
Free Electron Fermi Gas Lecture3.pdf
Free Electron Fermi Gas Lecture3.pdfFree Electron Fermi Gas Lecture3.pdf
Free Electron Fermi Gas Lecture3.pdf
 
Neil Lambert - From D-branes to M-branes
Neil Lambert - From D-branes to M-branesNeil Lambert - From D-branes to M-branes
Neil Lambert - From D-branes to M-branes
 
Laplace transform
Laplace transformLaplace transform
Laplace transform
 
Laplace transform
Laplace transformLaplace transform
Laplace transform
 
Lecture 27 inductors. stored energy. lr circuits
Lecture 27  inductors. stored energy. lr circuitsLecture 27  inductors. stored energy. lr circuits
Lecture 27 inductors. stored energy. lr circuits
 
4 b5lecture62008
4 b5lecture620084 b5lecture62008
4 b5lecture62008
 
A study on connectivity in graph theory june 18 123e
A study on connectivity in graph theory  june 18 123eA study on connectivity in graph theory  june 18 123e
A study on connectivity in graph theory june 18 123e
 
Transmissionline
TransmissionlineTransmissionline
Transmissionline
 
A study on connectivity in graph theory june 18 pdf
A study on connectivity in graph theory  june 18 pdfA study on connectivity in graph theory  june 18 pdf
A study on connectivity in graph theory june 18 pdf
 
Laplace transform and its application
Laplace transform and its applicationLaplace transform and its application
Laplace transform and its application
 

More from anandatalapatra

These both are inflammatory bowel diseases characterized by chronic .pdf
These both are inflammatory bowel diseases characterized by chronic .pdfThese both are inflammatory bowel diseases characterized by chronic .pdf
These both are inflammatory bowel diseases characterized by chronic .pdf
anandatalapatra
 
The topological structure is mainly gives the representaion of the n.pdf
The topological structure is mainly gives the representaion of the n.pdfThe topological structure is mainly gives the representaion of the n.pdf
The topological structure is mainly gives the representaion of the n.pdf
anandatalapatra
 
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdfQues-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
anandatalapatra
 
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdfPart I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
anandatalapatra
 
JellyBean.javapackage jellybeantester;public class JellyBean {.pdf
JellyBean.javapackage jellybeantester;public class JellyBean {.pdfJellyBean.javapackage jellybeantester;public class JellyBean {.pdf
JellyBean.javapackage jellybeantester;public class JellyBean {.pdf
anandatalapatra
 
In present DNA microarray technology, the different test-samples are.pdf
In present DNA microarray technology, the different test-samples are.pdfIn present DNA microarray technology, the different test-samples are.pdf
In present DNA microarray technology, the different test-samples are.pdf
anandatalapatra
 
Border Gateway Protocol (BGP) is the protocol whi.pdf
                     Border Gateway Protocol (BGP) is the protocol whi.pdf                     Border Gateway Protocol (BGP) is the protocol whi.pdf
Border Gateway Protocol (BGP) is the protocol whi.pdf
anandatalapatra
 

More from anandatalapatra (20)

P(helium) + p(oxygen) = P(total) = P(helium) = P.pdf
                     P(helium) + p(oxygen) = P(total) = P(helium) = P.pdf                     P(helium) + p(oxygen) = P(total) = P(helium) = P.pdf
P(helium) + p(oxygen) = P(total) = P(helium) = P.pdf
 
NaCl it has two atoms in a molecule for 1 mole of.pdf
                     NaCl it has two atoms in a molecule for 1 mole of.pdf                     NaCl it has two atoms in a molecule for 1 mole of.pdf
NaCl it has two atoms in a molecule for 1 mole of.pdf
 
just find the moles and then use PV = nRT to fin.pdf
                     just find the moles and then use PV = nRT to fin.pdf                     just find the moles and then use PV = nRT to fin.pdf
just find the moles and then use PV = nRT to fin.pdf
 
Water might be the most possible item through which bacteria entered.pdf
Water might be the most possible item through which bacteria entered.pdfWater might be the most possible item through which bacteria entered.pdf
Water might be the most possible item through which bacteria entered.pdf
 
Total particles = 1000Number of particles entering the small apert.pdf
Total particles = 1000Number of particles entering the small apert.pdfTotal particles = 1000Number of particles entering the small apert.pdf
Total particles = 1000Number of particles entering the small apert.pdf
 
These both are inflammatory bowel diseases characterized by chronic .pdf
These both are inflammatory bowel diseases characterized by chronic .pdfThese both are inflammatory bowel diseases characterized by chronic .pdf
These both are inflammatory bowel diseases characterized by chronic .pdf
 
The topological structure is mainly gives the representaion of the n.pdf
The topological structure is mainly gives the representaion of the n.pdfThe topological structure is mainly gives the representaion of the n.pdf
The topological structure is mainly gives the representaion of the n.pdf
 
The main components of protein family members of RISC complex are.pdf
The main components of protein family members of RISC complex are.pdfThe main components of protein family members of RISC complex are.pdf
The main components of protein family members of RISC complex are.pdf
 
Solution It is for the auditors and other people involved in the .pdf
Solution It is for the auditors and other people involved in the .pdfSolution It is for the auditors and other people involved in the .pdf
Solution It is for the auditors and other people involved in the .pdf
 
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdfQues-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
Ques-1 Answer C. neutrophilsReasonInnate immune system is wit.pdf
 
relation between concentration and cell potential is given as Ecel.pdf
relation between concentration and cell potential is given as Ecel.pdfrelation between concentration and cell potential is given as Ecel.pdf
relation between concentration and cell potential is given as Ecel.pdf
 
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdfPart I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
Part I Identifying Your Customer’s Needs and Goals Chapter 1 A.pdf
 
PrintTest.java import java.util.Scanner;public class PrintTest.pdf
PrintTest.java import java.util.Scanner;public class PrintTest.pdfPrintTest.java import java.util.Scanner;public class PrintTest.pdf
PrintTest.java import java.util.Scanner;public class PrintTest.pdf
 
Existence of hydrogen bonding increases boiling p.pdf
                     Existence of hydrogen bonding increases boiling p.pdf                     Existence of hydrogen bonding increases boiling p.pdf
Existence of hydrogen bonding increases boiling p.pdf
 
JellyBean.javapackage jellybeantester;public class JellyBean {.pdf
JellyBean.javapackage jellybeantester;public class JellyBean {.pdfJellyBean.javapackage jellybeantester;public class JellyBean {.pdf
JellyBean.javapackage jellybeantester;public class JellyBean {.pdf
 
In present DNA microarray technology, the different test-samples are.pdf
In present DNA microarray technology, the different test-samples are.pdfIn present DNA microarray technology, the different test-samples are.pdf
In present DNA microarray technology, the different test-samples are.pdf
 
In computer graphics vectors perform the operations are...1.Rotati.pdf
In computer graphics vectors perform the operations are...1.Rotati.pdfIn computer graphics vectors perform the operations are...1.Rotati.pdf
In computer graphics vectors perform the operations are...1.Rotati.pdf
 
copper iodide are incompatible in oxidising media.pdf
                     copper iodide are incompatible in oxidising media.pdf                     copper iodide are incompatible in oxidising media.pdf
copper iodide are incompatible in oxidising media.pdf
 
Construction Supervisor ResponsibilitiesCompletes construction pr.pdf
Construction Supervisor ResponsibilitiesCompletes construction pr.pdfConstruction Supervisor ResponsibilitiesCompletes construction pr.pdf
Construction Supervisor ResponsibilitiesCompletes construction pr.pdf
 
Border Gateway Protocol (BGP) is the protocol whi.pdf
                     Border Gateway Protocol (BGP) is the protocol whi.pdf                     Border Gateway Protocol (BGP) is the protocol whi.pdf
Border Gateway Protocol (BGP) is the protocol whi.pdf
 

Recently uploaded

Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
AnaAcapella
 

Recently uploaded (20)

REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptx
 
Our Environment Class 10 Science Notes pdf
Our Environment Class 10 Science Notes pdfOur Environment Class 10 Science Notes pdf
Our Environment Class 10 Science Notes pdf
 
Economic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food AdditivesEconomic Importance Of Fungi In Food Additives
Economic Importance Of Fungi In Food Additives
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111
 
dusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learningdusjagr & nano talk on open tools for agriculture research and learning
dusjagr & nano talk on open tools for agriculture research and learning
 
What is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptxWhat is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptx
 
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
 
Play hard learn harder: The Serious Business of Play
Play hard learn harder:  The Serious Business of PlayPlay hard learn harder:  The Serious Business of Play
Play hard learn harder: The Serious Business of Play
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
PANDITA RAMABAI- Indian political thought GENDER.pptx
PANDITA RAMABAI- Indian political thought GENDER.pptxPANDITA RAMABAI- Indian political thought GENDER.pptx
PANDITA RAMABAI- Indian political thought GENDER.pptx
 
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
 
How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17
 
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxOn_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 

Dirac theoremFor a simple network with n 3 vertices, if each ver.pdf

  • 1. Dirac theorem: For a simple network with n 3 vertices, if each vertex has degree at least n/2 (i.e., ki n/2, i), then the network has a Hamiltonian cycle,. Proof: Let G be the connected graph Let L = (i1,iL) = (i1, i2, . . . , iL) be the longest path. The neighbors of vertex i1 must lie on (i1, iL); the same is true for vertex iL, since if say i is not a neighbour, i i1 i2 ...iiL would be the longest path contradicting our selection of the longest path. The same for iL also. So both i1 and iL are adjacent to vertices in the longest path L only, Since degree of i1>k/2 and i1 is not adjacent to itself, k> n/2 +1 Let us assume a claim There is some value of j (1jk) such that: Incase claim is not true, Since all vertices adjacent to L1 or Lk lie on L, there must be at least deg(L1) vertices on P not adjacent to Lk. Since all the vertices adjacent to Lk and pk itself also lie on P, the path must have at least deg(L1)+deg(Lk)+1n+1 vertices. But L has only n vertices: a contradiction. This gives a cycle C=Lj+1Lj+2…LkLjLj1…L2L1Lj+1. Suppose LC is nonempty. Then since L is connected, there must be a vertex vGC adjacent to some Li. So the path from v to Li and then around C to the vertex adjacent to Li is longer than L, contradicting the definition of L. Hence our assumption/claim is true. Therefore all vertices in L are contained in C, making C a Hamilton cycle. Solution Dirac theorem: For a simple network with n 3 vertices, if each vertex has degree at least n/2 (i.e., ki n/2, i), then the network has a Hamiltonian cycle,. Proof: Let G be the connected graph Let L = (i1,iL) = (i1, i2, . . . , iL) be the longest path.
  • 2. The neighbors of vertex i1 must lie on (i1, iL); the same is true for vertex iL, since if say i is not a neighbour, i i1 i2 ...iiL would be the longest path contradicting our selection of the longest path. The same for iL also. So both i1 and iL are adjacent to vertices in the longest path L only, Since degree of i1>k/2 and i1 is not adjacent to itself, k> n/2 +1 Let us assume a claim There is some value of j (1jk) such that: Incase claim is not true, Since all vertices adjacent to L1 or Lk lie on L, there must be at least deg(L1) vertices on P not adjacent to Lk. Since all the vertices adjacent to Lk and pk itself also lie on P, the path must have at least deg(L1)+deg(Lk)+1n+1 vertices. But L has only n vertices: a contradiction. This gives a cycle C=Lj+1Lj+2…LkLjLj1…L2L1Lj+1. Suppose LC is nonempty. Then since L is connected, there must be a vertex vGC adjacent to some Li. So the path from v to Li and then around C to the vertex adjacent to Li is longer than L, contradicting the definition of L. Hence our assumption/claim is true. Therefore all vertices in L are contained in C, making C a Hamilton cycle.