无限域约束满足的当前挑战：无限羊的两难境地
计算机科学中的逻辑
2022-04-01 v1 逻辑
摘要
约束满足问题（CSP）是一类计算问题，给定若干变量及其上的约束，问是否存在对变量的赋值使所有约束均被满足。我们概述了如下 CSP 的研究现状：变量取值与约束均取自一个事先固定的、有限有界的齐性结构。我们阐释了迄今的主要数学思想、这些思想带给我们的三重两难，以及为获得对此类 CSP 计算复杂性的满意理解可采取的克服之道。
引用
@article{arxiv.2203.17182,
title = {Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep},
author = {Michael Pinsker},
journal= {arXiv preprint arXiv:2203.17182},
year = {2022}
}
备注
8 pages; invited paper for the IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL) 2022