约束程序相关论文
稳定匹配问题在1962年由诺贝尔奖获得者埃尔文·罗斯(Alvin Roth)和罗伊德·沙普利(Lloyd Shapley)提出。匹配问题是将一组对象与......
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具，Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
