图神经网络详解及其在交通预测方面的应用


layout: mypost
title: 图神经网络及其在交通预测方面的应用
categories: [Traffic prediction, Graph Neural Networks]

图神经网络

图神经网络可以粗略地分为基于谱的图神经网络和基于空间的图神经网络。其中前者从图的傅立叶变换而来,具有坚实的理论基础,在通过多番简化之后,其计算开销、局部性等已经能够满足大部分情形下的要求,但是它只能用来处理边上权重维数为 1 1 1的无向图。而后者虽然缺乏理论基础,但是可以用来处理更加广泛的图结构数据,如有向图、多权图等。

历史:

  1. 最早提出在图上神经网络,由Joan Bruna于2014年在论文Spectral Networks and Locally Connected Networks on Graph中提出
  2. 图卷积网络(简称GCN),由Thomas Kpif于2017年在论文Semi-supervised classification with graph convolutional networks中提出。
  3. 作者的blog

基于谱的图神经网络

图的傅立叶变换和拉普拉斯矩阵

首先,连续函数的傅立叶变换可以表示为:

f ^ ( ω ) = F [ f ( t ) ] = ∫ − ∞ ∞ f ( t ) e − i ω t d t . (1.1) \hat{f}(\omega) = \mathcal{F}[f(t)]=\int_{-\infty}^{\infty}f(t)e^{-i \omega t}dt. \tag{1.1} f^(ω)=F[f(t)]=f(t)eiωtdt.(1.1)

其中 e − i ω t e^{-i \omega t} eiωt是拉普拉斯算子 ∇ 2 \nabla^2 2的特征方程,即 ∇ 2 e − i ω t = λ e − i ω t \nabla^2 e^{-i \omega t} = \lambda e^{-i \omega t} 2eiωt=λeiωt,通过它,函数 f ( t ) f(t) f(t)就被映射到了以 { e − i ω t } \{e^{-i \omega t}\} {eiωt}为基向量的空间中。与此类似,图的傅立叶变换定义为将其映射到以图的拉普拉斯矩阵的特征矩阵为基向量的空间中。

而图的拉普拉斯矩阵是什么呢?连续函数的拉普拉斯算子 ∇ 2 = ∇ ⋅ ∇ \nabla^2 = \nabla \cdot \nabla 2=的第二个 ∇ \nabla 代表梯度,第一个 ∇ \nabla 代表散度,即连续的拉普拉斯算子指的是其梯度的散度。与此类似,图的拉普拉斯矩阵是图上的信号的梯度的散度。那么问题就变成了如何定义图上的梯度和散度。

我们知道,梯度是一个向量,其中的每一个分量都代表函数值在定义域的一个正交方向上下降的速度。在图中,每一个结点 i i i都可以通过一个函数 f ( ⋅ ) f(\cdot) f()映射到实域中的一个实数值 f ( i ) ∈ R f(i) \in \mathbb{R} f(i)R,这样每一个结点都关联着一个实数值,这样假设图中有 N N N个结点, f ( ⋅ ) f(\cdot ) f()可以简写为一个向量 f ∈ R N f \in \mathbb{R}^N fRN,这样的向量就称为图上的信号。

我们知道,函数的定义域可以分为若干个正交的方向,一个函数的定义域能够正交地分为几个方向是固定的,每个方向上都有一个梯度的分量,而梯度在这个方向上的分量 ∇ f i = ∂ f ∂ x i = f ( x + △ x ) − f ( x ) △ x i \nabla f_i = \frac{\partial f}{\partial x_i} = \frac{f(x + \triangle x) - f(x)}{\triangle x_i} fi=xif=xif(x+x)f(x),即在这个方向上函数值的差值与距离的比值。而图上的每一个结点都连接有数目不等的边,这些边都可以看作是互相正交的方向,这样,与此类似,图上的信号在某一个方向(某一条边)上的梯度分量就是在这条边上图信号的差值与距离的比值。

那么问题就变成了如何定义图上两个结点在某一条边上的距离。我们知道,图上边上的权重代表这两个结点的接近程度(越近越大),而距离的定义与此相反,其表示两个结点离得有多远(越远越大),这样,距离可以定义为边上权重的倒数,这样,图上的两个结点 i i i j j j在边 e i j e_{ij} eij上的梯度就可以定义为 ∇ f i j = ( f i − f j ) A i j \nabla f_{ij}=(f_i - f_j) A_{ij} fij=(fifj)Aij,其中 A i j A_{ij} Aij是边 e i j e_{ij} eij上的权重。

如百度百科所说,”散度是描述空气从周围汇合到某一处或从某一处流散开来程度的量“。函数的散度即其梯度在各个方向上的分量的和, ∇ 2 f = ∑ i ∇ i f \nabla^2f=\sum_i{\nabla_i{f}} 2f=iif。与此类似,图在结点 i i i上的散度定义为该图信号在与该结点相连的每一条边上的梯度之和,即

∇ 2 f i = ∑ j ( f i − f j ) A i j = [ f i − f 1 f i − f 2 … f i − f N ] [ A i , 1 A i , 2 ⋮ A i , N ] = ( f i T − f T ) ⋅ A i = f i A i − A i T ⋅ f , (1.2) \nabla^2 f_i = \sum_j{(f_i - f_j)A_{ij}} = \left[ \begin{matrix} f_i - f_1 & f_i - f_2 & \ldots & f_i - f_N \end{matrix} \right] \left[ \begin{matrix} A_{i,1} \\ A_{i,2} \\ \vdots \\ A_{i,N} \end{matrix} \right] = (f_i^T - f^T) \cdot A_i = f_i A_i - A_i^T \cdot f, \tag{1.2} 2fi=j(fifj)Aij=[fif1fif2fifN]Ai,1Ai,2Ai,N=(fiTfT)Ai=fiAiAiTf,(1.2)

