数学建模社区-数学中国

标题: 【文本匹配】交互型模型 [打印本页]

作者: 杨利霞    时间: 2023-4-13 21:16
标题: 【文本匹配】交互型模型
【文本匹配】交互型模型: G- k3 P, {' `# @& l
; x( ]( P/ B" Q& Z% O; O- z2 g
表示型的文本匹配模型存在两大问题:(1)对各文本抽取的仅仅是最后的语义向量,其中的信息损失难以衡量;(2)缺乏对文本pair间词法、句法信息的比较9 c/ C- W8 W2 B5 r* h* T

$ ]) f. l  Q% P# j4 A, q& g, c而交互型的文本匹配模型通过尽早在文本pair间进行信息交互,能够改善上述问题。" l0 c9 v: o- h6 Y8 ]+ ?
, U4 b# u, R7 Q3 S
基于交互的匹配模型的基本结构包括:) a& X+ U) J8 R/ K& E+ ^; D+ j

5 X- m1 s; `+ N. D+ G(1)嵌入层,即文本细粒度的嵌入表示;, |  Z) F9 @( N0 x2 D, ^0 t
( k4 w! G  x: `4 K8 i0 r
(2)编码层,在嵌入表示的基础上进一步编码;- r4 L  D" r3 a) H8 g
* f+ \. u' s" a) w$ ]2 P7 _
(3)匹配层:将文本对的编码层输出进行交互、对比,得到各文本强化后的向量表征,或者直接得到统一的向量表征;
3 k: c2 i; C! T5 n1 m
+ K; A9 v' R- I(4)融合层:对匹配层输出向量进一步压缩、融合;: b( [' E9 k: i) ~* I. g2 l1 F" k
+ {3 y- L) ?4 O! }# d
(5)预测层:基于文本对融合后的向量进行文本关系的预测。  b3 b: B# f* I+ [9 s+ `

