首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 546 毫秒
1.
The notion of closure structures of finite rank is introduced and several closure structures familiar from algebra and logic are shown to be of finite rank. The following theorem is established: Let k be any natural number and C any closure structure of rank k + 2. If B is a finite base (generating set) of Cand D is an irredundant (independent) base of C such that |B| + k < |D|, then there is an irredundant base E of C such that |B| < |E| < |B| + k.  相似文献   

2.
A cocycle (resp. cycle) cover of a graph G is a family C of cocycles (resp. cycles) of G such that each edge of G belongs to at least one member of C. The length of C is the sum of the cardinalities of its members. While it is known (see [5, 6]) that every bridgeless graph G = (V, E) has a cycle cover of length not greater than 53 |E|, it is shown that there exists no α < 2 such that every loopless graph G = (V, E) has a cocycle cover with length not greater than α |E|. To do this, cocycle covers of minimal length are determined for the complete graphs, thus solving a problem stated at the end of [6].  相似文献   

3.
Chvátal stated in 1972 the following conjecture: If H is a hereditary hypergraph on S and M ? H is a family of maximum cardinality of pairwise intersecting members of H, then there exists an xS such that dH(x) = |{HH: xH}| = |M|. Berge and Schönheim proved that |M|?12|H| for every H and M. Now we prove that if there exists an M ? H, |M| = 12|H| then Chvátal's conjecture is true for this H.  相似文献   

4.
G = 〈V(G), E(G)〉 denotes a directed graph without loops and multiple arrows. K(G) denotes the set of all Hamiltonian circuits of G. Put H(n, r) = max{|E(G)|, |V(G)| = n, 1 ≤ |K(G)| ≤ r}. Theorem: H(n, 1) = (n22) + (n2) ?1. Further, H(n, 2),…, H(n, 5) are given.  相似文献   

5.
For a family T of subsets of an n-set X we define the trace of it on a subset Y of X by TT(Y) = {F∩Y:F?T}. We say that (m,n) → (r,s) if for every T with |T| ?m we can find a Y?X|Y| = s such that |TT(Y)| ? r. We give a unified proof for results of Bollobàs, Bondy, and Sauer concerning this arrow function, and we prove a conjecture of Bondy and Lovász saying (?n24? + n + 2,n)→ (3,7), which generalizes Turán's theorem on the maximum number of edges in a graph not containing a triangle.  相似文献   

6.
7.
The following conjecture of Katona is proved. Let X be a finite set of cardinality n, 1 ? m ? 2n. Then there is a family F, |F| = m, such that F ∈ F, G ? X, | G | > | F | implies G ∈ F and F minimizes the number of pairs (F1, F2), F1, F2F F1 ∩ F2 = ? over all families consisting of m subsets of X.  相似文献   

8.
Nous donnons une généralisation et une démonstration très courte d'un théorème de Kleitman qui dit: Pour toute paire d'idéaux F, (β) d'éléments dans le produit cartésien de k ensembles totalement ordonnés P = [1, 2, … n1] ? … ? [1, 2, … nk], nous avons (|F||P|). (|(β)||P|) ? | F ∩ (β)||P| ou en langage probabiliste Pr(F ? Pr (F|(β)).  相似文献   

9.
We prove the following theorem: Let G be a graph with vertex-set V and ?, g be two integer-valued functions defined on V such that 0?g(x) ?1??(x) for all xV. Then G contains a factor F such that g(x)?dF(x)??(x) for all xV if and only if for every subset X of V, ?(X) is at least equal to the number of connected components C of G[V ? X] such that either C = {x} and g(x) = 1, or |C| is odd ?3 and g(x) = ?(x) = 1 for all xC. Applications are given to certain combinatorial geometries associated with factors of graphs.  相似文献   

