埃尔德什问题 #281：覆盖系统密度与形式化验证

Erdosproblems，Erdős 问题集，收录 Paul Erdős 及其合作者提出的数学问题，追踪问题的解答进展与悬赏状态。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论