初等模糊拟阵与基本截片模糊拟阵的若干性质

对两种初等模糊拟阵和基本截片模糊拟阵的定义进行了比较,研究了它们之间的关系.研究了初等模糊拟阵的若干性质,得到了初等模糊拟阵和基本截片模糊拟阵为闭正则模糊拟阵等结论,给出了初等模糊拟阵的等价刻画以及初等模糊拟阵与其截拟阵之间的关系.     

Lagrangian Matroids and Cohomology

We prove that bigtriangleup bigtriangleup -matroids associated with maps on compact closed surfaces are representable, with the space of representation provided by cohomology of the surface with punctured points.     

Matroids and linking systems

With the help of the concept of a linking system, theorems relating matroids with bipartite graphs and directed graphs are deduced. In this way natural generalizations of theorems of Edmonds & Fulkerson, Perfect, Pym. Rado, Brualdi and Mason are obtained. Furthermore some other properties of these linking systems are investigated.     

Mutation Polynomials and Oriented Matroids

Several polynomials are of use in various enumeration problems concerning objects in oriented matroids. Chief among these is the Radon catalog. We continue to study these, as well as the total polynomials of uniform oriented matroids, by considering the effect on them of mutations of the uniform oriented matroid. The notion of a ``mutation polynomial' is introduced to facilitate the study. The affine spans of the Radon catalogs and the total polynomials in the appropriate rational vector spaces of polynomials are determined, and bases for the Z -modules generated by the mutation polynomials are found. The Radon polynomials associated with alternating oriented matroids are described; it is conjectured that a certain extremal property, like that held by cyclic polytopes among simplicial polytopes, is possessed by them. Received November 20, 1998, and in revised form August 21, 1999. Online publication May 19, 2000.     

Uniform Families and Count Matroids

Given an r-graph G on [n], we are allowed to add consecutively new edges to it provided that every time a new r-graph with at least l edges and at most m vertices appears. Suppose we have been able to add all edges. What is the minimal number of edges in the original graph? For all values of parameters, we present an example of G which we conjecture to be extremal and establish the validity of our conjecture for a range of parameters. Our proof utilises count matroids which is a new family of matroids naturally extending that of White and Whiteley. We characterise, in certain cases, the extremal graphs. In particular, we answer a question by Erdős, Füredi and Tuza. Received: May 6, 1998 Final version received: September 1, 1999     

On Matroids and Orlik-Solomon Algebras

In this paper we axiomatize combinatorics of arrangements of affine hyperplanes, which is a generalization of matroids, called quasi-matroids. We show that quasi-matroids are equivalent to pointed matroids. On the other hand, the Orlik-Solomon (OS) algebra of a quasimatroid can be constructed. We prove that the OS algebra of a quasi-matroid is isomorphic to the direct image of the OS algebra of a matroid by the linear derivation.AMS Subject Classification: 03B35, 13D03, 52C35.     

Matroids and quotients of spheres

For any linear quotient of a sphere, where is an elementary abelian p–group, there is a corresponding representable matroid which only depends on the isometry class of X. When p is 2 or 3 this correspondence induces a bijection between isometry classes of linear quotients of spheres by elementary abelian p–groups, and matroids representable over Not only do the matroids give a great deal of information about the geometry and topology of the quotient spaces, but the topology of the quotient spaces point to new insights into some familiar matroid invariants. These include a generalization of the Crapo–Rota critical problem inequality and an unexpected relationship between and whether or not the matroid is affine. Received: 7 February 2001; in final form: 30 October 2001/ Published online: 29 April 2002     

Visibility Graphs and Oriented Matroids

Abstract. We describe a set of necessary conditions for a given graph to be the visibility graph of a simple polygon. For every graph satisfying these conditions we show that a uniform rank 3 oriented matroid can be constructed in polynomial time, which if affinely coordinatizable yields a simple polygon whose visibility graph is isomorphic to the given graph.     

A parallel algorithm for generalized networks

