开放存取 开放存取  受限制的访问 ##reader.subscriptionAccessGranted##  受限制的访问 订阅存取

卷 295, 编号 Suppl 1 (2016)

Article

On the efficiency of solving optimal control problems by means of fast automatic differentiation technique

Albu A., Zubov V.

摘要

An efficient method is introduced for solving the problems of optimal control of thermal processes with phase transitions. The following statement is formulated and proved: the time of computing the components of the gradient of the objective function by means of the proposed method does not exceed the time of computing two values of the function.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):1-10
pages 1-10 views

Finite groups whose prime graphs do not contain triangles. I

Alekseeva O., Kondrat’ev A.

摘要

Finite groups whose prime graphs do not contain triangles are investigated. In the present part of the study, the isomorphic types of prime graphs and estimates of the Fitting length of solvable groups are found and almost simple groups are determined.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):11-20
pages 11-20 views

On an inverse linear programming problem

Amirkhanova G., Golikov A., Evtushenko Y.

摘要

A method for solving the following inverse linear programming (LP) problem is proposed. For a given LP problem and one of its feasible vectors, it is required to adjust the objective function vector as little as possible so that the given vector becomes optimal. The closeness of vectors is estimated by means of the Euclidean vector norm. The inverse LP problem is reduced to a problem of unconstrained minimization for a convex piecewise quadratic function. This minimization problem is solved by means of the generalized Newton method.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):21-27
pages 21-27 views

On automorphisms of a distance-regular graph with intersection array {39, 36, 1; 1, 2, 39}

Belousov I.

摘要

Possible prime-order automorphisms and their fixed-point subgraphs are found for a hypothetical distance-regular graph with intersection array {39, 36, 1; 1, 2, 39}. It is shownthat graphs with intersection arrays {15, 12, 1; 1, 2, 15}, {35, 32, 1; 1, 2, 35}, and {39, 36, 1; 1, 2, 39} are not vertex-symmetric.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):28-37
pages 28-37 views

An exact algorithm with linear complexity for a problem of visiting megalopolises

Chentsov A., Khachai M., Khachai D.

摘要

A problem of visiting megalopolises with a fixed number of “entrances” and precedence relations defined in a special way is studied. The problem is a natural generalization of the classical traveling salesman problem. For finding an optimal solution, we give a dynamic programming scheme, which is equivalent to a method of finding a shortest path in an appropriate acyclic oriented weighted graph. We justify conditions under which the complexity of the algorithm depends on the number of megalopolises polynomially, in particular, linearly.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):38-46
pages 38-46 views

Polynomial-time approximation scheme for a problem of partitioning a finite set into two clusters

Dolgushev A., Kel’manov A., Shenmaier V.

摘要

We consider the strongly NP-hard problem of partitioning a finite set of points of Euclidean space into two clusters of given cardinalities under the minimum criterion for the sum over the clusters of the intracluster sums of squared distances from elements of the cluster to its center. It is assumed that the center of one of the clusters is given (without loss of generality, at the origin). The center of the second cluster is unknown and is defined as the mean value over all elements in this cluster. A polynomial-time approximation scheme (PTAS) is provided.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):47-56
pages 47-56 views

Asymptotically optimal approach to the approximate solution of several problems of covering a graph by nonadjacent cycles

Gimadi E., Rykov I.

摘要

We consider the m-Cycle Cover Problem of covering a complete undirected graph by m vertex-nonadjacent cycles of extremal total edge weight. The so-called TSP approach to the construction of an approximation algorithm for this problem with the use of a solution of the traveling salesman problem (TSP) is presented. Modifications of the algorithm for the Euclidean Max m-Cycle Cover Problem with deterministic instances (edge weights) in a multidimensional Euclidean space and the Random Min m-Cycle Cover Problem with random instances UNI(0,1) are analyzed. It is shown that both algorithms have time complexity O(n3) and are asymptotically optimal for the number of covering cycles m = o(n) and \(m \leqslant \frac{{n^{1/3} }} {{\ln n}}\), respectively.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):57-67
pages 57-67 views

Stability of equilibrium with respect to white noise

Kalyakin L.

摘要

A system of ordinary differential equations with a local asymptotically stable equilibrium is considered. The problem of stability with respect to a persistent perturbation of the white noise type is discussed. Stability with given bounds is proved on a large time interval with length of the order of the squared inverse perturbation amplitude. The proof is based on the construction of a barrier function for the parabolic Kolmogorov equation associated with the perturbed dynamical system.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):68-77
pages 68-77 views

A two-step problem of hedging a European call option under a random duration of transactions

Kibzun A., Sobol’ V.

摘要

A two-step problem of minimizing average costs of hedging a European call option is studied. The hedging is implemented by buying and selling underlying assets. It is assumed that the durations of asset purchase and sale operations at the market are random and exponentially distributed. The problem is solved by the dynamic programming method. An expression for the expected value of the future loss function at the final step is obtained. A numerical algorithm for finding an optimal strategy at the first step is proposed. An example of using the algorithm is given.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):78-88
pages 78-88 views

Stabilizers of vertices of graphs with primitive automorphism groups and a strong version of the Sims conjecture. II

Kondrat’ev A., Trofimov V.

摘要

This is the second in a series of papers whose results imply the validity of a strong version of the Sims conjecture on finite primitive permutation groups. In this paper, the case of primitive groups with simple socle of exceptional Lie type and nonparabolic point stabilizer is considered.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):89-100
pages 89-100 views

