最大度为5的图的Alcuin数.pdfVIP

中国科学 数学 年 第 卷 第 期 最大度为 的图的 数 ∗ 单而芳 孔鹭 康丽英 上海大学管理学院 上海 上海大学数学系 上海 收稿日期 接受日期 通信作者 国家自然科学基金批准号 资助项目 摘要 1000 多年前, 英国著名学者Alcuin 曾提出过一个古老的渡河问题, 即狼、羊和卷心菜的渡河问 题. 最近, Prisner 和Csorba 等人把这一问题推广到任意的 “冲突图” G = (V, E) 上, 考虑了一类情况 更一般的运输计划问题. 现在监管者欲运输V 中的所有“物品/点” 渡河, 这里V 的两个点邻接当且 仅当这两个点为冲突点. 冲突点是指不能在无人监管的情况下留在一起的点. 特别地, Alcuin 渡河问 题可转化成 “冲突路” P 上是否存在可行运输方案问题. 图G 的Alcuin 数是指图G 具有可行运输方 案 (即把V 的点代表的 “物品” 全部运到河对岸) 时船的最小容量. 最大度为5 且覆盖数至少为5 的 图和最大度∆(G) 4 且覆盖数不小于∆(G) − 1 的图的Alcuin 数已经被确定. 本文给出最大度为4 且覆盖数不超过2 和最大度为5 且覆盖数不超过4 的图的Alcuin 数. 至此, 最大度不超过5 的图的 Alcuin 数被完全确定. 关键词 数 点覆盖 独立集 覆盖数 主题分类 引言 1000 多年前, 英国著名学者 Alcuin 在他的名著《Propositiones ad Acuendos Iuvenes 》中提出 了下列经典的渡河问题: 农夫带着狼、羊和卷心菜要从河的左岸渡到右岸, 由于船的容量有限, 农夫每 次只能带其中之一过河. 但是, 如果没有农夫的看管, 狼会吃羊, 羊会吃卷心菜. 那么, 农夫应该如何 过河? 最近, Prisner 和 Csorba 等人 把这一问题推广到任意的 “冲突图” G = (V, E) 上, 考虑了这 样一类运输计划问题. 现在此人欲运输 V 中的所有 “物品/点” 渡河, 这里 V 的两个点邻接当且仅当 这两个点为冲突点. 冲突点是指在无人监管的情况下不允许留在一起的点. 特别地, Alcuin 渡河问题 可转化成 “冲突路” P 上是否存在可行运输方案问题. 图G 的Alcuin 数是指图 G 具有可行运输方 案 (即把V 的点代表的 “物品” 全部运到河对岸) 时所需船的最小容量. 船的容量 b ( 1) 是指除了 人之外, 船每次最多可载 b 个点. 令 L , B 和 R 分别表示在第 k 次运输过程中左岸、船上和右岸 的点的集合. 对于容量为 b 的船, 图G 的一个可行运输方案是指存在下列有限的序列: (L , B , R ), (L , B , R ), . . . , (L , B , R ) 使之满足以下3 个条件: (FS1) 对任意的 k, L , B 和R 为点集V 的一个划分, L 和R 是G 的独立集且|B | b. 英文引用格式 单而芳等 最大度为 的图的 数 (FS2) L ∪ B = V, R = ∅; B ∪ R = V, L = ∅. (FS3) 对于偶数 k 2, 有 B ∪ R = B− ∪ R− 和 L = L− ; 对于奇数 k 3,