共查询到20条相似文献,搜索用时 796 毫秒
1.
Bosek and Krawczyk exhibited an on-line algorithm for partitioning an on-line poset of width w into w14lgw chains. They also observed that the problem of on-line chain partitioning of general posets of width w could be reduced to First-Fit chain partitioning of 2w2+1-ladder-free posets of width w, where an m-ladder is the transitive closure of the union of two incomparable chains x1≤?≤xm, y1≤?≤ym and the set of comparabilities {x1≤y1,…,xm≤ym}. Here, we provide a subexponential upper bound (in terms of w with m fixed) for the performance of First-Fit chain partitioning on m-ladder-free posets, as well as an exact quadratic bound when m=2, and an upper bound linear in m when w=2. Using the Bosek–Krawczyk observation, this yields an on-line chain partitioning algorithm with a somewhat improved performance bound. More importantly, the algorithm and the proof of its performance bound are much simpler. 相似文献
2.
We prove that if for a continuous map f on a compact metric space X, the chain recurrent set, R(f) has more than one chain component, then f does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f on a compact metric space X has the asymptotic average shadowing property and if A is an attractor for f, then A is the single attractor for f and we have A=R(f). We also study diffeomorphisms with asymptotic average shadowing property and prove that if M is a compact manifold which is not finite with dimM=2, then the C1 interior of the set of all C1 diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω-stable diffeomorphisms. 相似文献
3.
A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of w-values is finite for a group G∈X, it always follows that w(G) is finite. P. Hall asked whether every word is concise. Due to Ivanov the answer to this problem is known to be negative. Dan Segal asked whether every word is concise in the class of residually finite groups. In this direction we prove that if w is a multilinear commutator and q is a prime-power, then the word wq is indeed concise in the class of residually finite groups. Further, we show that in the case where w=γk the word wq is boundedly concise in the class of residually finite groups. It remains unknown whether the word wq is actually concise in the class of all groups. 相似文献
4.
Binh-Minh Bui-Xuan Ondřej Suchý Jan Arne Telle Martin Vatshelle 《European Journal of Combinatorics》2013
The Feedback Vertex Set problem asks whether a graph contains q vertices meeting all its cycles. This is not a local property, in the sense that we cannot check if q vertices meet all cycles by looking only at their neighbors. Dynamic programming algorithms for problems based on non-local properties are usually more complicated. In this paper, given a graph G of clique-width cw and a cw-expression of G, we solve the Minimum Feedback Vertex Set problem in time O(n22O(cwlogcw)). Our algorithm applies dynamic programming on a so-called k-module decomposition of a graph, as defined by Rao (2008) [29], which is easily derivable from ak-expression of the graph. The related notion of module-width of a graph is tightly linked to both clique-width and NLC-width, and in this paper we give an alternative equivalent characterization of module-width. 相似文献
5.
Suppose X is a real q-uniformly smooth Banach space and F,K:X→X are Lipschitz ?-strongly accretive maps with D(K)=F(X)=X. Let u∗ denote the unique solution of the Hammerstein equation u+KFu=0. An iteration process recently introduced by Chidume and Zegeye is shown to converge strongly to u∗. No invertibility assumption is imposed on K and the operators K and F need not be defined on compact subsets of X. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included. 相似文献
6.
A net (xα) in a vector lattice X is said to be unbounded order convergent (or uo-convergent, for short) to x∈X if the net (|xα−x|∧y) converges to 0 in order for all y∈X+. In this paper, we study unbounded order convergence in dual spaces of Banach lattices. Let X be a Banach lattice. We prove that every norm bounded uo-convergent net in X? is w?-convergent iff X has order continuous norm, and that every w?-convergent net in X? is uo-convergent iff X is atomic with order continuous norm. We also characterize among σ -order complete Banach lattices the spaces in whose dual space every simultaneously uo- and w?-convergent sequence converges weakly/in norm. 相似文献
7.
We show that if T:X→X is a continuous linear operator on an F-space X≠{0}, then the set of frequently hypercyclic vectors of T is of first category in X, and this answers a question of A. Bonilla and K.-G. Grosse-Erdmann. We also show that if T:X→X is a bounded linear operator on a Banach space X≠{0} and if T is frequently hypercyclic (or, more generally, syndetically transitive), then the T∗-orbit of every non-zero element of X∗ is bounded away from 0, and in particular T∗ is not hypercyclic. 相似文献
8.
Kelly, Kühn and Osthus conjectured that for any ?≥4 and the smallest number k≥3 that does not divide ?, any large enough oriented graph G with δ+(G),δ−(G)≥⌊|V(G)|/k⌋+1 contains a directed cycle of length ?. We prove this conjecture asymptotically for the case when ? is large enough compared to k and k≥7. The case when k≤6 was already settled asymptotically by Kelly, Kühn and Osthus. 相似文献
9.
Let E be a Banach lattice and F a Banach space. A bounded linear operator T:E→F is an isomorphism on the positive cone of E if and only if T∗ is almost surjective. A dual version of this theorem holds also. A bounded linear operator T:F→E is almost surjective if and only if T∗ is an isomorphism on the positive cone of F∗. 相似文献
10.
For a Gaussian process X and smooth function f, we consider a Stratonovich integral of f(X), defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on X such that the sequence converges in law. This gives a change-of-variable formula in law with a correction term which is an Itô integral of f? with respect to a Gaussian martingale independent of X. The proof uses Malliavin calculus and a central limit theorem from Nourdin and Nualart (2010) [8]. This formula was known for fBm with H=1/6 Nourdin et al. (2010) [9]. We extend this to a larger class of Gaussian processes. 相似文献
11.
This paper is devoted to construct a family of fifth degree cubature formulae for n-cube with symmetric measure and n-dimensional spherically symmetrical region. The formula forn-cube contains at most n2+5n+3 points and for n-dimensional spherically symmetrical region contains only n2+3n+3 points. Moreover, the numbers can be reduced to n2+3n+1 and n2+n+1 if n=7 respectively, the latter of which is minimal. 相似文献
12.
Let t?2 be an integer and p?5 be a prime. We prove a conjecture on congruences for 2t-core partition functions. We also find many new congruences for p -core partition functions when 5?p?47. 相似文献
13.
Jean-Stéphane Dhersin Fabian Freund Arno Siri-Jégousse Linglong Yuan 《Stochastic Processes and their Applications》2013
In this paper, we consider Beta(2−α,α) (with 1<α<2) and related Λ-coalescents. If T(n) denotes the length of a randomly chosen external branch of the n-coalescent, we prove the convergence of nα−1T(n) when n tends to ∞, and give the limit. To this aim, we give asymptotics for the number σ(n) of collisions which occur in the n-coalescent until the end of the chosen external branch, and for the block counting process associated with the n-coalescent. 相似文献
14.
In 2011, the fundamental gap conjecture for Schrödinger operators was proven. This can be used to estimate the ground state energy of the time-independent Schrödinger equation with a convex potential and relative error ε. Classical deterministic algorithms solving this problem have cost exponential in the number of its degrees of freedom d. We show a quantum algorithm, that is based on a perturbation method, for estimating the ground state energy with relative error ε. The cost of the algorithm is polynomial in d and ε−1, while the number of qubits is polynomial in d and logε−1. In addition, we present an algorithm for preparing a quantum state that overlaps within 1−δ,δ∈(0,1), with the ground state eigenvector of the discretized Hamiltonian. This algorithm also approximates the ground state with relative error ε. The cost of the algorithm is polynomial in d, ε−1 and δ−1, while the number of qubits is polynomial in d, logε−1 and logδ−1. 相似文献
15.
We consider a multidimensional diffusion X with drift coefficient b(α,Xt) and diffusion coefficient ?σ(β,Xt). The diffusion sample path is discretely observed at times tk=kΔ for k=1…n on a fixed interval [0,T]. We study minimum contrast estimators derived from the Gaussian process approximating X for small ?. We obtain consistent and asymptotically normal estimators of α for fixed Δ and ?→0 and of (α,β) for Δ→0 and ?→0 without any condition linking ? and Δ. We compare the estimators obtained with various methods and for various magnitudes of Δ and ? based on simulation studies. Finally, we investigate the interest of using such methods in an epidemiological framework. 相似文献
16.
17.
By a perturbation method and constructing comparison functions, we reveal how the inhomogeneous term h affects the exact asymptotic behaviour of solutions near the boundary to the problem △u=b(x)g(u)+λh(x), u>0 in Ω, u|∂Ω=∞, where Ω is a bounded domain with smooth boundary in RN, λ>0, g∈C1[0,∞) is increasing on [0,∞), g(0)=0, g′ is regularly varying at infinity with positive index ρ, the weight b, which is non-trivial and non-negative in Ω, may be vanishing on the boundary, and the inhomogeneous term h is non-negative in Ω and may be singular on the boundary. 相似文献
18.
Suppose X is a real q-uniformly smooth Banach space and F,K:X→X are bounded strongly accretive maps with D(K)=F(X)=X. Let u∗ denote the unique solution of the Hammerstein equation u+KFu=0. A new explicit coupled iteration process is shown to converge strongly to u∗. No invertibility assumption is imposed on K and the operators K and F need not be defined on compact subsets of X. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included. 相似文献
19.
In many applications it has been observed that hybrid-Monte Carlo sequences perform better than Monte Carlo and quasi-Monte Carlo sequences, especially in difficult problems. For a mixed s-dimensional sequence m, whose elements are vectors obtained by concatenating d-dimensional vectors from a low-discrepancy sequence q with (s−d)-dimensional random vectors, probabilistic upper bounds for its star discrepancy have been provided. In a paper of G. Ökten, B. Tuffin and V. Burago [G. Ökten, B. Tuffin, V. Burago, J. Complexity 22 (2006), 435–458] it was shown that for arbitrary ε>0 the difference of the star discrepancies of the first N points of m and q is bounded by ε with probability at least 1−2exp(−ε2N/2) for N sufficiently large. The authors did not study how large N actually has to be and if and how this actually depends on the parameters s and ε. In this note we derive a lower bound for N, which significantly depends on s and ε. Furthermore, we provide a probabilistic bound for the difference of the star discrepancies of the first N points of m and q, which holds without any restrictions on N. In this sense it improves on the bound of Ökten, Tuffin and Burago and is more helpful in practice, especially for small sample sizes N. We compare this bound to other known bounds. 相似文献
20.
We consider N independent stochastic processes (Xj(t),t∈[0,T]), j=1,…,N, defined by a one-dimensional stochastic differential equation with coefficients depending on a random variable ?j and study the nonparametric estimation of the density of the random effect ?j in two kinds of mixed models. A multiplicative random effect and an additive random effect are successively considered. In each case, we build kernel and deconvolution estimators and study their L2-risk. Asymptotic properties are evaluated as N tends to infinity for fixed T or for T=T(N) tending to infinity with N. For T(N)=N2, adaptive estimators are built. Estimators are implemented on simulated data for several examples. 相似文献