Design and synthesis of improved reversible circuits using AIG- and MIG-based graph data structures