大卫·艾维斯 关于检验超度量、负型、k-Gonal和Gap不等式的复杂性。 51-59 https://doi.org/10.1007/978-3-540-44400-8_6 2002 conf/jcdcg/2002 JCDCG公司 db/conf/jcdcg/jcdcg2002.html#Avis02