«上一篇 下一篇»
  计算机工程  2020, Vol. 46 Issue (6): 20-25  DOI: 10.19678/j.issn.1000-3428.0056274
0

引用本文  

余翔, 石雪琴, 刘一勋. 移动边缘计算中卸载策略与功率的联合优化[J]. 计算机工程, 2020, 46(6), 20-25. DOI: 10.19678/j.issn.1000-3428.0056274.
YU Xiang, SHI Xueqin, LIU Yixun. Joint Optimization of Offloading Strategy and Power in Mobile-Edge Computing[J]. Computer Engineering, 2020, 46(6), 20-25. DOI: 10.19678/j.issn.1000-3428.0056274.

基金项目

国家科技重大专项(2017ZX03001004-004)

作者简介

余翔(1969-), 男, 教授, 主研方向为无线通信、网络协议、信息安全;
石雪琴, 硕士研究生;
刘一勋, 硕士研究生

文章历史

收稿日期:2019-10-12
修回日期:2019-11-25
移动边缘计算中卸载策略与功率的联合优化
余翔 , 石雪琴 , 刘一勋     
重庆邮电大学 通信与信息工程学院, 重庆 400065
摘要:移动边缘计算卸载作为移动边缘计算的关键技术,主要功能是将移动设备的密集型计算任务迁移到边缘服务器上执行,实现低能耗和低时延的服务,但在计算任务卸载过程中产生的传输时延和能耗降低了用户的体验质量。为进一步降低延迟和能量消耗,针对移动边缘计算卸载系统,提出基于博弈论的功率分配算法。在服务器计算资源的约束条件下,采用二分搜索法优化传输功率降低传输时延和能耗,利用非合作博弈论解决多用户卸载决策问题降低系统开销。仿真结果表明,该算法可以获得较好的计算卸载性能,与单纯的博弈卸载算法和自适应顺序卸载博弈算法相比,卸载性能分别提高41%和12%。
关键词移动边缘计算卸载    非合作博弈    体验质量    时延    移动设备    
Joint Optimization of Offloading Strategy and Power in Mobile-Edge Computing
YU Xiang , SHI Xueqin , LIU Yixun     
School of Communication and Information Engineering, Chongqing University of Posts and Telecommunications, Chongqing 400065, China
Abstract: The main function of Mobile-Edge Computing Offloading(MECO), which is a key technology for mobile edge computing, is to migrate the compute-intensive tasks of Mobile Devices(MD) to edge servers to implement low-energy and low-latency services.However, transmission delay and energy consumption in offloading of compute tasks still affect user experience.To further reduce the delay and energy consumption, this paper proposes a power distribution algorithm based on game theory for MECO system.Under the constraints of computing resources of a server, the binary search method is used to optimize the transmission power to reduce transmission delay and energy consumption, and the non-cooperative game theory is used to solve the multi-user offloading decision problem in order to reduce the system overhead.Simulation results show that the proposed algorithm can obtain better computation offloading performance, which is increased by 41% and 12% respectively compared with the original game-based offloading algorithm and adaptive sequential game-based offloading algorithm.
Key words: Mobile-Edge Computing Offloading(MECO)    non-cooperative game    quality of experience    latency    Mobile Devices(MD)    
0 概述

随着互联网的发展, 多种多样的新型数据业务极大地丰富了用户日常移动应用的体验[1], 如人脸识别、交互式游戏和虚拟现实技术等[2]。但由于移动设备(Mobile Devices, MD)的资源有限, 无法频繁处理占用资源较高的业务[3-4]。而移动边缘计算(Mobile-Edge Computing, MEC)的出现弥补了这些能力受限设备的不足, 通过将密集型计算任务卸载到边缘服务器可以为设备扩展容量和降低能耗[5-6]。计算卸载是MEC的关键技术之一, 也是MEC系统实现终端业务实时化处理的重要手段[7], 实验结果表明, 将任务卸载到MEC上, 可以减少高达88%的时延和93%的能耗[8]

文献[9]研究了移动设备中具有能量收集功能的MEC系统, 并提出了基于Lyapunov优化的动态计算卸载算法。文献[10]使用马尔可夫决策过程执行随机计算任务调度, 并通过一维搜索算法得到了最佳的卸载决策。文献[11]提出分段凸优化方法, 该方法通过次梯度优化方法有效地解决执行延迟最小问题。文献[12]研究了云和边缘云之间的协作, 将联合通信和计算资源分配问题转化为等效的凸优化问题, 并制定了资源分配策略。上述文献专注于最小化时延的研究, 然而能耗对于用户的体验质量也是至关重要的。文献[13]设计了一种前、后向链路联合优化的计算卸载策略, 通过改进的人工鱼群算法对时延和能耗进行优化。文献[14]将计算任务表示为约束马尔可夫决策过程, 该过程基于应用特性和无线电环境统计行为的先验知识预先计算的离线策略。文献[15]考虑了一种基于时分多址的多用户边缘计算卸载系统, 使用次优分配算法来优化通信和计算资源。文献[16]提出节点与云之间协同卸载, 应用拉格朗日乘数法在KKT约束条件下获得最优值。