On automorphisms of a distance-regular graph with intersection array {204, 175, 48, 1; 1, 12, 175, 204}

Makhnev A., Nirova M., Paduchikh D.

摘要

A distance-regular graph Γ with intersection array {204, 175, 48, 1; 1, 12, 175, 204} is an AT4-graph, and the antipodal quotient \(\overline \Gamma \) has parameters (800, 204, 28, 60). Automorphisms of these graphs are found. In particular, neither of the two graphs is arc-transitive.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):101-108
pages 101-108 views

On the finite prime spectrum minimal groups

Maslova N.

摘要

Let G be a finite group. The set of all prime divisors of the order of G is called the prime spectrum of G and is denoted by π(G). A group G is called prime spectrum minimal if π(G) ≠ π(H) for any proper subgroup H of G. We prove that every prime spectrum minimal group all of whose nonabelian composition factors are isomorphic to the groups from the set {PSL2(7), PSL2(11), PSL5(2)} is generated by two conjugate elements. Thus, we extend the corresponding result for finite groups with Hall maximal subgroups. Moreover, we study the normal structure of a finite prime spectrum minimal group with a nonabelian composition factor whose order is divisible by exactly three different primes.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):109-119
pages 109-119 views

A PTAS for Min-k-SCCP in Euclidean space of arbitrary fixed dimension

Neznakhina E.

摘要

We study the minimum weight k-size cycle cover problem (Min-k-SCCP), which consists in partitioning a complete weighted digraph into k vertex-disjoint cycles of minimum total weight. This problem is a generalization of the known traveling salesman problem and a special case of the classical vehicle routing problem. It is known that Min-k-SCCP is strongly NP-hard in the general case and preserves its intractability even in the geometric statement. For Euclidean Min-k-SCCP in ℝd with k = O(log n), we construct a polynomialtime approximation scheme (PTAS), which generalizes the approach proposed earlier for planar Min-2-SCCP. For each fixed c > 1 the scheme finds a (1 + 1/c)-approximate solution in time \(O\left( {{n^{O\left( d \right)}}{{\left( {\log n} \right)}^{{{\left( {O\left( {\sqrt {dc} } \right)} \right)}^{^{d - 1}}}}}} \right)\).

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):120-130
pages 120-130 views

Lexicographic regularization and duality for improper linear programming problems

Popov L., Skarin V.

摘要

A new approach to the optimal lexicographic correction of improper linear programming problems is proposed. The approach is based on the multistep regularization of the classical Lagrange function with respect to primal and dual variables simultaneously. The regularized function can be used as a basis for generating new duality schemes for problems of this kind. Theorems on the convergence and numerical stability of the method are presented, and an informal interpretation of the obtained generalized solution is given.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):131-144
pages 131-144 views

A control problem under incomplete information for a linear stochastic differential equation

Rozenberg V.

摘要

A problem of guaranteed closed-loop control under incomplete information is considered for a linear stochastic differential equation (SDE) from the viewpoint of the method of open-loop control packages worked out earlier for the guidance of a linear control system of ordinary differential equations (ODEs) to a convex target set. The problem consists in designing a deterministic open-loop control providing (irrespective of a realized initial state from a given finite set) prescribed properties of the solution (being a random process) at a terminal point in time. It is assumed that a linear signal on some number of realizations is observed. By the equations of the method of moments, the problem for the SDE is reduced to an equivalent problem for systems of ODEs describing the mathematical expectation and covariance matrix of the original process. Solvability conditions for the problems in question are written.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):145-155
pages 145-155 views

Stability of capture into parametric autoresonance

Sultanov O.

摘要

A mathematical model describing the initial stage of capture into parametric autoresonance in nonlinear oscillating systems is considered. The resonance corresponds to solutions with unboundedly increasing energy. The stability of such solutions with respect to persistent perturbations on an asymptotically large time interval is investigated. A class of admissible perturbations is described for which a capture into parametric autoresonance occurs.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):156-167
pages 156-167 views

The finiteness of the number of symmetrical extensions of a locally finite tree by a finite graph

Trofimov V.

摘要

We prove that there are only finitely many symmetrical extensions of a locally finite tree by a finite graph. Moreover, we prove that there are only finitely many pairwise nonequivalent realizations of symmetrical extensions of a locally finite tree by a finite graph.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):168-173
pages 168-173 views

On intersections of abelian and nilpotent subgroups in finite groups. I

Zenkov V.

摘要

Let A be an abelian subgroup of a finite group G, and let B be a nilpotent subgroup of G. If G is solvable, then we prove that it contains an element g such that ABgF(G), where F(G) is the Fitting subgroup of G. If G is not solvable, we prove that a counterexample of minimal order to the conjecture that ABgF(G) for some element g from G is an almost simple group.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):174-177
pages 174-177 views

Finite almost simple groups with prime graphs all of whose connected components are cliques

Zinov’eva M., Kondrat’ev A.

摘要

We find finite almost simple groups with prime graphs all of whose connected components are cliques, i.e., complete graphs. The proof is based on the following fact, which was obtained by the authors and is of independent interest: the prime graph of a finite simple nonabelian group contains two nonadjacent odd vertices that do not divide the order of the outer automorphism group of this group.

Proceedings of the Steklov Institute of Mathematics. 2016;295(Suppl 1):178-188
pages 178-188 views