共查询到20条相似文献,搜索用时 31 毫秒
1.
The sensitivity set of a Boolean function at a particular input is the set of input positions where changing that one bit changes the output. Analogously we define the sensitivity set of a Boolean formula in a conjunctive normal form at a particular truth assignment, it is the set of positions where changing that one bit of the truth assignment changes the evaluation of at least one of the conjunct in the formula. We consider Boolean formulas in a generalized conjunctive normal form. Given a set ? of Boolean functions, an ?-constraint is an application of a function from ? to a tuple of literals built upon distinct variables, an ?-formula is then a conjunction of ?-constraints. In this framework, given a truth assignment I and a set of positions S, we are able to enumerate all ?-formulas that are satisfied by I and that have S as the sensitivity set at I. We prove that this number depends on the cardinality of S only, and can be expressed according to the sensitivity of the Boolean functions in ?. 相似文献
2.
Mustapha Chellali Teresa W. Haynes Stephen T. Hedetniemi Alice McRae 《Discrete Applied Mathematics》2013
A subset S⊆V in a graph G=(V,E) is a [j,k]-set if, for every vertex v∈V?S, j≤|N(v)∩S|≤k for non-negative integers j and k, that is, every vertex v∈V?S is adjacent to at least j but not more than k vertices in S. In this paper, we focus on small j and k, and relate the concept of [j,k]-sets to a host of other concepts in domination theory, including perfect domination, efficient domination, nearly perfect sets, 2-packings, and k-dependent sets. We also determine bounds on the cardinality of minimum [1, 2]-sets, and investigate extremal graphs achieving these bounds. This study has implications for restrained domination as well. Using a result for [1, 3]-sets, we show that, for any grid graph G, the restrained domination number is equal to the domination number of G. 相似文献
3.
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. 相似文献
4.
A semicomplete multipartite or semicomplete c-partite digraph D is a biorientation of a c-partite graph. A semicomplete multipartite digraph D is called strongly quasi-Hamiltonian-connected, if for any two distinct vertices x and y of D, there is a path P from x to y such that P contains at least one vertex from each partite set of D. 相似文献
5.
Let F be either the real number field R or the complex number field C and RPn the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F-vector bundle over RPn to be stably extendible to RPm for every m?n. In this paper, we simplify the theorems and apply them to the tangent bundle of RPn, its complexification, the normal bundle associated to an immersion of RPn in Rn+r(r>0), and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5]. 相似文献
6.
In this paper, we establish an oscillation estimate of nonnegative harmonic functions for a pure-jump subordinate Brownian motion. The infinitesimal generator of such subordinate Brownian motion is an integro-differential operator. As an application, we give a probabilistic proof of the following form of relative Fatou theorem for such subordinate Brownian motion X in a bounded κ-fat open set; if u is a positive harmonic function with respect to X in a bounded κ-fat open set D and h is a positive harmonic function in D vanishing on Dc, then the non-tangential limit of u/h exists almost everywhere with respect to the Martin-representing measure of h. 相似文献
7.
We give an elementary proof for Lewis Bowen’s theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product Γ of infinite amenable groups, the factor Γ?KΓ/K of the Bernoulli action Γ?KΓ by the diagonal K-action is isomorphic with a Bernoulli action of Γ. 相似文献
8.
9.
A hidden Markov model (HMM) is said to have path-mergeable states if for any two states i,j there exist a word w and state k such that it is possible to transition from both i and j to k while emitting w. We show that for a finite HMM with path-mergeable states the block estimates of the entropy rate converge exponentially fast. We also show that the path-mergeability property is asymptotically typical in the space of HMM topologies and easily testable. 相似文献
10.
Let G be a group. Any G-module M has an algebraic structure called a G-family of Alexander quandles. Given a 2-cocycle of a cohomology associated with this G-family, topological invariants of (handlebody) knots in the 3-sphere are defined. We develop a simple algorithm to algebraically construct n-cocycles of this G-family from G-invariant group n-cocycles of the abelian group M. We present many examples of 2-cocycles of these G-families using facts from (modular) invariant theory. 相似文献
11.
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. 相似文献
12.
13.
Let E be a real Banach space, C be a nonempty closed convex subset of E and T:C→C be a continuous generalized Φ-pseudocontractive mapping. It is proved that T has a unique fixed point in C. 相似文献
14.
The Severi variety parameterizes plane curves of degree d with δ nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov–Witten invariants of CP2. Fomin and Mikhalkin (2010) [10] proved the 1995 conjecture that for fixed δ, Severi degrees are eventually polynomial in d. 相似文献
15.
A polychromatic k-coloring of a map G on a surface is a k-coloring such that each face of G has all k colors on its boundary vertices. An even embedding G on a surface is a map of a simple graph on the surface such that each face of G is bounded by a cycle of even length. In this paper, we shall prove that a cubic even embedding G on the projective plane has a polychromatic proper 4-coloring if and only if G is not isomorphic to a Möbius ladder with an odd number of rungs. For proving the theorem, we establish a generating theorem for 3-connected Eulerian multi-triangulations on the projective plane. 相似文献
16.
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. 相似文献
17.
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. 相似文献
18.
A d-arc-dominated digraph is a digraph D of minimum out-degree d such that for every arc (x,y) of D, there exists a vertex u of D of out-degree d such that (u,x) and (u,y) are arcs of D. Henning and Yeo [Vertex disjoint cycles of different length in digraphs, SIAM J. Discrete Math. 26 (2012) 687–694] conjectured that a digraph with minimum out-degree at least four contains two vertex-disjoint cycles of different length. In this paper, we verify this conjecture for 4-arc-dominated digraphs. 相似文献
19.
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. 相似文献
20.
This is the sequel to Bhattacharjee et al. (in press) [3] where the notion of a p -extension of commutative rings was investigated: a unital extension of commutative rings, say R?S, is a p -extension if for every s∈S there is an r∈R such that rS=sS. In this article we apply the theory of p -extensions to rings of continuous functions. We show that this concept lays between the concepts of C?-embeddings and z-embeddings. 相似文献