Loading...

Function simulation, graph grammars and colourings

Daneshgar, A ; Sharif University of Technology

490 Viewed
  1. Type of Document: Article
  2. DOI: 10.1080/00207160.2012.752075
  3. Abstract:
  4. We prove that to any partial function φ{symbol} defined on a finite set, there corresponds an infinite class of graphs that could be generated by a graph grammar such that each graph in the class represents the function in the sense that evaluation of the function at any point x of its domain can be simulated by finding the unique extension of a partial vertex colouring of the graph specified by x. We show that in the proposed setup, generating such simulator graphs as well as finding the colouring extensions can be computed effectively in polynomial time. We also discuss some applications of this scenario in producing instances of the graph colouring problem near its phase transition that can be applied in a cryptographic setting
  5. Keywords:
  6. Defining sets ; Function evaluation ; Graph grammars/amalgams ; Reversible computation ; Sequential graph colouring ; Uniquely colourable graphs
  7. Source: International Journal of Computer Mathematics ; 2013 ; 00207160 (ISSN)
  8. URL: http://www.tandfonline.com/doi/abs/10.1080/00207160.2012.752075