在计算卸载过程中, 传输数据产生的高能耗和高时延大幅降低了用户的体验质量。而传输功率则是影响卸载传输时延和能耗的主要因素, 因此本文采用二分搜索法求得用户最佳传输功率以提高用户的体验质量。将多用户计算卸载决策问题制定为非合作博弈, 证明集中式优化多用户计算卸载解决方案是NP-hard, 并且将最小化计算开销问题制定为混合整数非线性规划(MINLP)问题, 提出基于博弈论的功率优化卸载算法, 从而降低系统成本和提高用户体验质量。

1 系统模型

移动边缘计算环境模型如图 1所示。用户设备集合表示为$\mathbb{N}$={1, 2, …, N}, 采用准静态场景, 即在一个计算卸载期间内(如几秒内)的移动设备用户集合保持不变, 但是在不同的卸载期间内可以改变[17]

Download:
图 1 移动边缘计算环境模型 Fig. 1 Model of mobile-edge computing environment
1.1 通信模型

本文将A={a1, a2, …, aN}表示所有MD的决策集合, 其中, an=0为本地计算, an>0为计算卸载。与本地计算相比, 计算卸载降低了时延和能耗, 但在传输数据时花费了额外的时间和能耗, 即通信时延和能耗。根据Shannon-Hartley, 将通信模型定义为:

$ {r_n}({p_n}) = \omega {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{lb}} \left( {1 + \frac{{{p_n}{h_{n,m}}}}{{{\sigma ^2} + \sum\limits_{{i{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}\backslash |n|}:{a_i} = {a_n}} {{p_i}} {h_{i,m}}}}} \right) $ (1)

其中, ω表示信道带宽, pn表示用户n的传输功率, hn, m表示移动用户n和基站之间的信道增益, σ2表示高斯白噪声功率, pihi, m表示其他用户i与用户n选择同一信道进行计算卸载产生的干扰。

1.2 计算模型

本文用Θn$\triangleq $(dn, cn)表示MD的计算任务, dn表示输入数据的大小, cn表示完成计算任务Θn所需的CPU周期总数。

1.2.1 本地计算

本文定义MD的计算能力为fnl(即每秒的CPU周期数), 本地计算执行时延TnL表示为:

$ T_n^L = \frac{{{C_n}}}{{f_n^l}} $ (2)

MD的本地计算能耗为:

$ E_n^L = \eta {(f_n^l)^2}{c_n} $ (3)

其中, η表示每个CPU周期消耗能量的系数, 设置η=10-26是根据文献[18]中的方法获得。

1.2.2 边缘计算

本文定义fnc为服务器分配给MD的计算能力(以每秒CPU周期为单位), 计算卸载产生的时延包括传输时延Tn, offC和执行时延Tn, exeC, 表示为:

$ T_n^C(a) = \frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}} $ (4)

MD在卸载过程中的传输能耗EnC表示为:

$ E_n^C(a) = \frac{{{p_n}{d_n}}}{{{r_n}({p_n})}} $ (5)

对于许多应用程序而言, 计算结果的大小通常远小于输入数据的大小, 因此忽略了服务器将计算结果发送给设备的开销[19]。根据上面分析, 将计算模型定义为:

$ {\mathit{Ƴ} _n} = \psi _n^C(a) + \psi _n^L $ (6)
$ \left\{ {\begin{array}{*{20}{l}} {\psi _n^L = \lambda _n^TT_n^L + \lambda _n^EE_n^L,{a_n} = 0}\\ {\psi _n^C(a) = \lambda _n^TT_n^C(a) + \lambda _n^EE_n^C(a),{a_n} > 0} \end{array}} \right. $

其中, λnTλnE是时延和能耗的权重(λnT+λnE=1)。

2 基于博弈论的功率优化卸载算法 2.1 问题描述

博弈论作为一种有效的方法被广泛应用于解决目标约束的多博弈参与者之间的决策问题[20]。在多个参与者的博弈中, 每一步都有一个理性的参与者对前一步中其他参与者的行为做出反应, 并进行局部最优决策。经过若干步骤后, 这些参与者自组织形成一个相互满意的解决方案。

本文提出基于博弈论的功率优化卸载方案, 采用博弈论解决多用户卸载决策问题, 结合二分搜索法优化传输功率来降低传输时延和能耗, 从而最小化系统的计算开销。根据第1节的系统模型, 将最小化系统计算开销问题建模为:

$ \begin{array}{*{20}{l}} {\mathop {{\rm{min}}}\limits_a \mathop {{\rm{min}}}\limits_{{p_n}} \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}} {{\mathit{Ƴ} _n}} (a)}\\ {{\rm{s}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{t}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} C1:0 < f_n^l,\forall {\kern 1pt} {\kern 1pt} n{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \mathbb{N}}\\ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} C2:0 < \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}} {f_n^c} \le {f_s},\forall {\kern 1pt} {\kern 1pt} n{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \mathbb{N}}\\ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} C3:0 < {p_n} \le {p_{{\rm{max}}}},\forall {\kern 1pt} {\kern 1pt} n{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \mathbb{N}}\\ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} C4:\sum\limits_{i{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}\backslash |n|:{a_i} = {a_n}} {{p_i}{h_{i,m}} \le {\zeta _{th}}} } \end{array} $ (7)

其中, C1保证分配给用户的本地计算能力为正, C2保证分配给卸载用户的计算资源不超过服务器所拥有的最大资源fs, C3保证分配给用户的传输功率为正且不大于最大传输功率, C4用户选择相同信道进行卸载时的干扰不超过预先设定的阈值。

在式(7)中, 需要优化的变量是传输功率与用户卸载决策, 由于功率pn为连续变量, 卸载决策a为整数变量, 因此该问题被制定为MINLP。为了能够求解式(7), 进一步将其分解为两个相关的子问题, 首先优化传输功率pn, 用于特定的卸载决策; 然后在上一步的基础上优化用户的卸载决策a, 从而最小化系统计算开销。基于此, 可重写MINLP问题式(7)为:

$ \begin{array}{l} \mathop {{\rm{min}}}\limits_a \mathop {{\rm{min}}}\limits_{{p_n}} \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} N} {{\mathit{Ƴ} _n}} (a,{p_n})\\ {\rm{s}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{t}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} C1,C2,{\kern 1pt} C3{\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{and}}{\kern 1pt} {\kern 1pt} C4{\kern 1pt} \end{array} $ (8)

式(8)中的功率优化和卸载决策的约束是相互解耦的。因此, 该问题可以重写为:

$ \begin{array}{l} {\rm{min}}{\kern 1pt} {\kern 1pt} {\kern 1pt} Z\left( a \right) = \mathop {{\rm{min}}}\limits_{{p_n}} \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} N} {{\mathit{Ƴ} _n}} (a,{p_n})\\ {\rm{s}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{t}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} C2,{\kern 1pt} C3{\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{and}}{\kern 1pt} {\kern 1pt} C4{\kern 1pt} \end{array} $ (9)

其中, Z(a)是MD进行卸载决策时的最佳传输功率。

2.2 优化传输功率

结合式(4)和式(5), 将式(9)重写为:

$ \begin{array}{l} \mathop {{\rm{min}}}\limits_a {\kern 1pt} {\kern 1pt} \lambda _n^T\left( {\frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}}} \right) + \lambda _n^E\left( {\frac{{{p_n}{d_n}}}{{{r_n}({p_n})}}} \right)\\ {\rm{s}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{t}}{\rm{.}}{\kern 1pt} {\kern 1pt} {\kern 1pt} C2,{\kern 1pt} C3{\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm{and}}{\kern 1pt} {\kern 1pt} C4{\kern 1pt} \end{array} $ (10)

可使$X\left({{p}_{n}} \right)={{\lambda }_{n}}^{T}\left(\frac{{{d}_{n}}}{{{r}_{n}}\left(a \right)}+\frac{{{c}_{n}}}{{{f}_{n}}^{c}} \right)+\left({{\lambda }_{n}}^{E}\frac{{{p}_{n}}{{d}_{n}}}{{{r}_{n}}(a)} \right)$, 可以看出X(pn)的值仅由传输功率pn决定, 因此它可以表示为:

$ X({p_n}) = \frac{{(\lambda _n^E{p_n} + \lambda _n^T)}}{{{r_n}(a)}}{d_n} + \lambda _n^T\frac{{{c_n}}}{{f_n^c}} = \chi ({p_n}) + \lambda _n^T\frac{{{c_n}}}{{f_n^c}} $ (11)