其中 ⋅ \cdot 是向量的点积。将 f i A i f_i A_i fiAi简记为 f i d i f_i d_i fidi,其中 d i = ∑ j = 1 N A i j d_i=\sum_{j=1}^N{A_{ij}} di=j=1NAij为结点 i i i的度,即与其相连的所有边上的权重之和,上式可以简写为 ∇ 2 f i = f i d i − A i T ⋅ f \nabla^2 f_i = f_i d_i - A_i^T \cdot f 2fi=fidiAiTf,因此,图在每个结点上的散度即

∇ 2 f = [ f 1 d 1 − f T ⋅ A 1 f 2 d 2 − f T ⋅ A 2 ⋮ f N d N − f T ⋅ A N ] = [ d 1 0 … 0 0 d 2 … 0 ⋮ ⋮ ⋱ ⋮ 0 0 … d N ] [ f 1 f 2 ⋮ f N ] − [ A 1 T A 2 T ⋮ A N T ] [ f 1 f 2 ⋮ f N ] = ( D − A ) f , (1.3) \nabla^2 f = \left[ \begin{matrix} f_1 d_1 - f^T \cdot A_1 \\ f_2 d_2 - f^T \cdot A_2 \\ \vdots \\ f_N d_N - f^T \cdot A_N \end{matrix} \right] = \left[ \begin{matrix} d_1 & 0 & \ldots & 0 \\ 0 & d_2 & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & d_N \end{matrix} \right] \left[ \begin{matrix} f_1 \\ f_2 \\ \vdots \\ f_N \end{matrix} \right] - \left[ \begin{matrix} A_1^T \\ A_2^T \\ \vdots \\ A_N^T \end{matrix} \right] \left[ \begin{matrix} f_1 \\ f_2 \\ \vdots \\ f_N \end{matrix} \right] = (D - A)f,\tag{1.3} 2f=f1d1fTA1f2d2fTA2fNdNfTAN=d1000d2000dNf1f2fNA1TA2TANTf1f2fN=(DA)f,(1.3)

其中, D D D是对角线元素为图中每个结点的度的对角矩阵, A A A是该图的邻接矩阵, A i j A_{ij} Aij是结点 i i i到结点 j j j的权重。这样,图的散度 ∇ 2 f = ( D − A ) f \nabla^2 f=(D-A)f 2f=(DA)f,即图的拉普拉斯矩阵 L L L就是 ∇ 2 = D − A \nabla^2=D-A 2=DA

如前文所述,图的傅立叶变换定义为其与图的拉普拉斯矩阵的特征矩阵的卷积。那么,图的拉普拉斯矩阵经过特征分解 L = D − A = U Λ U T L=D-A=U \Lambda U^T L=DA=UΛUT之后,在结点 i i i上的图的傅立叶变换就是 f ^ i = ∑ j = 1 N f j U j T \hat{f}_i=\sum_{j=1}^N{f_j U_j^T} f^i=j=1NfjUjT,那么在所有结点上同时做傅立叶变换,即

f ^ = F [ f ] = U T f . (1.4) \hat{f} = \mathcal{F}[f] = U^T f.\tag{1.4} f^=F[f]=UTf.(1.4)

傅立叶逆变换就是 f = U f ^ f=U\hat{f} f=Uf^

最后,众所周知的是,在频域上的卷积可以转换为在谱域中的点积,然后转换回频域来进行运算。那么,图的卷积可以表示为

f ⋆ G g = F − 1 [ F [ f ] ⋅ F [ g ] ] = U ( ( U T f ) ⋅ ( U T g ) ) = U ( ( U T g ) ⋅ ( U T f ) ) , (1.5) f \star_{\mathcal{G}} g = \mathcal{F}^{-1}[\mathcal{F}[f] \cdot \mathcal{F}[g]] = U((U^T f) \cdot (U^T g)) = U ((U^T g) \cdot (U^T f) ),\tag{1.5} fGg=F1[F[f]F[g]]=U((UTf)(UTg))=U((UTg)(UTf)),(1.5)

其中, ⋆ G \star_{\mathcal{G}} G表示图卷积; ⋅ \cdot 表示向量点积,满足交换率; g g g是卷积核,可以通过学习得到。将 U T g U^T g UTg看作可以学习的卷积核 g θ g_{\theta} gθ,图卷积就是

f ⋆ G g θ = U ( g θ ⋅ ( U T f ) ) = U g θ U T f . (1.6) f \star_{\mathcal{G}} g_{\theta} = U(g_{\theta} \cdot (U^T f))=Ug_\theta U^T f. \tag{1.6} fGgθ=U(gθ(UTf))=UgθUTf.(1.6)

其中

g θ = [ θ 1 … 0 ⋮ ⋱ ⋮ 0 … θ N ] . (1.7) g_{\theta}= \left[ \begin{matrix} \theta_1 & \ldots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \ldots & \theta_N \\ \end{matrix} \right].\tag{1.7} gθ=θ100θN.(1.7)

