What does it mean? (Graph theory)

AI Thread Summary
The discussion centers on understanding a definition from the paper "A triangle-free circle graph with chromatic number 5" by A.A. Ageev. A graph consists of vertices connected by edges, with the specific arrangement being irrelevant. A circle graph is a specific type of graph, and an independent set of vertices has no edges connecting them. The term "parallel" refers to a subset of vertices in a circle graph where adding a new vertex connected to all vertices in the subset still results in a circle graph. The explanation clarifies the definition, aiding comprehension of the paper's concepts.
ff4ever
Messages
2
Reaction score
0
Hi,

In the paper "A triangle-free circle graph with chromatic number 5" from A.A. Ageev, I don't understand what the author mean with the following definition:

captur10.png


Somebody can explain it to me? (I'm not mathematician).
Thanks !

Link to the whole paper:
http://www.sciencedirect.com/science/article/pii/0012365X95003492
 
Physics news on Phys.org
A graph is a set of spots ('vertices'), some of which are connected to each other by lines ('edges'). The arrangement of the spots and the shape of the connecting lines doesn't matter. All that matters is what spots are connected to each other.

A 'circle graph' is a particular type of graph whose meaning is explained here.

A set of vertices is 'independent' in a graph if, for every pair of vertices in the set, the graph has no edge connecting the two.

For a graph ##H##, we use ##V(H)## to refer to the set of vertices in the graph, and ##E(H)## to refer to the set of edges.

If ##x## and ##v## are vertices in a graph then ##xv## refers to an edge connecting ##x## to ##v##.

What the definition says is that a subset ##X## of vertices of a circle graph ##G## is defined to be parallel iff the graph formed from ##G## by adding a new vertex and adding edges joining the new vertex to every vertex in ##X## is also a circle graph.
 
Okay. Now I understand. Thanks a lot !
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top