从式(11)可以看出, 当χ(pn)达到最小值时C(pn)为最优。但是χ(pn)的二阶导数在定义域内并不总是正的, 因此, χ(pn)在定义域内不是凸的。

引理1  χ(pn)函数是单峰的。

证明 首先χ(pn)在R是二次可微的, 接下来检查拟凸二阶条件, 存在一点x0既满足χ′(x0)=0也满足χ″(x0)≥0。

χ(pn)的一阶导数为:

$ \begin{array}{*{20}{l}} {{\chi ^\prime }({p_n}) = \frac{{v\lambda _n^E {\rm{lb}} (1 + u{p_n})}}{{ {\rm{lb}}{ ^2}(1 + u{p_n})}} - }\\ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \frac{{uv(\lambda _n^T + \lambda _n^E{p_n})/({\rm{ln}}{\kern 1pt} {\kern 1pt} 2)(1 + u{p_n})}}{{ {\rm{lb}}{ ^2}(1 + u{p_n})}}} \end{array} $ (12)

χ(pn)的二阶导数为:

$ \begin{array}{*{20}{l}} {{\chi ^{\prime \prime }}({p_n}) = \frac{{uv\{ u(\lambda _n^T + \lambda _n^E{p_n}) {\rm{lb}} (1 + u{p_n})}}{{({\rm{ln}}{\kern 1pt} {\kern 1pt} 2){{(1 + u{p_n})}^2} {\rm{lb}}{ ^3}(1 + u{p_n})}}}\\ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \frac{{2\lambda _n^E(1 + u{p_n}) {\rm{lb}} (1 + u{p_n})}}{{({\rm{ln}}{\kern 1pt} {\kern 1pt} 2){{(1 + u{p_n})}^2} {\rm{lb}}{ ^3}(1 + u{p_n})}} + }\\ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \frac{{2u(\lambda _n^T + \lambda _n^E{p_n})/ {\rm{ln}}{\kern 1pt} {\kern 1pt} 2\} }}{{({\rm{ln}}{\kern 1pt} {\kern 1pt} 2){{(1 + u{p_n})}^2}{\rm{l}}{{\rm{b}}^3}(1 + u{p_n})}}} \end{array} $ (13)

其中, $u=\frac{{{h}_{n, m}}}{{{\sigma }^{2}}+\sum\limits_{i\in \mathbb{N}\backslash \left\{ n \right\}:{{a}_{i}}={{a}_{n}}}{{{p}_{i}}{{h}_{i, m}}}}$, $v=\frac{{{d}_{n}}}{\omega }$。若χ′(pn)=0, 则:

$ \varphi ({p_n}) = v {\lambda _n^E} {\rm{lb}} (1 + u{p_n}) - \frac{{uv(\lambda _n^T + \lambda _n^E{p_n})}}{{({\rm{ln}}{\kern 1pt} {\kern 1pt} 2)(1 + u{p_n})}} = 0 $ (14)

将式(14)计算出的pn替换到式(13)中, 得:

$ {\chi ^{\prime \prime }}({p_n}) = \frac{{{u^3}v{{(\lambda _n^T + \lambda _n^E{p_n})}^2}}}{{\lambda _n^E{{({\rm{ln}}{\kern 1pt} {\kern 1pt} 2)}^2}{{(1 + u{p_n})}^3}{\rm{l}}{{\rm{b}}^3}(1 + u{p_n})}} \ge 0 $ (15)

因此, χ(pn)在定义域内是拟凸的。可以观察到式(14)的一阶导数为$\varphi '({{p}_{n}})={{u}^{2}}v({{\lambda }_{n}}^{T}+{{\lambda }_{n}}^{E}{{p}_{n}})/(\text{ln}\ 2){{\left(1+u{{p}_{n}} \right)}^{2}}$, 其中$\varphi \left(0 \right)=-uv{{\lambda }_{n}}^{T}/\text{ln}\ 2 < 0$, 这表明φ(pn)是单调递增的超越函数, 并且在起始点p0=0为负数。采用低复杂度的二分搜索法, 计算φ(pn)的值代替求解一个凸可行性问题, 用户在进行卸载之前可以预先计算出最佳传输功率, 二分搜索法描述如下:

输入  pmaxλnEλnThn, mσω

输出  pn*

1.Initialize p0、ζth、ξ;

2.if φ(p0) < 0 then

3.pn*=p0;

4.else

5.Initialize pl=0 and ph=p0;

6.pz=(pl+ph)/2;

7.if φ(pz) < 0 then

8.pl=pz;

9.else