接下来要介绍的图上频域卷积的工作,都是在此基础上做文章。

Deep Convolutional Networks on Graph-Structured Data
The emerging field of signal processing on graphs: Extending high-dimensional data analysis to networks and other irregular domains

切比雪夫多项式展开

如上所述,图卷积可以写成 f ⋆ G g θ = U g θ U T f f \star_{\mathcal{G}} g_{\theta} = Ug_\theta U^T f fGgθ=UgθUTf,其中 g θ g_\theta gθ是一个可训练的对角矩阵,直接计算该式需要涉及到对图的拉普拉斯矩阵的特征分解和两组矩阵乘法,时间复杂度过大。而 g θ g_\theta gθ可以看成是一个参数化的变换 g θ ( Λ ) g_\theta(\Lambda) gθ(Λ),其通过参数化的线性变换将 Λ \Lambda Λ变换为 g θ g_\theta gθ。此时,图卷积可以写作:

f ⋆ G g θ = U g θ ( Λ ) U T f = g θ ( U Λ U T ) f = g θ ( L ) f . (1.8) f \star_{\mathcal{G}} g_{\theta} = Ug_\theta (\Lambda) U^T f = g_\theta (U \Lambda U^T) f = g_\theta (L) f.\tag{1.8} fGgθ=Ugθ(Λ)UTf=gθ(UΛUT)f=gθ(L)f.(1.8)

使用切比雪夫多项式对 g θ ( L ) g_\theta (L) gθ(L)进行展开,截取前 K K K项,上式可以写作:

f ⋆ G g θ = g θ ( L ) f = ∑ k = 0 K − 1 θ k T k ( L ) f , (1.9) f \star_{\mathcal{G}} g_{\theta}= g_\theta (L) f = \sum_{k=0}^{K-1}{\theta_k T_k (L)} f,\tag{1.9} fGgθ=gθ(L)f=k=0K1θkTk(L)f,(1.9)

其中 T k ( ⋅ ) T_k(\cdot) Tk()是切比雪夫多项式的第 k k k项, T 0 ( A ) = I T_0(A)=I T0(A)=I T 1 ( A ) = A T_1(A)=A T1(A)=A T k ( A ) = 2 A T k − 1 ( A ) − T k − 2 ( A ) T_k(A)=2AT_{k-1}(A)-T_{k-2}(A) Tk(A)=2ATk1(A)Tk2(A),而 θ ∈ R K \theta \in \mathbb{R}^K θRK是可训练参数。图卷积的 K K K阶的切比雪夫多项式展开形式可以看作是考虑每一个结点的 K K K跳邻居,即图卷积每一层的感受野大小是 K K K

Convolutional Neural Networks on Graphs with Fast Localized Spectral Filtering

归一化的(normalized)和放缩的(scaled)拉普拉斯矩阵

因为原始的拉普拉斯矩阵会扩大输入信号的范围,使输入信号的分布偏移,因此对拉普拉斯矩阵进行归一化和放缩。拉普拉斯矩阵的归一化方法有几种,最常见的方法就是:

L = D − 1 / 2 ( L − A ) D − 1 / 2 = I − D − 1 / 2 A D − 1 / 2 . (1.10) L = D^{-1/2} (L-A) D^{-1/2} = I-D^{-1/2}AD^{-1/2}.\tag{1.10} L=D1/2(LA)D1/2=ID1/2AD1/2.(1.10)

若无说明,下文所提及的拉普拉斯矩阵 L L L均为归一化后的拉普拉斯矩阵。而放缩的拉普拉斯矩阵:

L ~ = 2 λ m a x L − I , (1.11) \tilde{L} = \frac{2}{\lambda_{max}}L - I,\tag{1.11} L~=λmax2LI,(1.11)

其中, λ m a x \lambda_{max} λmax是拉普拉斯矩阵 L L L的最大的特征值,有时候会使用 2 2 2来对其近似。

一阶切比雪夫多项式展开和GCN

然而由于切比雪夫的 K K K阶展开仍旧需要较大的计算量,所以进一步对其进行简化,只取其 1 1 1阶展开,图卷积的公式可以进一步简化为:

f ⋆ G g θ = ( θ 0 + θ 1 L ) f . (1.12) f \star_{\mathcal{G}} g_{\theta}= (\theta_0 + \theta_1 L) f.\tag{1.12} fGgθ=(θ0+θ1L)f.(1.12)

对其进一步简化,即取 θ 0 = − θ 1 = θ \theta_0=-\theta_1=\theta θ0=θ1=θ,可训练参数的数目最终降低为 1 1 1,这样就得到GCN(Graph Convolutional Network):

f ⋆ G g θ = ( θ − θ L ) f = θ ( I − D − 1 / 2 ( D − A ) D − 1 / 2 ) f = θ D − 1 / 2 A D − 1 / 2 f , (1.13) f \star_{\mathcal{G}} g_{\theta}= (\theta - \theta L) f = \theta (I - D^{-1/2}(D-A)D^{-1/2}) f = \theta D^{-1/2}AD^{-1/2}f,\tag{1.13} fGgθ=(θθL)f=θ(ID1/2(DA)D1/2)f=θD1/2AD1/2f,(1.13)

