複雑な重み付けカウント非循環制約充足問題の複雑性分類

#ACSPの計算複雑性は#LOGCFLCに属する。