{"id":2897,"date":"2025-06-06T03:20:44","date_gmt":"2025-06-06T03:20:44","guid":{"rendered":"https:\/\/diznr.com\/?p=2897"},"modified":"2025-06-06T03:20:44","modified_gmt":"2025-06-06T03:20:44","slug":"day-07part-05-discrete-mathematics-graph-theory-concept-of-complete-graph-bipartite","status":"publish","type":"post","link":"https:\/\/www.reilsolar.com\/pdf\/day-07part-05-discrete-mathematics-graph-theory-concept-of-complete-graph-bipartite\/","title":{"rendered":"Day 07Part 05- Discrete mathematics Graph Theory-Concept of Complete bipartite graph"},"content":{"rendered":"<p>Day 07Part 05- Discrete mathematics Graph Theory-Concept of Complete bipartite graph<\/p>\n<p>[fvplayer id=&#8221;164&#8243;]<\/p>\n<h3 data-start=\"0\" data-end=\"91\"><strong data-start=\"4\" data-end=\"89\">Complete Bipartite Graph in Discrete Mathematics (Graph Theory &#8211; Day 07, Part 05)<\/strong><\/h3>\n<h4 data-start=\"93\" data-end=\"133\"><strong data-start=\"98\" data-end=\"131\">\u00a0What is a Bipartite Graph?<\/strong><\/h4>\n<p data-start=\"134\" data-end=\"198\">A <strong data-start=\"136\" data-end=\"155\">bipartite graph<\/strong> is a type of graph <strong data-start=\"175\" data-end=\"189\">G = (V, E)<\/strong> where:<\/p>\n<ul data-start=\"199\" data-end=\"448\">\n<li data-start=\"199\" data-end=\"277\">The set of vertices <strong data-start=\"221\" data-end=\"226\">V<\/strong> is divided into <strong data-start=\"243\" data-end=\"274\">two disjoint sets (U and V)<\/strong>.<\/li>\n<li data-start=\"278\" data-end=\"342\">Every edge <strong data-start=\"291\" data-end=\"305\">(u, v) \u2208 E<\/strong> connects a vertex <strong data-start=\"324\" data-end=\"339\">from U to V<\/strong>.<\/li>\n<li data-start=\"343\" data-end=\"448\">There are <strong data-start=\"355\" data-end=\"387\">no edges within the same set<\/strong> (i.e., no edges connecting vertices within U or within V).<\/li>\n<\/ul>\n<h3 data-start=\"455\" data-end=\"503\"><strong data-start=\"459\" data-end=\"501\">\u00a0What is a Complete Bipartite Graph?<\/strong><\/h3>\n<p data-start=\"504\" data-end=\"842\">A <strong data-start=\"506\" data-end=\"534\">complete bipartite graph<\/strong>, denoted as <strong data-start=\"547\" data-end=\"555\">K\u2098,\u2099<\/strong>, is a special type of bipartite graph where:<br data-start=\"600\" data-end=\"603\" \/>\u00a0Every vertex in set <strong data-start=\"625\" data-end=\"643\">U (m vertices)<\/strong> is connected to <strong data-start=\"660\" data-end=\"698\">every vertex in set V (n vertices)<\/strong>.<br data-start=\"699\" data-end=\"702\" \/>\u00a0There are <strong data-start=\"714\" data-end=\"729\">m \u00d7 n edges<\/strong> (each vertex in U connects to every vertex in V).<br data-start=\"779\" data-end=\"782\" \/>\u00a0It is <strong data-start=\"790\" data-end=\"813\">maximally connected<\/strong> for a bipartite structure.<\/p>\n<h3 data-start=\"849\" data-end=\"906\"><strong data-start=\"853\" data-end=\"904\">\u00a0Example of a Complete Bipartite Graph (K\u2083,\u2084)<\/strong><\/h3>\n<p data-start=\"907\" data-end=\"934\">Consider <strong data-start=\"916\" data-end=\"924\">K\u2083,\u2084<\/strong>, where:<\/p>\n<ul data-start=\"935\" data-end=\"1092\">\n<li data-start=\"935\" data-end=\"979\"><strong data-start=\"937\" data-end=\"946\">Set U<\/strong> has <strong data-start=\"951\" data-end=\"965\">3 vertices<\/strong> \u2192 {A, B, C}<\/li>\n<li data-start=\"980\" data-end=\"1027\"><strong data-start=\"982\" data-end=\"991\">Set V<\/strong> has <strong data-start=\"996\" data-end=\"1010\">4 vertices<\/strong> \u2192 {1, 2, 3, 4}<\/li>\n<li data-start=\"1028\" data-end=\"1092\">Every vertex in <strong data-start=\"1046\" data-end=\"1051\">U<\/strong> is connected to <strong data-start=\"1068\" data-end=\"1089\">every vertex in V<\/strong>.<\/li>\n<\/ul>\n<h4 data-start=\"1094\" data-end=\"1126\"><strong data-start=\"1099\" data-end=\"1124\">Graph Representation:<\/strong><\/h4>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary\">\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"!whitespace-pre\">  <span class=\"hljs-selector-tag\">A<\/span> -- <span class=\"hljs-number\">1<\/span>   <span class=\"hljs-selector-tag\">B<\/span> -- <span class=\"hljs-number\">1<\/span>   C -- <span class=\"hljs-number\">1<\/span><br \/>\n<span class=\"hljs-selector-tag\">A<\/span> -- <span class=\"hljs-number\">2<\/span>   <span class=\"hljs-selector-tag\">B<\/span> -- <span class=\"hljs-number\">2<\/span>   C -- <span class=\"hljs-number\">2<\/span><br \/>\n<span class=\"hljs-selector-tag\">A<\/span> -- <span class=\"hljs-number\">3<\/span>   <span class=\"hljs-selector-tag\">B<\/span> -- <span class=\"hljs-number\">3<\/span>   C -- <span class=\"hljs-number\">3<\/span><br \/>\n<span class=\"hljs-selector-tag\">A<\/span> -- <span class=\"hljs-number\">4<\/span>   <span class=\"hljs-selector-tag\">B<\/span> -- <span class=\"hljs-number\">4<\/span>   C -- <span class=\"hljs-number\">4<\/span><br \/>\n<\/code><\/div>\n<\/div>\n<p data-start=\"1253\" data-end=\"1286\"><strong data-start=\"1256\" data-end=\"1284\">Total edges = 3 \u00d7 4 = 12<\/strong><\/p>\n<h3 data-start=\"1293\" data-end=\"1346\"><strong data-start=\"1297\" data-end=\"1344\">\u00a0Properties of a Complete Bipartite Graph<\/strong><\/h3>\n<p data-start=\"1347\" data-end=\"1570\"><strong data-start=\"1349\" data-end=\"1373\">No Odd-Length Cycles<\/strong> \u2013 A bipartite graph cannot have <strong data-start=\"1406\" data-end=\"1427\">odd-length cycles<\/strong>.<br data-start=\"1428\" data-end=\"1431\" \/><strong data-start=\"1433\" data-end=\"1461\">Chromatic Number (\u03c7) = 2<\/strong> \u2013 Since it\u2019s bipartite, it only requires <strong data-start=\"1503\" data-end=\"1517\">two colors<\/strong> for proper coloring.<br data-start=\"1538\" data-end=\"1541\" \/><strong data-start=\"1543\" data-end=\"1568\">Degree of Each Vertex<\/strong><\/p>\n<ul data-start=\"1574\" data-end=\"1796\">\n<li data-start=\"1574\" data-end=\"1634\">In <strong data-start=\"1579\" data-end=\"1587\">K\u2098,\u2099<\/strong>, each vertex in <strong data-start=\"1604\" data-end=\"1609\">U<\/strong> has a degree of <strong data-start=\"1626\" data-end=\"1631\">n<\/strong>.<\/li>\n<li data-start=\"1638\" data-end=\"1703\">Each vertex in <strong data-start=\"1655\" data-end=\"1660\">V<\/strong> has a degree of <strong data-start=\"1677\" data-end=\"1682\">m<\/strong>.<br data-start=\"1683\" data-end=\"1686\" \/>\u2714 <strong data-start=\"1688\" data-end=\"1701\">Planarity<\/strong><\/li>\n<li data-start=\"1707\" data-end=\"1796\"><strong data-start=\"1709\" data-end=\"1717\">K\u2082,\u2083<\/strong> is planar, but <strong data-start=\"1733\" data-end=\"1767\">K\u2083,\u2083 and beyond are non-planar<\/strong> (by Kuratowski\u2019s Theorem).<\/li>\n<\/ul>\n<h3 data-start=\"1803\" data-end=\"1868\"><strong data-start=\"1807\" data-end=\"1866\">\u00a0Real-World Applications of Complete Bipartite Graphs<\/strong><\/h3>\n<p data-start=\"1869\" data-end=\"2234\"><strong data-start=\"1872\" data-end=\"1898\">Job Assignment Problem<\/strong> \u2013 Connecting workers (U) to tasks (V).<br data-start=\"1937\" data-end=\"1940\" \/><strong data-start=\"1943\" data-end=\"1961\">Network Design<\/strong> \u2013 Connecting <strong data-start=\"1975\" data-end=\"2003\">data centers and servers<\/strong> efficiently.<br data-start=\"2016\" data-end=\"2019\" \/><strong data-start=\"2022\" data-end=\"2049\">Social Network Analysis<\/strong> \u2013 Representing relationships between two distinct groups (e.g., authors and research papers).<br data-start=\"2143\" data-end=\"2146\" \/><strong data-start=\"2149\" data-end=\"2174\">Computer Science &amp; AI<\/strong> \u2013 Used in matching algorithms and recommendation systems.<\/p>\n<h3 data-start=\"2241\" data-end=\"2264\"><strong data-start=\"2245\" data-end=\"2262\">\u00a0Conclusion<\/strong><\/h3>\n<p data-start=\"2265\" data-end=\"2545\">A <strong data-start=\"2267\" data-end=\"2300\">complete bipartite graph K\u2098,\u2099<\/strong> is a fundamental structure in graph theory, representing <strong data-start=\"2358\" data-end=\"2381\">maximum connections<\/strong> between two independent sets. Its applications in real-world problems make it an essential concept in <strong data-start=\"2484\" data-end=\"2538\">discrete mathematics, networking, and optimization<\/strong>.<\/p>\n<p data-start=\"2547\" data-end=\"2626\" data-is-last-node=\"\" data-is-only-node=\"\">Would you like an example problem or visualization for better understanding?<\/p>\n<h3 data-start=\"2547\" data-end=\"2626\"><a href=\"https:\/\/ugcmoocs.inflibnet.ac.in\/assets\/uploads\/1\/39\/994\/et\/P34_M03200219070702023030.pdf\" target=\"_blank\" rel=\"noopener\">Day 07Part 05- Discrete mathematics Graph Theory-Concept of Complete bipartite graph<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/www.zib.de\/userpage\/groetschel\/teaching\/WS1314\/BondyMurtyGTWA.pdf\" target=\"_blank\" rel=\"noopener\">GRAPH THEORY WITH APPLICATIONS<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/elearn.daffodilvarsity.edu.bd\/pluginfile.php\/1841042\/mod_label\/intro\/s9.2_graph_bipartite.pdf\" target=\"_blank\" rel=\"noopener\">Bipartite Graphs Discrete Mathematics<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/www.isical.ac.in\/~sourav\/Teaching\/ISI\/MTech\/DMath2018\/Lectures\/Lecture18.pdf\" target=\"_blank\" rel=\"noopener\">Lecture 17: Graph Theory Bipartite Graphs<\/a><\/h3>\n<p data-start=\"0\" data-end=\"122\">Here\u2019s a clear explanation for <strong data-start=\"31\" data-end=\"98\">Discrete Mathematics \u2013 Day 07 Part 05: Complete Bipartite Graph<\/strong> under <strong data-start=\"105\" data-end=\"121\">Graph Theory<\/strong>:<\/p>\n<hr data-start=\"124\" data-end=\"127\" \/>\n<h2 data-start=\"129\" data-end=\"173\">\ud83d\udcca <strong data-start=\"135\" data-end=\"173\">Complete Bipartite Graph \u2013 Concept<\/strong><\/h2>\n<h3 data-start=\"175\" data-end=\"212\">\ud83d\udd39 <strong data-start=\"182\" data-end=\"212\">What is a Bipartite Graph?<\/strong><\/h3>\n<p data-start=\"213\" data-end=\"252\">A <strong data-start=\"215\" data-end=\"234\">bipartite graph<\/strong> is a graph where:<\/p>\n<ul data-start=\"253\" data-end=\"432\">\n<li data-start=\"253\" data-end=\"326\">\n<p data-start=\"255\" data-end=\"326\">The <strong data-start=\"259\" data-end=\"286\">vertices can be divided<\/strong> into two disjoint sets: <strong data-start=\"311\" data-end=\"316\">U<\/strong> and <strong data-start=\"321\" data-end=\"326\">V<\/strong><\/p>\n<\/li>\n<li data-start=\"327\" data-end=\"391\">\n<p data-start=\"329\" data-end=\"391\"><strong data-start=\"329\" data-end=\"343\">Every edge<\/strong> connects a vertex in <strong data-start=\"365\" data-end=\"370\">U<\/strong> to a vertex in <strong data-start=\"386\" data-end=\"391\">V<\/strong><\/p>\n<\/li>\n<li data-start=\"392\" data-end=\"432\">\n<p data-start=\"394\" data-end=\"432\">No edge exists <strong data-start=\"409\" data-end=\"419\">within<\/strong> the same set<\/p>\n<\/li>\n<\/ul>\n<hr data-start=\"434\" data-end=\"437\" \/>\n<h3 data-start=\"439\" data-end=\"485\">\ud83d\udd38 <strong data-start=\"446\" data-end=\"485\">What is a Complete Bipartite Graph?<\/strong><\/h3>\n<p data-start=\"486\" data-end=\"560\">A <strong data-start=\"488\" data-end=\"516\">complete bipartite graph<\/strong> is a special type of bipartite graph where:<\/p>\n<ul data-start=\"561\" data-end=\"630\">\n<li data-start=\"561\" data-end=\"630\">\n<p data-start=\"563\" data-end=\"630\"><strong data-start=\"563\" data-end=\"588\">Every vertex in set U<\/strong> is connected to <strong data-start=\"605\" data-end=\"630\">every vertex in set V<\/strong><\/p>\n<\/li>\n<\/ul>\n<p data-start=\"632\" data-end=\"651\">It is denoted as:<\/p>\n<h3 data-start=\"652\" data-end=\"680\">\ud83d\udc49 <strong data-start=\"659\" data-end=\"678\">K&lt;sub&gt;m,n&lt;\/sub&gt;<\/strong><\/h3>\n<p data-start=\"681\" data-end=\"689\">Where:<\/p>\n<ul data-start=\"690\" data-end=\"767\">\n<li data-start=\"690\" data-end=\"729\">\n<p data-start=\"692\" data-end=\"729\"><strong data-start=\"692\" data-end=\"727\">m = number of vertices in set U<\/strong><\/p>\n<\/li>\n<li data-start=\"730\" data-end=\"767\">\n<p data-start=\"732\" data-end=\"767\"><strong data-start=\"732\" data-end=\"767\">n = number of vertices in set V<\/strong><\/p>\n<\/li>\n<\/ul>\n<hr data-start=\"769\" data-end=\"772\" \/>\n<h3 data-start=\"774\" data-end=\"840\">\ud83e\udde0 <strong data-start=\"781\" data-end=\"840\">Properties of Complete Bipartite Graph K&lt;sub&gt;m,n&lt;\/sub&gt;:<\/strong><\/h3>\n<ul data-start=\"841\" data-end=\"1037\">\n<li data-start=\"841\" data-end=\"871\">\n<p data-start=\"843\" data-end=\"871\">Total vertices = <strong data-start=\"860\" data-end=\"869\">m + n<\/strong><\/p>\n<\/li>\n<li data-start=\"872\" data-end=\"899\">\n<p data-start=\"874\" data-end=\"899\">Total edges = <strong data-start=\"888\" data-end=\"897\">m \u00d7 n<\/strong><\/p>\n<\/li>\n<li data-start=\"900\" data-end=\"938\">\n<p data-start=\"902\" data-end=\"938\">It has <strong data-start=\"909\" data-end=\"936\">no cycles of odd length<\/strong><\/p>\n<\/li>\n<li data-start=\"939\" data-end=\"1037\">\n<p data-start=\"941\" data-end=\"951\">Example:<\/p>\n<ul data-start=\"955\" data-end=\"1037\">\n<li data-start=\"955\" data-end=\"1037\">\n<p data-start=\"957\" data-end=\"1037\"><strong data-start=\"957\" data-end=\"976\">K&lt;sub&gt;2,3&lt;\/sub&gt;<\/strong> has 2 vertices in one set and 3 in the other \u2192 total 6 edges<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<hr data-start=\"1039\" data-end=\"1042\" \/>\n<h3 data-start=\"1044\" data-end=\"1077\">\ud83d\udd0d <strong data-start=\"1051\" data-end=\"1077\">Visual Example (K\u2082,\u2083):<\/strong><\/h3>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary\">\n<div class=\"flex items-center text-token-text-secondary px-4 py-2 text-xs font-sans justify-between h-9 bg-token-sidebar-surface-primary dark:bg-token-main-surface-secondary select-none rounded-t-[5px]\">makefile<\/div>\n<div class=\"sticky top-9\">\n<div class=\"absolute end-0 bottom-0 flex h-9 items-center pe-2\">\n<div class=\"bg-token-sidebar-surface-primary text-token-text-secondary dark:bg-token-main-surface-secondary flex items-center rounded-sm px-2 font-sans text-xs\"><button class=\"flex gap-1 items-center select-none px-4 py-1\" aria-label=\"Copy\">Copy<\/button><span class=\"\" data-state=\"closed\"><button class=\"flex items-center gap-1 px-4 py-1 select-none\">Edit<\/button><\/span><\/div>\n<\/div>\n<\/div>\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"whitespace-pre!\"><code class=\"whitespace-pre!\">U = {u1, u2}<br \/>\nV = {v1, v2, v3}<\/code><\/code><span class=\"hljs-section\">Edges: u1-v1, u1-v2, u1-v3, u2-v1, u2-v2, u2-v3<\/span><\/div>\n<\/div>\n<p data-start=\"1167\" data-end=\"1227\">Every vertex in <strong data-start=\"1183\" data-end=\"1188\">U<\/strong> is connected to every vertex in <strong data-start=\"1221\" data-end=\"1226\">V<\/strong>.<\/p>\n<hr data-start=\"1229\" data-end=\"1232\" \/>\n<p data-start=\"1234\" data-end=\"1332\" data-is-last-node=\"\" data-is-only-node=\"\">Would you like a <span class=\"decoration-token-text-secondary hover:text-token-text-secondary cursor-pointer underline decoration-dotted decoration-[12%] underline-offset-4 transition-colors duration-200 ease-in-out\">diagram of K\u2082,\u2083<\/span>, <span class=\"decoration-token-text-secondary hover:text-token-text-secondary cursor-pointer underline decoration-dotted decoration-[12%] underline-offset-4 transition-colors duration-200 ease-in-out\">practice problems<\/span>, or <span class=\"decoration-token-text-secondary hover:text-token-text-secondary cursor-pointer underline decoration-dotted decoration-[12%] underline-offset-4 transition-colors duration-200 ease-in-out\">graph theory formula sheet<\/span>?<\/p>\n<h3 data-start=\"1234\" data-end=\"1332\"><a href=\"https:\/\/www.pbsiddhartha.ac.in\/LMS\/eContent\/Lecture_Notes_on_Graph_Theory.pdf\" target=\"_blank\" rel=\"noopener\">Day 07Part 05- Discrete mathematics Graph Theory-Concept of Complete bipartite graph<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/webhomes.maths.ed.ac.uk\/~v1ranick\/papers\/wilsongraph.pdf\" target=\"_blank\" rel=\"noopener\">Introduction to Graph Theory<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/mpaldridge.github.io\/assets\/pdf\/math30002-lecture3.pdf\" target=\"_blank\" rel=\"noopener\">Lecture 3 Bipartite Graphs<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/www.math.kit.edu\/iag6\/lehre\/graphtheory2019w\/media\/main.pdf\" target=\"_blank\" rel=\"noopener\">Graph Theory<\/a><\/h3>\n","protected":false},"excerpt":{"rendered":"<p>Day 07Part 05- Discrete mathematics Graph Theory-Concept of Complete bipartite graph [fvplayer id=&#8221;164&#8243;] Complete Bipartite Graph in Discrete Mathematics (Graph Theory &#8211; Day 07, Part 05) \u00a0What is a Bipartite Graph? A bipartite graph is a type of graph G = (V, E) where: The set of vertices V is divided into two disjoint sets [&hellip;]<\/p>\n","protected":false},"author":71,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[76],"tags":[],"class_list":["post-2897","post","type-post","status-publish","format-standard","hentry","category-discrete-mathematics"],"_links":{"self":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/2897","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/users\/71"}],"replies":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/comments?post=2897"}],"version-history":[{"count":0,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/2897\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/media?parent=2897"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/categories?post=2897"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/tags?post=2897"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}