其中 θ ∈ R \theta\in \mathbb{R} θR是可训练参数。这是在图上的信号是 1 1 1维的情况,而在图卷积操作的输入和输出特征都是多维的情形下,假设输入信号 f ∈ R N × d f\in\mathbb{R}^{N \times d} fRN×d,输出信号 f ′ ∈ R N × d ′ f'\in\mathbb{R}^{N \times d'} fRN×d,图卷积可以写作:

f ′ = f ⋆ G g θ = D − 1 / 2 A D − 1 / 2 f Θ , (1.14) f'=f \star_{\mathcal{G}} g_{\theta} = D^{-1/2}AD^{-1/2}f\Theta,\tag{1.14} f=fGgθ=D1/2AD1/2fΘ,(1.14)

其中, Θ ∈ R d × d ′ \Theta\in\mathbb{R}^{d \times d'} ΘRd×d是可训练参数。

Semi-Supervised Classification with Graph Convolutional Networks

基于空间的图神经网络

基于谱的图神经网络尽管具有坚实的理论基础,然而其理论基础也限制了其在形形色色,变化万千的图结构数据上的应用。而基于空间的图神经网络是不基于谱的*图神经网络的总称,它们产生的动机各不一样,但是都是为了寻找一种能够良好地局部、并行、泛化、快速对图的拓扑信息和图信号进行提取的方法。

图卷积神经网络 PATCHY-SAN

将卷积神经网络(CNN)扩展到任意的图结构面临两个挑战:

首先,以二维图像为例,CNN将固定大小的卷积核应用到每一个固定大小的局部(3x35x5等)上,这是因为图像是很规整的网格型结构,在图像中,每一个像素周围都具有固定数目(8个)的相邻像素。而在任意的图结构上,每个结点及其连接关系都是任意的,因此与一个结点相邻的结点数目不固定,这就导致产生了第一个问题,即固定大小的卷积核难以在不同的结点上共享。这就要求局部的图卷积运算必须对运算数据的数目不敏感。

其次,就标准的图像卷积操作而言,不仅每个像素周围的相邻像素数目固定,其相邻像素的相对顺序也是固定的。即从一个相邻像素开始,可以逐次由内而外,按照顺时针方向,可以遍历一边所有的相邻像素,而每次遍历,每个相邻像素的访问顺序也是固定的。这样,可以按照标准的离散卷积操作,为每一个相邻像素和卷积核中的每一个元素编号,然后与对应编号相乘,加权求和。然而在任意的图结构中,与一个结点相邻的结点并没有一个确定的序列关系,即调换任意两个结点的编号并不改变图的结构。这就导致局部的图卷积运算必须对运算数据的顺序不敏感。

综上所述,在图卷积的过程中面临的两个主要问题是“数据规模无关(size-invariant)”和“排列无关(permutation-invariant)”。为了解决这两个问题,基于一个图的集合,PATCHY-SAN采用如下解决方法:

  1. 首先从图中选择固定长度的一个结点序列:具体的做法是,先根据某种准则选择为图中的每个结点产生一个排列,基本的思路是让附近结构相似的结点在排列中处于相近的位置,然后按照该排列和固定步长遍历图中的每个结点,选择遍历到的结点进行下一步,当遍历完所有结点后,若还没有达到预先设置的长度,就向选择出的结点后添加空结点;
  2. 然后,为每个选出的结点确定一个固定大小的感受野:具体的做法是,以每个选择出来的结点为起始结点,对该图进行广度优先搜索,一层一层由内而外将该结点的邻居结点加到该结点的邻居子图中,直到没有结点可以遍历或者选择的结点数大于或等于感受野的大小。注意,此时该结点的邻居子图中的结点数目与感受野的大小不一等相等;
  3. 对选择的邻居子图进行归一化:具体的做法是,首先通过某种准则对上面选出的邻居子图中的结点进行排序,基本的思路是让附近结构相似的结点在排列中处于相近的位置,然后从排序的结果中去掉尾部节点或者填充空结点得到每个选择结点的感受野;
  4. 在每个邻居子图上应用标准卷积操作。因为经过上面的操作,每个结点有了固定大小的感受野,每个感受野中都含有固定顺序的结点序列,这样就解决了上文提到的两个问题,从而可以应用现有的卷积操作来处理图结构的数据。

Learning Convolutional Neural Networks for Graphs

图注意力神经网络 GAT

上文所述的几种图神经网络操作要么需要矩阵的特征分解、求逆等运算量比较大的操作,要么需要在进行图卷积时知道图的结构,这样就不适于处理大规模的图结构数据。为了解决这样的问题,GAT(Graph Attention Network)通过Self-Attention机制来进行局部的图运算。

将该层图卷积结点 i i i的输入特征记为 h i ∈ R d h_i\in \mathbb{R}^{d} hiRd,该层图卷积结点 i i i的输出特征记为 h i ′ ∈ R d ′ h'_i \in \mathbb{R}^{d'} hiRd,首先通过一个共享的线性变换 W ∈ R d ′ × d W\in\mathbb{R}^{d'\times d} WRd×d将所有结点的特征进行变换,然后通过一个共享的注意力机制 a : R d ′ × R d ′ ↦ R a:\mathbb{R}^{d'}\times\mathbb{R}^{d'}\mapsto\mathbb{R} a:Rd×RdR计算注意力系数,这样的注意力机制可以是普通的注意力,也可以是多头的注意力机制(multi-head attention),在GAT的初始实现中, a ( W h i , W h j ) = LeakyReLU ( w T [ W h i ∥ W h j ] ) a(Wh_i, Wh_j)=\text{LeakyReLU}(w^T[Wh_i\|Wh_j]) a(Whi,Whj)=LeakyReLU(wT[WhiWhj]) w ∈ R 2 d ′ w \in \mathbb{R}^{2d'} wR2d

