智能AI
morning
有限域全差系统的有符号 p-adic 残差编码与数独案例研究
摘要
arXiv:2609.16063v1 Announce Type: new Abstract: We study signed, weighted affine $p$-adic residual objectives as native encodings of finite-domain constraints. For primes that separate the finite alph...
the
finite
study
weighted
domain
rows
coefficient
negative
arXiv
2609
2026-09-16
1 阅读
约1分钟阅读
Greg Baker
字号:
arXiv:2609.16063v1 公告类型:新 摘要:我们研究带符号的加权仿射 $p$-adic 残差目标作为有限域约束的本机编码。对于分隔有限字母表的素数,充分加权的正一元行将每个系数固定到其允许的集合,而负行奖励不相等的端点或子句满意度。坐标支配定理将每个全局极小值置于有限域中;损失是(最多可达一个加性常数)所有不同的冲突计数或满足的 CNF 子句的负数。标准数独提供了一项系数为 81 美元的案例研究,无需一次性提升。客户端实现公开生成的数据帧、算术、诊断和搜索。
这篇文章对您有帮助吗?
订阅66必读
每日精选科技资讯,直达你的邮箱