当前位置：首页 > news >正文

ergsegregegeresage -python solve_p1_high.py --max-beta 70 2＞1 | tee /home/c/Desktop/mimachan/saiti

news 2026/8/10 13:28:15

c@c-virtual-machine:~/Desktop/mimachan/saiti1$ sage -python solve_p2.py --max-beta 90 2>&1
==============================================================
Problem 2: ISIS∞ n=100, m=100, q=100, γ=15
最大 β = 90
==============================================================

恢复 checkpoint: BKZ-80
★ γ'=18 (初始 β=80) score=4/10
初始: Kannan 基=18, best=18

▶ Phase 0: ISIS 感知组合搜索
valid 行: 23, homo 行: 12
组合搜索 (1.7s): best=18

▶ Phase 1: G6K 渐进 BKZ
β 序列: [81, 82, 83, 84, 85, 86, 87, 88, 89, 90]

/home/c/Desktop/mimachan/saiti1/solve_p2.py:227: UserWarning: Dimension of lattice is larger than maximum supported. To fix this warning, change the value of MAX_SIEVING_DIM in siever.h and recompile.
g6k = Siever(gso_g6k)
★ γ'=16 (Kannan β=81) score=8/10
valid 行: 21, homo 行: 5
BKZ-81 ( 735.0s): Kannan基= 16 [best=16] score=8/10
valid 行: 19, homo 行: 5
BKZ-82 ( 904.7s): Kannan基= 16 [best=16] score=8/10
valid 行: 9, homo 行: 14
BKZ-83 ( 1065.3s): Kannan基= 18 [best=16] score=8/10
valid 行: 10, homo 行: 9
BKZ-84 ( 1402.9s): Kannan基= 19 [best=16] score=8/10
valid 行: 22, homo 行: 14
BKZ-85 ( 1686.5s): Kannan基= 19 [best=16] score=8/10
valid 行: 17, homo 行: 9
BKZ-86 ( 1950.0s): Kannan基= 16 [best=16] score=8/10
★ γ'=15 (Kannan β=87) score=10/10
valid 行: 24, homo 行: 9
BKZ-87 (16067.2s): Kannan基= 15 [best=15] score=10/10

★★★ 满分! ★★★

==============================================================
最终: γ' = 15, 得分 = 10/10
方程验证: ✓
||u||∞ = 15, ||v||∞ = 14
已保存 result_p2.json

c@c-virtual-machine:~/Desktop/mimachan/saiti1$ sage -python solve_p3.py --max-beta 95 2>&1
==============================================================
Problem 3: SIS∞ n=120, m=120, q=120, γ=16
格维度 d=240, 最大 β=95
==============================================================

恢复 checkpoint: BKZ-73
★ γ'=120 (b_0 β=73) score=0/10
★ γ'=55 (b_13 β=73) score=0/10
★ γ'=51 (b_20 β=73) score=0/10
★ γ'=47 (b_45 β=73) score=0/10
★ γ'=43 (b_122 β=73) score=0/10
★ γ'=39 (b_135 β=73) score=0/10
初始: 基=39, 差=42, best=39
G6K β 序列: [74, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95]

/home/c/Desktop/mimachan/saiti1/solve_p3.py:158: UserWarning: Dimension of lattice is larger than maximum supported. To fix this warning, change the value of MAX_SIEVING_DIM in siever.h and recompile.
g6k = Siever(gso_g6k)
★ γ'=38 (diff β=74) score=0/10
★ γ'=36 (diff β=74) score=0/10
BKZ-74 ( 484.8s): 基= 40 差= 36 [best=36] score=0/10
★ γ'=35 (diff β=76) score=0/10
BKZ-76 ( 625.3s): 基= 38 差= 35 [best=35] score=0/10
★ γ'=30 (b_158 β=78) score=0/10
BKZ-78 ( 757.0s): 基= 30 差= 37 [best=30] score=0/10
BKZ-80 ( 993.6s): 基= 32 差= 34 [best=30] score=0/10
★ γ'=28 (diff β=81) score=0/10
BKZ-81 ( 1206.2s): 基= 31 差= 28 [best=28] score=0/10
BKZ-82 ( 1388.9s): 基= 31 差= 32 [best=28] score=0/10
BKZ-83 ( 1602.7s): 基= 28 差= 29 [best=28] score=0/10
★ γ'=27 (b_22 β=84) score=0/10
BKZ-84 (16042.6s): 基= 27 差= 30 [best=27] score=0/10
★ γ'=26 (b_11 β=85) score=0/10
BKZ-85 ( 1399.8s): 基= 26 差= 26 [best=26] score=0/10