e i j = a ( W h i , W h j ) , (1.15) e_{ij}=a(Wh_i, Wh_j),\tag{1.15} eij=a(Whi,Whj),(1.15)

然后在结点 i i i的所有邻居结点 j ∈ N i j\in\mathcal{N}_i jNi的注意力系数上应用 softmax \text{softmax} softmax来进行归一化,通过这样的方式,注意力机制能够隐式地捕获图的结构信息和特征信息:===

α i j = softmax j ( e i j ) = exp ( e i j ) ∑ k ∈ N i exp ( e i k ) , (1.16) \alpha_{ij}=\text{softmax}_j(e_{ij})=\frac{\text{exp}(e_{ij})}{\sum_{k\in\mathcal{N}_i}\text{exp}(e_{ik})},\tag{1.16} αij=softmaxj(eij)=kNiexp(eik)exp(eij),(1.16)

最后,应用归一化的注意力权重对每个邻居结点的特征进行加权求和,就得到了每个结点的新的隐特征:

h i ′ = σ ( ∑ j ∈ N i α i j W h j ) . (1.17) h'_i=\sigma(\sum_{j\in\mathcal{N}_i}\alpha_{ij}Wh_j).\tag{1.17} hi=σ(jNiαijWhj).(1.17)

GRAPH ATTENTION NETWORKS

扩散卷积神经网络 DCNN

作为另一种可以广泛应用于各类图相关任务的图卷积神经网络,扩散卷积的运算与基于谱的图卷积网络类似,可以应用于各类有权的或无权的、有向的或无向的图结构数据上。首先对图的邻接矩阵 A ∈ R N × N A\in\mathbb{R}^{N \times N} ARN×N进行度归一化,得到转移矩阵 P P P。常用的归一化方法是 P = D − 1 A P=D^{-1}A P=D1A,其中 D D D是对角线元素为图的入度的对角矩阵,实际上相当于对 A A A中的每一行进行 L 1 L_1 L1归一化。

DCNN(Diffusion-Convolutional Neural Networks)模型中的扩散卷积核可以认为是考虑到每两个结点之间连接的所有路径,其中较短的路径比更长的路径更重要。在得到的转移矩阵 P P P的基础上,计算其幂序列 P ∗ ∈ R N × H × N P^*\in\mathbb{R}^{N \times H \times N} PRN×H×N,其中, P : , i , : P_{:,i,:} P:,i,:表示的是 P P P i i i次幂。然后,对于结点分类任务而言,有输入特征 X ∈ R N × F X\in\mathbb{R}^{N\times F} XRN×F, 新的结点 Z ∈ R N × H × F Z\in\mathbb{R}^{N\times H\times F} ZRN×H×F表示可以通过下式获得:

Z = f ( W ⊙ ( P ∗ X ) ) . (1.18) Z = f(W\odot (P^*X)).\tag{1.18} Z=f(W(PX)).(1.18)

其中, W ∈ R H × F W\in\mathbb{R}^{H\times F} WRH×F是共享在所有结点上的可训练参数。就图分类任务而言,可以通过在所有结点上应用平均池化来得到图的表示 Z ∈ R H × F Z\in\mathbb{R}^{H\times F} ZRH×F。最后,分类结果通过在 Z Z Z上应用一个全连接网络和 s o f t m a x softmax softmax激活函数得到。

Diffusion-Convolutional Neural Networks

动态边权重的图神经网络 ECC

上述的所有图神经网络都隐含一个条件,即在它们的运算过程中,每个结点都关联一个特征向量(或称图信号),而每条边都是有向或无向的、有权或无权的,但每条边上关联的权重是一个标量。为了解决边上存在多维权重的情形,ECC(Edge-Conditioned Convolution)被提出了。

假设在第 l l l层图卷积的输入图中有 n n n个结点, m m m条边,每个结点关联一个 d l d_l dl维向量,每条边关联一个 s s s维向量,这样就有图信号 X l ∈ R n × d l X^l\in\mathbb{R}^{n\times d_l} XlRn×dl和边权重 L ∈ R m × s L\in\mathbb{R}^{m\times s} LRm×s,结点 i i i的邻域 N i \mathcal{N}_i Ni包含 i i i本身(图中包含自环)。在ECC中,第 l l l层的图信号 X l X^l Xl是由第 l − 1 l-1 l1层的图信号 X l − 1 X^{l-1} Xl1加权求和得到的。

具体地,定义一个权重生成神经网络 F l : R s ↦ R d l × d l − 1 F^l:\mathbb{R}^s\mapsto\mathbb{R}^{d_l\times d_{l-1}} Fl:RsRdl×dl1,它从边的权重向量生成一个面向特定边的卷积核 Θ ∈ R d l × d l − 1 \Theta\in\mathbb{R}^{d_l\times d_{l-1}} ΘRdl×dl1。这样,第 l l l层的ECC卷积操作可以写成:

