一些组合地图新算法的实现

本文主要讨论组合地图列举问题.刘的一部专著中提出了一个判定两个地图是否同构的算法.该算法的时间复杂度为O(m2),其中m为下图的规模.在此基础上,本文给出一个用于地图列举以及进而计算任意连通下图的地图亏格分布的通用算法.本文所得结果比之前文献中所给结果更优.     

投资项目评价选择模型的遗传算法

针对一类常见的投资项目评价选择模型提出了一种快速有效的遗传算法。考虑到模型的特殊形式，算法采用了特别的编码方式、遗传算子和适应度确定方法，并与穷举法和隐枚举法进行了对比试验，结果表明该方法能快速有效地给出解决方案。     

Fast Enumeration Algorithms for Non-crossing Geometric Graphs

A non-crossing geometric graph is a graph embedded on a set of points in the plane with non-crossing straight line segments. In this paper we present a general framework for enumerating non-crossing geometric graphs on a given point set. Applying our idea to specific enumeration problems, we obtain faster algorithms for enumerating plane straight-line graphs, non-crossing spanning connected graphs, non-crossing spanning trees, and non-crossing minimally rigid graphs. Our idea also produces efficient enumeration algorithms for other graph classes, for which no algorithm has been reported so far, such as non-crossing matchings, non-crossing red-and-blue matchings, non-crossing k-vertex or k-edge connected graphs, or non-crossing directed spanning trees. The proposed idea is relatively simple and potentially applies to various other problems of non-crossing geometric graphs.     

Matrix operator equations

This article is devoted to the theory and applications of matrix operator equations in normed spaces. We describe in detail the general properties of matrix operators and their representing matrices. As the indexing set we take an arbitrary countable set. This is related to stochastic applications in which it is difficult to find an enumeration that fits well with the content. Sample applications are the Markov matrices and the operators they define. Comparisons with operators of this type arise in some stochastic problems of integral geometry and tomography.     

Ranking and unranking planar embeddings

In this paper, we give a formula for computing the number of different planat embeddings of any planar biconnected graph. The enumeration method used in deriving the formula readily gives rise to efficient algorithms for the ranking, unranking and random generation of embeddings of the given graph. We also give linear time algorithms for checking planarity and constructing any particular embedding.     

Counting the number of independent sets in chordal graphs

We study some counting and enumeration problems for chordal graphs, especially concerning independent sets. We first provide the following efficient algorithms for a chordal graph: (1) a linear-time algorithm for counting the number of independent sets; (2) a linear-time algorithm for counting the number of maximum independent sets; (3) a polynomial-time algorithm for counting the number of independent sets of a fixed size. With similar ideas, we show that enumeration (namely, listing) of the independent sets, the maximum independent sets, and the independent sets of a fixed size in a chordal graph can be done in constant time per output. On the other hand, we prove that the following problems for a chordal graph are #P-complete: (1) counting the number of maximal independent sets; (2) counting the number of minimum maximal independent sets. With similar ideas, we also show that finding a minimum weighted maximal independent set in a chordal graph is NP-hard, and even hard to approximate.     

具有割点的标号Euler图的计数

