Organizations: Beihang University, Beijing, China · Communication University of China, Beijing, China · Hangzhou Innovation Institute of Beihang University, Hangzhou, China
The two-dimensional irregular knapsack problem in a fixed circular container is an important combinatorial optimization problem for maximizing material utilization in manufacturing. Conventional geometric packing solvers can produce tightly packed layouts, yet they often partition the residual space into isolated small pockets that cannot fit valuable unplaced polygons. To overcome this late-stage packing bottleneck, we propose a failure-aware large neighborhood search framework named GeoNest, driven by a graph policy trained via reinforcement learning. Specifically, we first construct neighborhoods by pairing failed target polygons with residual pockets. We then use explanatory poses to identify the placed polygons that block candidate insertions. These diagnosed blocking relations define bounded, fixed-item repair subproblems for the underlying geometric solver. Finally, the graph policy selects the most promising subproblem for execution. For evaluation, we introduce CircleNest-Bench, a benchmark comprising 2,391 load-controlled instances from four contour sources, including a held-out industrial CAD source. Experimental results demonstrate that, under the same total time budget, GeoNest improves mean utilization over a state-of-the-art standalone packing solver by about 0.9% on average across the three main test sets and by about 0.6% on the held-out industrial set.
Figures & tables
Figure 1: Failure geometry and grounded repair in 2D-CIKP. A target–pocket pair and its explanatory pose identify blockers, which define executable release-and-repack neighborhoods.
Figure 2: Overview of one GeoNest decision. An unpacked target is paired with a residual pocket, and an explanatory pose identifies candidate blockers. The resulting fixed-item repair actions are encoded in a graph and scored by the policy. PackingSolver then executes the selected action under its repair-time cap.
Split
E
S
G
I
Total
Train
720
720
360
–
1,800
Validation
90
90
54
–
234
Main
90
90
54
–
234
Industrial
–
–
–
14
14
Size
40
40
4
–
84
Stress
10
10
5
–
25
Table 1: CircleNest-Bench partitions. E, S, G, and I denote the ESICUP, Synthetic, Gardeyn, and Industrial sources, respectively. The Industrial source contains held-out CAD-derived contours.
Source ( N )
2DNesting
Shadoks-MS
PackingSolver
GeoNest ( μ±σ )
Gain [95% CI]
W/T/L
ESICUP (90)
64.98
72.97
78.59
79.55±0.08
+0.96[0.64,1.31]
62/1/27
Synthetic (90)
62.00
72.47
79.61
80.64±0.08
+1.03[0.70,1.39]
64/0/26
Gardeyn (54)
60.47
72.17
76.93
77.53±0.11
+0.60[0.34,0.86]
36/2/16
Main Avg. (234)
62.49
72.54
78.37
79.24±0.08
+0.87[0.69,1.05]
162/3/69
Table 2: Main results under matched 650-s budgets. Entries report verifier-certified utilization (%). GeoNest is reported as the mean and sample standard deviation over three training seeds, and Main Avg. equally weights the three sources.
Figure 3: Verifier-certified PackingSolver and GeoNest layouts for the same instance under matched 650-s budgets.
(a) Matched 1200-s budget
Source
PS
GeoNest ( μ±σ )
Gain [95% CI]
ESICUP
78.81
79.65±0.10
+0.84[0.59,1.14]
Synthetic
80.06
80.96±0.13
+0.90[0.68,1.14]
Gardeyn
77.46
78.03±0.13
+0.57[0.31,0.82]
Main Avg.
78.78
79.55±0.11
+0.77[0.63,0.92]
(b) Cross-budget efficiency
Table 3: Long-budget results with verifier-certified utilization (%). Panel (a) reports matched 1200-s comparisons. Panel (b) compares 1200-s PackingSolver with the 650-s GeoNest configuration.
(a) Component analysis
Variant
E
S
G
Main
Δ
PackingSolver
78.59
79.61
76.93
78.37
–
Generic-LNS
79.16
79.89
77.17
78.74
+0.37
FA-LNS-Random
79.32
80.43
77.34
79.03
+0.66
FA-LNS-Score
79.41
80.53
77.34
79.10
+0.73
FA-LNS-MLP
79.34
80.58
77.49
79.14
+0.77
Table 4: Component analysis. E, S, and G denote ESICUP, Synthetic, and Gardeyn. Panel (a) reports verifier-certified utilization (%), with Δ denoting the equal-source Main improvement over PackingSolver. Panel (b) compares selectors under the same failure-aware action-generation procedure. GeoNest , FA-LNS-Random, and FA-LNS-MLP are averaged over three seeds.
(a) Main-set marginal trends
Factor
Low
Medium
High
n
48(+1.00)
64(+0.93)
96(+0.67)
λ
1.2(+0.71)
1.5(+0.79)
2.0(+1.10)
Table 5: Scale and load robustness under the 650-s budget. Panel (a) reports gains averaged over three seeds and equally across sources, with each cell showing the factor value and gain in pp. Panel (b) reports equal-source utilization (%) and gain, together with instance-level W/T/L, on the held-out Size and Stress shifts.
(a) Cross-source policy transfer
Train \ Test
ESICUP
Synthetic
Gardeyn
ESICUP
+0.96
+0.93
+0.63
Synthetic
+0.80
+1.03
+0.61
Gardeyn
+0.89
+0.89
+0.60
Table 6: Generalization under the 650-s budget. Panel (a) reports seed-averaged gains over PS, with off-diagonal entries denoting zero-shot transfer. Panel (b) reports verifier-certified results on 14 held-out industrial CAD instances.
Traditional heuristic solvers for the 2D irregular nesting problem share a fundamental limitation: they are blind to polygon geometry, relying on guided brute-force to navigate the continuous placement space with minimal geometrical guidance. In this paper, we argue that Reinforcement Learning is uniquely positioned to overcome this bottleneck. By pairing an optimization policy with a geometry-aware neural encoder, an agent can automatically discover rich geometric priors directly from data, utilizing these learned intuitions to strategically guide exploration. To realize this, we introduce the Polygons Transformer (PoT), a novel architecture that encodes 2D continuous vector geometries while allowing cross-polygons attention. We couple this novel architecture with a Combinatorial Optimization Reinforcement Learning (CORL) training framework to find optimal solutions. To support this paradigm, we release an open-source training dataset derived from complex geographic contours alongside a dedicated evaluation benchmark. Our empirical validation demonstrates that our trained agent achieves area utilization performance highly competitive with Sparrow, the state-of-the-art heuristic solver, proving that reinforcement learning can successfully discover and exploit geometric awareness for precise spatial tasks.
2D irregular packing is a classic combinatorial optimization problem with various applications, such as material utilization and texture atlas generation. Due to its NP-hard nature, conventional numerical approaches typically encounter slow convergence and high computational costs. Previous research (GFPack) introduced a generative method for gradient-based packing, providing early evidence of its feasibility but faced limitations such as insufficient rotation support, poor boundary adaptability, and high overlap ratios. In this paper, we propose GFPack++, a deeply investigated framework that adopts attention-based geometry and relation encoding, enabling more comprehensive modeling of complex packing relationships. We further design a constrained gradient and a weighting function to enhance both the feasibility of the produced solutions and the learning effectiveness. Experimental results on multiple datasets demonstrate that GFPack++ achieves higher space utilization, supports continuous rotation, generalizes well to arbitrary boundaries, and infers orders of magnitude faster than previous approaches. Codes for this paper are at https://github.com/TimHsue/GFPack-pp.
Tianyang Xue, Lin Lu, Yang Liu +5
Shandong University, China · Microsoft Research Asia, China · Peking University, China
The traveling salesman problem (TSP) is a canonical NP-hard combinatorial optimization benchmark that tests the representational capacity and generalization of neural solvers. While non-autoregressive (NAR) approaches offer parallel inference, they often lack sufficient geometric inductive bias and stable training signals, leading to degraded performance under cross-scale and cross-distribution shifts. We propose GeoRouteNet, a geometry-enhanced NAR neural solver for Euclidean TSP. On the model side, GeoRouteNet incorporates centered node features, learnable radial distance basis functions, distance-aware graph attention with explicit edge messaging, LayerNorm-SwiGLU feed-forward blocks, and cross-layer attentive residual mixing. On the training side, we design multi-candidate self-comparison reinforcement learning (MCS-RL), which samples multiple candidate tours per instance, constructs adaptive baselines from greedy and peer candidates, and adds winner-candidate guidance with annealed entropy regularization. On 10,000 random TSP50 instances, GeoRouteNet achieves a 0.32% optimality gap under Beam-1000 decoding. On TSP100, the gap is 1.26%. On 27 stratified TSPLIB EUC_2D instances, the overall gap drops from 17.12% (NAR4TSP reproduction) to 3.60%, while batch inference throughput substantially exceeds that of Concorde and LKH3. Ablation studies confirm that geometric structure enhancement and multi-candidate training are complementary: structure improvements dominate cross-distribution gains, while MCS-RL further stabilizes solution quality when paired with a strong geometric encoder.
Xiang Li
College of Computer Science, Yangtze University, Jingzhou, China