X i l = 1 ∣ N i ∣ ∑ j ∈ N i F l ( L ( j , i ) ; w l ) X j l − 1 + b l = 1 ∣ N i ∣ ∑ j ∈ N i Θ j , i l X j l − 1 + b l . (1.19) X^l_i=\frac{1}{|\mathcal{N}_i|}\sum_{j\in\mathcal{N}_i}{F^l(L(j,i);w^l)X^{l-1}_j} + b^l=\frac{1}{|\mathcal{N}_i|}\sum_{j\in\mathcal{N}_i}{\Theta_{j,i}^lX^{l-1}_j} + b^l.\tag{1.19} Xil=Ni1jNiFl(L(j,i);wl)Xjl1+bl=Ni1jNiΘj,ilXjl1+bl.(1.19)

Dynamic Edge-Conditioned Filters in Convolutional Neural Networks on Graphs

基于消息传递的图神经网络框架

图神经网络形形色色,变化万千,但大部分图神经网络都可以按照消息传递的框架来进行归纳与整理,这样对图神经网络的理解和实现,以及针对特定问题,设计新的图神经网络算法都有好处。

基于消息传递的框架,图神经网络的运算过程可以分为传递(pass)和读出(readout)。前者是指每个结点将自己的信息通过边传递给自己的邻居结点,而后者是指通过每个结点自身的信息和收到的邻居结点的信息对自身的状态进行更新。上面介绍的GCN、GAT和ECC等都可以用消息传递的框架表示。

Graph Neural Networks: A Review of Methods and Applications
A Comprehensive Survey on Graph Neural Networks

其它神经网络技术

超图神经网络和动态超图神经网络

Hypergraph Neural Networks
Dynamic Hypergraph Neural Networks

层次的图卷积和图池化

Hierarchical Graph Representation Learning with Differentiable Pooling
An end-to-end deep learning architecture for graph classification
Hierarchical Graph Convolutional Networks for Semi-supervised Node Classification
Graph U-Nets
Weighted Graph Cuts Without Eigenvectors: A Multilevel Approach. (Graclus算法)

图表示学习和网络嵌入

DeepWalk
LINE
Node2Vector
SDNE
DNGR
Inductive Representation Learning on Large Graphs (GraphSAGE)
HARP: Hierarchical Representation Learning for Networks

交通时空数据预测

这一两年来,基于图神经网络来进行交通预测层出不穷,已经成为主流方法。这些方法都使用图神经网络来对交通数据中的空间依赖进行建模,而根据其对时间依赖进行建模的方法不同,这些方法可以分为基于循环神经网络(主要是门限循环单元GRU)的方法与不基于循环神经网络(主要是一维卷积或因果卷积)的方法。根据这些方法解决的具体问题不同,它们又可以分为交通需求预测、OD矩阵预测和其它交通预测(交通流量、速度等)三类。

基于循环神经网络的方法

DCRNN (ICLR-2018)

DIFFUSION CONVOLUTIONAL RECURRENT NEURAL NETWORK: DATA-DRIVEN TRAFFIC FORECASTING

  • 问题:交通预测
  • 数据:METR-LAPEMS-BAY
  • 方法:这是第一篇使用图神经网络来进行交通预测的方法。它整体上使用Seq2Seq的网络框架,其中Encoder和Decoder分别是一个堆叠的多层GCGRU,在学习过程中使用课程学习的方法。而每一个GCGRU结构和普通的GRU相似,而其中用来计算门限的矩阵乘法被替换成了图卷积神经网络(扩散卷积)。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-7X5xiHWw-1617889758487)(dcrnn.png)]

MRes-RGNN (AAAI-2019)

Gated Residual Recurrent Graph Neural Networks for Traffic Prediction

  • 问题:交通预测
  • 数据:METR-LAPEMS-BAY,但不使用标准的划分方式,而是同时利用长期的历史数据和外部特征。
  • 方法:使用多个带门限残差连接的GCGRU(proposed by DCRNN)循环神经网络来捕捉不同的周期、短期时间依赖,然后加权求和得到最终的预测结果。具体的,使用两个分支,其中一个与DCRNN一样,用来捕捉邻近的时间关系,另一个用来捕捉Daily的周期关系,因为数据集小,所以无法使用Weekly的关系。外部信息首先经过embedding,然后和图信号concat在一起,再输入GCGRU。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CiQ9PVKo-1617889758490)(mres-rgnn.png)]

ST-MGCN (AAAI-2019)

Spatiotemporal Multi-Graph Convolution Network for Ride-hailing Demand Forecasting

  • 问题:需求预测
  • 数据:北京和上海的Ride-hailing订单,POI数据和OpenStreetMap提供的路网数据。
  • 方法:分别计算距离相近、功能相似和交通连接的三张图。首先使用上下文相关的门限神经网络增强RNN,基于外部环境数据计算权重来对不同时间戳的观测数据重新加权,再使用多图卷积。所谓上下文相关的门限神经网络增强RNN指的是,在所有结点的concatenated的原始特征和隐特征上做池化操作,将 N × T × P N×T×P N×T×P数据转成 1 × T × P 1×T×P 1×T×P,然后再经过全连接,转成 T T T维Attention权重,再将重新赋权后的特征放入RNN。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ip7CC0H7-1617889758491)(st-mgcn.png)]

ODMP和GEML (KDD-2019)

Origin-Destination Matrix Prediction via Graph Convolution: a New Perspective of Passenger Demand Modeling

  • 问题:OD矩阵预测
  • 数据:UCAR(神州优车)在北京和滴滴出行在成都的公开数据,分别一个月。
  • 方法:多图卷积(距离相近和语义相近两张图),图Attention网络,周期性跳跃连接的LSTM。学习到每个结点的隐特征后,使用加权的点积聚合每两个结点的隐特征得到边上的最终预测结果。在预测主任务的同时,为了解决数据稀疏的问题,加入预测需求(每个结点的入度和出度)的副任务。

