Аноним

Конкурентный аукцион: различия между версиями

Материал из WEGA
Строка 51: Строка 51:




Определение 3. Честный аукцион A является /3-конкурентным по отношению к F(m), если для всех векторов заявок b ожидаемая прибыль A на b удовлетворяет условию
'''Определение 3.''' Честный аукцион <math>\mathcal{A}</math> является '''<math>\beta</math>-конкурентным''' по отношению к <math>\mathcal{F}^{(m)}</math>, если для всех векторов заявок <math>\mathbf{b}</math> ожидаемая прибыль <math>\mathcal{A}</math> на <math>\mathbf{b}</math> удовлетворяет условию <math>E(\mathcal{A}(\mathbf{b})) \ge \frac{\mathcal{F}^{(m) (\mathbf{b})}}{\beta}</math>.




Определение 4 (CostShareC) [ ]. Учитывая заявки b, этот механизм находит наибольшее число k, такое, что наибольшие заявки k участников аукциона не меньше C/k. Каждому из таких k участников начисляется C/k.
'''Определение 4 (CostShare<math>_C</math>)''' [10]. При наличии вектора заявок <math>\mathbf{b}</math> этот механизм находит наибольшее число <math>k</math>, такое, что наибольшие заявки <math>k</math> участников аукциона не меньше <math>C/k</math>. Каждому из таких <math>k</math> участников начисляется <math>C/k</math>.


1: Равномерно случайным образом разбить вектор заявок b на два набора b0 и b00.


2: Вычислить f = F(b0) и F00 = F(b00).  
  1: Равномерно случайным образом разбить вектор заявок <math>\mathbf{b}</math> на два набора <math>\mathbf{b}'</math> и <math>\mathbf{b}''</math>.
 
  2: Вычислить <math>\mathcal{F}' = \mathcal{F}(\mathbf{b}')</math> и <math>\mathcal{F}'' = \mathcal{F}(\mathbf{b}'')</math>.  
3: Запустить CostShareF00 на b0 и CostShareF0 на b00.
  3: Запустить CostShare<math>_{\mathcal{F}''}</math> на <math>\mathbf{b}'</math> и CostShare<math>_{\mathcal{F}'}</math> на <math>\mathbf{b}''</math>.


Конкурентный аукцион, алгоритм 2. Аукцион с получением образцов и распределением затрат (Sampling Cost Sharing Auction, SCS)
Конкурентный аукцион, алгоритм 2. Аукцион с получением образцов и распределением затрат (Sampling Cost Sharing Auction, SCS)




Теорема 2 [6]. SCS 4-конкурентен относительно J:<-2\, граница является строгой.
'''Теорема 2 [6]. SCS 4-конкурентен относительно <math>\mathcal{F}^{(2)}</math>, граница является строгой.'''




Теорема 3 [9]. Пусть A – любой честный рандомизированный аукцион. Существует входной вектор заявок b, на котором ВДЬ)) < Л
'''Теорема 3 [9]. Пусть <math>\mathcal{A}</math> – любой честный рандомизированный аукцион. Существует входной вектор заявок <math>\mathbf{b}</math>, на котором <math>E(\mathcal{A}(\mathbf{b})) \le \frac{\mathcal{F}^{(2)} (\mathbf{b})}{2,42}</math>.'''


== Применение ==
== Применение ==
4817

правок