On first-order definitions of subgraph isomorphism propertiesDoklady Mathematics - Tập 96 - Trang 454-456 - 2017
M. E. Zhukovskii
Let φ(F) be the property of containing (as a subgraph) an isomorphic copy of a graph F. It is easy to show that this property cannot be defined in a first-order language by a sentence with a quantifier depth (or variable width) strictly less than the number of vertices in F. Nevertheless, such a definition exists in some classes of graphs. Three classes of graphs are considered: connected graphs w...... hiện toàn bộ
Average Tree Solution in Multi-Agent Systems with Network StructureDoklady Mathematics - - 2024
A. V. Tur, L. A. Petrosyan
Methods of differential games are used to find the optimal solution in a multi-agent system with a network structure. A class of differential games on cycle-free graphs is described. A characteristic function of a special form is used, which takes into account the network structure of the game. The average tree solution is considered as a cooperative optimality principle. An illustrative example i...... hiện toàn bộ