1. Introduction. In his well-known book on graphs [1] König proposed the following problem: “When can a given abstract group be represented as the group of the automorphisms of a (finite) graph, and if possible how can the graph be constructed?” To understand this problem well let us begin with the precise definition of a graph and its group (of automorphisms).