已知某同步时序逻辑电路的最简状态表包含的状态数为m，相应的触发器的个数为n，则m和n应满足的关系