MHB Can a bipartite graph have two non-connected parts?

  • Thread starter Thread starter find_the_fun
  • Start date Start date
  • Tags Tags
    Graph parts
AI Thread Summary
A bipartite graph can indeed be disconnected, allowing for multiple non-connected components. Each component can still maintain the bipartite property, meaning it can be divided into two distinct sets of vertices. The notation $G=(U,V,E)$ is used to represent the graph's bipartition, which can vary if the graph is not connected. Therefore, the example of vertices A and B connected to C and D illustrates a valid bipartite structure. Understanding these properties is crucial for applications involving bipartite graphs.
find_the_fun
Messages
147
Reaction score
0
For example vertice A connected to vertice B and vertice C connected to vertice D? Would this be considered two different graphs? Here is a graph, would it be bipartite?
View attachment 1314
 

Attachments

  • graph.png
    graph.png
    445 bytes · Views: 94
  • graph.png
    graph.png
    463 bytes · Views: 96
Last edited:
Physics news on Phys.org
Re: can a bipartite graph have two not connected parts?

A bipartite graph can be disconnected. Wikipedia says: "One often writes $G=(U,V,E)$ to denote a bipartite graph whose partition has the parts $U$ and $V$, with $E$ denoting the edges of the graph. If a bipartite graph is not connected, it may have more than one bipartition; in this case, the $(U,V,E)$ notation is helpful in specifying one particular bipartition that may be of importance in an application".
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top