• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Zeng, Ruibin (Zeng, Ruibin.) | Lei, Minglong (Lei, Minglong.) | Niu, Lingfeng (Niu, Lingfeng.) | Cheng, Lan (Cheng, Lan.)

Indexed by:

Scopus SCIE

Abstract:

Combinatorial optimization (CO) on graphs is a classic topic that has been extensively studied across many scientific and industrial fields. Recently, solving CO problems on graphs through learning methods has attracted great attention. Advanced deep learning methods, e.g., graph neural networks (GNNs), have been used to effectively assist the process of solving COs. However, current frameworks based on GNNs are mainly designed for certain CO problems, thereby failing to consider their transferable and generalizable abilities among different COs on graphs. Moreover, simply using original graphs to model COs only captures the direct correlations among objects, which does not consider the mathematical logicality and properties of COs. In this paper, we propose a unified pre-training and adaptation framework for COs on graphs with the help of the maximum satisfiability (Max-SAT) problem. We first use Max-SAT to bridge different COs on graphs since they can be converted to Max-SAT problems represented by standard formulas and clauses with logical information. Then we further design a pre-training and domain adaptation framework to extract the transferable and generalizable features so that different COs can benefit from them. In the pre-training stage, Max-SAT instances are generated to initialize the parameters of the model. In the fine-tuning stage, instances from CO and Max-SAT problems are used for adaptation so that the transferable ability can be further improved. Numerical experiments on several datasets show that features extracted by our framework exhibit superior transferability and Max-SAT can boost the ability to solve COs on graphs.

Keyword:

graph neural networks domain adaptation combinatorial optimization maximum satisfiability problem

Author Community:

  • [ 1 ] [Zeng, Ruibin]Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
  • [ 2 ] [Lei, Minglong]Beijing Univ Technol, Fac Informat Technol, Beijing 100124, Peoples R China
  • [ 3 ] [Niu, Lingfeng]Univ Chinese Acad Sci, Sch Econ & Management, Beijing 100190, Peoples R China
  • [ 4 ] [Cheng, Lan]Cent South Univ, Sch Math & Stat, Changsha 410075, Peoples R China

Reprint Author's Address:

  • [Cheng, Lan]Cent South Univ, Sch Math & Stat, Changsha 410075, Peoples R China

Show more details

Related Keywords:

Source :

SCIENCE CHINA-MATHEMATICS

ISSN: 1674-7283

Year: 2024

Issue: 6

Volume: 67

Page: 1439-1456

1 . 4 0 0

JCR@2022

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count: 1

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 1

Affiliated Colleges:

Online/Total:552/5294223
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.