Открытый доступ Открытый доступ  Доступ закрыт Доступ предоставлен  Доступ закрыт Только для подписчиков

Том 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

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».