paperbot · PL 论文追踪

全部论文 待读 收藏

P2 How to find a fake coin

如何找到假币
JFP vol.292019匹配度 0/10 · 该论文是经典假币天平称重谜题,讨论最少称量策略,与静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等研究方向没有交集;标签虽含“函数式编程”,但摘要未体现任何 PL 或 AI 方法。引用 0 inbox
RICHARD S. BIRD
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话:给出在 n 枚硬币中用天平以最少保证称量次数找出可能存在的假币并判定其轻重的方案。

本文研究经典的天平假币问题:有 n 枚外观相同的硬币,其中可能有一枚假币;若假币存在,它比真币轻或重,但事先不知道是轻是重,也不知道轻重程度。给定一架无砝码的双盘天平,每次可在两盘放置相同数量的硬币进行称量,结果有三种:左盘轻、平衡或左盘重。论文的目标是设计一种称量方案(recipe),使得在最坏情况下保证用最少的称量次数确定假币是否存在,并在存在时判断其是轻还是重。该问题属于组合搜索与决策树优化,要求方案对所有可能情形都有效。

问题
有 n 枚硬币,其中可能有一枚假币,且假币轻重未知;需用无砝码天平在保证确定假币及其轻重的前提下最小化称量次数。
方法
论文设计一种称量方案,利用天平的三种称量结果逐步确定假币及其轻重,并分析最少保证称量次数。
评估
评估关注方案在最坏情况下保证找到假币并判定轻重所需的最少称量次数。
原文摘要(Abstract)

There are n coins, all identical in appearance, one of which may be fake. The fake coin, if it exists, is either lighter or heavier than the fair coins, but it is not known which, nor by how much. Given is a balance with two pans but no weights. Equal number of coins can be placed on each pan and weighed. There are three possible outcomes: the left-hand pan may be lighter than the right-hand pan, or of equal weight, or heavier. Design a recipe for determining the minimum number of weighings guaranteed to determine the fake coin, if it exists, and whether it is lighter or heavier than the others.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@article{Bird19,
  title = {How to find a fake coin},
  author = {RICHARD S. BIRD},
  journal = {Journal of Functional Programming},
  volume = {29},
  year = {2019},
  doi = {10.1017/s0956796819000030}
}