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.
 

Thread 'Value of intuitionistic logic'

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.
View full post »

Thread 'Formal derivation of statement from Peano Arithmetic system'

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...
View full post »

Similar threads

MHB Understanding Two Graph Theory Problems
Replies
2
Views
2K
MHB Graph Grammer Function For Two Exotic Graphs Question please.
Replies
4
Views
2K
MHB Finding the shortest Hamiltonian cycle in a complete graph
Replies
2
Views
2K
A Concrete examples of randomness in math vs. probability theory
Replies
11
Views
3K
MHB A Subset of a Graph with No Perfect Matching
Replies
1
Views
2K
Mathematica - How to Graph Direction Fields of ODEs?
Replies
9
Views
2K
MHB Understanding Sets, Relations, and Functions for Struggling Students
Replies
1
Views
2K
MHB Graph two colours, no monochromatic path.
Replies
1
Views
2K
MHB Finding a Minimal Vertex Cover & Max Sets for a Graph
Replies
2
Views
2K
I Find Smallest Subtree of G w/ Nodes from S
Replies
5
Views
2K

Hot Threads

Recent Insights

Back
Top