本文讲座了具有k(k≥2）个割点,并且所有割点均分布在一个2－连能Euler图的标号Euler图的计数,在这里给出了有含有n个2－连能Euler图和k(k≥2）个割点,并且所有割点均分布在其中一2－连能Euler图的标号Euler图的指数型生成函数。     

Counting Integer Flows in Networks

This paper discusses analytic algorithms and software for the enumeration of all integer flows inside a network. Concrete applications abound in graph theory, representation theory, and statistics. Our methods are based on the study of rational functions with poles on arrangements of hyperplanes; they surpass traditional exhaustive enumeration and can even yield formulas when the input data contains some parameters. We also discuss the calculation of chambers in detail because it is a necessary subroutine.     

One-factorizations of the complete graph—A survey

We survey known results on the existence and enumeration of many kinds of 1-factorizations of the complete graph. We also mention briefly some related questions and topics, as well as applications.     

An algorithm to solve polyhedral convex set optimization problems

An algorithm which computes a solution of a set optimization problem is provided. The graph of the objective map is assumed to be given by finitely many linear inequalities. A solution is understood to be a set of points in the domain satisfying two conditions: the attainment of the infimum and minimality with respect to a set relation. In the first phase of the algorithm, a linear vector optimization problem, called the vectorial relaxation, is solved. The resulting pre-solution yields the attainment of the infimum but, in general, not minimality. In the second phase of the algorithm, minimality is established by solving certain linear programs in combination with vertex enumeration of some values of the objective map.     

Interlace polynomials: Enumeration, unimodality and connections to codes

The interlace polynomialq was introduced by Arratia, Bollobás, and Sorkin. It encodes many properties of the orbit of a graph under edge local complementation (ELC). The interlace polynomial Q, introduced by Aigner and van der Holst, similarly contains information about the orbit of a graph under local complementation (LC). We have previously classified LC and ELC orbits, and now give an enumeration of the corresponding interlace polynomials of all graphs of order up to 12. An enumeration of all circle graphs of order up to 12 is also given. We show that there exist graphs of all orders greater than 9 with interlace polynomials q whose coefficient sequences are non-unimodal, thereby disproving a conjecture by Arratia et al. We have verified that for graphs of order up to 12, all polynomials Q have unimodal coefficients. It has been shown that LC and ELC orbits of graphs correspond to equivalence classes of certain error-correcting codes and quantum states. We show that the properties of these codes and quantum states are related to properties of the associated interlace polynomials.     

Some genuine graph models in anthropology

After long implicit use, graph theory is beginning to assume its rightful place in anthropology. Current research on exchange in Oceanian societies (Melanesia, Micronesia, and Polynesia) demonstrates its value for the classification, quantification, simulation, and enumeration of structural forms.     

Inside-out polytopes

We present a common generalization of counting lattice points in rational polytopes and the enumeration of proper graph colorings, nowhere-zero flows on graphs, magic squares and graphs, antimagic squares and graphs, compositions of an integer whose parts are partially distinct, and generalized latin squares. Our method is to generalize Ehrhart's theory of lattice-point counting to a convex polytope dissected by a hyperplane arrangement. We particularly develop the applications to graph and signed-graph coloring, compositions of an integer, and antimagic labellings.     

A graph-theoretic proof of the non-existence of self-orthogonal Latin squares of order 6

The non-existence of a pair of mutually orthogonal Latin squares of order six is a well-known result in the theory of combinatorial designs. It was conjectured by Euler in 1782 and was first proved by Tarry in 1900 by means of an exhaustive enumeration of equivalence classes of Latin squares of order six. Various further proofs have since been given, but these proofs generally require extensive prior subject knowledge in order to follow them, or are ‘blind’ proofs in the sense that most of the work is done by computer or by exhaustive enumeration. In this paper we present a graph-theoretic proof of a somewhat weaker result, namely the non-existence of self-orthogonal Latin squares of order six, by introducing the concept of a self-orthogonal Latin square graph. The advantage of this proof is that it is easily verifiable and accessible to discrete mathematicians not intimately familiar with the theory of combinatorial designs. The proof also does not require any significant prior knowledge of graph theory.     

Bi-Cayley图的一些代数性质

设G是一个有限群,S是G的一个子集,Bi-Cayley图BC(G,S)是一个二部图:其顶点集为G×{0,1},而边集为{{(g,0),(sg,1)}:g∈G,s∈S}.本文研究了有限阿贝尔群G上的Cayley图D(G,S)和Bi-Calyley图BC(G,S)之间特征值的关系,并由此得到循环群上的Bi-Cayley图的特征值.继而得到生成树数的一些渐进性定理.     

Set covering and packing formulations of graph coloring: Algorithms and first polyhedral results

We consider two (0, 1)-linear programming formulations of the graph (vertex-) coloring problem, in which variables are associated with stable sets of the input graph. The first one is a set covering formulation, where the set of vertices has to be covered by a minimum number of stable sets. The second is a set packing formulation, in which constraints express that two stable sets cannot have a common vertex, and large stable sets are preferred in the objective function. We identify facets with small coefficients for the polytopes associated with both formulations. We show by computational experiments that both formulations are about equally efficient when used in a branch-and-price algorithm. Next we propose some preprocessing, and show that it can substantially speed up the algorithm, if it is applied at each node of the enumeration tree. Finally we describe a cutting plane procedure for the set covering formulation, which often reduces the size of the enumeration tree.     

GROUP THEORY METHODFOR ENUMERATION OFOUTERPLANAR GRAPHS

1.IntroductionAplanargraphiscalledanouterplanargraph[']ifinitsplaneembeddingitsvenicescanbeplacedontheboundaryofaface.Thisfaceisusuallycalledanouterface.Anouterplanargraphissaidtobemaximumifwecannotaddanyedgetokeepitsouterplanarity.Wesupposethatallouterplanargraphsinvestigatedinthispaperaretwoconnected.Theedgesontheboundaryoftheouterfacearecalledouteredgesandotheredgesarecalledinneredgesorchords.Apathu--vconsistedofouteredgeswithd(u)23andd(v)23iscalledasinglechain.Asinglechainissaidtobetrivi…     

Highly irregular graphs

A connected graph is highly irregular if each of its vertices is adjacent only to vertices with distinct degrees. In this paper we investigate several problems concerning the existence and enumeration of highly irregular graphs as well as their independence numbers, with particular focus on the corresponding problems for highly irregular trees.     

M-matrix asymptotics for Sturm–Liouville problems on graphs

We consider a system formulation for Sturm–Liouville operators with formally self-adjoint boundary conditions on a graph. An M-matrix associated with the boundary value problem is defined and related to the matrix Prüfer angle associated with the system boundary value problem, and consequently with the boundary value problem on the graph. Asymptotics for the M-matrix are obtained as the eigenparameter tends to negative infinity. We show that the boundary conditions may be recovered, up to a unitary equivalence, from the M-matrix and that the M-matrix is a Herglotz function. This is the first in a series of papers devoted to the reconstruction of the Sturm–Liouville problem on a graph from its M-matrix.     

A combinatorial optimization algorithm for solving the branchwidth problem

In this paper, we consider the problem of computing an optimal branch decomposition of a graph. Branch decompositions and branchwidth were introduced by Robertson and Seymour in their series of papers that proved the Graph Minors Theorem. Branch decompositions have proven to be useful in solving many NP-hard problems, such as the traveling salesman, independent set, and ring routing problems, by means of combinatorial algorithms that operate on branch decompositions. We develop an implicit enumeration algorithm for the optimal branch decomposition problem and examine its performance on a set of classical graph instances.