The above can be readily extended to accommodate hypergraphs (allow more than one vertextwo vertices per 'edge'), digraphs (use primes to represent ordered pairs instead of unordered pairs), and other generalizations; one only needs to choose a suitable representation, and store it in an integer in some way which can be extracted. These are standard tricks in computability theory; we are just adapting Godel numbering for a special purpose in this case.
Edited to correct minor mistake, and make minor improvements in exposition
Niel de Beaudrap
- 1.4k
- 11
- 21
Niel de Beaudrap
- 1.4k
- 11
- 21