2018年单调函数的列表判别法.docVIP

单调函数的列表判别法 　　单调函数的列表判别法 　　　　程 捷, 陈偕雄 　　()浙江大学 信息与电子工程学系, 浙江 杭州 310027 　　摘 要: 本文讨论了单调函数和函数的最小项列表, 在此基础上提出单调函数、单调递增函数和单调递 减函数的列表判别方法, 并举例说明了判别过程Λ 　　关 键 词: 单调函数; 单调递增函数; 单调递减函数; 列表 　　中图分类号: TN 911. 23 文献标识码: A 　　(, 2, CH EN G J ieCH EN X iex io ng D ep a r tm en t of I nf orm a t ion and E lec t ron ic E ng inee r ing Z h ej iang U n iv e r2 　　), 310027, s ity H ang z h ou C h ina 　　() . , 2001,Tabl in g dec is ion m e thod of m on o ton ic f un c t ion sJo u rna l o f Zh e jiang U n ive r sity Sc ience E d it io n () 28 5: 513, 516 　　: , A bstrac tT h is p ap e r d iscu sse s th e m o no to n ic func t io n s and th e tab ling o f m in im a l item sp ropo se s th e 　　, , tab ling dec isio n m e tho d o f m o no to n ic func t io n sm o no to ne inc rea sing and dec rea sing func t io n sand 　　.g ive s som e exam p le s to show th e dec isio n p ro ce ss 　　Key words: m o no to n ic func t io n; m o to to ne inc rea sing func t io n; m o no to ne dec rea sing func t io n; tab ling 引 言 1 　　1, 2 单调函数是一类重要而特殊的函数, 在函数论及测度论中有着广泛的应用Ζ在布尔代数中, 　　单调函数的定义如下:) ) ( ((定义 1 设 x = a 1 , a 2 , , a n , y = b1 , b2 , , bn 为 n 变量的二组输入, 当且仅当 a i ?bi i= 1, ) 2, , n 时, 称 x ?y Ζ 　　定义 2 设 = (, , ) () () x a 1 a 2 , a n , y = b1 , b2 , , bn 为完全指定函数 f x 1 , x 2 , , x n 的任意二组 　　) () () (x n 为单调递增函数Ζ , 输入, , 当且仅当 x ?y 时, f x ?f y 则称 f x 1 , x 2 , 　　) ((定义 3 , a n , y = b1 , b2 , ) () 设 x = a 1 , a 2 , , bn 为完全指定函数 f x 1 , x 2 , , x n 的任意二组 　　) () () (x n 为单调递减函数Ζ , 输入, 当且仅当 x ?y 时, f x ?f y , 则称 f x 1 , x 2 , 　　() 定义 4 如果 n 变量中部分变量取反时能使函数 f x 1 , x 2 , , x n 为单调递增函数或为单调递 　　减函数, 则称该函数为混合单调函数Ζ 根据单调函数的定义, 可导出以下定理: 　　(定理 1 一个完全指定函数 f x 1 , x 2 , ) () , x n 当且仅当它的最小化积之和 SO P 表达式中所有 　　() 变量均以原变量或反变量形式出现时, 为单调函数Ζ 如均以原变量出现, f x 1 , x 2 , , x n 为单调递 　　收稿日期: 2000211229 　　作者简介: 程 捷( 1964- ) , 男, 浙江大学信息与电子工程学系博士, 副教授, 主要从事数字电子学研究Λ 　　浙 江 大 学 学 报 (理学版) 第 28 卷 514 　　() 增函数; 如均以反变量出现, 则 f x 1 , x 2 , , x n 为单调递减函数Ζ 　　定理 2 () 一个完全指定函数