具有最大基指数的本原不可幂带号简单图.pdfVIP

第37卷 第6期 应 用 数 学 学 报 Vo1．37No．6 2014年 11月 ACTAMATHEMATICAEAPPLICATAESINICA Nov．，2014 具有最大基指数的本原 不可幂带号简单图 陈佘喜 (湖南科技大学数学与计算科学学院，湘潭411201) (E-mail：sxchen@hnust．edu．CYI) 刘建勋 (湖南省普通高校知识处理与网络化制造重点实验室，湘潭411201) 马 钰 (湖南科技大学数学与计算科学学院，湘潭411201) 摘 要 一个本原不可幂带号有向图 S的基指数 f(s)是这样的最小正整数 l，使得在 S中，从 任意一点 “到任意一点 都有一对长为l的SSSD途径．本文给出了本原不可幂带号简单图的 基指数的最大值，并完全刻划了具有最大基指数的本原不可幂带号简单图． 关键词 本原有向图；基指数；不可幂 MR(2000)主题分类 05C20；05C50；15A48 中图分类 O157．5 1 引言 一 个带号有向图 s是指将有向图D (允许有环但不允许有重复弧)的每条弧都赋 以符号 1或者 一1所得的图．此时，称 D是 的基础图． s中一个非空的点弧交错 序列 W ：V0，e1，V 一，e，V 称为 s的一条途径，如果 仇一1，Vi分别是弧 ei的始点 与终点， i=1，2，… ，．此时，称 k为途径 的长，记作 1 ，『并定义途径 的符 号为 sgnW = 1-Isgn(ei)，其中sgn(ei)表示弧 ei的符号．特别地，若 lWl=0，则规定 t=1 sgnW=1．若途径 中的顶点Vo，…，Vk一1，Vk均不同，则称之为路．若 Vk=V0，则称 本文 2014年 3月 3日收到．2014年 l0月 13日收到修改稿． 国家 自然科学基金 61272063)和湖南省科技计划 (2012FJ4330)资助项 目 998 应 用 数 学 学 报 37卷 途径 是闭的．闭途径中除Vk=Vo外，所有点”o… ．， 一均不同，则称为圈．带号 有向图s是本原的，如果其基础图D是本原的，即J[)是强连通的且所有圈长的最大公 因数是 1[1】． 一 个有向图D称为对称有向图，若 D 中任意点 i到任意点．有弧当且仅当J到 i 有弧．显然，一个对称有向图可以等同于一个无向图．熟知，一个无向图是本原的，当 且仅当其连通且至少包含一个奇圈_2]．对称带号有向图是指其基础图是对称有向图，且 其任意一对对称弧 (i，J)与 (J，i)所带有的符号相同．一个对称带号有向图可视为一个带 号的无向图，其每边都带有符号 1或者 一1． 带号有向图s中两条同始同终同长不同号的途径 与 W2称为 s的一对 SSSD 途径．如果 s不含任何 SSSD途径对，则称 s是可幂的．否则，称 s是不可幂的．如 果 S是本原不可幂带号有向图，那么S中任意两顶点间都存在SSSD途径对 _3】． 设 s是本原不可幂带号有向图．S的基指数 f(s)是这样的最小正整数 f，使得在 s 中，从任意一点 到任意一点V都有长为2的 SSSD途径对 [3】_从顶点 到顶点V的基 指数是这样的最小正整数 ls(u，)，使得对任意的正整数 t ls(u，V)，在 s中存在从点 到点u的长为 t的 SSSD途径对 _4J． 迄今，一批学者在不可幂带号有向图 (符号矩阵)的基指数的研究中取得了许多好 结果．尤利华、邵嘉裕和单海英 [。]研究了不可幂符号矩阵的幂序列性质，给出了不可 幂符号矩阵的基指数的最大值．程波和柳柏濂