0 R# [. o/ F% P# ]( A# ?
0 j" Z  o7 C: q$ z% u
! Q; _; I7 q8 _/ S3 S% `; K1. ARC-II
6 C) y; ]+ q1 iARC-II模型是和表示型模型ARC-I模型在同一篇论文中提出的姊妹模型,采用pair-wise ranking loss的目标函数。
  T/ D( Y! E  z
& o  q8 \& X; O' J: c3 l6 R+ ?其核心结构为匹配层的设计:
7 d0 t% X% T: w/ A. N# I
5 P) v6 h4 B. V0 h8 o9 `0 q8 j(1)对文本pair的n-gram Embedding结果进行拼接,然后利用1-D CNN得到文本S_X中任一token i和文本S_Y中任一token j的交互张量元素M_{ij}。该操作既然考虑了n-gram滑动窗口对于local信息的捕捉,也通过拼接实现了文本pair间低层级的交互。
) m' S) M1 Y+ v" n7 b
) Z2 z# o" B( q$ W7 o, b(2)对交互张量进行堆叠的global max-pooling和2D-CNN操作,从而扩大感受野。. ^! H$ A* k! J6 H# i+ b
1 u0 M8 r; Q" E/ H; z7 Y* o& K
2. PairCNN& I# b7 N- R7 |4 }
PairCNN并没有选择在Embedding后直接进行query-doc间的交互,而是首先通过TextCNN的方式分别得到query和doc的向量表征,然后通过一个中间Matrix对query和doc向量进行交互得到pair的相似度向量,然后将query的向量表征、doc的向量表征、相似度向量以及其它的特征向量进行拼接,最后经过两层的MPL得到最后的二分类向量。( E- T! i# H% f1 T4 U& y

+ ~3 J7 Y2 ?5 a6 C9 g: @- h( K% c, SPairCNN的模型架构中的亮点在于各View向量的拼接,既能利用原始的语义向量,还能够很便捷的融入外部特征。
  w2 k" M" Q; A. `7 K1 t
3 C) H6 l% ^+ C+ q( X3. MatchPyramid
7 F: u% [( O; b5 [( F. M无论是ARC-II中的n-gram拼接+1D conv还是Pair-CNN中的中间Matrix虽然均通过运算最终达到了信息交互的作用,但其定义还不够显式和明确,MatchPyramid借鉴图像卷积网络的思想,更加显式的定义了细粒度交互的过程。6 A" y4 W9 f( \# ^/ l! T% H
MatchPyramid通过两文本各token embedding间的直接交互构造出匹配矩阵,然后将其视为图片进行2D卷积和2D池化,最后Flatten接MLP计算得匹配分数。本文共提出了三种匹配矩阵的构造方式:! U1 w( |8 S- f- M) j

; K7 K4 D8 F% Z2 {# g(1)Indicator:0-1型,即一样的token取1,否则取0;这种做法无法涵盖同义多词的情况;: H9 C9 ~5 D3 A. @+ M- r

* M8 f/ R" L; E3 K: B0 V1 q% y(2)Cosine:即词向量的夹角余弦;
% M8 P: d1 A! E! c  Y, y6 a5 h
4 o3 p/ V2 F4 B7 ]1 e$ d4 `(3)Dot Product:即词向量的内积9 P7 @/ u9 b5 s2 W0 x' y* z: A2 X# Q6 b: O
& {/ U7 K' B5 s# H/ Q
此外值得注意的是因为各个文本pair中句子长度的不一致,本文并没有采用padding到max-lenght的惯用做法,而是采用了更灵活的动态池化层,以保证MPL层参数个数的固定。
: J; c0 \/ f. b5 w( b6 ^& g* J! w& b' i
4. DecAtt: Q, i0 i( U% f: t6 Q7 J( t
DecAtt将注意力机制引入到交互型文本匹配模型中,从而得到各token信息交互后增强后的向量表征。
: ^( e- N- F+ ]" x1 F1 `, e/ y: {; r( s9 h& A3 [( j5 z+ i
模型被概括为如下层级模块:
( S) u+ M& y5 c: p, ~3 w' F" X) Q" E0 G9 ?4 y
(1)Attend层:文章提供了两种注意力方案,分别为文本间的cross-attention,以及各文本内的intra-attention。具体而言,分别采用前向网络F和F_{intra}对文本token embedding进行编码,然后通过F(x)F(y)计算cross-attention的score,以及F_{intra}(x)F_{intra}(y)计算self-attention的score。然后利用softmax将attention score进行归一化,再对各token embedding进行加权平均,得到当前query token处的增强表征,最后与原始token embedding进行拼接计为attend后的最终embedding。- j5 j+ E( `4 N) M! Q8 h

. M3 z. V& f. r: v- L/ b1 Y(2)Compare层:将前序Attend层计算得到的最终embedding,喂入一个全连接层进行向量维度的压缩。: C7 t& @/ \0 b8 f

- i! x6 Z7 Q, @2 Z" i# S) I1 Q(3)Aggregate层:将每个文本各token处压缩后的向量进行简单的求和,再拼接起来通过MPL得到最后的匹配得分。
- u' j6 x& o( A. o
; L3 I; e0 ^+ @5. CompAgg
" z* u3 Z1 v5 l7 w# cCompAgg详细对比了在文本间cross-attention得到的各token向量表征与原始token向量进行compare的各种方案。! ~: a0 h! s' B0 s7 k

- C5 X  S* A0 v. U' e' }+ l该模型的主要结构包括:7 A- @' k& N8 V3 X$ G
8 [, \  y( o- G9 Q; \+ Z5 b6 s4 t
(1)reprocessing层:采用类似于LSTM/GRU的神经网络得到token的深层表示(图中的\bar a_i);; L* ^8 N# S7 ?& S, k0 A9 g; o  E% i& K0 d

: z9 o( R* t, Q5 O(2)Attention层:利用软注意力机制计算文本间的cross-attention(与DecAtt相同),从而得到各token处交互后的向量表示(图中的h_i);
1 J9 Y+ F# K7 ^- A$ ?1 K& Y8 K
. ]& i9 t8 k. I% M1 }5 `(3)Comparison层:通过各种网络结构或计算将\bar a_i和h_i计算求得各token的最终表征。
+ V; t$ S0 z4 G4 D" d# p' }1 e" q: ?8 |1 V% j3 [* }. T
(4)Aggregation层:利用CNN网络对Comparison层的输出进行计算,得到最后的匹配得分。
, a( k$ Z5 R. C
3 H: k5 {- C9 _/ s其中Comparison层的构造方式包括:
5 I% }  x' e# }% \. e) ~1 h1 V7 M) B/ `! a3 N3 N$ j
(1)矩阵乘法,类似于Pair-CNN中的中间Matrix
' Z8 }* ]) o. d4 `+ R- R- o+ \3 O9 y0 U' O. e$ C9 I1 {1 k
(2)前向神经网络,即将\bar a_i和h_i进行拼接,然后利用输入FFN;' @+ ^% ^$ u' s: |, v

1 [  c* }5 V# J8 s! h(3)分别计算cosine和欧式距离,然后拼接;2 `; t0 B( H! }8 `8 ?1 P
6 j9 e4 ^+ m: }
(4)各维度进行减法;9 M/ L' G- @+ |9 n

" ~5 r9 C. @1 p, h; |: G(5)各维度进行乘法;
) I2 n: [6 t, o2 `% ?0 E9 S, m2 }% B  x
(6)各维度进行减法和乘法,然后再接一个前向网络。
# M' w2 x1 k( F; N5 k. n6 a* U7 c+ a$ K9 h% E+ S% N3 B+ e; M' |
6. ABCNN( \$ y' i( D! S" [+ x2 W
ABCNN是将Attention机制作用于BCNN架构的文本匹配模型。7 G) R) b& B* d  [- N

3 {9 P# c* x0 \  o9 p6 J6.1 BCNN# X) j% \2 G# {4 B2 g1 r
首先简单介绍下BCNN架构:7 Z; g, h, l$ b9 w2 K4 K

& T) h. [, e9 P. P* y6 WBCNN的整体结构比较简单:(1)输入层;(2)卷积层,因为采用了反卷积的形式,所以在size上会增加;+ Q0 ]; v* z+ \+ I" ^
" h! e6 d6 @) t) Z* p
(3)池化层,采用了两种池化模式,在模型开始阶段采用的是local平均池化,在最后句子向量的抽取时采用了global平均池化;(4)预测层,句子向量拼接后采用LR得到最后的匹配得分。- b4 j* w4 i- u; ]

7 Z& B1 ?- \5 vABCNN共包括三种变形,下面依次介绍。
& p' P9 B) ^# G1 Q6 t& y/ L" O1 t7 H3 \6 s" `" ~# ?% C
6.2 ABCNN
- ?! o6 x" S: \. k( ^: N6 a3 q
ABCNN-1直接将Attention机制作用于word embedding层,得到phrase 级的词向量表示。区别于CompAgg中的软注意力机制,ABCNN-1直接基于下式得到注意力矩阵: A i j = 1 1 + ∣ x i − y j ∣ A_{ij}=\frac{1}{1+|x_i-y_j|} A 2 z% H( Z: m% V8 L0 w
ij2 Y, j1 f! A( g1 J9 E5 x, G
​        $ O2 B* U* l3 {2 K& l! K# @
=
* u* H* \) [& v. U0 ~1+∣x
( R, N2 O9 r7 t2 U) C3 V: Zi1 x0 p: }$ ?# |9 e9 ~0 _7 t% U
​       
1 A7 k  {4 z7 Y+ A9 T −y 6 S2 j6 j& Z, u% G% x! H0 r+ r
j+ |$ }( p7 M2 e0 T- C; G
​       
+ R* ?+ O  F3 ]$ ^
% {, _  g, {6 W) }: K1! E9 T, T1 o1 s% d6 e& X
​       
) b! `, W$ o, }$ J1 |" K4 x ,然后分别乘以可学习的权重矩阵 W 0 W_0 W 9 |0 C+ q6 l  R" H1 R+ C
0; F& `" E/ P9 F+ v5 J
​        2 G9 K  x, |! g1 p4 i6 [& F3 m! P
和 W 1 W_1 W : U% a1 g% u: b- K  X7 a, ^
1' Y, i" B* d2 H) R4 Z7 ]5 ^( W
​       
$ \( t, i: A. v) D 得到attetion feature map。" E: G# l  Y7 s6 P1 G4 U
. n/ u$ s& B! `+ b, Y. B& v! Z; ?
6.3 ABCNN-2
& ~) J7 L6 V" m$ I( n+ o; J9 N' u+ j7 o  P# v8 q/ Q, Z6 v
ABCNN-2将Attention机制作用于word embedding层后的反卷积层的输出结果,其中注意力矩阵的计算原理与ABCNN-1一致。然后将注意力矩阵沿着row和col的方向分别求和,分别代表着各文本token的attention socre;接着将反卷积层的输出结果与attention socre进行加权平均池化,得到与输入层相同shape的特征图。
$ c* B! M7 {- s+ R- L& t: [- d9 a
+ o8 Z% \: Q3 z. F( P5 A6.4 ABCNN-31 I- d% o1 U+ H: ^
# O/ P: Z. h7 \" ~9 |4 v+ l4 l
ABCNN-3的基本模块可视为ABCNN-1和ABCNN-2的堆叠,即在嵌入层和卷积层上面都引入了attention的机制用来增强对token向量的表示。
6 q: z3 u2 n  D: P
0 A+ \) `2 f* W6 H- v3 B1 `/ I7. ESIM" e! _; c' N$ d8 z6 @/ Q
ESIM模型基于NLI任务给出了一种强有力的交互型匹配方法。其采用了BiLSTM和Tree-LSTM分别对文本序列和文本解析树进行编码,其亮点在于:
7 P2 O0 ~- |" Y8 M: S. E% a- z1 {# X% X9 l( M4 Q; A
(1)匹配层定义了cross-attention得到各token的向量表示与原token向量间的详细交互关系,即采用 [ a ˉ , a ^ , a ˉ − a ^ , a ˉ ∗ a ^ ] [\bar a, \hat a,\bar a-\hat a,\bar a* \hat a] [
* T* q* Y* Y% [" J% ^4 x4 Da( ]- K! k1 n! I
ˉ
! O) j: m3 I5 S) T7 T- W( ? , * D5 m+ x8 D+ }
a
) U. g3 a6 Z$ I* P8 S4 s^
# v2 y0 k6 l7 {$ m5 P* s' K ,
; @- @$ |# s! O2 _! ?. T7 A, xa
, Q% A" e1 U( P- @ˉ, S* N+ N* W7 J5 i' E6 j5 u" Q

  J3 j- y- S1 E5 q8 |a
8 ]9 |+ R+ B% ]+ o8 i$ `% D3 q0 v^9 p  X# [. @% O) @3 `% V2 q. v1 z
, % T* c2 ]- j+ S6 E2 I, ^
a* v# l' q9 \8 E% q4 R9 C9 P: p
ˉ% r7 |3 a+ [- W, @
0 [+ B6 p/ f. V! V, }
a
# f5 F' h* _9 u& V: F^
1 v$ Y3 d7 P3 [; U1 X! C5 r ]作为最终文本token的向量表示,这也成为后续文本匹配模型的惯用做法。
1 u) @, \5 I2 K' }7 K" W) n; E9 t* ^- k4 o. `1 E( t
(2)聚合层通过BiLSTM得到各文本token的编码,从而进一步增强了文本序列的信息传递;1 e8 o( j7 a9 V! u# H1 ~- y

+ _3 z) z3 @& s. Q( ~7 m' E(3)预测层通过拼接各文本token编码的max-pooling和mean-pooling结果,再经过MPL进行匹配预测。
: {+ G5 L! p% B  D  B
# T0 A: o$ c9 |# Z: m* v# G, ?
+ j3 Z1 H5 R% a2 b; E! a9 _- }) Z  X6 J6 o3 M9 `2 k  P/ S
8. Bimpm  g- X+ h& n& ^, \
Bimpm可视为对之前各类交互型文本匹配模型的一次总结。
' l+ z- ?" z% b, Z6 s! ?. q5 N7 M4 l
该模型在各层的具体做法总结如下:$ O) H$ ^$ D% y/ f- J. d

% x; |$ A7 K9 [0 x  y* O(1)编码层采用BiLSTM得到每个token隐层的向量表示;- X0 Z7 T! a2 T. L
, x/ U% D8 n' l" c! Q
(2)匹配层遵循 m k = c o s i n e ( W k ∗ v 1 , W k ∗ v 2 ) m_k=cosine(W_k*v_1,W_k*v_2) m & f: Y+ J, G; ]3 z% I+ g
k
' d: d- m) r. f7 K9 j​        % \# G3 \3 f8 r) i8 P$ f
=cosine(W * ]6 K7 e6 v5 |: i  Y5 x, A3 Z
k9 c* O( h# X7 _& ?
​        - A1 h3 b; h/ w: N
∗v 1 ^  z( I5 R. r$ ]. v) f/ h' S
1
: {6 g9 t$ x: F, X% x: P​       
' d6 u9 ~. g, s: ~( y ,W ) K+ L# r! w2 a
k% [% M' l! o+ f
​        ! x1 w! ~/ O: C/ T9 F
∗v " p6 P) G) E8 X9 Y0 w7 T8 T$ q* B# d
20 n# B. G; E' H7 |8 R8 U
​        7 K) X' n6 A4 o% @! _
)的方式可以得到两个文本的任意token pair之间在第k个view下的匹配关系,至于 v 1 v_1 v
6 U/ H1 q9 N* g: t1
8 J) W: i/ q: I. Q# z​        ; Y2 ?9 m6 i9 F, a) Z% W
和 v 2 v_2 v 3 `3 }! o6 M5 ?+ X  x. `& H
2
/ i, b4 h# B) c+ \" M1 f, c​          P. e5 j/ g' R  S( U6 ]5 I
如何取,文章提供了4种策略:+ W: J$ F" v1 Z  E: R2 @' _
6 N# u4 ]$ q: P$ c3 }$ Q2 j. I( Z
策略一:其中一个句子取各token隐层的向量表示,另一个句子采用隐层最后时间步处的输出;# W1 n! o/ |# @( J
策略二:其中一个句子取各token隐层的向量表示,另一个句子采用隐层各时间步输出与之匹配后取再取Max-Pooling值;
$ D3 s( p6 P! ^9 o# m8 Z策略三:其中一个句子取各token隐层的向量表示,另一个句子采用cross-attentive后得到的加权句子向量;
4 F5 w% T# g1 T3 k* D5 N0 D策略四:其中一个句子取各token隐层的向量表示,另一个句子采用cross-attentive后attention score最高处token的向量作为句子向量。
# s0 w: s/ U3 p& f这四种策略的区别在于对句子向量的计算不同。! S4 W5 z! v9 a3 e9 L/ ~0 w
1 h( u. R( A3 m  r+ @: N% v

2 V" O8 h* B2 ^6 U(3)聚合层,首先对上面各种策略得到的输出层再通过一层BiLSTM层,然后将各策略下最后时间步的输出进行拼接,得到最后的聚合向量;3 A4 x5 s& e6 D. s& d
7 N4 s7 c! {$ V6 K% c$ M
(4)预测层:两层MPL+softmax% A7 C8 ]5 v6 y3 t4 [% R
: F; ^" I' q! Y/ s
9. HCAN/ V* s) j! C8 H# ~
HCAN是除Bert类模型外在文本匹配领域表现最为优异的深度模型之一,其采用了较为复杂的模型结构。
0 J' S% H- ~% L! s& w" t7 D4 g
9 e0 m, a) e  B. o+ Y( a5 T# r# M9 u& S针对于信息抽取问题,文章首先分析了相关性匹配和语义匹配的差异:7 O6 Q/ ^" \  u1 T
! c  w& G3 Q$ X1 _! b9 N% u
(1)相关性匹配主要关注于关键词的对比,因此更关注低层级词法、语法结构层面的匹配性;
% |: j( Q2 z4 g# Z2 f( }* \$ B" i- t0 w1 b2 H# v
(2)语义匹配代表着文本的平均意义,因此其关注更高、更丑想的语义层面的匹配性。
7 ?' g6 R3 B: A2 |; P8 J" F+ ?' W! F* s! |3 E7 z7 S4 c% H/ n8 o
该模型首先采用三类混合的编码器对query和context进行编码:6 R3 I9 h2 b' R% {3 A- s
* o9 d2 P& e& s' w/ A( T# s3 F% E" O
(1)深层相同卷积核大小的CNN编码器;
6 V( I; V6 f% M! J2 E- o0 f7 J9 D2 t0 |0 n& `" s" c* M5 o
(2)不同卷积核大小的CNN编码器的并行编码;
: h' o: D/ S0 ?# W+ ~' g& M0 @, j) e% z
(3)沿着时序方向的stacked BiLSTM编码;
. J& z# U; n% L2 b% ^, |4 ]5 N; e/ t* B( j) i' a" X
对于前两者,通过控制卷积核的大小可以更好的捕捉词法和句法特征,即符合相关性匹配的目的;而对于后者,其能表征更长距离的文本意义,满足语义匹配的目的。
% c( m, r+ N0 ~- e- O% P
: }+ D4 |- M) F- N) B在这三类编码器的编码结果基础上,模型分别进行了相关性匹配和语义匹配操作。其中相关性匹配主要采用各phrase间内积+max pooling/mean pooling的方式获取相关性特征,并通过IDF指进行各phrase的权重调整。而在语义匹配中,模型采用了精心设计的co-attention机制,并最终通过BiLSTM层输出结果。4 [( f. n9 t+ J$ U9 x( V

) R# y5 V/ A; p* y8 R. M最后的预测层仍采用MPL+softmax进行预测。, W& I/ T5 ?( T$ i4 K5 ^

3 M  F3 ^. S8 \7 _1 _" j8 f10. 小结  w6 _+ v4 W: _( A# W# ]
交互型语言匹配模型由于引入各种花式attention,其模型的精细度和复杂度普遍强于表示型语言模型。交互型语言匹配模型通过尽早让文本进行交互(可以发生在Embedding和/或Encoding之后)实现了词法、句法层面信息的匹配,因此其效果也普遍较表示型语言模型更好。8 M. b% @  c! s: v
: J# ]4 L  ^/ d  B
【Reference】# D4 h- Y7 M7 q. q

3 E6 F% ?. N7 H" O/ tARC-II: Convolutional Neural Network Architectures for Matching Natural Language Sentences
7 p6 S' ^: m, @8 [1 t; c6 O, R2 I
7 y, Z  A7 Q7 k2 EPairCNN: Learning to Rank Short Text Pairs with Convolutional Deep Neural Networks- l6 ?3 u9 G" B* v4 N; U  \! t8 c

7 f! x. N, J' K% j, v# z! s7 DMatchPyramid: Text Matching as Image Recognition2 s7 @5 Z3 w9 h0 D  ~/ ^7 k9 {4 C; y1 [
& A: ^3 l7 `' M/ m& f! A2 C& E& t) z
DecAtt: A Decomposable Attention Model for Natural Language Inference
4 ]$ s# Z4 [  w: w
' j. w8 M7 ~* OCompAgg: A Compare-Aggregate Model for Matching Text Sequences6 }% A0 \0 l  j) h0 [9 G3 E0 q% D4 t" D
0 x: G% z% @3 V: s- T( v7 _, ?5 R
ABCNN: ABCNN: Attention-Based Convolutional Neural Network
/ s7 _5 h/ d* e9 R- Zfor Modeling Sentence Pairs% Y# O" W  z1 C4 B3 D+ B: O

7 {# h! u* J) |  L: v) |/ ]/ |% Q$ v! EESIM: Enhanced LSTM for Natural Language Inference- `3 E1 I/ S3 d6 `
; z7 h/ C- A; s1 |; ^3 R2 X* g
Bimpm: Bilateral Multi-Perspective Matching for Natural Language Sentences7 B" k. m+ X5 @& l# Y; l' L. e% `" v
, t. _( q$ \; U5 ]1 G
HCAN: Bridging the Gap Between Relevance Matching and Semantic Matching
) B7 J" s$ L( X3 I- Y% q$ ]8 ^for Short Text Similarity Modeling
4 _( M' P1 U0 }$ u
5 b4 i1 d* V, n% x5 V6 ^$ I文本匹配相关方向打卡点总结(数据,场景,论文,开源工具)
7 |/ U0 r/ \0 I7 V. B; Q4 p; l$ u* \: d9 d+ v
谈谈文本匹配和多轮检索& R7 j% y. G8 l* i* A, B8 [  M* `

3 ]; b+ N: {8 t6 G' Z, P4 B贝壳找房【深度语义匹配模型 】原理篇一:表示型
+ `: `( s+ T1 R9 }3 Q$ W$ ^7 ]3 A* Z————————————————
5 w# _5 d" ^4 \4 G# R5 M* m" l版权声明:本文为CSDN博主「guofei_fly」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。( J" _% ^1 Y7 m" H* i2 [) [
原文链接:https://blog.csdn.net/guofei_fly/article/details/107501276
( H) G- `6 s0 b' ~6 J$ @/ ^& y% I+ M" V2 X# V5 B
# A/ P* O. D0 y1 r6 g2 [& P





欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5