10.ph=pz;

11.until ph-pl < ξ

12.pn*=(ph+pl)/2;

13.end if

2.3 优化卸载策略

本文将系统开销问题制定为策略博弈Λ={$\mathbb{N}$, {an}n$\mathbb{N}$, {Υn(an, a-n)}n$\mathbb{N}$}, 其中, 是MD的集合, {an}n$\mathbb{N}$是用户的卸载决策, {Υn(an, a-n)}n$\mathbb{N}$是用户n通过其他用户采取行动a-n的计算开销值, 每个用户在满足约束下独立并且自己调整策略来最大化自己的利益。

定义1 卸载策略组合A*为非合作博弈的纯策略纳什均衡问题(Nash Equilibrium Problem, NEP)。使A-n=(a1, a2, …, an-1, an+1, …, aN)表示除了用户n的所有MD的卸载策略组合, 在均衡状态给定MD的卸载决策a-n情况下, an不能单方面改变它的卸载决策来进一步降低系统的计算开销, 即Υn(an*, a-n)≤Υn(an, a-n), ∀n$\mathbb{N}$

定理1 博弈Λ至少有一个纯策略NEP。

采用势函数Φ证明Λ至少有一个纯策略NEP, 其中, Φ:Α={a1, a2, …, an}→$\mathbb{R}$, ∀a-nA-n, ∀an, an*A, ∀n$\mathbb{N}$, 即:Υn(an, a-n)-Υn(an*, a-n)=Φ(an, a-n)-Φ(an*, a-n)。

证明 首先定义一个势函数Φ:Α$\mathbb{R}$为:

$ \varPhi ({a_n},{a_{ - n}}) = \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}} {\prod\nolimits_{\{ {a_n} = 0\} }^l + } \sum\limits_{m = 1}^M {\sum\limits_{r = 1}^{{o_m}} {{\Pi ^c}} } (r) $ (16)

其中, om表示用户选择的信道, Πl和Πc(r)分别为:

$ {\Pi ^l} = \lambda _n^T\frac{{{C_n}}}{{f_n^l}} + \lambda _n^E\eta {(f_n^l)^2}{c_n} $ (17)
$ {\Pi ^c}(r) = \left[ {\lambda _n^T\left( {\frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}}} \right) + \lambda _n^E\left( {\frac{{{p_n}{d_n}}}{{{r_n}({p_n})}}} \right)} \right]r $ (18)

对于一个计算卸载决策组合A, 假设有任意一个用户n$\mathbb{N}$更新它的当前卸载策略an到卸载决策an*(anan*), 都会影响系统的计算开销值。根据势博弈的定义, 接下来将证明用势函数来表示用户改变策略的计算开销函数。考虑以下3种情况:1)an>0 and an*>0;2)an>0 and an*=0;3)an*>0 and an=0。

对于情况1):由于an>0 and an*>0, 即用户n选择计算卸载, 根据式(6)可得出用户卸载策略变化前后的计算开销为:

$ \begin{array}{*{20}{l}} {{\mathit{Ƴ} _n}({a_n},{a_{ - n}}) = \left[ {\lambda _n^T\left( {\frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}}} \right) + } \right.}\\ \ \ \ \ {\left. {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \lambda _n^E\left( {\frac{{{p_n}{d_n}}}{{{r_n}({p_n})}}} \right)} \right]({o_{{a_n}}}) = {\Pi ^c}({o_{{a_n}}})} \end{array} $ (19)
$ \begin{array}{*{20}{l}} {{\mathit{Ƴ} _n}(a_n^*,{a_{ - n}}) = \left[ {\lambda _n^T\left( {\frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}}} \right) + } \right.}\\ \ \ \ \ {\left. {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \lambda _n^E\left( {\frac{{{p_n}{d_n}}}{{{r_n}({p_n})}}} \right)} \right](({o_{a_n^*}} + 1) = }\\ \ \ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\Pi ^c}({o_{a_n^*}} + 1)} \end{array} $ (20)

借用势函数Φ来证明博弈Λ至少有一个纯策略NEP, 根据势函数的定义, 即式(16)、式(17)和式(18)可得用户n在计算卸载决策变化前后的势函数为:

$ \begin{array}{*{20}{l}} {\varPhi ({a_n},{a_{ - n}}) = \sum\limits_{m = 1,m \ne {a_n},a_n^*}^M {\sum\limits_{r = 1}^{{o_m}} {{\Pi ^c}} } (r) + }\\ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{n{\kern 1pt} \in {\kern 1pt} \mathbb{N}} {\Pi _{\{ {a_n} = 0\} }^l} + \sum\limits_{r = 1}^{{o_{{a_n}}}} {{\Pi ^c}} (r) + \sum\limits_{r = 1}^{{o_{a_n^*}}} {{\Pi ^c}} (r)} \end{array} $ (21)
$ \begin{array}{*{20}{l}} {\varPhi (a_n^*,{a_{ - n}}) = \sum\limits_{m = 1,m \ne {a_n},a_n^*}^M {\sum\limits_{r = 1}^{{o_m}} {{\Pi ^c}} } (r) + }\\ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{n{\kern 1pt} {\kern 1pt} \in {\kern 1pt} {\kern 1pt} \mathbb{N}} {\Pi _{\left\{ {{a_n} = 0} \right\}}^l} + \sum\limits_{r = 1}^{{o_{{a_n}}} - 1} {{\Pi ^c}} (r) + \sum\limits_{r = 1}^{o_{{a_n^*}} + 1} {{\Pi ^c}} (r)} \end{array} $ (22)

其中, oan表示卸载的用户, 由式(19)~式(22)可得:

$ \begin{array}{*{20}{l}} {\varPhi ({a_n},{a_{ - n}}) - \varPhi (a_n^*,{a_{ - n}}) = {\Pi ^c}({o_{{a_n}}}) - {\Pi ^c}({o_{a_n^*}} + 1) = }\\ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\mathit{Ƴ} _n}({a_n},{a_{ - n}}) - {\mathit{Ƴ} _n}(a_n^*,{a_{ - n}})} \end{array} $ (23)

对于情况2):由于an>0 and an*=0, 即用户n的卸载决策由计算卸载变化为本地处理, 根据式(6)可得用户卸载策略变化前后的计算开销为:

$ \begin{array}{*{20}{l}} {{\mathit{Ƴ} _n}({a_n},{a_{ - n}}) = \left[ {\lambda _n^T\left( {\frac{{{d_n}}}{{{r_n}({p_n})}} + \frac{{{c_n}}}{{f_n^c}}} \right) + } \right.}\\ \ \ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \left. {{\kern 1pt} \lambda _n^E\left( {\frac{{{p_n}{d_n}}}{{{r_n}({p_n})}}} \right)} \right]({o_{{a_n}}}) = \mathop {{\Pi ^c}}\limits^{} ({o_{{a_n}}})} \end{array} $ (24)
$ {\mathit{Ƴ} _n}(a_n^*,{a_{ - n}}) = \lambda _n^T\frac{{{c_n}}}{{f_n^l}} + \lambda _n^E\eta {(f_n^l)^2}{c_n} = {\Pi ^l} $ (25)

同理, 根据势函数的定义, 即式(16)~式(18)可得用户n在计算卸载决策变化前后的势函数为:

$ \begin{array}{l} \varPhi ({a_n},{a_{ - n}}) = \sum\limits_{n \in \mathbb{N}} {\Pi _{\{ {a_i} = 0,i \ne n\} }^l} + \sum\limits_{m = 1,m \ne {a_n}}^M {\sum\limits_{r = 1}^{{o_m}} {{\Pi ^c}} } (r) + \\ \ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{r = 1}^{{o_{{a_n^*}}}} {{\Pi ^c}} (r) \end{array} $ (26)
$ \begin{array}{l} \varPhi (a_n^*,{a_{ - n}}) = {\Pi ^l} + \sum\limits_{n \in \mathbb{N}} {\Pi _{\{ {a_i} = 0,i \ne n\} }^l} + \\ \ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{m = 1,m \ne {a_n}}^M {\sum\limits_{r = 1}^{{o_m}} {{\Pi ^c}} } (r) + \sum\limits_{r = 1}^{{o_{{a_n^*}}} - 1} {{\Pi ^c}} (r) \end{array} $ (27)

同样, 根据式(24)~式(27)可以得出:

$ \begin{array}{*{20}{l}} {\varPhi ({a_n},{a_{ - n}}) - \varPhi (a_n^*,{a_{ - n}}) = {\Pi ^c}({o_{{a_n}}}) - {\Pi ^l} = }\\ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\mathit{Ƴ} _n}({a_n},{a_{ - n}}) - {\mathit{Ƴ} _n}(a_n^*,{a_{ - n}})} \end{array} $ (28)

对于情况3):和情况2)类似, 很容易证明得出:

$ \begin{array}{*{20}{l}} {\varPhi ({a_n},{a_{ - n}}) - \varPhi (a_n^*,{a_{ - n}}) = {\mathit{Ƴ} _n}({a_n},{a_{ - n}}) - }\\ \ \ \ \ \ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\mathit{Ƴ} _n}(a_n^*,{a_{ - n}})} \end{array} $