ST-MetaNet (KDD-2019)

Urban Traffic Prediction from Spatio-Temporal Data Using Deep Meta Learning

  • 问题:交通预测(同时做了flow预测和speed预测的实验)
  • 数据:流量预测使用北京出租的数据,先分 32 × 32 32×32 32×32的格子,速度预测使用METR-LA数据集,使用DCRNN的标准划分方法。
  • 方法:**元知识学习,**实际上就是类似ECC的做法,分别从结点、边的原始特征通过神经网络获得RNN和图注意力网络的权重,然后使用Seq2Seq结构得到预测结果。其中,一个元学习器,输入为结点和边上的原始特征,输出为图注意力网络的权重;另一个元学习器,输入为结点特征,输出为RNN的权重,这样相当与每个结点都有自己的RNN。每个结点聚合特征所使用的图注意力网络都不一样。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-vxnShBGX-1617889758494)(st-metanet.png)]

MRA-BGCN (AAAI-2020)

Multi-range attentive bicomponent graph convolutional network for traffic forecasting

  • 问题:交通预测
  • 数据:METR-LAPEMS-BAY,使用DCRNN中提供的标准划分方式。
  • 方法:在原图的基础上,构建以原图的边为结点的边图,建模边和边之间的关系,其中分别建模边和边之间顺序相连和相互竞争两种关系,用两个图卷积分别学边和结点的新特征。另一方面在时间建模时使用Attention对不同层次的特征图进行加权。

ST-UNet

ST-UNet: A Spatio-Temporal U-Network for Graph-structured Time Series Modeling

  • 问题:时间序列建模
  • 数据:METR-LA,使用DCRNN中提供的标准划分方式,PeMS-M/L,使用它自己的划分方式。
  • 方法:结合图池化图反池化,使用U型结构,先将图的分辨率降低,然后使用GCGRU学习时间关系。图池化使用非机器学习的方法,先将图分为若干个不相交的子图,然后每个子图上进行池化。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-bCsTBtQw-1617889758495)(st-unet.png)]

不基于循环神经网络的方法

STGCN (IJCAI-2018)

Spatio-Temporal Graph Convolutional Networks: A Deep Learning Framework for Traffic Forecasting

  • 问题:交通预测
  • 数据:北京BJER4PeMSD7两个传感器监测数据,时间窗口大小为 5 5 5分钟,使用历史 12 12 12个时间窗数据分别预测未来 3 3 3 6 6 6 9 9 9个时间窗数据。
  • 方法:空间上使用图卷积,时间上使用门限因果卷积。多层、三明治结构。每个块状结构包含两个时间卷积夹一个空间卷积在每个卷积内部都有残差连接。多个块状结构堆叠。模型本身是单步预测,在测试时循环进行多步预测。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-q1qadcc5-1617889758497)(stgcn.png)]

DGCNN (AAAI-2019)

Dynamic Spatial-Temporal Graph Convolutional Neural Networks for Traffic Forecasting

  • 问题:交通预测
  • 数据:纽约传感器数据和PeMS传感器数据。时间窗口大小为 5 5 5分钟,使用历史 12 12 12个时间窗数据分别预测未来 3 3 3 6 6 6 9 9 9个时间窗数据。
  • 方法:模型的整体框架和STGCN是一样的。在此基础上,使用一个神经网络对图拉普拉斯网络进行估计
  • 记长期依赖的拉普拉斯阵为 L s L_s Ls,输入特征为 X ∈ R N × T × F X \in \mathbb{R}^{N \times T \times F} XRN×T×F,估计拉普拉斯矩阵的方法:
    • 首先通过两个矩阵 U 1 ∈ R N × r 1 U_1 \in \mathbb{R}^{N \times r_1} U1RN×r1和$ U_2 \in \mathbb{R}^{T \times r_2} ( ( r_1 < N , , r_2 < T ) 将 其 转 为 )将其转为 \hat{X} \in \mathbb{R}^{r_1 \times r_2 \times F} , 再 用 ,再用 U_1T$和$U_2T 将 其 转 为 原 来 的 形 状 , 此 时 信 息 会 有 一 些 损 失 , 将 重 构 记 为 将其转为原来的形状,此时信息会有一些损失,将重构记为 X_s , 再 计 算 ,再计算 X_e = X-Xs$。

    • X s X_s Xs X e X_e Xe用zero-mean归一化,再计算 X s X e T X_s X_e^T XsXeT X e X s T X_e X_s^T XeXsT X e X e T X_e X_e^T XeXeT,将这三个 N × N N \times N N×N的矩阵摞起来,再用两个2-D的卷积层将特征通道降到1,得到 B = X s X e T + X e X s T + X e X e T + Z e B=X_s X_e^T + X_e X_s^T + X_e X_e^T + Z_e B=XsXeT+XeXsT+XeXeT+Ze,再通过公式

      L e = ∑ i = 1 I ( − 1 ) i L s ( B L s ) i + o ( B L s ) . (2.1) L_e = \sum_{i=1}^I(-1)^i L_s (BL_s)^i + o(BL_s).\tag{2.1} Le=i=1I(1)iLs(BLs)i+o(BLs).(2.1)

      在实验中, I I I设置为6,此时增加 I I I也不会明显增加模型精度。

    • 最后得到了 L = L s + L e L = L_s + L_e L=Ls+Le,然后对其进行归一化。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-SEXIrQAH-1617889758498)(dgcnn.png)]

