检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《Frontiers of Computer Science》2023年第2期167-177,共11页中国计算机科学前沿(英文版)
基 金:supported by the National Natural Science Foundation of China(Grant No.61872076);the Natural Science Foundation of Jilin Province(20200201161JC).
摘 要:Local holographic transformations were introduced by Cai et al.,and local affine functions,an extra tractable class,were derived by it in#CSP^(2).In the present paper,we not only generalize local affine functions to#CSP^(d)for general d,but also give new tractable classes by combining local holographic transformations with global holographic transformations.Moreover,we show how to use local holographic transformations to prove hardness.This is of independent interests in the complexity classification of counting problems.
关 键 词:#CSP^(d) Holant problems local holographic transformations
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.62