<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">IJCNS</journal-id><journal-title-group><journal-title>Int'l J. of Communications, Network and System Sciences</journal-title></journal-title-group><issn pub-type="epub">1913-3715</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ijcns.2014.712050</article-id><article-id pub-id-type="publisher-id">IJCNS-52032</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Computer Science&amp;Communications</subject></subj-group></article-categories><title-group><article-title>
 
 
  Playing against Hedge
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>iltiades</surname><given-names>E. Anagnostou</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Maria</surname><given-names>A. Lambrou</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece</addr-line></aff><aff id="aff2"><addr-line>Department of Shipping, Trade and Transport, University of the Aegean, Chios, Greece</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>miltos@central.ntua.gr(IEA)</email>;<email>mlambrou@aegean.gr(MAL)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>03</day><month>12</month><year>2014</year></pub-date><volume>07</volume><issue>12</issue><fpage>497</fpage><lpage>507</lpage><history><date date-type="received"><day>10</day>	<month>October</month>	<year>2014</year></date><date date-type="rev-recd"><day>20</day>	<month>November</month>	<year>2014</year>	</date><date date-type="accepted"><day>1</day>	<month>December</month>	<year>2014</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Hedge has been proposed as an adaptive scheme, which guides the player’s hand in a multi-armed bandit full information game. Applications of this game exist in network path selection, load distribution, and network interdiction. We perform a worst case analysis of the Hedge algorithm by using an adversary, who will consistently select penalties so as to maximize the player’s loss, assuming that the adversary’s penalty budget is limited. We further explore the performance of binary penalties, and we prove that the optimum binary strategy for the adversary is to make greedy decisions.
 
