Convex Continuation of a Boolean Function and Its Applications

被引：0
|
作者：
Barotov D.N. [1 ]
机构：
[1] Financial University under the Government of the Russian Federation, Moscow
来源：
Journal of Applied and Industrial Mathematics | 2024年 / 18卷 / 01期
关键词：
Boolean function; convex continuation of a function; global optimization; local minimum; SAT; system of Boolean equations;
D O I：
10.1134/S1990478924010010
中图分类号：
学科分类号：
摘要：
Abstract: A convex continuation of an arbitrary Boolean function to the set is constructed. Moreover, it is proved that for any Boolean function that has no neighboring points on the set, the constructed function is the only totally maximally convex continuation to. Based on this, in particular, it is constructively stated that the problem ofsolving an arbitrary system of Boolean equations can be reduced to the problem of minimizing afunction any local minimum of which in the desired region is a global minimum, and thus for thisproblem the problem of local minima is completely resolved. © Pleiades Publishing, Ltd. 2024.
引用
收藏
页码：1 / 9
页数：8
相关论文
共 50 条
  • [21] The Properties of Convex Function and its Application
    Fan, Lele
    Lao, Yixian
    Wang, Wusheng
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON MANAGEMENT, EDUCATION, INFORMATION AND CONTROL, 2015, 125 : 1308 - 1312
  • [22] Rigorous modification model of upward continuation and its applications on the downward continuation of gravity anomaly
    Huang M.
    Deng K.
    Wu T.
    Ouyang Y.
    Chen X.
    Liu M.
    Wang X.
    Cehui Xuebao/Acta Geodaetica et Cartographica Sinica, 2022, 51 (01): : 41 - 52
  • [23] Finsler geodesics in the presence of a convex function and their applications
    Caponio, Erasmo
    Angel Javaloyes, Miguel
    Masiello, Antonio
    JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2010, 43 (13)
  • [24] A NiAl-layered double hydroxides memristor with artificial synapse function and its Boolean logic applications
    Ai, Ruibo
    Luo, Wang
    Liu, Xiaojun
    Zhang, Tao
    Sang, Jiqun
    Zhang, Yaolin
    JOURNAL OF CHEMICAL PHYSICS, 2025, 162 (04):
  • [25] A selection property of the Boolean μ-calculus and some of its applications
    Arnold, A
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1997, 31 (04): : 371 - 384
  • [26] TIMED BOOLEAN CALCULUS AND ITS APPLICATIONS IN TIMING ANALYSIS
    HUANG, ST
    PARNG, TM
    SHYU, JM
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (03) : 318 - 337
  • [27] Representation of Algebraic Structures by Boolean Functions and Its Applications
    Markovski, Smile
    Bakeva, Verica
    Dimitrova, Vesna
    Popovska-Mitrovikj, Aleksandra
    ICT INNOVATIONS 2017: DATA-DRIVEN INNOVATION, 2017, 778 : 229 - 239
  • [28] Symmetry of convex sets and its applications to the extremal ellipsoids of convex bodies
    Gueler, Osman
    Guertuna, Filiz
    OPTIMIZATION METHODS & SOFTWARE, 2012, 27 (4-5): : 735 - 759
  • [29] Convex function on pseudo-Grassmann manifold and its applications for Bernstein-type theorem
    Zhao, Zicheng
    FRONTIERS OF MATHEMATICS IN CHINA, 2012, 7 (03) : 597 - 606
  • [30] Convex function on pseudo-Grassmann manifold and its applications for Bernstein-type theorem
    Zicheng Zhao
    Frontiers of Mathematics in China, 2012, 7 : 597 - 606
12345