×
施耐德、弗里德里希·马丁;Caterina维奥拉

Farkas引理在无穷域上有限值约束满足问题中的应用。 （英语） Zbl 07590528号

数学杂志。分析。申请。 517，第1号，文章ID 126591，22 p.（2023）.
摘要：我们给出了具有任意基数且包含任意多个代价函数的域的有限值语言表达能力的通用代数局部特征。

MSC公司：

68季度xx 计算理论
90摄氏度 数学编程
08轴 代数结构

关键词：

有值约束满足;Farkas引理;无限域值结构;局部凸空间;表达能力
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Schneider}和\textit{C.Viola}，J.Math。分析。申请。517，第1号，文章ID 126591，22页（2023；Zbl 07590528）
全文： 内政部 arXiv公司

参考文献：

[1] 北班萨尔。；Blum，A。；Chawla，S.，相关聚类，马赫。学习。，第5689-113页（2004年）·Zbl 1089.68085号
[2] 博迪尔斯基，M。；Grohe，M.，约束满足复杂性中的非二元性，（第35届国际自动化、语言和编程学术讨论会论文集（ICALP）（2008），Springer Verlag），184-196·Zbl 1155.68403号
[3] 博迪尔斯基，M。；Mamino，M.，数字域上的约束满足问题，（Krokhin，A.；ƀivnƃ，S.，约束满足问题：复杂性和近似性，第7卷（2017），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik:Schloss Dgstuhl/Leibniz Zentrum-fuer Information，德国），79-111·Zbl 1482.68162号
[4] Bourbaki，N.，拓扑向量空间，数学元素（柏林）（1987），Springer-Verlag:Springer-Verlag Berlin，由H.G.Eggleston和S.Madan从法语翻译而成·Zbl 0622.46001号 ·doi:10.1007/978-3-642-61715-7
[5] Bühler，T。；Rangapuram，S.S。；塞泽尔，S。；Hein，M.，约束分数集程序及其在局部聚类和社区检测中的应用，（Dasgupta，S.；McAllester，D.，《第30届机器学习国际会议论文集》，第30届国际机器学习会议论文集，美国乔治亚州亚特兰大，PMLR。第30届机器学习国际会议论文集。《第30届机器学习国际会议论文集》，美国乔治亚州亚特兰大市PMLR，《机器学习研究论文集》第28卷（2013），624-632
[6] Bulatov，A.A.，《非均匀CSP的二分法定理》（第58届IEEE计算机科学基础年会论文集）。第58届IEEE计算机科学基础年会（FOCS）论文集，美国加利福尼亚州伯克利（2017）），319-330
[7] Bulatov，A.A。；Krokhin，A.A。；Jeavons，P.G.，使用有限代数对约束复杂性进行分类，SIAM J.Compute。，34, 720-742 (2005) ·Zbl 1071.08002号
[8] 科恩，D.A。；库珀，M.C。；克里德，P。；Jeavons，P.G。；日夫尼，S.，离散优化复杂性的代数理论，SIAM J.Comput。，42, 1915-1939 (2013) ·Zbl 1305.08007号
[9] Fulla，P。；ƀivnƃ，S.，无限大小加权（关系）克隆的Galois连接，ACM Trans。计算。理论，8（2016）·兹比尔1427.68120
[10] Karmarkar，N.，线性规划的新多项式时间算法，组合数学，4373-395（1984）·Zbl 0557.90065号
[11] Karp，R.M.，组合问题中的可约性，（Miller，R.E.；Thatcher，J.W.；Bohlinger，J.D.，《计算机计算的复杂性：计算机计算复杂性研讨会论文集》（1972年），Springer US:Springer US Boston，MA），85-103·Zbl 1467.68065号
[12] Khachiyan，L.，线性规划中的多项式算法，Dokl。阿卡德。诺克SSSR，244，1093-1097（1979）·Zbl 0414.90086号
[13] Klodt，M。；Steinbruecker，F。；Cremers，D.，分割和跟踪凸优化中的力矩约束，计算机视觉高级主题（2013），Springer
[14] 科列夫，K。；Brox，T.公司。；Cremers，D.，《从多幅图像中快速联合估计轮廓和密集三维几何体》，IEEE Trans。模式分析。机器。智力。，34, 493-505 (2012)
[15] 科尔莫戈罗夫，V。；Krokhin，A.A。；Rolinek，M.，《一般值CSP的复杂性》，（第56届IEEE计算机科学基础年度研讨会论文集（2015）），1246-1258
[16] 科齐克，M。；Ochremiak，J.，值约束满足问题的代数性质，（第42届国际自动机、语言与编程学术讨论会论文集，第一部分（2015）），846-858·Zbl 1441.68098号
[17] Krokhin，A。；ƀivnƄ，S.，《有价值CSP的复杂性》（Krokhin，A.；ſivn'，S.），《约束满足问题：复杂性和近似性》，第7卷（2017），《Schloss Dagstuhl-Leibniz-Zentrum Fuer Informatik:Schloss Dgstuhl-Leibniz-Zentrum Fuer-Informatik-Dagstuhl，德国），233-266·Zbl 1482.68165号
[18] Swartz，C.，广义Farkas引理，J.Optim。理论应用。，46, 237-244 (1985) ·Zbl 0543.49010号
[19] Takhanov，R.，一般最小代价同态问题的二分法定理，（第27届计算机科学理论方面国际研讨会论文集（STACS’10）（2010）），657-668·Zbl 1230.90192号
[20] Thapper，J。；闭ivn，S.，有限值CSP的复杂性，J.ACM，63，37:1-37:33（2016）·Zbl 1410.68177号
[21] Viola，C.，无限域上的有值约束满足问题（2020），德累斯顿工业大学：德国德累斯顿工业大学，博士论文
[22] 朱克，D.，CSP二分法猜想的证明，（第58届IEEE计算机科学基础年度研讨会论文集（2017）），331-342
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。