Mathematical formulation of quantum circuit design problems in networks of quantum computers