会员服务
约束 · 无限 · 代价 · 大学 ·
2022 年 8 月 10 日
An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains
翻译：Farkas' Lemma对无限域内有限有价值限制的 满意问题的申请
Friedrich Martin Schneider,Caterina Viola
Friedrich Martin Schneider,Caterina Viola
from arxiv, 18 pages. The paper is based on a chapter from Caterina Viola's doctoral dissertation. This is a preprint of a manuscript accepted for publication in Journal of Mathematical Analysis and Applications (JMAA)

We show a universal algebraic local characterisation of the expressive power of finite-valued languages with domains of arbitrary cardinality and containing arbitrary many cost functions.


翻译：我们展示了有限价值语言的表达力的通用代数地方特征,这些语言具有任意的基点领域,并含有任意的许多成本功能。
0
下载
关闭预览

相关内容

265页《数值线性代数基础》，密西西比大学Seongjai Kim教授最新讲义，Fundamentals of Numerical Linear Algebra
265页《数值线性代数基础》，密西西比大学Seongjai Kim教授最新讲义，Fundamentals of Numerical Linear Algebra
专知会员服务
45+阅读 · 2022年3月18日
【如何做研究】How to research ，22页ppt
【如何做研究】How to research ，22页ppt
专知会员服务
109+阅读 · 2021年4月17日
【推荐论文】可解释知识解释系统发展方向，Directions for Explainable Knowledge-Enabled Systems
【推荐论文】可解释知识解释系统发展方向，Directions for Explainable Knowledge-Enabled Systems
专知会员服务
59+阅读 · 2020年3月19日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
95+阅读 · 2020年3月12日
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
专知会员服务
47+阅读 · 2019年12月1日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
154+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
83+阅读 · 2019年10月9日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
牛磺酸抑制AS肉鸡右心肥大过程中calpains介导细胞凋亡作用的研究
国家自然科学基金
0+阅读 · 2015年12月31日
套代数框架下时变线性系统的同时稳定化
国家自然科学基金
0+阅读 · 2015年12月31日
资源勘探中的反问题的数学理论与算法
国家自然科学基金
0+阅读 · 2013年12月31日
考虑观测值时空相关性的InSAR三维形变估计方法
国家自然科学基金
0+阅读 · 2013年12月31日
非线性数学物理中可积Ermakov系统的研究
国家自然科学基金
0+阅读 · 2013年12月31日
EV71病毒感染介导Sam68调控PI3K/AKT信号通路的分子机制
国家自然科学基金
1+阅读 · 2013年12月31日
不确定干扰的估计与抑制
国家自然科学基金
0+阅读 · 2012年12月31日
一类四阶MEMS方程的解集结构与解的渐近性态
国家自然科学基金
0+阅读 · 2011年12月31日
深空探测广域双视场光学敏感器导航技术研究
国家自然科学基金
0+阅读 · 2010年12月31日
非线性波动系统的整体解与爆破
国家自然科学基金
0+阅读 · 2008年12月31日
A uniform kernel trick for high-dimensional two-sample problems
Arxiv
0+阅读 · 2022年10月5日
Nonlinear approximation spaces for inverse problems
Arxiv
0+阅读 · 2022年10月5日
Inverse Game Theory for Stackelberg Games: the Blessing of Bounded Rationality
Arxiv
0+阅读 · 2022年10月4日
An Adaptive sampling and domain learning strategy for multivariate function approximation on unknown domains
Arxiv
0+阅读 · 2022年10月4日
Safe Control Synthesis with Uncertain Dynamics and Constraints
Arxiv
0+阅读 · 2022年9月30日
Cooperative Beamforming Design for Multiple RIS-Assisted Communication Systems
Arxiv
0+阅读 · 2022年9月30日
Active Learning for Domain Adaptation: An Energy-based Approach
Arxiv
13+阅读 · 2021年12月2日
Multi-Agent Simulation for AI Behaviour Discovery in Operations Research
Arxiv
38+阅读 · 2021年8月30日
The Principles of Deep Learning Theory
Arxiv
65+阅读 · 2021年6月18日
Explainable Recommendation: A Survey and New Perspectives
Explainable Recommendation: A Survey and New Perspectives
Arxiv
66+阅读 · 2019年8月15日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
约束
无限
代价
大学
相关VIP内容
265页《数值线性代数基础》，密西西比大学Seongjai Kim教授最新讲义，Fundamentals of Numerical Linear Algebra
265页《数值线性代数基础》，密西西比大学Seongjai Kim教授最新讲义，Fundamentals of Numerical Linear Algebra
专知会员服务
45+阅读 · 2022年3月18日
【如何做研究】How to research ，22页ppt
【如何做研究】How to research ，22页ppt
专知会员服务
109+阅读 · 2021年4月17日
【推荐论文】可解释知识解释系统发展方向，Directions for Explainable Knowledge-Enabled Systems
【推荐论文】可解释知识解释系统发展方向，Directions for Explainable Knowledge-Enabled Systems
专知会员服务
59+阅读 · 2020年3月19日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
95+阅读 · 2020年3月12日
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
专知会员服务
47+阅读 · 2019年12月1日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
154+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
83+阅读 · 2019年10月9日
热门VIP内容
相关资讯
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
相关论文
A uniform kernel trick for high-dimensional two-sample problems
Arxiv
0+阅读 · 2022年10月5日
Nonlinear approximation spaces for inverse problems
Arxiv
0+阅读 · 2022年10月5日
Inverse Game Theory for Stackelberg Games: the Blessing of Bounded Rationality
Arxiv
0+阅读 · 2022年10月4日
An Adaptive sampling and domain learning strategy for multivariate function approximation on unknown domains
Arxiv
0+阅读 · 2022年10月4日
Safe Control Synthesis with Uncertain Dynamics and Constraints
Arxiv
0+阅读 · 2022年9月30日
Cooperative Beamforming Design for Multiple RIS-Assisted Communication Systems
Arxiv
0+阅读 · 2022年9月30日
Active Learning for Domain Adaptation: An Energy-based Approach
Arxiv
13+阅读 · 2021年12月2日
Multi-Agent Simulation for AI Behaviour Discovery in Operations Research
Arxiv
38+阅读 · 2021年8月30日
The Principles of Deep Learning Theory
Arxiv
65+阅读 · 2021年6月18日
Explainable Recommendation: A Survey and New Perspectives
Explainable Recommendation: A Survey and New Perspectives
Arxiv
66+阅读 · 2019年8月15日
相关基金
牛磺酸抑制AS肉鸡右心肥大过程中calpains介导细胞凋亡作用的研究
国家自然科学基金
0+阅读 · 2015年12月31日
套代数框架下时变线性系统的同时稳定化
国家自然科学基金
0+阅读 · 2015年12月31日
资源勘探中的反问题的数学理论与算法
国家自然科学基金
0+阅读 · 2013年12月31日
考虑观测值时空相关性的InSAR三维形变估计方法
国家自然科学基金
0+阅读 · 2013年12月31日
非线性数学物理中可积Ermakov系统的研究
国家自然科学基金
0+阅读 · 2013年12月31日
EV71病毒感染介导Sam68调控PI3K/AKT信号通路的分子机制
国家自然科学基金
1+阅读 · 2013年12月31日
不确定干扰的估计与抑制
国家自然科学基金
0+阅读 · 2012年12月31日
一类四阶MEMS方程的解集结构与解的渐近性态
国家自然科学基金
0+阅读 · 2011年12月31日
深空探测广域双视场光学敏感器导航技术研究
国家自然科学基金
0+阅读 · 2010年12月31日
非线性波动系统的整体解与爆破
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top