量子通讯中的十个数学结果

本文利用组合计数理论、不定方程理论、数列和级数知识，采用构造证明的方法研究了量子计数问题，解决了量子通讯中的十个教学问题。这些结果即将在其他学科中得到广泛的和深入的应用。     

一个组合数论计数问题的探讨

对一类关于内切圆半径为r的整边多边形的组合数论计数问题进行探讨,将整边直角三角形中的计数问题扩展到其它的三角形和四边形中,获得更加广泛的一类组合数论问题的计数公式.     

Deligne-Simpson问题与Hurwit计数问题的关系

本文考虑Deligne-Simpson问题与Hurwitz计数问题的关系.本文首先观察到它们是不同群G上的相同代数方程(A_1,B_1)…(A_g,B_g)X_1…X_k=I的求解问题,然后计算了具有任意拆分的3阶Deligne-Simpson问题的欧拉特征类,并将其中一些特征类的生成函数表示成有理函数.     

关于一个乘积等于单位元的代数方程的研究

本文考虑Deligne-Simpson问题和Hurwitz计数问题的关系. 首先观察到它们是不同群G上的相同代数方程:(A_1,B_1)…(A_g,B_g)X_1…X_k=I 的求解问题. 当G为复数域上的一般线性群时, 该方程等价于Deligne-Simpson问题; 当G为有限域上的一般线性群时, 该方程等价于Deligne-Simpson问题解空间欧拉数问题; 而当G为置换群时, 该方程等价于所谓的Hurwitz计数问题. 然后我们计算具有任意拆分的3 阶Deligne-Simpson 问题的欧拉特征类, 并将其中一些特征类的生成函数表示成了有理函数.     

容斥原理及其推广

介绍容斥原理的两个公式及其推广，并利用容斥原理解决有关计数问题。     

关于二项式系数的一个计数问题

对任意给定的素数ｐ和非负整数Ｎ，给出了边长为Ｎ的杨辉三角形所含的１／２（Ｎ＋１）（Ｎ＋２）个二项式系数（＾ｎｒ），ｎ＝０，１，…，Ｎ；ｒ＝０，１，…，ｎ中与ｐ互素者之个数ｆｐ（Ｎ）的精确计算公式，即有ｆｐ（Ｎ）＝１／２Σ＾ｋｉ＝０ａｉП＾ｋｊ＝ｉ（ａｊ＋１）Ｐ＾ｉ，其中Ｐ＝１／２ｐ（ｐ＋１），Ｎ＋１＝ａｋｐ＾ｋ＋…＋ａ１ｐ＋ａ０，０≤ａｉ〈ｐ。特别地，边长为Ｎ的杨辉三角形中所含奇数的个数恰为Σ＾ｔ     

Counting Problems in Parameterized Complexity

Parameterized complexity is a multivariate theory for the analysis of computational problems. It leads to practically efficient algorithms for many NP-hard problems and also provides a much finer complexity classification for other intractable problems. Although the theory is mostly on decision problems, parameterized complexity naturally extends to counting problems as well. The purpose of this article is to survey a few aspects of parameterized counting complexity, with a particular emphasis on some general frameworks in which parameterized complexity proves to be indispensable.     

关于容斥原理的两点注记

利用容斥原理讨论有限集Ｓ中的元素对于性质集合Ｐ中的性质是否具有的两种计数问题，给出了相应的计算公式。     

一个组合计数问题

文献给出了下述计数问题：由ｎ个０和ｎ个１构成的字符串中，任意前ｋ个字符中０的个数不少于１的个数的字符串有多少？本文给出了求解的一种方法，并用所得结果解决了另一个计数问题。     

集〔1,n〕上映射的计数问题

本文提出集〔１，ｎ〕上的ｋ（≥１）次幂等映射，连象映射，交错映射等概念。初步讨论其计数问题，并顺便得一关于Ｓｔｉｒｌｉｎｇ数的组合等式。