This paper presents an application of parallel computing techniques to the solution of an important class of planning problems known as generalized networks. Three parallel primal simplex variants for solving generalized network problems are presented. Data structures used in a sequential generalized network code are briefly discussed and their extension to a parallel implementation of one of the primal simplex variants is given. Computational testing of the sequential and parallel codes, both written in Fortran, was done on the CRYSTAL multicomputer at the University of Wisconsin, and the computational results are presented. Maximum efficiency occurred for multiperiod generalized network problems where a speedup approximately linear in the number of processors was achieved.This research was supported in part by NSF grants DCR-8503148 and CCR-8709952 and by AFOSR grant AFOSR-86-0194.     

Determinants and current flows in electric networks

We consider electrical networks in which current enters at a single node and leaves at another. It has long been known that the currents and potential differences in such networks can be expressed in terms of determinants, or alternatively as counts of trees. Here we give alternative determinantal expressions.     

A generalized activity network model

In recent years activity networks for projects with both random and deterministic alternative outcomes in key nodes have been considered. The developed control algorithm chooses an optimal outcome direction at every deterministic alternative node which is reached in the course of the project's realization. At each routine decision-making node, the algorithm singles out all the subnetworks (the so-called joint variants) which correspond to all possible outcomes from that node. Decision-making results in determining the optimal joint variant and following the optimal direction up to the next decision-making node. However, such models cover a limited class of alternative networks, namely, only fully-divisible networks which can be subdivided into nonintersecting fragments. In this paper, a more generalized activity network is considered. The model can be applied to a broader spectrum of R&D projects and can be used for all types of alternative networks, for example, for non-divisible networks comprising nodes with simultaneously ‘must follow’, random ‘exclusive OR’ and deterministic ‘exclusive or’ emitters. The branching activities of the third type refer to decision-making outcomes; choosing the optimal outcome is the sole prerogative of the project's management. Such a model is a more universal activity network; we will call it GAAN—Generalized Alternative Activity Network. The problem is to determine the joint variant optimizing the mean value of the objective function subject to restricted mean values of several other criteria. We will prove that such a problem is a NP-complete one. Thus, in general, the exact solution of the problem may be obtained only by looking through all the joint variants on the basis of their proper enumeration. To enumerate the joint variants we will use the lexicographical method in combination with some techniques of discrete optimization. A numerical example will be presented. Various application areas are considered.     

Visibility Graphs and Oriented Matroids

   Abstract. We describe a set of necessary conditions for a given graph to be the visibility graph of a simple polygon. For every graph satisfying these conditions we show that a uniform rank 3 oriented matroid can be constructed in polynomial time, which if affinely coordinatizable yields a simple polygon whose visibility graph is isomorphic to the given graph.     

Oriented Matroids and Associated Valuations

It is possible to associate a valuation on the orthant lattice with each oriented matroid. In the case of uniform oriented matroids, it is not difficult to provide a characterization of the corresponding valuations. This is done here, thereby establishing a new characterization of the uniform oriented matroids themselves. Additionally, the connection between the valuations and the total polynomials associated with uniform oriented matroids is noted.     

Matroids and the greedy algorithm

Linear-algebra rank is the solution to an especially tractable optimization problem. This tractability is viewed abstractly, and extended to certain more general optimization problems which are linear programs relative to certain derived polyhedra.This paper was presented at the Princeton Symposium on Mathematical Programming, 1967, and intended for its Proceedings. With permission of the author it appears here instead.     

Matroids and a forest cover problem

A forest cover of a graph is a spanning forest for which each component has at least two nodes. IfK is a subset of nodes, aK-forest cover is a forest cover including exactly one node fromK in each component. We show that the weighted two matroid intersection algorithm determines the maximum costK-forest cover.Centro de Matemática e Aplicações Fundamentais (Projecto 6F91).     

Circuits and Cocircuits in Regular Matroids

A classical result of Dirac's shows that, for any two edges and any n−2 vertices in a simple n-connected graph, there is a cycle that contains both edges and all n−2 of the vertices. Oxley has asked whether, for any two elements and any n−2 cocircuits in an n-connected matroid, there is a circuit that contains both elements and that has a non-empty intersection with all n−2 of the cocircuits. By using Seymour's decomposition theorem and results of Oxley and Denley and Wu, we prove that a slightly stronger property holds for regular matroids.     

Moran's genetics model via electric networks

Using the electric approach, we derive exact and asymptotic closed form formulas for hitting times in symmetric cases of the Moran's genetics model.