10.
We examine the p-ary codes, for any prime p, from the row span over ${\mathbb {F}_p}$ of |V| × |E| incidence matrices of connected graphs Γ = (V, E), showing that certain properties of the codes can be directly derived from the parameters and properties of the graphs. Using the edge-connectivity of Γ (defined as the minimum number of edges whose removal renders Γ disconnected) we show that, subject to various conditions, the codes from such matrices for a wide range of classes of connected graphs have the property of having dimension |V| or |V| ? 1, minimum weight the minimum degree δ(Γ), and the minimum words the scalar multiples of the rows of the incidence matrix of this weight. We also show that, in the k-regular case, there is a gap in the weight enumerator between k and 2k ? 2 of the binary code, and also for the p-ary code, for any prime p, if Γ is bipartite. We examine also the implications for the binary codes from adjacency matrices of line graphs. Finally we show that the codes of many of these classes of graphs can be used for permutation decoding for full error correction with any information set.  相似文献   

11.
Let G=(V, E) be a digraph with n vertices including a special vertex s. Let E′ ? E be a designated subset of edges. For each e?E there is an associated real number ?1(e). Furthermore, let ?2(e)=1 if e?E′ and ?2(e)=0 if e?E ? E′. The length of edge e is ?1(e)? λ?2(e), where λ is a parameter that takes on real values. Thus the length varies additively in λ for each edge of E′.We shall present two algorithms for computing the shortest path from s to each vertex υ?V parametrically in the parameter λ, with respective running times O(n3) and O(n|E|log n). For dense digraphs the running time of the former algorithm is comparable to the fastest (non-parametric) shortest path algorithm known.This work generalizes the results of Karp [2] concerning the minimum cycle mean of a digraph, which reduces to the case that E′=E. Furthermore, the second parametric algorithm may be used in conjunction with a transformation given by Bartholdi, Orlin, and Ratliff [1] to give an O(n2 log n) algorithm for the cyclic staffing problem.  相似文献   

12.
We consider quasi-periodic Schrödinger operators H on Z of the form H=Hλ,x,ω=λv(x+)δn,n+Δ where v is a non-constant real analytic function on the d-torus Td(d?1) and Δ denotes the discrete lattice Laplacian on Z. Denote by Lω(E) the Lyapounov exponent, considered as function of the energy E and the rotation vector ω∈Td. It is shown that for |λ|>λ0(v), there is the uniform minoration Lω(E)>12log|λ| for all E and ω. For all λ and ω, Lω(E) is a continuous function of E. Moreover, Lω(E) is jointly continuous in (ω,E), at any point 0,E0)∈Td×R such that k·ω0≠0 for all k∈Zd?{0}. To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 529–531.  相似文献   

13.
The binding number of a graph G, bind(G), is defined; some examples of its calculation are given, and some upper bounds for it are proved. It is then proved that, if bind(G) ≥ c, then G contains at least |G| c(c + 1) disjoint edges if 0 ≤ c ≤ 12, at least | G | (3c ? 2)3c ? 2(c ? 1)c disjoint edges if 1 ≤ c ≤ 43, a Hamiltonian circuit if c ≥ 32, and a circuit of length at least 3(| G | ?1)(c ? 1)c if 1 < c ≤ 32 and G is not one of two specified exceptional graphs. Each of these results is best possible.The Anderson number of a graph is defined. The Anderson numbers of a few very simple graphs are determined; and some rather weak bounds are obtained, and some conjectures made, on the Anderson numbers of graphs in general.  相似文献   

14.
We show that for every u∈BV(Ω;S1), there exists a bounded variation function ?∈BV(Ω;R) such that u=ei? a.e. on Ω and |?|BV?2|u|BV. The constant 2 is optimal in dimension n>1. To cite this article: J. Dávila, R. Ignat, C. R. Acad. Sci. Paris, Ser. I 337 (2003).  相似文献   