通过上述3种情况的证明, 势博弈可以通过一个精确的势函数表示, 并且根据纳什均衡存在定理[20], 其中至少存在一组纯策略纳什均衡。多用户卸载作为一个有限博弈, 也会得到这样一组策略, 并达到纳什均衡。根据上面分析, 本文提出的基于博弈论的功率优化算法(Game-Theoretic with Power Optimization Offloading Algorithm, GT-POOA)详细描述如下(ε为GT-POOA收敛的迭代次数):

输入  $\mathbb{ N}$fnlfncfsε

输出  A*Υn

1.Initialize A={0, 0, …, 0}, A*=Ø, n∈$\mathbb{N}$

2.for all n∈$\mathbb{N}$ do

3.if ψnC(a) < ψnL

4.store MD n into set of A*

5.end for

6.while A*=Ø do

7.if Υn(an, a-n)>Υn(an*, a-n)

8.an=an*

9.else

10.an=an

11.until Υn(an, a-n)-Υn(an*, a-n) < ε

12.end while

3 仿真结果与分析

本节通过仿真来验证GT-POOA的性能, 模拟一个多用户MEC计算卸载系统, 表 1为性能评估中的主要参数设置, 并将GT-POOA与以下卸载方案相比较:

下载CSV 表 1 仿真参数 Table 1 Simulation parameters

1) 博弈论卸载方案(GT-scheme):单纯的博弈卸载。

2) 多用户计算卸载(MECO):一种自适应顺序卸载博弈方法。

3) 本地处理(Computing locally at the ME):所有的用户总是本地执行任务。

4) 计算卸载(Computing offloading at the edge):所有用户将任务进行卸载。

首先验证GT-POOA的纳什均衡性和收敛性。分别进行多次重复实验(N取20、30、40), 通过图 2可以看出, GT-POOA在经过有限次迭代后可以达到纳什均衡。通过图 3可以看出, GT-POOA在MDs逐步增多的情况下, 收敛的平均迭代次数与MDs的数量是近似线性的。

Download:
图 2 GT-POOA在最小计算开销下的收敛性 Fig. 2 GT-POOA convergence under minimum computational overhead
Download:
图 3 不同用户数下GT-POOA收敛的平均迭代次数 Fig. 3 Average number of iterations of GT-POOA convergence under different number of users

本文通过实验来研究用户在不同卸载方案下的平均边缘计算用户的数量和平均系统计算开销(N分别取10、15、20、25、30、35、40)。从图 4可以看出, 对于有益于边缘计算用户数量的度量, 本文提出的GT-POOA与上述卸载方案1)、方案2)、方案4)相比, 性能分别可以提高15%、8%、31.5%。从图 5可以看出, 与上述卸载方案1)~方案4)相比, 本文方案性能可以提高41%、12%、67%、71.8%。本文利用二分搜索算法为卸载用户找到最佳传输功率来减少传输时延和能耗, 并采用博弈论为用户组找到最佳的卸载决策组合来降低系统成本。综上分析, 本文提出的GT-POOA算法具有较好的计算卸载性能。

Download:
图 4 不同卸载方案下的平均有益卸载用户数 Fig. 4 Average number of beneficial uninstall users under different offloading schemes
Download:
图 5 用户在不同卸载方案下的平均计算开销 Fig. 5 Average computing overhead of users under different offloading schemes
4 结束语

本文采用博弈论解决MEC中多用户之间的计算卸载决策问题, 设计一种基于博弈论的功率分配算法GT-POOA, 以实现多用户计算卸载博弈的纳什均衡。仿真结果表明, GT-POOA具有较好的计算卸载性能。下一步将研究用户在动态计算和离开状态下的MECO场景, 从而实现更有效的计算卸载机制。