</p></abstract><kwd-group><kwd>Hedge Algorithm</kwd><kwd> Adversary</kwd><kwd> Online Algorithm</kwd><kwd> Greedy Algorithm</kwd><kwd> Periodic Performance</kwd><kwd> Binary Penalties</kwd><kwd> Path Selection</kwd><kwd> Network Interdiction</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The problems of adaptive network path selection and load distribution have often been considered as games that are played simultaneously and independently by agents controlling flows in a network. A possible abstraction of these and other related problems is the bandit game. In the multi-armed bandit game [<xref ref-type="bibr" rid="scirp.52032-ref1">1</xref>] a player chooses one out of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x5.png" xlink:type="simple"/></inline-formula> strategies (or “machines” or “options” or “arms”). A loss or penalty (or a reward, which can be modeled as a negative loss) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x6.png" xlink:type="simple"/></inline-formula>is assigned to each strategy <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x7.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x8.png" xlink:type="simple"/></inline-formula> after each round of the game.</p><p>An agent facing repeated selections will possibly try to exploit the so far accumulated experience. A popular algorithm that can guide the agent in each selection round is the multiplicative updates algorithm or Hedge. In this paper we calculate the worst possible performance of Hedge by using the adversarial technique, i.e. we investigate the behavior of an intelligent adversary, who tries to maximize the player’s cumulative loss. In Section 1 we describe Hedge; in Section 2 we give a rigorous formulation of the adversary’s problem; in Section 3 we give a recursive solution; and in Section 4 we present sample numerical results. Finally, in Section 5 we explore binary adversarial strategies. Our main result is that the greedy adversarial strategy is optimal among binary strategies.</p><sec id="s1_1"><title>1.1. The bandit game</title><p>In a generalized bandit game the player is allowed to play mixed strategies, i.e. to assign a fraction <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x9.png" xlink:type="simple"/></inline-formula> (such</p><p>that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x10.png" xlink:type="simple"/></inline-formula>) of the total bet to option<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x11.png" xlink:type="simple"/></inline-formula>, thereby getting a loss equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x12.png" xlink:type="simple"/></inline-formula>. Alternatively, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x13.png" xlink:type="simple"/></inline-formula></p><p>can be interpreted as a probability that the player assigns the bet on option<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x14.png" xlink:type="simple"/></inline-formula>. In the “bandit” version only the total loss <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x15.png" xlink:type="simple"/></inline-formula> is announced to the player, while in the “full information” version the penalty vector</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x16.png" xlink:type="simple"/></inline-formula>is announced.</p><p>A game consists of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x17.png" xlink:type="simple"/></inline-formula> rounds; a superscript <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x18.png" xlink:type="simple"/></inline-formula> marks the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x19.png" xlink:type="simple"/></inline-formula>th <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x20.png" xlink:type="simple"/></inline-formula> round. Apparently the</p><p>player will try to minimize the total cumulative loss</p><disp-formula id="scirp.52032-formula327"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x21.png"  xlink:type="simple"/></disp-formula><p>by controlling the bet distribution, i.e. by properly selecting the variables<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x22.png" xlink:type="simple"/></inline-formula>. We use the additional assumption</p><p>that the loss budget is limited in each round by setting the constraint<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x23.png" xlink:type="simple"/></inline-formula>. Clearly a player’s goal is to</p><p>minimize his or her total cumulative loss. An extremely lucky player, or a player with “inside information”, would select the minimum penalty option in each round and would put all his or her bet on this option, thereby</p><p>achieving a total loss equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x24.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s1_2"><title>1.2. The Hedge algorithm</title><p>Quite a few algorithmic solutions, which will guide the player’s hand in the full information game, have appeared in the literature. Freund and Schapire have proposed the Hedge algorithm [<xref ref-type="bibr" rid="scirp.52032-ref2">2</xref>] for the full information game. Auer, Cesa-Bianchi, Freund and Schapire have proposed the Exp3 algorithm in [<xref ref-type="bibr" rid="scirp.52032-ref3">3</xref>] . Allenberg-Neeman and Neeman proposed a Hedge variant, the GL (Gain-Loss) algorithm, for the full information game with gains and losses [<xref ref-type="bibr" rid="scirp.52032-ref4">4</xref>] . Dani, Hayes, and Kakade have proposed the GeometricHedge algorithm in [<xref ref-type="bibr" rid="scirp.52032-ref5">5</xref>] , and a modifi- cation was proposed by Bartlett, Dani et al. in [<xref ref-type="bibr" rid="scirp.52032-ref6">6</xref>] . Recently Cesa-Bianchi and Lugosi have proposed the ComBand algorithm for the bandit version [<xref ref-type="bibr" rid="scirp.52032-ref7">7</xref>] . A comparison can be found in [<xref ref-type="bibr" rid="scirp.52032-ref8">8</xref>] .</p><p>Hedge maintains a vector <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x25.png" xlink:type="simple"/></inline-formula> of weights, such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x26.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x27.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x28.png" xlink:type="simple"/></inline-formula>). In each round <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x29.png" xlink:type="simple"/></inline-formula> Hedge chooses the bet allocation according to the normalized weight</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x30.png" xlink:type="simple"/></inline-formula>. When the opponent reveals the loss vector of this round, the next round weight <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x31.png" xlink:type="simple"/></inline-formula> is</p><p>determined so as to reflect the loss results, i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x32.png" xlink:type="simple"/></inline-formula>for some fixed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x33.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x34.png" xlink:type="simple"/></inline-formula>.</p><p>In [<xref ref-type="bibr" rid="scirp.52032-ref9">9</xref>] Auer, Cesa-Bianchi, Freund and Schapire have proved that the expected Hedge performance and the</p><p>expected performance of the best arm differ at most by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x35.png" xlink:type="simple"/></inline-formula>. Freund and Schapire [<xref ref-type="bibr" rid="scirp.52032-ref2">2</xref>] have given a</p><p>loss upper bound, which relates the total cumulative loss with the total loss of the best arm.</p></sec><sec id="s1_3"><title>1.3. Competitive analysis</title><p>The competitive analysis of an algorithm<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x36.png" xlink:type="simple"/></inline-formula>, which in this paper is Hedge, involves a comparison of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x37.png" xlink:type="simple"/></inline-formula>’s performance with the performance of the optimal offline algorithm. In the bandit game the optimal offline algorithm, i.e. the optimal player’s decisions given the sequence of all penalties in advance, is trivial. In a given round the player can just bet everything on the option with the lowest penalty.</p><p>According to S. Irani and A. Karlin (in Section 13.3.1 of [<xref ref-type="bibr" rid="scirp.52032-ref10">10</xref>] ) a technique in finding bounds is to use an “adversary” who plays against <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x38.png" xlink:type="simple"/></inline-formula> and concocts an input, which forces <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x39.png" xlink:type="simple"/></inline-formula> to incur a high cost. Using an adversary is just an illustrative way of saying that we try to find the worst possible performance of an online algorithm. In our analysis the adversary tries to maximize Hedge’s total loss by controling the penalty vector (under a limited budget).</p></sec><sec id="s1_4"><title>1.4. Interpretations and applications</title><p>In this section we offer some interpretations from the areas of 1) communication networks and 2) transportation. The general setting of course involves a number of options or arms, which must be selected by a player without any knowledge of the future.</p><p>Bandit models have been used in quite diverse decision making situations. In [<xref ref-type="bibr" rid="scirp.52032-ref11">11</xref>] He, Chen, Wand and Liu have used a bandit model for the maximization of the revenue of a search engine provider, who charges for advertisements on a per-click basis. They have subsequently defined the “armed bandit problem with shared information”; arms are partitioned in groups and loss information is shared only among players using arms of the same group. In [<xref ref-type="bibr" rid="scirp.52032-ref12">12</xref>] Park and Lee have used a multi-armed bandit model for lane selection in automated highways and autonomous vehicles traffic control.</p><sec id="s1_4_1"><title>1.4.1. Traffic load distribution</title><p>This first application example can take multiple interpretations, which always involve a selection in a compe- titive environment, in which competition is limited. It can be seen as 1) a path selection problem in networking, 2) a transport means (mode) choice or path selection problem, 3) a computational load distribution problem, which we mention in the end of this section. Firstly, we describe the problem in the context of networking.</p><p>Consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula> similar independent paths (in the simplest case just <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula> parallel links), which join a pair of nodes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x42.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x43.png" xlink:type="simple"/></inline-formula>. A traffic volume equal to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x44.png" xlink:type="simple"/></inline-formula> is sent from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x45.png" xlink:type="simple"/></inline-formula> to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x46.png" xlink:type="simple"/></inline-formula> in consecutive time periods or rounds by</p><p>a population of agents. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x47.png" xlink:type="simple"/></inline-formula>is the same in each round, but the allocation of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x48.png" xlink:type="simple"/></inline-formula> to paths, i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x49.png" xlink:type="simple"/></inline-formula></p><p>such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x50.png" xlink:type="simple"/></inline-formula>, is different in each round<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x51.png" xlink:type="simple"/></inline-formula>. An agent <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x52.png" xlink:type="simple"/></inline-formula> produces a constant amount of traffic equal</p><p>to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x54.png" xlink:type="simple"/></inline-formula>, in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x55.png" xlink:type="simple"/></inline-formula> consecutive rounds, and allocates a part equal to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x56.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x57.png" xlink:type="simple"/></inline-formula> to the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x58.png" xlink:type="simple"/></inline-formula>th</p><p>path in round<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x59.png" xlink:type="simple"/></inline-formula>. The average delay (or cost) experienced by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x60.png" xlink:type="simple"/></inline-formula>’s traffic in the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x61.png" xlink:type="simple"/></inline-formula>th round is proportional to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x62.png" xlink:type="simple"/></inline-formula>, if we assume a linear delay (or cost) model. Linear models are used for simplicity in network analysis</p><p>[<xref ref-type="bibr" rid="scirp.52032-ref13">13</xref>] and can be realistic if a network resource still operates in the linear region of the delay vs. load curve, e.g. when delay is calculated in a link, which operates not very close to capacity. Agent <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula> aims at minimizing the total delay for its own traffic and may use Hedge to determine the quantities <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula> in round<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula>, assuming that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula> knows the performance of its own traffic in each path in the past time period. Note that the maximum delay in a round occurs if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula> puts the whole <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula> in a single path together with the whole traffic of the competition, i.e. with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x69.png" xlink:type="simple"/></inline-formula>; then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x70.png" xlink:type="simple"/></inline-formula>’s average delay in this round equals<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x71.png" xlink:type="simple"/></inline-formula>. On the contrary, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x72.png" xlink:type="simple"/></inline-formula> is evenly distributed in all paths,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x73.png" xlink:type="simple"/></inline-formula>’s allocation decision does not really matter, as the average will be equal to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x74.png" xlink:type="simple"/></inline-formula>. Of course the minimum delay in a round will occur if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x75.png" xlink:type="simple"/></inline-formula> puts the whole <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x76.png" xlink:type="simple"/></inline-formula> in an</p><p>empty path, thereby achieving a zero delay.</p><p>The above problem can also be formulated as a more general problem of distributing workload over a collection of parallel resources (e.g. distributing jobs to parallel processors). A. Blum and C. Burch have used the following motivating scenario in [<xref ref-type="bibr" rid="scirp.52032-ref14">14</xref>] : A process runs on some machine in an environment with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x77.png" xlink:type="simple"/></inline-formula> machines in total. The process may move to a different machine at the end of a time interval. The load<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x78.png" xlink:type="simple"/></inline-formula>, which will be found on a machine <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x79.png" xlink:type="simple"/></inline-formula> at time round <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x80.png" xlink:type="simple"/></inline-formula> is the penalty felt by the process.</p></sec><sec id="s1_4_2"><title>1.4.2. Interdiction</title><p>Although an adversary is usually a “technical” (fictional) concept, which serves the worst case analysis of online algorithms, in some environments a real adversary, who intentionally tries to oppose a player, does exist. An example is the interdiction problem.</p><p>We present a version of the interdiction problem in a network security context. An attacker attacks <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x81.png" xlink:type="simple"/></inline-formula> resources (e.g. launches a distributed denial of service attack on nodes, servers, etc., see [<xref ref-type="bibr" rid="scirp.52032-ref15">15</xref>] ) by sending</p><p>streams of harmful packets to resource <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x82.png" xlink:type="simple"/></inline-formula> at a rate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x83.png" xlink:type="simple"/></inline-formula> (where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x84.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x85.png" xlink:type="simple"/></inline-formula> is constant). A defen-</p><p>der assigns a defense mechanism of intensity <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x86.png" xlink:type="simple"/></inline-formula> (e.g. a filter that is able to detect and avoid harmful packets with a probability proportional to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x87.png" xlink:type="simple"/></inline-formula>) to resource<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x88.png" xlink:type="simple"/></inline-formula>. At the end of a time interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x89.png" xlink:type="simple"/></inline-formula>, e.g. one day, both the attacker and the defender revise the flows and the distribution of defense mechanisms to resources respectively, based on past performance.</p><p>Similar interpretations exist in transportation network environments, as in border and custom control, including illegal immigration control. An interdiction problem formulation can be used in a maritime transport security context: pirates attack the vessels traversing a maritime route. In [<xref ref-type="bibr" rid="scirp.52032-ref16">16</xref>] Vanek et al. assign the role of the player to the pirate. The pirate operates in rounds, starting and finishing in his home port. In each round he selects a sea area (arm) to sail to and search for possible victim vessels. A patrol force distributes the available escort resources to sea areas (arms), and pirate gains are inversely proportional to the strength of the defender’s forces on this area. Naval forces reallocate their own resources to sea areas.</p></sec></sec></sec><sec id="s2"><title>2. Problem formulation</title><p>In this paper we aim at finding the worst case performance of Hedge. Effectively, we try to solve the following problem:</p><p>Problem 1. Given a number of options<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x90.png" xlink:type="simple"/></inline-formula>, an initial normalized weight vector<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x91.png" xlink:type="simple"/></inline-formula>, and a</p><p>Hedge parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x92.png" xlink:type="simple"/></inline-formula>, find the sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x93.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x94.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x95.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x96.png" xlink:type="simple"/></inline-formula>that maximizes the player’s total cumulative loss</p><disp-formula id="scirp.52032-formula328"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x97.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x98.png" xlink:type="simple"/></inline-formula> is the penalty vector in round <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x99.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x100.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x101.png" xlink:type="simple"/></inline-formula>, and the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x102.png" xlink:type="simple"/></inline-formula>th</p><p>round penalty weights <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x103.png" xlink:type="simple"/></inline-formula> are updated according to</p><disp-formula id="scirp.52032-formula329"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x104.png"  xlink:type="simple"/></disp-formula><p>for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x105.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x106.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x107.png" xlink:type="simple"/></inline-formula></p><p>Clearly the objective function (2) is a function of a) the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x108.png" xlink:type="simple"/></inline-formula> initial weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x109.png" xlink:type="simple"/></inline-formula>, and b) the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x110.png" xlink:type="simple"/></inline-formula> variables</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x111.png" xlink:type="simple"/></inline-formula>, and c)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x112.png" xlink:type="simple"/></inline-formula>. Due to the normalization of both weights and penalties there are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x113.png" xlink:type="simple"/></inline-formula> indepen-</p><p>dent variables in total. In the following we use <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x114.png" xlink:type="simple"/></inline-formula> or</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x115.png" xlink:type="simple"/></inline-formula>instead of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x116.png" xlink:type="simple"/></inline-formula> whenever it is necessary to refer to these variables.</p></sec><sec id="s3"><title>3. Recursion</title><p>Assuming that a given round starts with weights <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x117.png" xlink:type="simple"/></inline-formula> and the adversary generates penalties</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x118.png" xlink:type="simple"/></inline-formula>, the next round will will start with weights <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x119.png" xlink:type="simple"/></inline-formula> where</p><disp-formula id="scirp.52032-formula330"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x120.png"  xlink:type="simple"/></disp-formula><p>Then, the total loss of a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x121.png" xlink:type="simple"/></inline-formula> round game, which starts with weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x122.png" xlink:type="simple"/></inline-formula>, can be written as the sum of the losses of a single round game, which starts with weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x123.png" xlink:type="simple"/></inline-formula>, and a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x124.png" xlink:type="simple"/></inline-formula> round game, which starts with</p><p>weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x125.png" xlink:type="simple"/></inline-formula>, as follows:</p><disp-formula id="scirp.52032-formula331"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x126.png"  xlink:type="simple"/></disp-formula><p>Note that the term<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula>, which expresses the contribution of the last <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula> rounds, depends only on the updated weights provided by the initial round. Such a Markovian property can be generalized in the following sense: A <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula> round game can be seen as consisting of a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula> round game <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula> followed by a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x132.png" xlink:type="simple"/></inline-formula> round game<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x133.png" xlink:type="simple"/></inline-formula>, whose initial weights are the final weights of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x134.png" xlink:type="simple"/></inline-formula>, and no more details about <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x135.png" xlink:type="simple"/></inline-formula> are passed to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x136.png" xlink:type="simple"/></inline-formula>.</p><p>Assuming that the solution to Problem 1 is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x137.png" xlink:type="simple"/></inline-formula> the following recursive</p><p>formula for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x138.png" xlink:type="simple"/></inline-formula> can be derived from (5):</p><disp-formula id="scirp.52032-formula332"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x139.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x140.png" xlink:type="simple"/></inline-formula> is the penalty vector chosen by the adversary in the initial round.</p><p>The optimal penalties can be computed also recursively. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x141.png" xlink:type="simple"/></inline-formula>, where</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x142.png" xlink:type="simple"/></inline-formula>denotes the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x143.png" xlink:type="simple"/></inline-formula>th optimal penalty of the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x144.png" xlink:type="simple"/></inline-formula>th option in the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x145.png" xlink:type="simple"/></inline-formula>th round of a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x146.png" xlink:type="simple"/></inline-formula> round game (starting</p><p>with weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x147.png" xlink:type="simple"/></inline-formula>). The optimal penalty of the initial round <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x148.png" xlink:type="simple"/></inline-formula> is apparently equal to the value of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x149.png" xlink:type="simple"/></inline-formula>, which optimizes (6). Therefore</p><disp-formula id="scirp.52032-formula333"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x150.png"  xlink:type="simple"/></disp-formula><p>In all other rounds <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x151.png" xlink:type="simple"/></inline-formula> the optimal penalties are such that the total loss of the rest of the game is</p><p>maximized, i.e. such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x152.png" xlink:type="simple"/></inline-formula> is achieved. Since the total loss <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x153.png" xlink:type="simple"/></inline-formula> is achieved by</p><p>using penalties<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x154.png" xlink:type="simple"/></inline-formula>, the total loss <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x155.png" xlink:type="simple"/></inline-formula> is realized by using</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x156.png" xlink:type="simple"/></inline-formula>instead. Therefore</p><disp-formula id="scirp.52032-formula334"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x157.png"  xlink:type="simple"/></disp-formula></sec><sec id="s4"><title>4. Two option games and numerical results</title><p>this section we exploit the recursive methodology, which has been presented in the previous section, in order to provide some numerical results for two option games. We compare these results with available bounds in the literature. We consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x158.png" xlink:type="simple"/></inline-formula>, i.e. two option games. We keep only the independent penalties <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x158.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x159.png" xlink:type="simple"/></inline-formula> in the</p><p>extended notation and use the more compact version<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x160.png" xlink:type="simple"/></inline-formula>. As an example, the loss of a</p><p>single round game is given by</p><disp-formula id="scirp.52032-formula335"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x161.png"  xlink:type="simple"/></disp-formula><p>Also, since the initial weights are<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x162.png" xlink:type="simple"/></inline-formula>, we simplify the maximum cumulative loss <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x163.png" xlink:type="simple"/></inline-formula> to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x164.png" xlink:type="simple"/></inline-formula>. Assuming losses <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x165.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x166.png" xlink:type="simple"/></inline-formula>, the next round will will start with weights <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x167.png" xlink:type="simple"/></inline-formula> and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x168.png" xlink:type="simple"/></inline-formula>, where</p><disp-formula id="scirp.52032-formula336"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x169.png"  xlink:type="simple"/></disp-formula><p>Then (6) is simplified to</p><disp-formula id="scirp.52032-formula337"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x170.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x171.png" xlink:type="simple"/></inline-formula> is the penalty chosen by the adversary for the first option in the initial round.</p><p>The iteration starts from<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x172.png" xlink:type="simple"/></inline-formula>, i.e. the loss of a single round game. In such game the adversary controls a</p><p>single penalty variable, as the loss is given by (9). Apparently the adversary will choose binary values, i.e.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x173.png" xlink:type="simple"/></inline-formula>if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x175.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x176.png" xlink:type="simple"/></inline-formula>, and the maximum total loss is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x177.png" xlink:type="simple"/></inline-formula>, i.e.</p><disp-formula id="scirp.52032-formula338"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x178.png"  xlink:type="simple"/></disp-formula><p>The graph of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x179.png" xlink:type="simple"/></inline-formula> appears as the lowest V-shaped “curve” in <xref ref-type="fig" rid="fig1">Figure 1</xref>. The fact that the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x180.png" xlink:type="simple"/></inline-formula> is a</p><p>piecewise linear function of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x181.png" xlink:type="simple"/></inline-formula> with a breakpoint (i.e. a sudden change in its slope), creates even more break-</p><p>points in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x182.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x183.png" xlink:type="simple"/></inline-formula>and so on. Therefore, while it is possible to use the aforementioned recursion in</p><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Plot of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x185.png" xlink:type="simple"/></inline-formula> (maximum loss in a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x186.png" xlink:type="simple"/></inline-formula> round game) vs. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x187.png" xlink:type="simple"/></inline-formula>for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x188.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x189.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-9701946x184.png"/></fig><p>order to find analytical expressions for the maximum total loss and the associated penalties, the analysis becomes quite complicated even for small values of the number of rounds <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x190.png" xlink:type="simple"/></inline-formula> (i.e. in a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x191.png" xlink:type="simple"/></inline-formula> round game). We omit this tedious analysis and present numerical results based on the recursive methodology given above.</p><p>Instead we have implemented a numerical computation based on (11). <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x192.png" xlink:type="simple"/></inline-formula>is approximated by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x193.png" xlink:type="simple"/></inline-formula></p><p>samples in the interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x194.png" xlink:type="simple"/></inline-formula>, i.e. by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x195.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x196.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x197.png" xlink:type="simple"/></inline-formula>. In the same way the</p><p>functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x198.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x199.png" xlink:type="simple"/></inline-formula> are represented by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x200.png" xlink:type="simple"/></inline-formula> samples <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x201.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x202.png" xlink:type="simple"/></inline-formula>,</p><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x203.png" xlink:type="simple"/></inline-formula>. We have used<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x204.png" xlink:type="simple"/></inline-formula>. Initially we create <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x205.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x206.png" xlink:type="simple"/></inline-formula> by using (9). We</p><p>use the result as input to (11) and create<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x207.png" xlink:type="simple"/></inline-formula>. Then we use the already calculated <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x208.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x209.png" xlink:type="simple"/></inline-formula> in (11)</p><p>to calculate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x210.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x211.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x212.png" xlink:type="simple"/></inline-formula> to calculate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x213.png" xlink:type="simple"/></inline-formula>, and so on. In <xref ref-type="fig" rid="fig1">Figure 1</xref> we show <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x213.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x214.png" xlink:type="simple"/></inline-formula> as a function of</p><p>the initial weight <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x215.png" xlink:type="simple"/></inline-formula> in games with up to ten rounds <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x216.png" xlink:type="simple"/></inline-formula> for different values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x217.png" xlink:type="simple"/></inline-formula>. Observe</p><p>that the shape of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x218.png" xlink:type="simple"/></inline-formula> is more “interesting” for “unreasonably” small values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x219.png" xlink:type="simple"/></inline-formula>.</p><p>The optimal penalties can be determined by using formulas (7) and (8) for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x220.png" xlink:type="simple"/></inline-formula>. In <xref ref-type="fig" rid="fig2">Figure 2</xref> we draw one of the curves of <xref ref-type="fig" rid="fig1">Figure 1</xref> together with the respective optimal penalties. The final round optimal penalty (i.e.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x221.png" xlink:type="simple"/></inline-formula>in this example) is certain to be binary, since the adversary will assign <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x222.png" xlink:type="simple"/></inline-formula> to the option <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x223.png" xlink:type="simple"/></inline-formula> with</p><p>the greatest weight factor. However, the penalties <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x224.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x225.png" xlink:type="simple"/></inline-formula> of the first two games are clearly</p><p>non-binary.</p></sec><sec id="s5"><title>5. Binary and greedy schemes</title><p>The penalty values in the first two rounds in the example of <xref ref-type="fig" rid="fig2">Figure 2</xref> prove that the adversary’s optimal penalties are not necessarily binary. However, in this example <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x226.png" xlink:type="simple"/></inline-formula> is “unnaturally” close to 0, as in practical Hedge implementations <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x227.png" xlink:type="simple"/></inline-formula> is chosen close to 1; this choice achieves a more gradual adaptation to losses. Both experimental and analytical evidence show that the optimal penalties tend rapidly to binary values as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x228.png" xlink:type="simple"/></inline-formula> approaches 1. Effectively, it seems that results very close to optimum can be achieved by a “binary adversary”, i.e. an adversary that will resort to binary values only.</p><p>On the other hand the optimal adversarial policy with binary penalties can be found exhaustively as</p><disp-formula id="scirp.52032-formula339"><graphic  xlink:href="http://html.scirp.org/file/1-9701946x229.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x230.png" xlink:type="simple"/></inline-formula> is a set of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x231.png" xlink:type="simple"/></inline-formula> binary vectors <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x232.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x233.png" xlink:type="simple"/></inline-formula>, i.e. only one component equals 1.</p><p>Apparently, the complexity of this calculation grows with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x234.png" xlink:type="simple"/></inline-formula>. However, in the following we show that the optimal binary adversary is in fact the “greedy adversary”, The latter achieves binary optimality in linear time.</p><p>A “greedy adversary” is eager to punish the maximum weight option as much as possible in each round. Thus</p><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Plot of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x236.png" xlink:type="simple"/></inline-formula> (maximum total loss of a 4 round game) vs. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x237.png" xlink:type="simple"/></inline-formula>for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x238.png" xlink:type="simple"/></inline-formula>, together with the optimal penalties <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x239.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x240.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-9701946x235.png"/></fig><p>the adversary will assign exactly one unit of penalty to the maximum current weight option, and zero penalties to all other options. Given a sufficient number of rounds (say<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x241.png" xlink:type="simple"/></inline-formula>), it easy to see that the weights of an <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x242.png" xlink:type="simple"/></inline-formula></p><p>option game are “equalized” so that any two weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x243.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x244.png" xlink:type="simple"/></inline-formula>are such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x245.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x246.png" xlink:type="simple"/></inline-formula>. When</p><p>equalization is achieved, a periodic phenomenon starts and the greedy penalties form a rotation scheme.</p><sec id="s5_1"><title>5.1. Greedy behavior</title><p>We explore the greedy pattern in a two option game that can easily be generalized to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x247.png" xlink:type="simple"/></inline-formula> options. Assuming</p><p>initial weights<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x248.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x249.png" xlink:type="simple"/></inline-formula>such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x251.png" xlink:type="simple"/></inline-formula>, a greedy adversary will choose</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x253.png" xlink:type="simple"/></inline-formula>iff<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x254.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x255.png" xlink:type="simple"/></inline-formula> (having assumed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x256.png" xlink:type="simple"/></inline-formula>). At <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x257.png" xlink:type="simple"/></inline-formula></p><p>the weight of the second option becomes for the first time greater than the weight of the first option, and a loss equal to 1 is assigned to the second option. Therefore, in the next step <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula> the weights (before normalization) are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula>, or equivalently <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x261.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x262.png" xlink:type="simple"/></inline-formula> for the second time. In the next round they become <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x263.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x264.png" xlink:type="simple"/></inline-formula> again, and in general they oscillate between these two pairs periodically. Therefore the total loss for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x265.png" xlink:type="simple"/></inline-formula> in a pair of subsequent rounds is equal to</p><disp-formula id="scirp.52032-formula340"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x266.png"  xlink:type="simple"/></disp-formula><p>The value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x267.png" xlink:type="simple"/></inline-formula> is determined by the initially assumed inequality, and since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x268.png" xlink:type="simple"/></inline-formula> ought to be integer</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x269.png" xlink:type="simple"/></inline-formula>. The loss in the first <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x270.png" xlink:type="simple"/></inline-formula> steps <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x271.png" xlink:type="simple"/></inline-formula> is equal to</p><disp-formula id="scirp.52032-formula341"><graphic  xlink:href="http://html.scirp.org/file/1-9701946x272.png"  xlink:type="simple"/></disp-formula><p>Therefore, for an even positive integer <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x273.png" xlink:type="simple"/></inline-formula> the total loss in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x274.png" xlink:type="simple"/></inline-formula> steps is</p><disp-formula id="scirp.52032-formula342"><graphic  xlink:href="http://html.scirp.org/file/1-9701946x275.png"  xlink:type="simple"/></disp-formula><p>In a game with more than two options it is straightforward to show that in the “steady” (periodic) state weights tend to become equal, i.e. almost equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x276.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x277.png" xlink:type="simple"/></inline-formula> is the number of options. Consequently, the</p><p>loss is given by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x278.png" xlink:type="simple"/></inline-formula> in a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x279.png" xlink:type="simple"/></inline-formula> round game.</p></sec><sec id="s5_2"><title>5.2. Optimality of the greedy behavior</title><p>The following proposition provides a simple polynomial solution to the problem of finding the optimal binary adversary.</p><p>Proposition 1. The greedy strategy is optimal for the adversary among all strategies with binary penalties. □</p><p>Proof: Due to normalization of weights and penalties, in the proof we mention only option 1 weights and penalties. Assuming an initial weight <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x280.png" xlink:type="simple"/></inline-formula> and penalties <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x281.png" xlink:type="simple"/></inline-formula> in the first <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x282.png" xlink:type="simple"/></inline-formula> rounds, the weight, which</p><p>emerges before the (n + 1)th round is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x283.png" xlink:type="simple"/></inline-formula>, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x284.png" xlink:type="simple"/></inline-formula>. Effectively, two options are</p><p>available to the adversary in each step, either i) to assign a penalty equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x285.png" xlink:type="simple"/></inline-formula>, which will produce an incre-</p><p>mental loss equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x286.png" xlink:type="simple"/></inline-formula>, and will update the weight to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x287.png" xlink:type="simple"/></inline-formula> or ii) to</p><p>assign a zero penalty, which will produce a loss equal to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x288.png" xlink:type="simple"/></inline-formula> and an updated weight equal</p><p>to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x289.png" xlink:type="simple"/></inline-formula>. Define<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x290.png" xlink:type="simple"/></inline-formula>.</p><p>This looks like a new game, in which the adversary is the player. The player’s status is determined by a real</p><p>number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x291.png" xlink:type="simple"/></inline-formula>, and possible rewards are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x292.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x293.png" xlink:type="simple"/></inline-formula>. If the player opts for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x293.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x294.png" xlink:type="simple"/></inline-formula>, this will bring him to</p><p>a new status<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x295.png" xlink:type="simple"/></inline-formula>. If he opts for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x296.png" xlink:type="simple"/></inline-formula>, this will bring him to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x297.png" xlink:type="simple"/></inline-formula>. In our case<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x298.png" xlink:type="simple"/></inline-formula>. Note also that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x300.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x301.png" xlink:type="simple"/></inline-formula>. Moreover, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x302.png" xlink:type="simple"/></inline-formula> is the root of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x303.png" xlink:type="simple"/></inline-formula> (or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x304.png" xlink:type="simple"/></inline-formula>),</p><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x305.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x306.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x307.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x308.png" xlink:type="simple"/></inline-formula>. It is easy to prove that there is an odd symmetry</p><p>around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x309.png" xlink:type="simple"/></inline-formula>, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x310.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x310.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x311.png" xlink:type="simple"/></inline-formula> is concave in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x310.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x312.png" xlink:type="simple"/></inline-formula>, while it is</p><p>convex in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x313.png" xlink:type="simple"/></inline-formula>.</p><p>Assume that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x314.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x315.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x316.png" xlink:type="simple"/></inline-formula>. If the current status of the player is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x317.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x318.png" xlink:type="simple"/></inline-formula>, the greedy behavior is to move <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x318.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x319.png" xlink:type="simple"/></inline-formula> times to the right, which (unless <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x318.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x319.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x320.png" xlink:type="simple"/></inline-formula> is too short) will</p><p>bring the player to a point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x321.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x322.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x323.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x322.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x323.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x324.png" xlink:type="simple"/></inline-formula> and the greedy</p><p>player must choose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x325.png" xlink:type="simple"/></inline-formula> and move back to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x326.png" xlink:type="simple"/></inline-formula>. Effectively, this starts an oscillation between</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x327.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x328.png" xlink:type="simple"/></inline-formula>, which will last until the end of the game. In the following we prove that this behavior is optimal, in spite of the fact that profits around <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x329.png" xlink:type="simple"/></inline-formula> are low.</p><p>The main idea behind this sketch of proof is that a retreat (with consequent low profits <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x330.png" xlink:type="simple"/></inline-formula> is never a</p><p>good investment for the future. Assume <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x331.png" xlink:type="simple"/></inline-formula> as the player’s status, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x332.png" xlink:type="simple"/></inline-formula> steps (rounds) remain until the end of</p><p>the game, while<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x333.png" xlink:type="simple"/></inline-formula>. The player executes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x334.png" xlink:type="simple"/></inline-formula> forward steps, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x334.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x335.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x333.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x334.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x335.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x336.png" xlink:type="simple"/></inline-formula>, with</p><p>rewards<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x337.png" xlink:type="simple"/></inline-formula>. Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x337.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x338.png" xlink:type="simple"/></inline-formula>backward steps with gains <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x337.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x338.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x339.png" xlink:type="simple"/></inline-formula> are executed; consequently <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x337.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x338.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x339.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x340.png" xlink:type="simple"/></inline-formula> is</p><p>reached again. In the rest of the game, i.e. until the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x341.png" xlink:type="simple"/></inline-formula>th step, greedy selections are made. This course of events is shown on curve (a) in <xref ref-type="fig" rid="fig3">Figure 3</xref>, where the dots mark the rewards achieved (and some dots have been vertically displaced by a small amount so as to be distinguishable from other dots at the same position). If greedy selections had been made all the way, the course of events would be as shown by curve (b).</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x342.png" xlink:type="simple"/></inline-formula> describes the status of the adversary on the greedy curve (b) at the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x343.png" xlink:type="simple"/></inline-formula>th step and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x342.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x344.png" xlink:type="simple"/></inline-formula> the status on curve</p><p>(a), then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x345.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x345.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x346.png" xlink:type="simple"/></inline-formula>. Furthermore,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x345.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x346.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x347.png" xlink:type="simple"/></inline-formula>. Therefore the difference</p><p>between the cumulative reward on curve (b) and curve (a) is</p><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Sample paths of player behavior, which are used in the proof of Proposition 1</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-9701946x348.png"/></fig><disp-formula id="scirp.52032-formula343"><graphic  xlink:href="http://html.scirp.org/file/1-9701946x349.png"  xlink:type="simple"/></disp-formula><p>Effectively we need to show that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula>. First, let us make some observations and explore other variations of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula>. Note that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula>, as given by (14), is positive if the cumulative reward from the back and forth movement (in the first <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula> steps) is less than the reward in the last <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula> steps. However, as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula> increases, the position of the last step approaches <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula> and it can be shown that the cumulative reward of the last <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula> steps decreases. This property will be proved later, and it is due to the convexity and monotonicity properties of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula>. When <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula> further increases, some of the very last <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula> steps of the greedy behavior enter the phase of oscillation around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula>, and for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x362.png" xlink:type="simple"/></inline-formula> sufficiently large, all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x363.png" xlink:type="simple"/></inline-formula> belong to the oscillation phase. Note, however, that the oscillation phase rewards are those closer to 1/2, which is the lower limit of all greedy steps. If the greedy algorithm is to be optimal, even the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x364.png" xlink:type="simple"/></inline-formula> oscillatory steps should bring a cumulative reward greater than the original back and forth movement. On the other hand, if we prove this last inequality, this will also prove (14), whose last <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x365.png" xlink:type="simple"/></inline-formula> steps bring more reward than the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x351.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x355.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x361.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x365.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x366.png" xlink:type="simple"/></inline-formula> oscillatory steps.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x367.png" xlink:type="simple"/></inline-formula> be the pair of oscillation points around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x368.png" xlink:type="simple"/></inline-formula>, i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x368.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x369.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x367.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x368.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x369.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x370.png" xlink:type="simple"/></inline-formula>. In</p><p>the worst case, which has just been mentioned,</p><disp-formula id="scirp.52032-formula344"><graphic  xlink:href="http://html.scirp.org/file/1-9701946x371.png"  xlink:type="simple"/></disp-formula><p>However, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x372.png" xlink:type="simple"/></inline-formula>can be seen as the sum of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x372.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x373.png" xlink:type="simple"/></inline-formula> terms<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x372.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x373.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x374.png" xlink:type="simple"/></inline-formula>, for</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x375.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x375.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x376.png" xlink:type="simple"/></inline-formula>. We shall further prove that each of these terms is smaller than the difference inside the big parentheses, i.e.</p><disp-formula id="scirp.52032-formula345"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x377.png"  xlink:type="simple"/></disp-formula><p>This is a consequence of the following lemma:</p><p>Lemma 1. For any concave function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x378.png" xlink:type="simple"/></inline-formula> the following inequality is true:</p><disp-formula id="scirp.52032-formula346"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x379.png"  xlink:type="simple"/></disp-formula><p>Inequality (15) holds because</p><disp-formula id="scirp.52032-formula347"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x380.png"  xlink:type="simple"/></disp-formula><p>which is a consequence of the mean value theorem stating that there is a point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x381.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x382.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x383.png" xlink:type="simple"/></inline-formula>. Also, there is a point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x384.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x384.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x385.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x386.png" xlink:type="simple"/></inline-formula>. However, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x386.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x387.png" xlink:type="simple"/></inline-formula>is a concave function, and its derivative is non-increa-</p><p>sing, therefore <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x388.png" xlink:type="simple"/></inline-formula> implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x388.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x389.png" xlink:type="simple"/></inline-formula>, which proves (16). In fact (15) can be</p><p>easily generalized to any same length intervals, even overlapping ones, i.e. if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x390.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.52032-formula348"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-9701946x391.png"  xlink:type="simple"/></disp-formula><p>Due to (15) each successive equal length (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x392.png" xlink:type="simple"/></inline-formula>) interval produces an incremental reward</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x393.png" xlink:type="simple"/></inline-formula>, which is smaller than the incremental reward of the next interval, and of all succeeding</p><p>intervals, as long as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x394.png" xlink:type="simple"/></inline-formula> remains concave. Effectively, Lemma 1 proves that the incremental reward of the</p><p>rightmost interval, which does not contain<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x395.png" xlink:type="simple"/></inline-formula>, i.e. the interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x395.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x396.png" xlink:type="simple"/></inline-formula>, is the highest among the rewards</p><p>of all intervals of the same length, which begin to the left of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x397.png" xlink:type="simple"/></inline-formula>. Unfortunately, our aim was to prove (14), which would be secured if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x397.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x398.png" xlink:type="simple"/></inline-formula> remained concave in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x397.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x398.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x399.png" xlink:type="simple"/></inline-formula>, e.g. if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x397.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x398.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x399.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x400.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x397.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x398.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x399.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x400.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x401.png" xlink:type="simple"/></inline-formula>. However this is</p><p>not true, since at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x402.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x402.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x403.png" xlink:type="simple"/></inline-formula> turns from concave to convex. Fortunately, the term<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x402.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x403.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x404.png" xlink:type="simple"/></inline-formula>, which covers</p><p>the interval <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x405.png" xlink:type="simple"/></inline-formula> can be seen as the sum of rewards related with the concave <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x405.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x406.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x405.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x406.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x407.png" xlink:type="simple"/></inline-formula> and the con-</p><p>cave <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x408.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x408.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x409.png" xlink:type="simple"/></inline-formula>. Due to the odd symmetry around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x408.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x409.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x410.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x411.png" xlink:type="simple"/></inline-formula>, therefore<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x411.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x412.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x413.png" xlink:type="simple"/></inline-formula>.</p><p>However, due to the concavity of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x414.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x414.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x415.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x416.png" xlink:type="simple"/></inline-formula>. Therefore</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x417.png" xlink:type="simple"/></inline-formula>.</p><p>This result states that the interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x418.png" xlink:type="simple"/></inline-formula>, which contains<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x418.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x419.png" xlink:type="simple"/></inline-formula>, provides higher <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x418.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x419.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x420.png" xlink:type="simple"/></inline-formula> than the previous</p><p>interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x421.png" xlink:type="simple"/></inline-formula>, which in turn is higher than the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x421.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x422.png" xlink:type="simple"/></inline-formula> of any previous interval of the same length.</p><p>Therefore we have seen so far that a sequence of penalties, which begins at some <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x423.png" xlink:type="simple"/></inline-formula> and involves one fold, can be reduced to a sequence without any folds, and with improved total reward, as shown in <xref ref-type="fig" rid="fig4">Figure 4</xref>. In <xref ref-type="fig" rid="fig4">Figure 4</xref> a sequence of steps with a single fold, which starts at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x423.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x424.png" xlink:type="simple"/></inline-formula> and ends at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x423.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x424.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x425.png" xlink:type="simple"/></inline-formula>, is shown together with the</p><p>respective greedy sequence, which starts at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x426.png" xlink:type="simple"/></inline-formula> and ends at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x426.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x427.png" xlink:type="simple"/></inline-formula>. If the sequence must extend after</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x428.png" xlink:type="simple"/></inline-formula>, the additional steps are oscillation steps around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x428.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x429.png" xlink:type="simple"/></inline-formula>. The rest of this proof is just an application of this result, so that a sequence with an arbitrary number of folds can be reduced to an improved reward foldless sequence.</p><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Reduction of a sequence of penalties, which contains a fold, to a sequence without folds and with improved total reward</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-9701946x430.png"/></fig><p>Suppose that the initial position of the game is at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula>, and that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula> (otherwise reverse the initial probabilities<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula>). Suppose also that the initial sequence does not extend beyond<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula>, i.e. it does not reach <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula> or it involves a number of oscillations around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula>. Then take the last fold and reduce it as mentioned, i.e. by replacing it with an equal number of greedy steps at the end of the current sequence. If these steps reach<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x437.png" xlink:type="simple"/></inline-formula>, they are oscillation steps. Repeat the same step, until all folds have disappeared (oscillations do not count as folds). If the original sequence does extend beyond<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x438.png" xlink:type="simple"/></inline-formula>, the approach is the same, but the reader should note that the application of this algorithm will finally reduce the part, which extends beyond<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x438.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x439.png" xlink:type="simple"/></inline-formula>, to oscillations between <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x438.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x439.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x440.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x431.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x432.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x433.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x434.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x435.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x436.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x438.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x439.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x440.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-9701946x441.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s6"><title>6. Conclusion</title><p>We summarize the main results of this paper: An worst performance (adversarial) analysis of the Hedge algorithm has been presented, under the assumption of limited penalties per round. A recursive expression has been given for the evaluation of the maximum total cumulative loss; this expression can be exploited both numerically and analytically. However, binary penalty schemes provide an excellent approximation to the optimal scheme, and, remarkably, the greedy binary strategy has been proved optimal among binary schemes for the adversary.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.52032-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Robbins, H. (1952) Some Aspects of the Sequential Design of Experiments. Bulletin of the American Mathematical Society, 58, 527-535. http://dx.doi.org/10.1090/S0002-9904-1952-09620-8</mixed-citation></ref><ref id="scirp.52032-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Freund, Y. and Schapire, R.E. (1997) A Decision-Theoretic Generalization of On-Line Learning and an Application to Boosting. Journal of Computer and System Sciences, 55, 119-139. http://dx.doi.org/10.1006/jcss.1997.1504</mixed-citation></ref><ref id="scirp.52032-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Auer, P., Cesa-Bianchi, N., Freund, Y. and Schapire, R.E. (2002) The Non-Stochastic Multi-Armed Bandit Problem. SIAM Journal on Computing, 32, 48-77. http://dx.doi.org/10.1137/S0097539701398375</mixed-citation></ref><ref id="scirp.52032-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Allenberg-Neeman, C. and Neeman, B. (2004) Full Information Game with Gains and Losses. Algorithmic Learning Theory: 15th International Conference, 3244, 264-278.</mixed-citation></ref><ref id="scirp.52032-ref5"><label>5</label><mixed-citation publication-type="book" xlink:type="simple">Dani, V., Hayes, T.P. and Kakade, S.M. (2008) The Price of Bandit Information for Online Optimization. In: Platt, J.C., Koller, D., Singer, Y. and Roweis, S., Eds., Advances in Neural Information Processing Systems, MIT Press, Cambridge, 345-352.</mixed-citation></ref><ref id="scirp.52032-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Bartlett, P., Dani, V., Hayes, T., Kakade, S., Rakhlin, A. and Tewari, A. (2008) High-Probability Regret Bounds for Bandit Online Linear Optimization. Proceedings of 22nd Annual Conference on Learning Theory (COLT), Helsinki.</mixed-citation></ref><ref id="scirp.52032-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Cesa-Bianchi, N. and Lugosi, G. (2012) Combinatorial Bandits. Journal of Computer and System Sciences, 78, 1404-1422. http://dx.doi.org/10.1016/j.jcss.2012.01.001</mixed-citation></ref><ref id="scirp.52032-ref8"><label>8</label><mixed-citation publication-type="book" xlink:type="simple">Uchiya, T., Nakamura, A. and Kudo, M. (2010) Algorithms for Adversarial Bandit Problems with Multiple Plays. In: Hutter, M., Stephan, F., Vovk, V. and Zeugmann, T., Eds., Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence No. 6331, Springer, 375-389.</mixed-citation></ref><ref id="scirp.52032-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Auer, P., Cesa-Bianchi, N., Freund, Y. and Schapire, R.E. (1995) Gambling in a Rigged Casino: The Adversarial Multi-Armed Bandit Problem. Proceedings of 36th Annual Symposium on Foundations of Computer Science, Milwaukee, 322-331.</mixed-citation></ref><ref id="scirp.52032-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Hochbaum, D.S. (1995) Approximation Algorithms for NP-Hard Problems. PWS Publishing Company, Boston.</mixed-citation></ref><ref id="scirp.52032-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">He, D., Chen, W., Wang, L. and Liu, T.-Y. (2013) Online Learning for Auction Mechanism in Bandit Setting. Decision Support Systems, 56, 379-386. http://dx.doi.org/10.1016/j.dss.2013.07.004</mixed-citation></ref><ref id="scirp.52032-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Park, C. and Lee, J. (2012) Intelligent Traffic Control Based on Multi-Armed Bandit and Wireless Scheduling Techniques. International Conference on Advances in Vehicular System, Technologies and Applications, Venice, 23-27.</mixed-citation></ref><ref id="scirp.52032-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Bertsekas, D.P. (1998) Network Optimization. Athena Scientific, Belmont.</mixed-citation></ref><ref id="scirp.52032-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Blum, A. and Burch, C. (2000) On-Line Learning and the Metrical Task System Problem. Machine Learning, 39, 35-88. http://dx.doi.org/10.1023/A:1007621832648</mixed-citation></ref><ref id="scirp.52032-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Cole, S.J. and Lim, C. (2008) Algorithms for Network Interdiction and Fortification Games. Springer Optimization and Its Applications, 17, 609-644. http://dx.doi.org/10.1007/978-0-387-77247-9_24</mixed-citation></ref><ref id="scirp.52032-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Van&amp;euml;k, O., Jakob, M. and P&amp;euml;choucek, M. (2011) Using Agents to Improve International Maritime Transport Security. IEEE Intelligent Systems, 26, 90-95. http://dx.doi.org/10.1109/MIS.2011.23</mixed-citation></ref></ref-list></back></article>