{"id":2900,"date":"2025-06-07T03:22:03","date_gmt":"2025-06-07T03:22:03","guid":{"rendered":"https:\/\/diznr.com\/?p=2900"},"modified":"2025-06-07T03:22:03","modified_gmt":"2025-06-07T03:22:03","slug":"day-07part-04-discrete-mathematics-for-gate-2021-bipartite-graph-and-concept-its","status":"publish","type":"post","link":"https:\/\/www.reilsolar.com\/pdf\/day-07part-04-discrete-mathematics-for-gate-2021-bipartite-graph-and-concept-its\/","title":{"rendered":"Day 07Part 04 &#8211; Discrete Mathematics for Gate 2025 Bipartite graph and it&#8217;s Concept."},"content":{"rendered":"<p>Day 07Part 04 &#8211; Discrete Mathematics for Gate 2025 Bipartite graph and it&#8217;s Concept.<\/p>\n<p>[fvplayer id=&#8221;165&#8243;]<\/p>\n<p class=\"\" data-start=\"0\" data-end=\"162\">Here\u2019s a clear and concise explanation of the <strong data-start=\"46\" data-end=\"65\">Bipartite Graph<\/strong> concept from <strong data-start=\"79\" data-end=\"103\">Discrete Mathematics<\/strong>, tailored for <strong data-start=\"118\" data-end=\"161\">GATE 2025 preparation (Day 07, Part 04)<\/strong>:<\/p>\n<hr class=\"\" data-start=\"164\" data-end=\"167\" \/>\n<h2 class=\"\" data-start=\"169\" data-end=\"232\">\ud83d\udcd8 <strong data-start=\"175\" data-end=\"230\">Day 07 Part 04 \u2013 Discrete Mathematics for GATE 2025<\/strong><\/h2>\n<h3 class=\"\" data-start=\"233\" data-end=\"282\">\ud83e\uddee <strong data-start=\"240\" data-end=\"282\">Topic: Bipartite Graph and Its Concept<\/strong><\/h3>\n<hr class=\"\" data-start=\"284\" data-end=\"287\" \/>\n<h3 class=\"\" data-start=\"289\" data-end=\"325\">\u2705 <strong data-start=\"295\" data-end=\"325\">What is a Bipartite Graph?<\/strong><\/h3>\n<p class=\"\" data-start=\"327\" data-end=\"374\">A <strong data-start=\"329\" data-end=\"348\">bipartite graph<\/strong> is a type of graph where:<\/p>\n<ul data-start=\"375\" data-end=\"599\">\n<li class=\"\" data-start=\"375\" data-end=\"452\">\n<p class=\"\" data-start=\"377\" data-end=\"452\"><strong data-start=\"377\" data-end=\"427\">Vertices can be divided into two disjoint sets<\/strong>:<br data-start=\"428\" data-end=\"431\" \/><span class=\"katex\"><span class=\"katex-mathml\">UU<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">U<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">VV<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">V<\/span><\/span><\/span><\/span><\/p>\n<\/li>\n<li class=\"\" data-start=\"453\" data-end=\"599\">\n<p class=\"\" data-start=\"455\" data-end=\"599\"><strong data-start=\"455\" data-end=\"531\">Every edge connects a vertex from set <span class=\"katex\"><span class=\"katex-mathml\">UU<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">U<\/span><\/span><\/span><\/span> to a vertex in set <span class=\"katex\"><span class=\"katex-mathml\">VV<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">V<\/span><\/span><\/span><\/span><\/strong><br data-start=\"531\" data-end=\"534\" \/>(i.e., <strong data-start=\"543\" data-end=\"598\">no edge exists between vertices within the same set<\/strong>)<\/p>\n<\/li>\n<\/ul>\n<hr class=\"\" data-start=\"601\" data-end=\"604\" \/>\n<h3 class=\"\" data-start=\"606\" data-end=\"635\">\ud83e\udde9 <strong data-start=\"613\" data-end=\"635\">Formal Definition:<\/strong><\/h3>\n<p class=\"\" data-start=\"637\" data-end=\"838\">A graph <span class=\"katex\"><span class=\"katex-mathml\">G=(V,E)G = (V, E)<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">G<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">V<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">E<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span> is <strong data-start=\"665\" data-end=\"678\">bipartite<\/strong> if:<br data-start=\"682\" data-end=\"685\" \/>There exists a partition <span class=\"katex\"><span class=\"katex-mathml\">V=V1\u222aV2V = V_1 \\cup V_2<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">V<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> such that for every edge <span class=\"katex\"><span class=\"katex-mathml\">(u,v)\u2208E(u, v) \\in E<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">v<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">E<\/span><\/span><\/span><\/span>,<br data-start=\"777\" data-end=\"780\" \/>either <span class=\"katex\"><span class=\"katex-mathml\">u\u2208V1u \\in V_1<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">u<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">v\u2208V2v \\in V_2<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">v<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>, or vice versa.<\/p>\n<hr class=\"\" data-start=\"840\" data-end=\"843\" \/>\n<h3 class=\"\" data-start=\"845\" data-end=\"871\">\ud83c\udfaf <strong data-start=\"852\" data-end=\"871\">Key Properties:<\/strong><\/h3>\n<ul data-start=\"872\" data-end=\"1100\">\n<li class=\"\" data-start=\"872\" data-end=\"956\">\n<p class=\"\" data-start=\"874\" data-end=\"956\">A graph is bipartite <strong data-start=\"895\" data-end=\"955\">if and only if it does not contain any odd-length cycles<\/strong>.<\/p>\n<\/li>\n<li class=\"\" data-start=\"957\" data-end=\"1100\">\n<p class=\"\" data-start=\"959\" data-end=\"1100\"><strong data-start=\"959\" data-end=\"995\">Bipartite graphs are 2-colorable<\/strong>, meaning you can color vertices with two colors such that no two adjacent vertices share the same color.<\/p>\n<\/li>\n<\/ul>\n<hr class=\"\" data-start=\"1102\" data-end=\"1105\" \/>\n<h3 class=\"\" data-start=\"1107\" data-end=\"1166\">\ud83e\udde0 <strong data-start=\"1114\" data-end=\"1166\">How to Check if a Graph is Bipartite (GATE Tip):<\/strong><\/h3>\n<p class=\"\" data-start=\"1167\" data-end=\"1234\">Use <strong data-start=\"1171\" data-end=\"1201\">Breadth-First Search (BFS)<\/strong> or <strong data-start=\"1205\" data-end=\"1233\">Depth-First Search (DFS)<\/strong>:<\/p>\n<ul data-start=\"1235\" data-end=\"1359\">\n<li class=\"\" data-start=\"1235\" data-end=\"1277\">\n<p class=\"\" data-start=\"1237\" data-end=\"1277\">Try to color the graph using two colors.<\/p>\n<\/li>\n<li class=\"\" data-start=\"1278\" data-end=\"1359\">\n<p class=\"\" data-start=\"1280\" data-end=\"1359\">If at any point, two adjacent vertices have the same color \u2192 <strong data-start=\"1341\" data-end=\"1358\">not bipartite<\/strong>.<\/p>\n<\/li>\n<\/ul>\n<hr class=\"\" data-start=\"1361\" data-end=\"1364\" \/>\n<h3 class=\"\" data-start=\"1366\" data-end=\"1385\">\ud83e\uddee <strong data-start=\"1373\" data-end=\"1385\">Example:<\/strong><\/h3>\n<p class=\"\" data-start=\"1387\" data-end=\"1501\">Let\u2019s take a graph with vertices:<br data-start=\"1420\" data-end=\"1423\" \/><span class=\"katex\"><span class=\"katex-mathml\">V={A,B,C,D}V = \\{A, B, C, D\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">V<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">B<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">C<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">D<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span> and edges:<br data-start=\"1458\" data-end=\"1461\" \/><span class=\"katex\"><span class=\"katex-mathml\">E={(A,B),(A,D),(C,B),(C,D)}E = \\{(A,B), (A,D), (C,B), (C,D)\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">E<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{(<\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">B<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">D<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">C<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">B<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">C<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">D<\/span><span class=\"mclose\">)}<\/span><\/span><\/span><\/span><\/p>\n<p class=\"\" data-start=\"1503\" data-end=\"1558\">Partition:<br data-start=\"1513\" data-end=\"1516\" \/><span class=\"katex\"><span class=\"katex-mathml\">V1={A,C}V_1 = \\{A, C\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">C<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span>, <span class=\"katex\"><span class=\"katex-mathml\">V2={B,D}V_2 = \\{B, D\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">B<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">D<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span><\/p>\n<p class=\"\" data-start=\"1560\" data-end=\"1613\">All edges go from <span class=\"katex\"><span class=\"katex-mathml\">V1\u2192V2V_1 \\to V_2<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><span class=\"mrel\">\u2192<\/span><\/span><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u2192 \u2705 <strong data-start=\"1600\" data-end=\"1613\">Bipartite<\/strong><\/p>\n<hr class=\"\" data-start=\"1615\" data-end=\"1618\" \/>\n<h3 class=\"\" data-start=\"1620\" data-end=\"1652\">\ud83d\udccc <strong data-start=\"1627\" data-end=\"1652\">Applications in GATE:<\/strong><\/h3>\n<ul data-start=\"1653\" data-end=\"1765\">\n<li class=\"\" data-start=\"1653\" data-end=\"1695\">\n<p class=\"\" data-start=\"1655\" data-end=\"1695\">Matching Problems (e.g., job assignment)<\/p>\n<\/li>\n<li class=\"\" data-start=\"1696\" data-end=\"1708\">\n<p class=\"\" data-start=\"1698\" data-end=\"1708\">Scheduling<\/p>\n<\/li>\n<li class=\"\" data-start=\"1709\" data-end=\"1734\">\n<p class=\"\" data-start=\"1711\" data-end=\"1734\">Network flow algorithms<\/p>\n<\/li>\n<li class=\"\" data-start=\"1735\" data-end=\"1765\">\n<p class=\"\" data-start=\"1737\" data-end=\"1765\">DFS\/BFS traversal-based MCQs<\/p>\n<\/li>\n<\/ul>\n<hr class=\"\" data-start=\"1767\" data-end=\"1770\" \/>\n<h3 class=\"\" data-start=\"1772\" data-end=\"1814\">\ud83d\udcd6 <strong data-start=\"1779\" data-end=\"1814\">Practice Question (GATE Style):<\/strong><\/h3>\n<blockquote data-start=\"1815\" data-end=\"1968\">\n<p class=\"\" data-start=\"1817\" data-end=\"1968\">Which of the following graphs is bipartite?<br data-start=\"1860\" data-end=\"1863\" \/>A) A triangle (3-cycle)<br data-start=\"1888\" data-end=\"1891\" \/>B) A square (4-cycle)<br data-start=\"1914\" data-end=\"1917\" \/>C) A star graph<br data-start=\"1934\" data-end=\"1937\" \/>D) A complete graph <span class=\"katex\"><span class=\"katex-mathml\">K3K_3<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord\"><span class=\"mord mathnormal\">K<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/p>\n<\/blockquote>\n<p class=\"\" data-start=\"1970\" data-end=\"2042\"><strong data-start=\"1970\" data-end=\"1981\">Answer:<\/strong> B and C (A triangle has an odd cycle, so it&#8217;s not bipartite)<\/p>\n<hr class=\"\" data-start=\"2044\" data-end=\"2047\" \/>\n<p class=\"\" data-start=\"2049\" data-end=\"2064\">Would you like:<\/p>\n<ul data-start=\"2065\" data-end=\"2164\">\n<li class=\"\" data-start=\"2065\" data-end=\"2087\">\n<p class=\"\" data-start=\"2067\" data-end=\"2087\">A <strong data-start=\"2069\" data-end=\"2087\">PDF study note<\/strong><\/p>\n<\/li>\n<li class=\"\" data-start=\"2088\" data-end=\"2110\">\n<p class=\"\" data-start=\"2090\" data-end=\"2110\">A <strong data-start=\"2092\" data-end=\"2110\">practice sheet<\/strong><\/p>\n<\/li>\n<li class=\"\" data-start=\"2111\" data-end=\"2164\">\n<p class=\"\" data-start=\"2113\" data-end=\"2164\">This content in <strong data-start=\"2129\" data-end=\"2138\">Hindi<\/strong> for easier understanding?<\/p>\n<\/li>\n<\/ul>\n<p class=\"\" data-start=\"2166\" data-end=\"2201\">Let me know how I can help further!<\/p>\n<h3 data-start=\"2166\" data-end=\"2201\"><a href=\"https:\/\/elearn.daffodilvarsity.edu.bd\/pluginfile.php\/783886\/mod_label\/intro\/s9.2_graph_bipartite.pdf\" target=\"_blank\" rel=\"noopener\">Day 07Part 04 &#8211; Discrete Mathematics for Gate 2025 Bipartite graph and it&#8217;s Concept.<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/facultyweb.kennesaw.edu\/mlavrov\/courses\/graph-theory\/lecture4.pdf\" target=\"_blank\" rel=\"noopener\">Lecture 4: Bipartite graphs, and some other common graphs<\/a><\/h3>\n","protected":false},"excerpt":{"rendered":"<p>Day 07Part 04 &#8211; Discrete Mathematics for Gate 2025 Bipartite graph and it&#8217;s Concept. [fvplayer id=&#8221;165&#8243;] Here\u2019s a clear and concise explanation of the Bipartite Graph concept from Discrete Mathematics, tailored for GATE 2025 preparation (Day 07, Part 04): \ud83d\udcd8 Day 07 Part 04 \u2013 Discrete Mathematics for GATE 2025 \ud83e\uddee Topic: Bipartite Graph and [&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-2900","post","type-post","status-publish","format-standard","hentry","category-discrete-mathematics"],"_links":{"self":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/2900","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=2900"}],"version-history":[{"count":0,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/2900\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/media?parent=2900"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/categories?post=2900"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/tags?post=2900"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}