supported by the National Key R&D Program of China under grants 2022ZD0116401 and 2022ZD0116400;the National Natural Science Foundation of China under grants U2241214, 62373008, 62203017, and T2121002.
Efficient coordination and planning is essential for large-scale multi-agent systems that collaborate in a shared dynamic environment. Heuristic search methods or learning-based approaches often lack the guarantee on ...
Supported by the National Natural Science Foundation of China(Grant No.11531009)。
In this paper,we focus on p-sober spaces and prove that(1)the To space X is p-sober if and only if the Smyth power space of X is p-sober;(2)the space X has a p-sober dcpo model if and only if X is T_(1)and p-sober;(3)...
A lot of combinatorial objects have algebra and coalgebra structures and posets are important combinatorial objects. In this paper, we construct algebra and coalgebra structures on the vector space spanned by posets. ...
Supported by the National Natural Science Foundation of China(Grant Nos.11671008; 11101212);the Natural Science Foundation of Jiangsu Province(Grant No.BK20170483);the Fund of University Speciality Construction of Jiangsu Province(Grant No.PPZY2015B109)
In this paper, as a generalization of uniform continuous posets, the concept of meet uniform continuous posets via uniform Scott sets is introduced. Properties and characterizations of meet uniform continuous posets a...
Supported by the National Natural Science Foundation of China(Grant No.11771261);the Fundamental Research Funds for the Central Universities(Grant No.GK201801011)
Let H be a complex Hilbert space with dim H ≥ 3 and B(H) the algebra of all bounded linear opera tors on H. Let ≤° be the diamond order on B(H), that is, for A, B ∈B(H), we say that A ≤° B if R(A)■ R(B), R(A^*)...
Triangulated categories coming from cyclic posets were originally introduced by the authors in a previous paper as a generalization of the constructions of various triangulated categories with cluster structures.We gi...
In this work, join and meet algebraic structure which exists in non-near-linear finite geometry are discussed. Lines in non-near-linear finite geometry ?were expressed as products of lines in near-linear finite geomet...
Supported by the Natural Science Foundation of China(No.11471097);the Innovative Fund Project of Hebei Province(sj.2017084)
Let F denote the folded (2D + 1)-cube with vertex set X and diameter D ≥ 3. Fix x∈ X. We first define a partial order ≤ on X as follows. For y,z ∈ X let y ≤ z whenever (x,y)+ (y,z) =- (x, z). Let R ...
Taking domains in the one hand and actions of a semigroup (automaton) on the other, as two crucial notions in mathematics as well as in computer science, we consider the notion of compact directed complete poset (a...