-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathbrainstorm_attack_paths.toc
More file actions
41 lines (41 loc) · 3.35 KB
/
Copy pathbrainstorm_attack_paths.toc
File metadata and controls
41 lines (41 loc) · 3.35 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
\contentsline {section}{\numberline {1}核心问题精确重述}{1}{section.1}%
\contentsline {section}{\numberline {2}直接依赖的命题（来自82项数据库）}{2}{section.2}%
\contentsline {section}{\numberline {3}证明技巧A：改良CRT+非链树构造}{2}{section.3}%
\contentsline {subsection}{\numberline {3.1}核心思想}{2}{subsection.3.1}%
\contentsline {subsection}{\numberline {3.2}构造策略}{2}{subsection.3.2}%
\contentsline {subsection}{\numberline {3.3}所需数值验证}{2}{subsection.3.3}%
\contentsline {section}{\numberline {4}证明技巧B：Størmer数链 + 奇偶分析}{3}{section.4}%
\contentsline {subsection}{\numberline {4.1}核心思想}{3}{subsection.4.1}%
\contentsline {subsection}{\numberline {4.2}关键计算}{3}{subsection.4.2}%
\contentsline {subsection}{\numberline {4.3}解析方法}{3}{subsection.4.3}%
\contentsline {subsection}{\numberline {4.4}所需数值验证}{3}{subsection.4.4}%
\contentsline {section}{\numberline {5}证明技巧C：半群饱和方法}{3}{section.5}%
\contentsline {subsection}{\numberline {5.1}核心思想}{3}{subsection.5.1}%
\contentsline {subsection}{\numberline {5.2}工具}{3}{subsection.5.2}%
\contentsline {subsection}{\numberline {5.3}应用路径}{4}{subsection.5.3}%
\contentsline {subsection}{\numberline {5.4}所需数值验证}{4}{subsection.5.4}%
\contentsline {section}{\numberline {6}证明技巧D：概率方法 / 随机树}{4}{section.6}%
\contentsline {subsection}{\numberline {6.1}核心思想}{4}{subsection.6.1}%
\contentsline {subsection}{\numberline {6.2}工具}{4}{subsection.6.2}%
\contentsline {subsection}{\numberline {6.3}关键观察}{4}{subsection.6.3}%
\contentsline {subsection}{\numberline {6.4}所需数值验证}{4}{subsection.6.4}%
\contentsline {section}{\numberline {7}证明技巧E：代数几何 / 算术几何}{4}{section.7}%
\contentsline {subsection}{\numberline {7.1}核心思想}{4}{subsection.7.1}%
\contentsline {subsection}{\numberline {7.2}可能关联}{5}{subsection.7.2}%
\contentsline {subsection}{\numberline {7.3}具体问题}{5}{subsection.7.3}%
\contentsline {section}{\numberline {8}证明技巧F：重写系统 / 合流性}{5}{section.8}%
\contentsline {subsection}{\numberline {8.1}核心思想}{5}{subsection.8.1}%
\contentsline {subsection}{\numberline {8.2}工具}{5}{subsection.8.2}%
\contentsline {section}{\numberline {9}证明技巧G：组合设计 / 关联矩阵}{5}{section.9}%
\contentsline {subsection}{\numberline {9.1}核心思想}{5}{subsection.9.1}%
\contentsline {subsection}{\numberline {9.2}工具}{5}{subsection.9.2}%
\contentsline {subsection}{\numberline {9.3}构造策略}{6}{subsection.9.3}%
\contentsline {subsection}{\numberline {9.4}所需数值验证}{6}{subsection.9.4}%
\contentsline {section}{\numberline {10}证明技巧H：赋值论 / 非Archimedean分析}{6}{section.10}%
\contentsline {subsection}{\numberline {10.1}核心思想}{6}{subsection.10.1}%
\contentsline {subsection}{\numberline {10.2}工具}{6}{subsection.10.2}%
\contentsline {subsection}{\numberline {10.3}可能路径}{6}{subsection.10.3}%
\contentsline {section}{\numberline {11}需执行的数值验证完整清单}{6}{section.11}%
\contentsline {section}{\numberline {12}跨领域联想图谱}{7}{section.12}%
\contentsline {subsection}{\numberline {12.1}最深层可能的关联}{7}{subsection.12.1}%
\contentsline {section}{\numberline {13}最推荐的优先攻击路径}{7}{section.13}%