15.
For 1 ? p ? ∞, let
|A|p = Σi=1mΣj=1n, |αij|p1p
, be the lp norm of an m × n complex A = (αij) ?Cm × n. The main purpose of this paper is to find, for any p, q ? 1, the best (smallest) possible constants τ(m, k, n, p, q) and σ(m, k, n, p, q) for which inequalities of the form
|AB|p ? τ(m, k, n, p, q) |A|p|B|q, |AB|p ? σ (m, k, n, p, q)|A|q|B|p
hold for all A?Cm × k, B?Ck × n. This leads to upper bounds for inner products on Ck and for ordinary lp operator norms on Cm × n.  相似文献   

16.
We consider the equation −Δu+V(x)u=f(x,u) for x∈R2 where V:R2R is a positive potential bounded away from zero, and the nonlinearity f:R2×RR behaves like exp(α|u|2) as |u|→∞. We also assume that the potential V(x) and the nonlinearity f(x,u) are asymptotically periodic at infinity. We prove the existence of at least one weak positive solution u∈H1(R2) by combining the mountain-pass theorem with Trudinger–Moser inequality and a version of a result due to Lions for critical growth in R2.  相似文献   

17.
A graceful labeling of a graph G=(V,E) assigns |V| distinct integers from the set {0,…,|E|} to the vertices of G so that the absolute values of their differences on the |E| edges of G constitute the set {1,…,|E|}. A graph is graceful if it admits a graceful labeling. The forty-year old Graceful Tree Conjecture, due to Ringel and Kotzig, states that every tree is graceful.We prove a Substitution Theorem for graceful trees, which enables the construction of a larger graceful tree through combining smaller and not necessarily identical graceful trees. We present applications of the Substitution Theorem, which generalize earlier constructions combining smaller trees.  相似文献   

18.
In [5], Erdös and Hajnal formulate the following proposition, which we shall refer to as Φ: If ? is an order-type such that |?| = ω2but ω2, ω21 ? ?, there is ψ ? ?, |ψ| = ω1, such that ω1, ω11 ? ψ. In [2], we showed that if V = L, then ?Φ. We do not know if the assumption V = L can be weakened to CH, or if, in fact, Φ is consistent with CH. However, in this note we show that, relative to a certain large cardinal assumption, Φ is consistent with 2ω = ω2, so that ?Φ is not provable in ZFC alone. Our proof has an interesting model-theoretic consequence, which we mention at the end.  相似文献   

19.
Let X = [1, n] be a finite set of cardinality n and let F be a family of k-subsets of X. Suppose that any two members of F intersect in at least t elements and for some given positive constant c, every element of X is contained in less than c |F| members of F. How large |F| can be and which are the extremal families were problems posed by Erdös, Rothschild, and Szemerédi. In this paper we answer some of these questions for n > n0(k, c). One of the results is the following: let t = 1, 37 < c < 12. Then whenever F is an extremal family we can find a 7-3 Steiner system B such that F consists exactly of those k-subsets of X which contain some member of B.  相似文献   

20.
Consider k stations wishing to transmit messages over a network of channels to a common receiver. The capacity of a channel is the maximum amount of data which can be transmitted in a time unit. In addition to the transmission stations, the network contains switching nodes. Given that the jth station has σj messages (j = 1,…, k) to transmit, it is desired to find a schedule with minimum completion time T. The amount of data sent over a channel may vary in time. A schedule is stationary if the amount of data sent in a time unit is constant throughout the schedule. It is first shown that for every schedule there exists a stationary schedule with the same completion time. Thus, the search for an optimum schedule is confined to stationary schedules. The problem of finding an optimum stationary schedule is formulated as a multisource single-sink network flow problem, in which the net amount of outgoing flow from each source (transmission station) within one time unit is σjT. An O(k|E||V|2) time algorithm to find the minimum T similar to Dinic's flow algorithm is suggested. Using Sleator and Tarjan's techniques an O(k2|E||V|log|V|) algorithm is derived. The running time of both algorithms is independent of the σj's and the capacities.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号