An Incentive Mechanism for Computation Offloading in Satellite-Terrestrial Internet of Vehicles

Table 1

Notions.

Symbol	Definition
	Cloudlet
	Cloudlets with positive evaluation toward mobile vehicles
	Total number of cloudlets
	Total number of mobile vehicles
	Mobile vehicle
	Set of cloudlets
	Cloudlets with positive evaluation
	Set of mobile vehicles
	Set of winning cloudlets candidates
	Set of winning mobile vehicles candidates
	Set of winning cloudlets before filtering
	Set of winning mobile vehicles before filtering
	Set of winning cloudlets
	Set of winning mobile vehicles
	Nonincreasing order of
	Nondecreasing order of mobile vehicles
	A function that maps from to
	A function that maps from to
	Cloudlet biding on mobile vehicle
	Cloudlet ’s bid vector
	Bid matrix of
	Ask of mobile vehicles
	Ask vector of
	Ask vector of all sellers not including
	Valuation of rated by
	Valuation vector of
	Cost of performing computation offloading tasks
	Price that is charged to
	Reward price paid to
	Price that is charged to for
	Reward price paid to with allocated
	Utility of
	Utility of
	Utility of with allocated
	Utility of with allocated
	The set of clearing price that is charged to
	The set of clearing rewards to