Dear Editor,This letter studies the bipartite consensus tracking problem for heterogeneous multi-agent systems with actuator faults and a leader's unknown time-varying control input. To handle such a problem, the ...Dear Editor,This letter studies the bipartite consensus tracking problem for heterogeneous multi-agent systems with actuator faults and a leader's unknown time-varying control input. To handle such a problem, the continuous fault-tolerant control protocol via observer design is developed. In addition, it is strictly proved that the multi-agent system driven by the designed controllers can still achieve bipartite consensus tracking after faults occur.展开更多
A graph G is H-free,if it contains no H as a subgraph.A graph G is said to be H-minor free,if it does not contain H as a minor.In 2010,Nikiforov asked that what the maximum spectral radius of an H-free graph of order ...A graph G is H-free,if it contains no H as a subgraph.A graph G is said to be H-minor free,if it does not contain H as a minor.In 2010,Nikiforov asked that what the maximum spectral radius of an H-free graph of order n is.In this paper,we consider some Brualdi-Solheid-Turan type problems on bipartite graphs.In 2015,Zhai,Lin and Gong in[Linear Algebra Appl.,2015,471:21-27]proved that if G is a bipartite graph with order n≥2k+2 and ρ(G)≥ρ(K_(k,n-k)),then G contains a C_(2k+2) unless G≌K_(k,n-k).First,we give a new and more simple proof for the above theorem.Second,we prove that if G is a bipartite graph with order n≥2k+2 and ρ(G)≥ρ(K_(k,n-k)),then G contains all T_(2k+3) unless G≌K_(k,n-k).Finally,we prove that among all outerplanar bipartite graphs on n≥308026 vertices,K_(1,n-1) attains the maximum spectral radius.展开更多
Let G be a graph and H be a set of subgraphs of G.An h-edge-coloring of G is H-polychromatic if every subgraph of G isomorphic to some element in H receives all h colors.The largest integer h,for which G admits an H-p...Let G be a graph and H be a set of subgraphs of G.An h-edge-coloring of G is H-polychromatic if every subgraph of G isomorphic to some element in H receives all h colors.The largest integer h,for which G admits an H-polychromatic h-edge-coloring,is called the H-polychromatic number of G and denoted by pH(G).In this paper,we prove that pk_(s,t)(K_(m,n))=[m+n-8-t+1/mn]for 2≤s<m,2≤t<n and max{m,n}<s+t,which extends a result of Zhang,Jiang and Zhang that pk_(n-1,n-1)(K_(n,n))=[3/n^(2)].展开更多
Let G =(V1,V2,E) be a balanced bipartite graph with2 n vertices.The bipartite binding number of G,denoted by B(G),is defined to be n if G =Kn and min i∈{1,2}|N(S)|〈n min |N(S)|/|S|otherwise.We call G b...Let G =(V1,V2,E) be a balanced bipartite graph with2 n vertices.The bipartite binding number of G,denoted by B(G),is defined to be n if G =Kn and min i∈{1,2}|N(S)|〈n min |N(S)|/|S|otherwise.We call G bipancyclic if it contains a cycle of every even length m for 4 ≤ m ≤ 2n.A theorem showed that if G is a balanced bipartite graph with 2n vertices,B(G) 〉 3 / 2 and n 139,then G is bipancyclic.This paper generalizes the conclusion as follows:Let 0 〈 c 〈 3 / 2 and G be a 2-colmected balanced bipartite graph with 2n(n is large enough) vertices such that B(G) c and δ(G)(2-c)n/(3-c)+2/3.Then G is bipancyclic.展开更多
The bipartite graph structure exists in the connections of many objects in the real world, and the evolving modeling is a good method to describe and understand the generation and evolution within various real complex...The bipartite graph structure exists in the connections of many objects in the real world, and the evolving modeling is a good method to describe and understand the generation and evolution within various real complex networks. Previous bipartite models were proposed to mostly explain the principle of attachments, and ignored the diverse growth speed of nodes of sets in different bipartite networks. In this paper, we propose an evolving bipartite network model with adjustable node scale and hybrid attachment mechanisms, which uses different probability parameters to control the scale of two disjoint sets of nodes and the preference strength of hybrid attachment respectively. The results show that the degree distribution of single set in the proposed model follows a shifted power-law distribution when parameter r and s are not equal to 0, or exponential distribution when r or s is equal to 0. Furthermore, we extend the previous model to a semi-bipartite network model, which embeds more user association information into the internal network, so that the model is capable of carrying and revealing more deep information of each user in the network. The simulation results of two models are in good agreement with the empirical data, which verifies that the models have a good performance on real networks from the perspective of degree distribution. We believe these two models are valuable for an explanation of the origin and growth of bipartite systems that truly exist.展开更多
Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints....Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints. For an E-total coloring f of a graph G and any vertex x of G, let C(x) denote the set of colors of vertex x and of the edges incident with x, we call C(x) the color set of x. If C(u) ≠ C(v) for any two different vertices u and v of V (G), then we say that f is a vertex-distinguishing E-total coloring of G or a VDET coloring of G for short. The minimum number of colors required for a VDET coloring of G is denoted by Хvt^e(G) and is called the VDE T chromatic number of G. The VDET coloring of complete bipartite graph K7,n (7 ≤ n ≤ 95) is discussed in this paper and the VDET chromatic number of K7,n (7 ≤ n ≤ 95) has been obtained.展开更多
In this study,the bipartite time-varying output formation tracking problem for heterogeneous multi-agent systems(MASs)with multiple leaders and switching commu-nication networks is considered.Note that the switching c...In this study,the bipartite time-varying output formation tracking problem for heterogeneous multi-agent systems(MASs)with multiple leaders and switching commu-nication networks is considered.Note that the switching communication networks may be connected or disconnected.To address this problem,a novel reduced-dimensional observer-based fully distributed asynchronous dynamic edge-event-triggered output feedback control protocol is developed,and the Zeno behavior is ruled out.The theoretical analysis gives the admissible switching frequency and switching width under the proposed control protocol.Different from the existing works,the control protocol reduces the dimension of information to be transmitted between neighboring agents.Moreover,since an additional positive internal dynamic variable is introduced into the triggering functions,the control protocol can guarantee a larger inter-event time interval compared with previous results.Finally,a simulation example is given to verify the effectiveness and performance of the theoretical result.展开更多
Let G be a simple graph. An IE-total coloring f of G refers to a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. Let C(u) be the set of colors of vertex u and edges i...Let G be a simple graph. An IE-total coloring f of G refers to a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. Let C(u) be the set of colors of vertex u and edges incident to u under f. For an IE-total coloring f of G using k colors, if C(u) =fi C(v) for any two different vertices u and v of V(G), then f is called a k-vertex-distinguishing IE-total-coloring of G, or a k-VDIET coloring of G for short. The ie iV., minimum number of colors required for a VDIET coloring of G is denoted by X,t[ 1, and it is called the VDIET chromatic number of G. We will give VDIET chromatic numbers for complete bipartite graph K4,n(n ≥ 4), Kn,n (5 ≤ n ≤21) in this article.展开更多
A k-regular spanning subgraph of graph G is called a k-factor of G. Graph G is called a k-deleted graph if G-e has a k-factor for each edge e. A graph G=(X,Y) with bipartition (X,Y) is called a bipartite graph if ever...A k-regular spanning subgraph of graph G is called a k-factor of G. Graph G is called a k-deleted graph if G-e has a k-factor for each edge e. A graph G=(X,Y) with bipartition (X,Y) is called a bipartite graph if every edge of G has one endpoint in X and the other in Y.It is proved that a bipartite graph G=(X,Y) with X=Y is a k-deleted graph if and only if kS≤r 1+2r 2+...+k(r k+...+r Δ)-ε(S) for all SX. Using this result we give a sufficient neighborhood condition for a bipartite to be a k-deleted graph.展开更多
Let G be a bipartite graph with vertex set V(G) and edge set E(G), and let g and f be two positive integer-valued functions defined on V(G) such that g(x) ≤ f(x) for every vertex x of V(G). Then a (g, f)-factor of G ...Let G be a bipartite graph with vertex set V(G) and edge set E(G), and let g and f be two positive integer-valued functions defined on V(G) such that g(x) ≤ f(x) for every vertex x of V(G). Then a (g, f)-factor of G is a spanning subgraph H of G such that g(x) ≤ dH(x) 5 f(x) for each x ∈ V(H). A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let F = {F1, F2,…… , Fm } and H be a factorization and a subgraph of G, respectively. If F, 1 ≤ i ≤ m, has exactly one edge in common with H, then it is said that ■ is orthogonal to H. It is proved that every bipartite (mg + m - 1, mf - m + 1 )-graph G has a (g, f)-factorization orthogonal to k vertex disjoint m-subgraphs of G if 2-k ≤ g(x) for all x ∈ V(G). Furthermore, it is showed that the results in this paper are best possible.展开更多
A signed(res. signed total) Roman dominating function, SRDF(res.STRDF) for short, of a graph G =(V, E) is a function f : V → {-1, 1, 2} satisfying the conditions that(i)∑v∈N[v]f(v) ≥ 1(res.∑v∈N(v)f(v) ≥ 1) for ...A signed(res. signed total) Roman dominating function, SRDF(res.STRDF) for short, of a graph G =(V, E) is a function f : V → {-1, 1, 2} satisfying the conditions that(i)∑v∈N[v]f(v) ≥ 1(res.∑v∈N(v)f(v) ≥ 1) for any v ∈ V, where N [v] is the closed neighborhood and N(v) is the neighborhood of v, and(ii) every vertex v for which f(v) =-1 is adjacent to a vertex u for which f(u) = 2. The weight of a SRDF(res. STRDF) is the sum of its function values over all vertices.The signed(res. signed total) Roman domination number of G is the minimum weight among all signed(res. signed total) Roman dominating functions of G. In this paper,we compute the exact values of the signed(res. signed total) Roman domination numbers of complete bipartite graphs and wheels.展开更多
Dear editor,This letter puts forward a secure feedback control scheme to bipartite tracking consensus for a set of generic linear autonomous agents subject to aperiodic and unknown denial-of-service(Do S)attacks.
In this paper, it is shown that a sufficient condition for the existence of a K 1,p k factorization of K m,n , whenever p is a prime number and k is a positive integer, is (1) m≤p kn,(2...In this paper, it is shown that a sufficient condition for the existence of a K 1,p k factorization of K m,n , whenever p is a prime number and k is a positive integer, is (1) m≤p kn,(2) n≤p km,(3)p kn-m≡p km-n ≡0(mod( p 2k -1 )) and (4) (p kn-m)(p km-n) ≡0(mod( p k -1)p k×(p 2k -1)(m+n)) .展开更多
Abstract Single event upset (SEU) effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves (COTS). SEU induced contr...Abstract Single event upset (SEU) effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves (COTS). SEU induced control flow errors (CFEs) may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique (CFC) and bipartite graphbased control flow checking (BGCFC). To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.展开更多
In this paper,an asymmetric bipartite consensus problem for the nonlinear multi-agent systems with cooperative and antagonistic interactions is studied under the event-triggered mechanism.For the agents described by a...In this paper,an asymmetric bipartite consensus problem for the nonlinear multi-agent systems with cooperative and antagonistic interactions is studied under the event-triggered mechanism.For the agents described by a structurally balanced signed digraph,the asymmetric bipartite consensus objective is firstly defined,assigning the agents'output to different signs and module values.Considering with the completely unknown dynamics of the agents,a novel event-triggered model-free adaptive bipartite control protocol is designed based on the agents'triggered outputs and an equivalent compact form data model.By utilizing the Lyapunov analysis method,the threshold of the triggering condition is obtained.Subsequently,the asymptotic convergence of the tracking error is deduced and a sufficient condition is obtained based on the contraction mapping principle.Finally,the simulation example further demonstrates the effectiveness of the protocol.展开更多
Quantum correlations in a family of bipartite separable qubit-qutrit quantum-classical correlated states are investigated by using two popular measures,i.e.,the original quantum discord(OQD)method by Ollivier and Zure...Quantum correlations in a family of bipartite separable qubit-qutrit quantum-classical correlated states are investigated by using two popular measures,i.e.,the original quantum discord(OQD)method by Ollivier and Zurek[Phys.Rev.Lett.88(2001)017901]and the measurement-induced disturbance(MID)method by Luo[Phys.Rev.A 77(2008)022301].It is found that both of them are functions of a parameter partially characterizing the concerned states,however,quantum correlations evaluated via the convenient MID method are somewhat overestimated.展开更多
For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distr...For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distributed boundary event-triggered control strategy is proposed in this work.In contrast to the earlier findings,time-varying consensus tracking and actuator defects are taken into account simultaneously.In addition,the constructed event-triggered control mechanism can achieve a more flexible design because it is not required to satisfy the input-to-state condition.To achieve the control objectives,some new integral control variables are given by using back-stepping technique and boundary control.Moreover,adaptive neural networks are applied to estimate system uncertainties.With the proposed event-triggered scheme,control inputs can reduce unnecessary updates.Besides,tracking errors and vibration states of the closed-looped network can be exponentially convergent into some small fields,and Zeno behaviors can be excluded.At last,some simulation examples are given to state the effectiveness of the control algorithms.展开更多
This paper is concerned with bipartite consensus tracking for multi-agent systems with unknown disturbances.A barrier function-based adaptive sliding-mode control(SMC)approach is proposed such that the bipartite stead...This paper is concerned with bipartite consensus tracking for multi-agent systems with unknown disturbances.A barrier function-based adaptive sliding-mode control(SMC)approach is proposed such that the bipartite steady-state error is converged to a predefined region of zero in finite time.Specifically,based on an error auxiliary taking neighboring antagonistic interactions into account,an SMC law is designed with an adaptive gain.The gain can switch to a positive semi-definite barrier function to ensure that the error auxiliary is constrained to a predefined neighborhood of zero,which in turn guarantees practical bipartite consensus tracking.A distinguished feature of the proposed controller is its independence on the bound of disturbances,while the input chattering phenomenon is alleviated.Finally,a numerical example is provided to verify the effectiveness of the proposed controller.展开更多
Let G be a simple graph. An IE-total coloring f of G is a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. For each vertex x of G, let C(x) be the set of colors of verte...Let G be a simple graph. An IE-total coloring f of G is a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. For each vertex x of G, let C(x) be the set of colors of vertex x and edges incident to x under f. For an IE-total coloring f of G using k colors, if C(u) ≠ C(v) for any two different vertices u and v of G, then f is called a k-vertex-distinguishing IE-total-coloring of G or a k-VDIET coloring of G for short. The minimum number of colors required for a VDIET coloring of G is denoted by χ_(vt)^(ie) (G) and is called vertex-distinguishing IE-total chromatic number or the VDIET chromatic number of G for short. The VDIET colorings of complete bipartite graphs K_(8,n)are discussed in this paper. Particularly, the VDIET chromatic number of K_(8,n) are obtained.展开更多
The bipartite consensus problem is addressed for a class of nonlinear time-delay multiagent systems in this paper.Therein,the uncertain nonlinear dynamics of all agents satisfy a Lipschitz growth condition with unknow...The bipartite consensus problem is addressed for a class of nonlinear time-delay multiagent systems in this paper.Therein,the uncertain nonlinear dynamics of all agents satisfy a Lipschitz growth condition with unknown constants,and part of the state information cannot be measured.In this case,a time-varying gain compensator is constructed,which only utilizes the output information of the follower and its neighbors.Subsequently,a distributed output feedback control protocol is proposed on the basis of the compensator.According to Lyapunov stability theory,it is proved that the bipartite consensus can be guaranteed by means of the designed control protocol.Different from the existing literature,this paper studies the leader-follower consensus problem under a weaker connectivity condition,i.e.,the signed directed graph is structurally balanced and contains a directed spanning tree.Two simulation examples are carried out to show the feasibility of the proposed control strategy.展开更多
基金supported by the National Natural Science Foundation of China(62325304,U22B2046,62073079,62376029)the Jiangsu Provincial Scientific Research Center of Applied Mathematics(BK20233002)the China Postdoctoral Science Foundation(2023M730255,2024T171123)
文摘Dear Editor,This letter studies the bipartite consensus tracking problem for heterogeneous multi-agent systems with actuator faults and a leader's unknown time-varying control input. To handle such a problem, the continuous fault-tolerant control protocol via observer design is developed. In addition, it is strictly proved that the multi-agent system driven by the designed controllers can still achieve bipartite consensus tracking after faults occur.
基金Supported by NSFC(No.12271162)Natural Science Foundation of Shanghai(No.22ZR1416300).
文摘A graph G is H-free,if it contains no H as a subgraph.A graph G is said to be H-minor free,if it does not contain H as a minor.In 2010,Nikiforov asked that what the maximum spectral radius of an H-free graph of order n is.In this paper,we consider some Brualdi-Solheid-Turan type problems on bipartite graphs.In 2015,Zhai,Lin and Gong in[Linear Algebra Appl.,2015,471:21-27]proved that if G is a bipartite graph with order n≥2k+2 and ρ(G)≥ρ(K_(k,n-k)),then G contains a C_(2k+2) unless G≌K_(k,n-k).First,we give a new and more simple proof for the above theorem.Second,we prove that if G is a bipartite graph with order n≥2k+2 and ρ(G)≥ρ(K_(k,n-k)),then G contains all T_(2k+3) unless G≌K_(k,n-k).Finally,we prove that among all outerplanar bipartite graphs on n≥308026 vertices,K_(1,n-1) attains the maximum spectral radius.
基金Supported by the National Natural Science Foundation of China(Grant No.12071265)the Natural Science Foundation of Shandong Province(Grant No.ZR2025MS11)。
文摘Let G be a graph and H be a set of subgraphs of G.An h-edge-coloring of G is H-polychromatic if every subgraph of G isomorphic to some element in H receives all h colors.The largest integer h,for which G admits an H-polychromatic h-edge-coloring,is called the H-polychromatic number of G and denoted by pH(G).In this paper,we prove that pk_(s,t)(K_(m,n))=[m+n-8-t+1/mn]for 2≤s<m,2≤t<n and max{m,n}<s+t,which extends a result of Zhang,Jiang and Zhang that pk_(n-1,n-1)(K_(n,n))=[3/n^(2)].
基金Supported by the Scientific Research Fund of Hubei Provincial Education Department(B2015021)
文摘Let G =(V1,V2,E) be a balanced bipartite graph with2 n vertices.The bipartite binding number of G,denoted by B(G),is defined to be n if G =Kn and min i∈{1,2}|N(S)|〈n min |N(S)|/|S|otherwise.We call G bipancyclic if it contains a cycle of every even length m for 4 ≤ m ≤ 2n.A theorem showed that if G is a balanced bipartite graph with 2n vertices,B(G) 〉 3 / 2 and n 139,then G is bipancyclic.This paper generalizes the conclusion as follows:Let 0 〈 c 〈 3 / 2 and G be a 2-colmected balanced bipartite graph with 2n(n is large enough) vertices such that B(G) c and δ(G)(2-c)n/(3-c)+2/3.Then G is bipancyclic.
文摘The bipartite graph structure exists in the connections of many objects in the real world, and the evolving modeling is a good method to describe and understand the generation and evolution within various real complex networks. Previous bipartite models were proposed to mostly explain the principle of attachments, and ignored the diverse growth speed of nodes of sets in different bipartite networks. In this paper, we propose an evolving bipartite network model with adjustable node scale and hybrid attachment mechanisms, which uses different probability parameters to control the scale of two disjoint sets of nodes and the preference strength of hybrid attachment respectively. The results show that the degree distribution of single set in the proposed model follows a shifted power-law distribution when parameter r and s are not equal to 0, or exponential distribution when r or s is equal to 0. Furthermore, we extend the previous model to a semi-bipartite network model, which embeds more user association information into the internal network, so that the model is capable of carrying and revealing more deep information of each user in the network. The simulation results of two models are in good agreement with the empirical data, which verifies that the models have a good performance on real networks from the perspective of degree distribution. We believe these two models are valuable for an explanation of the origin and growth of bipartite systems that truly exist.
文摘Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints. For an E-total coloring f of a graph G and any vertex x of G, let C(x) denote the set of colors of vertex x and of the edges incident with x, we call C(x) the color set of x. If C(u) ≠ C(v) for any two different vertices u and v of V (G), then we say that f is a vertex-distinguishing E-total coloring of G or a VDET coloring of G for short. The minimum number of colors required for a VDET coloring of G is denoted by Хvt^e(G) and is called the VDE T chromatic number of G. The VDET coloring of complete bipartite graph K7,n (7 ≤ n ≤ 95) is discussed in this paper and the VDET chromatic number of K7,n (7 ≤ n ≤ 95) has been obtained.
基金supported by National Key R&D Program of China(2018YFA0702200)the National Natural Science Foundation of China(61627809, 62173080)Liaoning Revitalization Talents Program(XLYC1801005)
文摘In this study,the bipartite time-varying output formation tracking problem for heterogeneous multi-agent systems(MASs)with multiple leaders and switching commu-nication networks is considered.Note that the switching communication networks may be connected or disconnected.To address this problem,a novel reduced-dimensional observer-based fully distributed asynchronous dynamic edge-event-triggered output feedback control protocol is developed,and the Zeno behavior is ruled out.The theoretical analysis gives the admissible switching frequency and switching width under the proposed control protocol.Different from the existing works,the control protocol reduces the dimension of information to be transmitted between neighboring agents.Moreover,since an additional positive internal dynamic variable is introduced into the triggering functions,the control protocol can guarantee a larger inter-event time interval compared with previous results.Finally,a simulation example is given to verify the effectiveness and performance of the theoretical result.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 6116303761163054)+2 种基金the Scientific Research Project of Northwest Normal University (No. nwnu-kjcxgc-03-61)the Natural Foudation Project of Ningxia (No. NZ1154)the Scientific Research Foudation Project of Ningxia University (No. (E):ndzr10-7)
文摘Let G be a simple graph. An IE-total coloring f of G refers to a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. Let C(u) be the set of colors of vertex u and edges incident to u under f. For an IE-total coloring f of G using k colors, if C(u) =fi C(v) for any two different vertices u and v of V(G), then f is called a k-vertex-distinguishing IE-total-coloring of G, or a k-VDIET coloring of G for short. The ie iV., minimum number of colors required for a VDIET coloring of G is denoted by X,t[ 1, and it is called the VDIET chromatic number of G. We will give VDIET chromatic numbers for complete bipartite graph K4,n(n ≥ 4), Kn,n (5 ≤ n ≤21) in this article.
文摘A k-regular spanning subgraph of graph G is called a k-factor of G. Graph G is called a k-deleted graph if G-e has a k-factor for each edge e. A graph G=(X,Y) with bipartition (X,Y) is called a bipartite graph if every edge of G has one endpoint in X and the other in Y.It is proved that a bipartite graph G=(X,Y) with X=Y is a k-deleted graph if and only if kS≤r 1+2r 2+...+k(r k+...+r Δ)-ε(S) for all SX. Using this result we give a sufficient neighborhood condition for a bipartite to be a k-deleted graph.
基金This work was supported by NNSF. RFDP and NNSF of shandong province(Z2000A02 ).
文摘Let G be a bipartite graph with vertex set V(G) and edge set E(G), and let g and f be two positive integer-valued functions defined on V(G) such that g(x) ≤ f(x) for every vertex x of V(G). Then a (g, f)-factor of G is a spanning subgraph H of G such that g(x) ≤ dH(x) 5 f(x) for each x ∈ V(H). A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let F = {F1, F2,…… , Fm } and H be a factorization and a subgraph of G, respectively. If F, 1 ≤ i ≤ m, has exactly one edge in common with H, then it is said that ■ is orthogonal to H. It is proved that every bipartite (mg + m - 1, mf - m + 1 )-graph G has a (g, f)-factorization orthogonal to k vertex disjoint m-subgraphs of G if 2-k ≤ g(x) for all x ∈ V(G). Furthermore, it is showed that the results in this paper are best possible.
基金The NSF(11271365)of Chinathe NSF(BK20151117)of Jiangsu Province
文摘A signed(res. signed total) Roman dominating function, SRDF(res.STRDF) for short, of a graph G =(V, E) is a function f : V → {-1, 1, 2} satisfying the conditions that(i)∑v∈N[v]f(v) ≥ 1(res.∑v∈N(v)f(v) ≥ 1) for any v ∈ V, where N [v] is the closed neighborhood and N(v) is the neighborhood of v, and(ii) every vertex v for which f(v) =-1 is adjacent to a vertex u for which f(u) = 2. The weight of a SRDF(res. STRDF) is the sum of its function values over all vertices.The signed(res. signed total) Roman domination number of G is the minimum weight among all signed(res. signed total) Roman dominating functions of G. In this paper,we compute the exact values of the signed(res. signed total) Roman domination numbers of complete bipartite graphs and wheels.
基金supported in part by the National Science Foundation of China (U1830207, 61772003, 6190 3066)the Natural Science Foundation of Sichuan Province (2022 NSFSC0878)+3 种基金the National Postdoctoral Program for Innovative Talents (BX2021056)the Sichuan Science and Technology Program (2021YFH0042)the National Natural Science Foundation of China (6210021010)the funding from Shenzhen Institute of Artificial Intelligence and Robotics for Society。
文摘Dear editor,This letter puts forward a secure feedback control scheme to bipartite tracking consensus for a set of generic linear autonomous agents subject to aperiodic and unknown denial-of-service(Do S)attacks.
文摘In this paper, it is shown that a sufficient condition for the existence of a K 1,p k factorization of K m,n , whenever p is a prime number and k is a positive integer, is (1) m≤p kn,(2) n≤p km,(3)p kn-m≡p km-n ≡0(mod( p 2k -1 )) and (4) (p kn-m)(p km-n) ≡0(mod( p k -1)p k×(p 2k -1)(m+n)) .
基金support from the National Natural Science Foundation of Chinathe Fundamental Research Funds for the Central Universities of China
文摘Abstract Single event upset (SEU) effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves (COTS). SEU induced control flow errors (CFEs) may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique (CFC) and bipartite graphbased control flow checking (BGCFC). To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.
基金supported in part by the National Natural Science Foundation of China(U1804147,61833001,61873139,61573129)the Innovative Scientists and Technicians Team of Henan Polytechnic University(T2019-2)the Innovative Scientists and Technicians Team of Henan Provincial High Education(20IRTSTHN019)。
文摘In this paper,an asymmetric bipartite consensus problem for the nonlinear multi-agent systems with cooperative and antagonistic interactions is studied under the event-triggered mechanism.For the agents described by a structurally balanced signed digraph,the asymmetric bipartite consensus objective is firstly defined,assigning the agents'output to different signs and module values.Considering with the completely unknown dynamics of the agents,a novel event-triggered model-free adaptive bipartite control protocol is designed based on the agents'triggered outputs and an equivalent compact form data model.By utilizing the Lyapunov analysis method,the threshold of the triggering condition is obtained.Subsequently,the asymptotic convergence of the tracking error is deduced and a sufficient condition is obtained based on the contraction mapping principle.Finally,the simulation example further demonstrates the effectiveness of the protocol.
基金Supported by the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No 20103401110007the National Natural Science Foundation of China under Grant Nos 10874122,10975001,51072002 and 51272003+1 种基金the Program for Excellent Talents at the University of Guangdong Province(Guangdong Teacher Letter[1010]No 79)the 211 Project of Anhui University.
文摘Quantum correlations in a family of bipartite separable qubit-qutrit quantum-classical correlated states are investigated by using two popular measures,i.e.,the original quantum discord(OQD)method by Ollivier and Zurek[Phys.Rev.Lett.88(2001)017901]and the measurement-induced disturbance(MID)method by Luo[Phys.Rev.A 77(2008)022301].It is found that both of them are functions of a parameter partially characterizing the concerned states,however,quantum correlations evaluated via the convenient MID method are somewhat overestimated.
基金supported in part by the National Key R&D Program of China(2021YFB3202200)the Natural Science Foundation of China(62203141)the Guangdong Basic and Applied Basic Research Foundation(2021B1515120017)。
文摘For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distributed boundary event-triggered control strategy is proposed in this work.In contrast to the earlier findings,time-varying consensus tracking and actuator defects are taken into account simultaneously.In addition,the constructed event-triggered control mechanism can achieve a more flexible design because it is not required to satisfy the input-to-state condition.To achieve the control objectives,some new integral control variables are given by using back-stepping technique and boundary control.Moreover,adaptive neural networks are applied to estimate system uncertainties.With the proposed event-triggered scheme,control inputs can reduce unnecessary updates.Besides,tracking errors and vibration states of the closed-looped network can be exponentially convergent into some small fields,and Zeno behaviors can be excluded.At last,some simulation examples are given to state the effectiveness of the control algorithms.
文摘This paper is concerned with bipartite consensus tracking for multi-agent systems with unknown disturbances.A barrier function-based adaptive sliding-mode control(SMC)approach is proposed such that the bipartite steady-state error is converged to a predefined region of zero in finite time.Specifically,based on an error auxiliary taking neighboring antagonistic interactions into account,an SMC law is designed with an adaptive gain.The gain can switch to a positive semi-definite barrier function to ensure that the error auxiliary is constrained to a predefined neighborhood of zero,which in turn guarantees practical bipartite consensus tracking.A distinguished feature of the proposed controller is its independence on the bound of disturbances,while the input chattering phenomenon is alleviated.Finally,a numerical example is provided to verify the effectiveness of the proposed controller.
基金Supported by the National Natural Science Foundation of China(61163037, 61163054, 11261046, 61363060)
文摘Let G be a simple graph. An IE-total coloring f of G is a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. For each vertex x of G, let C(x) be the set of colors of vertex x and edges incident to x under f. For an IE-total coloring f of G using k colors, if C(u) ≠ C(v) for any two different vertices u and v of G, then f is called a k-vertex-distinguishing IE-total-coloring of G or a k-VDIET coloring of G for short. The minimum number of colors required for a VDIET coloring of G is denoted by χ_(vt)^(ie) (G) and is called vertex-distinguishing IE-total chromatic number or the VDIET chromatic number of G for short. The VDIET colorings of complete bipartite graphs K_(8,n)are discussed in this paper. Particularly, the VDIET chromatic number of K_(8,n) are obtained.
基金supported by the National Natural ScienceFoundation ofChina(Nos.61973189,62073190)the Research Fund for the Taishan Scholar Project of Shandong Province of China(No.ts20190905)the Natural Science Foundation of Shandong Province of China(No.ZR2020ZD25).
文摘The bipartite consensus problem is addressed for a class of nonlinear time-delay multiagent systems in this paper.Therein,the uncertain nonlinear dynamics of all agents satisfy a Lipschitz growth condition with unknown constants,and part of the state information cannot be measured.In this case,a time-varying gain compensator is constructed,which only utilizes the output information of the follower and its neighbors.Subsequently,a distributed output feedback control protocol is proposed on the basis of the compensator.According to Lyapunov stability theory,it is proved that the bipartite consensus can be guaranteed by means of the designed control protocol.Different from the existing literature,this paper studies the leader-follower consensus problem under a weaker connectivity condition,i.e.,the signed directed graph is structurally balanced and contains a directed spanning tree.Two simulation examples are carried out to show the feasibility of the proposed control strategy.