An interior point approach to Boolean vector function synthesis

Author(s):  
A.P. Kamath ◽  
N.K. Karmarkar ◽  
K.G. Ramakrishnan ◽  
M.G.C. Resende
2019 ◽  
Vol 4 (1) ◽  
Author(s):  
Alexander Goryashko ◽  
Leonid Samokhine ◽  
Pavel Bocharov

Abstract We derive complexity estimates for two classes of deterministic networks: the Boolean networks S(Bn, m), which compute the Boolean vector-functions Bn, m, and the classes of graphs $G(V_{P_{m,\,l}}, E)$ G ( V P m , l , E ) , with overlapping communities and high density. The latter objects are well suited for the synthesis of resilience networks. For the Boolean vector-functions, we propose a synthesis of networks on a NOT, AND, and OR logical basis and unreliable channels such that the computation of any Boolean vector-function is carried out with polynomial information cost.All vertexes of the graphs $G(V_{P_{m,\,l}}, E)$ G ( V P m , l , E ) are labeled by the trinomial (m2±l,m)-partitions from the set of partitions Pm, l. It turns out that such labeling makes it possible to create networks of optimal algorithmic complexity with highly predictable parameters. Numerical simulations of simple graphs for trinomial (m2±l,m)-partition families (m=3,4,…,9) allow for the exact estimation of all commonly known topological parameters for the graphs. In addition, a new topological parameter—overlapping index—is proposed. The estimation of this index offers an explanation for the maximal density value for the clique graphs $G(V_{P_{m,\,l}}, E)$ G ( V P m , l , E ) .


Mathematics ◽  
2021 ◽  
Vol 9 (10) ◽  
pp. 1108
Author(s):  
Olga Kudryavtseva ◽  
Aleksei Solodov

The class of holomorphic self-maps of a disk with a boundary fixed point is studied. For this class of functions, the famous Julia–Carathéodory theorem gives a sharp estimate of the angular derivative at the boundary fixed point in terms of the image of the interior point. In the case when additional information about the value of the derivative at the interior point is known, a sharp estimate of the angular derivative at the boundary fixed point is obtained. As a consequence, the sharpness of the boundary Dieudonné–Pick lemma is established and the class of the extremal functions is identified. An unimprovable strengthening of the Osserman general boundary lemma is also obtained.


2020 ◽  
Vol 177 (2) ◽  
pp. 141-156
Author(s):  
Behrouz Kheirfam

In this paper, we propose a Mizuno-Todd-Ye type predictor-corrector infeasible interior-point method for linear optimization based on a wide neighborhood of the central path. According to Ai-Zhang’s original idea, we use two directions of distinct and orthogonal corresponding to the negative and positive parts of the right side vector of the centering equation of the central path. In the predictor stage, the step size along the corresponded infeasible directions to the negative part is chosen. In the corrector stage by modifying the positive directions system a full-Newton step is removed. We show that, in addition to the predictor step, our method reduces the duality gap in the corrector step and this can be a prominent feature of our method. We prove that the iteration complexity of the new algorithm is 𝒪(n log ɛ−1), which coincides with the best known complexity result for infeasible interior-point methods, where ɛ > 0 is the required precision. Due to the positive direction new system, we improve the theoretical complexity bound for this kind of infeasible interior-point method [1] by a factor of n . Numerical results are also provided to demonstrate the performance of the proposed algorithm.


Author(s):  
Bruno F. Lourenço ◽  
Masakazu Muramatsu ◽  
Takashi Tsuchiya
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document