


Vol 10, No 1 (2016)
- Year: 2016
- Articles: 16
- URL: https://journals.rcsi.science/1990-4789/issue/view/13191
Article
Independent sets in graphs without subtrees with many leaves
Abstract
A subtree of a graph is called inscribed if no three vertices of the subtree generate a triangle in the graph. We prove that, for fixed k, the independent set problem is solvable in polynomial time for each of the following classes of graphs: (1) graphs without subtrees with k leaves, (2) subcubic graphs without inscribed subtrees with k leaves, and (3) graphs with degree not exceeding k and lacking induced subtrees with four leaves.



The joint creeping motion of three viscid liquids in a plane layer: A priori estimates and convergence to steady flow
Abstract
We study a partially invariant solution of rank 2 and defect 3 of the equations of a viscid heat-conducting liquid. It is interpreted as a two-dimensional motion of three immiscible liquids in a flat channel bounded by fixed solid walls, the temperature distribution on which is known. From a mathematical point of view, the resulting initial-boundary value problem is a nonlinear inverse problem. Under some assumptions (often valid in practical applications), the problem can be replaced by a linear problem. For the latter we obtain some a priori estimates, find an exact steady solution, and prove that the solution approaches the steady regime as time increases, provided that the temperature on the walls stabilizes.



An underdetermined problem of integral geometry for the generalized radon transform
Abstract
Under study is a new problem of integral geometry. All kinds of planes are considered in the three-dimensional Euclidean space. The available data are given by the integrals over all these planes of an unknown piecewise-smooth function depending both on the spatial variables and the variables characterizing the planes. The sought object is a first kind discontinuity surface of the integrand. The uniqueness theorem of a desired surface is proved. The above results are related to one of the aspects of the theory of testing unknown media by various physical signals.



Reflection of plane waves from a rigid wall and a free surface in a transverse isotropic medium
Abstract
For the general solution of two-dimensional equations of dynamics of a transverse isotropic medium with the Carrier–Gassmann condition, we give a representation in terms of two resolvent functions satisfying two separate wave equations. The problem of reflection of plane waves from a rigid wall and a free surface is solved. The coefficients of reflection and transformation of the plane waves are found. These formulas yield a solution for isotropic media too. Some special cases are consideredwhere the shapes (amplitudes) of the reflectedwaves are not uniquely determined, but linearly related with the shape of the incident wave.



Group classification of projective type second-order ordinary differential equations
Abstract
Group classification with respect to admitted point transformation groups is carried out for second-order ordinary differential equations with cubic nonlinearity of the first-order derivative. The result is obtained with use of the invariants of the equivalence transformation group of the family of equations under consideration. The corresponding Riemannian metric is found for the equations that are the projection of the system of geodesics to a two-dimensional surface.



Circulant discrete dynamical systems with threshold functions of at most three variables
Abstract
We propose a method for finding sources of discrete dynamical systems of the circulant type with a q-valued arbitrary function at vertices. We find all sources, all fixed points, and some cycles, as well as lengths of some maximal chains outside cycles for the systems with Boolean threshold functions of at most three variables at the vertices.



A capacitated competitive facility location problem
Abstract
We consider a mathematical model similar in a sense to competitive location problems. There are two competing parties that sequentially open their facilities aiming to “capture” customers and maximize profit. In our model, we assume that facilities’ capacities are bounded. The model is formulated as a bilevel integer mathematical program, and we study the problem of obtaining its optimal (cooperative) solution. It is shown that the problem can be reformulated as that of maximization of a pseudo-Boolean function with the number of arguments equal to the number of places available for facility opening. We propose an algorithm for calculating an upper bound for values that the function takes on subsets which are specified by partial (0, 1)-vectors.



On a model of vortex motion of an incompressible polymeric liquid in the axial zone
Abstract
Some nonstationary mathematical model is constructed to describe the vortex motion of an incompressible polymeric liquid. In the stationary case, several partial solutions for this model are found. The derivation of a variant of this model is given for the case when the pressure along the axis is independent of time.



