主程序：My_main.m图形界面初始界面：Welcome.fig三个验证最大许可和线性规划的定理：
- 单一满载：Single_color_occupied.m
- 循环满载：Fully_filled.m
- 下一步死锁：One_step_ahead_deadlock.m
- 线性规划：linpro_method.m （上面都是函数文件，为了方便测试函数，需要用到的参数在init部分给出）
主程序：My_main.m图形界面初始界面：Welcome.fig三个验证最大许可和线性规划的定理：