Design of Initial Acyclic Graphs for k-MUTEX