Espelage, Wolfgang; Wanke, Egon - In: Mathematical Methods of Operations Research 52 (2000) 2, pp. 325-348
We consider the combinatorial complexity of the algorithmic design of mechanical master key locking systems. Such locking systems use pin tumblers and profile elements (wards) to realize the functional dependencies given by a key/cylinder matrix. We prove that even very restricted versions of...