On locally balanced gray codes
Abstract
We consider locally balanced Gray codes.We say that a Gray code is locally balanced if every “short” subword in its transition sequence contains all letters of the alphabet |1, 2,..., n~. The minimal length of these subwords is the window width of the code. We show that for each n ≥ 3 there exists a Gray code with window width at most n + 3⌊log n⌋.



On numerical study of periodic solutions of a delay equation in biological models
Abstract
Some results are presented of the numerical study of periodic solutions of a nonlinear equation with a delayed argument in connection with themathematical models having real biological prototypes. The problem is formulated as a boundary value problem for a delay equation with the conditions of periodicity and transversality. A spline-collocation finite-difference scheme of the boundary value problem using a Hermitian interpolation cubic spline of the class C1 with fourth order error is proposed. For the numerical study of the system of nonlinear equations of the finitedifference scheme, the parameter continuation method is used, which allows us to identify possible nonuniqueness of the solution of the boundary value problem and, hence, the nonuniqueness of periodic solutions regardless of their stability. By examples it is shown that the periodic oscillations occur for the parameter values specific to the real molecular-genetic systems of higher species, for which the principle of delay is quite easy to implement.



Localization of the discontinuity line of the right-hand side of a differential equation
Abstract
We propose a new approach to studying the inverse problems for differential equations with constant coefficients. Its application is illustrated by an example of some partial differential equation with three independent variables. The right-hand side of the equation is assumed to be a function discontinuous in spatial variables. In the inverse problem, it is required to find some hull containing the discontinuity line of the right-hand side. An algorithm for constructing such a hull is obtained: It is a square whose sides are tangent to the discontinuity line.



Diagnostics of the anti-seepage screen of a protective dam in permafrost on using an inverse problem with piezometric measurement data
Abstract
Using the finite elementmethod we designed and implemented a nonlinear geomechanical model of the rock mass in the vicinity of the protective dam of tailing facilities in the permafrost of the Kumtor mine (the Kyrgyz Republic). The model takes into account the information on the structure of the object, the data on the strain-strength, thermophysical and filtration properties of frozen and thawed soil, as well as on the seasonal variations in air temperature. Numerical experiments showed that, under constant external conditions, the invariant properties of the rock mass, and the position of the neutral layer, the zero isotherm separating frozen and thawed rocks reaches a stationary position in 12–15 years after filling the storage; minor damage to the antiseepage screen can lead to a vast destruction area in the body of the dam. Using synthetic data, we demonstrated the solvability of the inverse boundary-value problem of determining the timing and location of damage in the anti-seepage screen from the data of piezometric measurements at several observation wells.



On the existence of nonnegative solutions to the Dirichlet boundary value problem for the p-Laplace equation in the presence of exterior mass forces
Abstract
We consider the Dirichlet problem for an inhomogeneous p-Laplace equation with nonlinear source in the presence of exterior mass forces.We obtain new sufficient conditions for the existence of a weak nonnegative bounded solution. The sufficient conditions are written in explicit form through the data of the problem.



On the symmetric properties of APN functions
Abstract
We study the symmetric properties of APN functions as well as the structure and properties of the range of an arbitrary APN function. We prove that there is no permutation of variables that preserves the values of an APN function. Upper bounds for the number of symmetric coordinate Boolean functions in an APN function and its coordinate functions invariant under a cyclic shift are obtained. For n ≤ 6, some upper bounds for the maximal number of identical values of an APN function are given and a lower bound is found for different values of an arbitrary APN function of n variables.



An algorithm for finding an approximate solution to the Weber problem on a line with forbidden gaps
Abstract
Under study is the problem of optimal location of interconnected objects on a line with forbidden gaps. The task is to minimize the total cost of links between objects and between objects and zones. The properties of the problem are found that allowed us to reduce the initial continuous problem to a discrete problem. Some algorithm for obtaining an approximate solution is developed, and the results of a computational experiment are given.



Polytopes of special classes of the balanced transferable utility games
Abstract
Under study are the polytopes of (0, 1)-normalized convex and 1-convex (dual simplex) n-person TU-games and monotonic big boss games.We solve the characterization problems of the extreme points of the polytopes of 1-convex games, symmetric convex games, and big boss games symmetric with respect to the coalition of powerless agents. For the remaining polytopes, some subsets of extreme points are described.


