MHB Recognisable colourings of graphs

  • Thread starter Thread starter janvdl
  • Start date Start date
  • Tags Tags
    Graphs
AI Thread Summary
Recognizable colorings of graphs are also referred to as "Vertex Distinguishing Coloring" and "Vertex Distinguishing Total Coloring." These terms may yield more relevant information in academic searches. A paper by Chartrand & Lesniak is noted as a resource on the topic. The discussion highlights the challenge of finding comprehensive information on recognizable colorings. Utilizing the suggested terminology could enhance research efforts.
janvdl
Messages
34
Reaction score
0
Do these go by any other name? I'm really struggling to find information on them. So far I've found a paper on it by Chartrand & Lesniak. (Dull)
 
Physics news on Phys.org
janvdl said:
Do these go by any other name? I'm really struggling to find information on them. So far I've found a paper on it by Chartrand & Lesniak. (Dull)

Hi janvdl,

"Vertex Distinguishing Coloring", "Vertex Distinguishing Total Coloring" may be the search phrases that you are looking for. I think this may also interest you.

Kind Regards,
Sudharaka.
 
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