ASTGCN (AAAI-2019)

Attention Based Spatial-Temporal Graph Convolutional Networks for Traffic Flow Forecasting

  • 问题:交通流预测
  • 数据:PeMSD4PeMSD8两个传感器监测数据,时间窗口大小为 5 5 5分钟,使用历史 24 24 24个每周相同时间、 12 12 12个每天相同时间、 24 24 24个邻近的历史时间窗,来预测未来 12 12 12个时间窗。
  • 方法:使用三个分支分别处理历史每周的、每天的和邻近的数据,使用堆叠的ST Block处理,然后跟一个全连接层,最后对三个结果加权求和。每个ST Block分为空间和时间的注意力机制SAtt+TAtt和空间上的图卷积和时间上的标准卷积GCN+Conv

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jJ9QlLSt-1617889758499)(astgcn.png)]

STG2Seq (IJCAI-2019)

STG2Seq: Spatial-temporal Graph to Sequence Model for Multi-step Passenger Demand Forecasting

  • 问题:多步乘客需求预测
  • 数据:沈阳的滴滴数据(时间窗为 1 1 1小时),纽约的共享单车数据(时间窗为 1 1 1小时),北京的出租车数据(时间窗为 0.5 0.5 0.5小时)
  • 方法:模型分为三部分:长期时间依赖编码器短期时间依赖编码器和基于注意力机制的输出模块
    • 建图:计算每两个区域之前看客流的相似度(即历史需求量的皮尔逊相关系数),当相似读大于某个阈值时,邻接矩阵设为 1 1 1,否则设为 0 0 0
    • 长期时间依赖编码器接收最近的 h h h个时间窗口的历史数据,
    • 短期时间依赖编码器接收已经预测出结果的 q q q个时间窗口的数据,即在预测第 T ∈ [ t + 1 , t + τ ] T \in [t+1, t+\tau] T[t+1,t+τ]个时间窗口的需求量时,输入数据为 T − q T-q Tq T − 1 T-1 T1的历史数据或预测结果;
    • GGCM长期时间依赖编码器短期时间依赖编码器的基础组建,这俩部分除了输入特征的时间窗口不同之外,都是由堆叠的GGCM组成的。而一个GGCM由两个GCN组成,每个GCN同时应用在时间和空间维度上(记时间维度的卷积核大小为 k k k,在时间维度上做单侧长度为 k − 1 k-1 k1的padding以模拟因果卷积,然后将 k k k个时间窗的特征维度合并在一起再输入GCN),这样避免了显式的进行时间维度的卷积。一个GCN用来计算值,另一个GCN用来计算门限,在每两个GGCM之间使用残差和门限机制
    • 基于注意力机制的输出模块分别在时间维度和特征维度应用Attention,得到最终的单步预测结果。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-85kBCl7k-1617889758499)(stg2seq.png)]

Graph WaveNet (IJCAI-2019)

Graph WaveNet for Deep Spatial-Temporal Graph Modeling

  • 问题:时空图建模
  • 数据:METR-LAPEMS-BAY,使用DCRNN中提供的标准划分方式。
  • 方法:
    • 自适应的邻接矩阵:通过两个可训练的结点嵌入 E 1 , E 2 ∈ R N × c E_1,E_2 \in R^{N \times c} E1,E2RN×c,自适应的扩散矩阵 A ~ = s o f t m a x ( R e L U ( E 1 E 2 T ) ) . \tilde{A}=softmax(ReLU(E_1E_2^T)). A~=softmax(ReLU(E1E2T)).。在预定义的邻接矩阵存在时,可以将学到的和预定义的共同使用,而当其不存在时,可以单独使用自适应的邻接矩阵。
    • 结合门限的空洞的因果卷积和图卷积同时学习时空依赖。
    • 一次性输出所有多步结果,而不使用迭代的方式逐步输出

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-E5PT90cC-1617889758500)(graph-wavenet.png)]

GSTNet (IJCAI-2019)

GSTNet: Global Spatial-Temporal Network for Traffic Flow Prediction

  • 问题:交通流预测(单步预测)
  • 数据:北京地铁数据(时间窗 10 10 10分钟)、北京公交数据(时间窗 1 1 1小时)和北京出租车GPS数据(时间窗 20 20 20分钟)
  • 方法:堆叠的时空块,每个时空块包括一个多分辨率的时间模块和一个全局相关的空间模块
    • 多分辨率的时间模块:使用多层的因果卷积(步长和卷积核的大小相等,利用 0 0 0填充让时间长度不变),然后将每层的特征图堆叠在一起产生多分辨率的输出,再用一个卷积核大小为 1 1 1维的卷积将通道数降低
    • 全局相关的空间模块:一个局部化的图卷积模块和一个非局部的相关机制(相当于一个全连接的图卷积,其邻接矩阵根据特征相关性计算得到)。加入残差连接。
    • 输出层:时间维度的注意力机制,

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-M0uDjvDI-1617889758500)(gstnet.png)]

原文地址

你可能感兴趣的:(#,时空序列预测/智慧城市,机器学习之路,神经网络,卷积,交通预测,图神经网络)