参考文献
[1]
China market survey report[EB/OL].[2019-08-20].http://www.cmrn.cn/cms/2019/06/27/1539faaa96.shtml.
[2]
SONG Pengtao, LI Chao, XU Liting, et al. Edge computing system of smart home based on personal computer[J]. Computer Engineering, 2017, 43(11): 1-7. (in Chinese)
宋朋涛, 李超, 徐莉婷, 等. 基于个人计算机的智能家居边缘计算系统[J]. 计算机工程, 2017, 43(11): 1-7.
[3]
CICIRELLI F. Edge computing and social Internet of things for large-scale smart environments development[J]. IEEE Internet of Things Journal, 2018, 5(4): 2557-2571. DOI:10.1109/JIOT.2017.2775739
[4]
MAO Yuyi, ZHANG Changsheng. A survey on mobile edge computing:the communication perspective[J]. IEEE Communications Surveys and Tutorials, 2017, 19(4): 2322-2358. DOI:10.1109/COMST.2017.2745201
[5]
OUYANG Hao.Research on key technologies of 5G hybrid network[D].Chengdu: University of Electronic Science and Technology, 2018.(in Chinese)
欧阳昊.5G混合网络的关键技术研究[D].成都: 电子科技大学, 2018.
[6]
AHMED E, REHMANI M H. Mobile edge computing:opportunities, solutions, and challenges[J]. Future Generation Computer Systems, 2017, 70: 59-63. DOI:10.1016/j.future.2016.09.015
[7]
HU Y C, PATEL M, SABELLA D.Mobile edge computing-a key technology towards 5G[EB/OL].[2019-08-20].https://www.linkedin.com/pulse/.
[8]
DOLEZAL J, BECVAR Z, ZEMAN T.Performance evaluation of computation offloading from mobile equipment to the edge of mobile network[C]//Proceedings of 2016 International Conference on Standards for Communications and Networking.Berlin, Germany: Springer, 2016: 1-7.
[9]
MAO Y Y, ZHANG J, LETAIEF K B. Dynamic computation offloading for mobile-edge computing with energy harvesting equipments[J]. IEEE Journal on Selected Areas in Communications, 2016, 34(12): 3590-3605. DOI:10.1109/JSAC.2016.2611964
[10]
LIU Juan, MAO Youyi, ZHANG Jun, et al.Latency-optimal computation task scheduling for mobile-edge computing systems[C]//Proceedings of 2016 International Symposium on Information Theory.Barcelona, Spain: [s.n.], 2016: 1451-1455.
[11]
REN Jinke, YU Guanding, CAI Yunlong, et al. Latency optimization for resource allocation in mobile-edge computation offloading[J]. IEEE Transactions on Wireless Communications, 2018, 17(8): 5506-5519. DOI:10.1109/TWC.2018.2845360
[12]
REN Jinke, YU Guanding, HE Yinghui, et al. Collaborative cloud and edge computing for latency minimization[J]. IEEE Transactions on Vehicular Technology, 2019, 68(5): 5031-5044. DOI:10.1109/TVT.2019.2904244
[13]
GUO Jun.Research on offloading strategy based on mobile edge computing in super dense network[D].Beijing: Beijing University of Posts and Telecommunications, 2018.(in Chinese)
郭俊.超密集网络中基于移动边缘计算的卸载策略研究[D].北京: 北京邮电大学, 2018.
[14]
KAMOUN M, LABIDI W, SARKISS M.Joint resource allocation and offloading strategies in cloud enabled cellular networks[C]//Proceedings of 2015 International Conference on Communications.London, UK: [s.n.], 2015: 5529-5534.
[15]
YOU Changsheng, HUANG Kaibin.Multiuser resource allocation for mobile-edge computation offloading[C]//Proceedings of 2016 IEEE Global Communications Conference.Washington D.C., USA: IEEE Press, 2016: 1-6.
[16]
OUEIS J, STRINATI E C, SARDELLITTI S, et al.Small cell clustering for efficient distributed fog computing: a multi-user case[C]//Proceedings of the 82nd IEEE Vehicular Technology Conference.Boston, USA: [s.n.], 2015: 1-5.
[17]
WANG C, YU F R, LIANG C, et al. Joint computation offloading and interference management in wireless cellular networks with mobile edge computing[J]. IEEE Transactions on Vehicular Technology, 2017, 66(8): 7432-7445. DOI:10.1109/TVT.2017.2672701
[18]
CAO Huijin, CAI Jun. Distributed multiuser computation offloading for cloudlet-based mobile cloud computing:a game-theoretic machine learning approach[J]. IEEE Transactions on Vehicular Technology, 2018, 67(1): 752-764. DOI:10.1109/TVT.2017.2740724
[19]
CHEN Xu, JIAO Lei, LI Wenzhong. Efficient multi-user computation offloading for mobile-edge cloud computing[J]. IEEE/ACM Transactions on Networking, 2016, 24(5): 2795-2808. DOI:10.1109/TNET.2015.2487344
[20]
LU Kaihong, JING Gangshan, WANG Long. Distributed algorithms for searching generalized Nash equilibrium of noncooperative games[J]. IEEE Transactions on Cybernetics, 2019, 49(6): 2362-2371. DOI:10.1109/TCYB.2018.2828118