GPU-based Ising computing for solving max-cut combinatorial optimization problems

被引:15
|
作者
Cook, Chase [1 ]
Zhao, Hengyang [1 ]
Sato, Takashi [2 ]
Hiromoto, Masayuki [2 ]
Tan, Sheldon X. -D. [1 ]
机构
[1] Univ Calif Riverside, Dept Elect & Comp Engn, Riverside, CA 92521 USA
[2] Kyoto Univ, Grad Sch Informat, Dept Commun & Comp Engn, Kyoto, Japan
关键词
Combinatorial optimization - Program processors - VLSI circuits - Computer aided design - Spin glass - Graphics processing unit - Statistical mechanics;
D O I
10.1016/j.vlsi.2019.07.003
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In VLSI physical design, many algorithms require the solution of difficult combinatorial optimization problems such as max/min-cut, max-flow problems etc. Due to the vast number of elements typically found in this problem domain, these problems are computationally intractable leading to the use of approximate solutions. In this work, we explore the Ising spin glass model as a solution methodology for hard combinatorial optimization problems using the general purpose GPU (GPGPU). The Ising model is a mathematical model of ferromagnetism in statistical mechanics. Ising computing finds a minimum energy state for the Ising model which essentially corresponds to the expected optimal solution of the original problem. Many combinatorial optimization problems can be mapped into the Ising model. In our work, we focus on the max-cut problem as it is relevant to many VLSI design automation problems. Our method is inspired by the observation that Ising annealing process is very amenable to fine-grain massive parallel GPU computing. We will illustrate how the natural randomness of GPU thread scheduling can be exploited during the annealing process to create random update patterns and allow better GPU resource utilization. Furthermore, the proposed GPU-based Ising computing can handle any general Ising graph with arbitrary connections, which was shown to be difficult for existing FPGA and other hardware based implementation methods. Numerical results show that the proposed GPU Ising max-cut solver can deliver more than 2000X speedup over the CPU version of the algorithm on some large examples, which shows huge performance improvement for addressing many hard optimization algorithms for solving practical VLSI design automation problems.
引用
收藏
页码:335 / 344
页数:10
相关论文
共 50 条
  • [1] An Ising Machine Solving Max-Cut Problems based on the Circuit Synthesis of the Phase Dynamics of a Modified Kuramoto Model
    Ochs, Karlheinz
    Al Beattie, Bakr
    Jenderny, Sebastian
    [J]. 2021 IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2021, : 982 - 985
  • [2] Combinatorial and geometric properties of the Max-Cut and Min-Cut problems
    Bondarenko, V. A.
    Nikolaev, A. V.
    [J]. DOKLADY MATHEMATICS, 2013, 88 (02) : 516 - 517
  • [3] Combinatorial and geometric properties of the Max-Cut and Min-Cut problems
    V. A. Bondarenko
    A. V. Nikolaev
    [J]. Doklady Mathematics, 2013, 88 : 516 - 517
  • [4] Restarting after Branching in the SDP Approach to MAX-CUT and Similar Combinatorial Optimization Problems
    John E. Mitchell
    [J]. Journal of Combinatorial Optimization, 2001, 5 : 151 - 166
  • [5] Solving the Max-Cut Problem using Semidefinite Optimization
    Orkia, Derkaoui
    Ahmed, Lehireche
    [J]. 2016 4TH IEEE INTERNATIONAL COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST), 2016, : 768 - 772
  • [6] Restarting after branching in the SDP approach to MAX-CUT and similar combinatorial optimization problems
    Mitchell, JE
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2001, 5 (02) : 151 - 166
  • [7] Combinatorial persistency criteria for multicut and max-cut
    Lange, Jan-Hendrik
    Andres, Bjoern
    Swoboda, Paul
    [J]. 2019 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2019), 2019, : 6086 - 6095
  • [8] Combining multi-core and GPU computing for solving combinatorial optimization problems
    Chakroun, I.
    Melab, N.
    Mezmaz, M.
    Tuyttens, D.
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (12) : 1563 - 1577
  • [9] Improved semidefinite bounding procedure for solving Max-Cut problems to optimality
    Krislock, Nathan
    Malick, Jerome
    Roupin, Frederic
    [J]. MATHEMATICAL PROGRAMMING, 2014, 143 (1-2) : 61 - 86
  • [10] COMBINATORIAL PROPERTIES AND THE COMPLEXITY OF A MAX-CUT APPROXIMATION
    DELORME, C
    POLJAK, S
    [J]. EUROPEAN JOURNAL OF COMBINATORICS, 1993, 14 (04) : 313 - 333