Grimmett and Stirzaker Ex 3.11.20 p85

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
-1
down vote

favorite












Let R(p) be the reliability function of a network G, each edge is working with probability p.



(a) Show that $R(p_1p_2) leq R(p_1)R(p_2) $ if $0 leq p_1, p_2 leq 1$



Their proof is:



$P$(edge is blue) $= p_1$
$P$(edge is yellow) $= p_2$

$P$(edge is green) $= p_1p_2$



$p_1$ and $p_2$ are independent of each other and all other edges.
An edge is green if is is both yellow and blue,



If there is a working green connection, then there is also a blue and green connection.



Thus:



beginalign
P(textgreen connection) &leq P(textblue connection and yellow connection)\
&=P(textblue connection)P(textyellow connection)
endalign



Thing is this is not really a proof just a statement of the result?



Where does the $leq$ come from in the first line? Given that $p_1$ and $p_2$ are independent I would expect their to be an equality as shown in the second line? What have I missed?







share|cite|improve this question















  • 1




    What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
    – saulspatz
    Jul 17 at 17:46















up vote
-1
down vote

favorite












Let R(p) be the reliability function of a network G, each edge is working with probability p.



(a) Show that $R(p_1p_2) leq R(p_1)R(p_2) $ if $0 leq p_1, p_2 leq 1$



Their proof is:



$P$(edge is blue) $= p_1$
$P$(edge is yellow) $= p_2$

$P$(edge is green) $= p_1p_2$



$p_1$ and $p_2$ are independent of each other and all other edges.
An edge is green if is is both yellow and blue,



If there is a working green connection, then there is also a blue and green connection.



Thus:



beginalign
P(textgreen connection) &leq P(textblue connection and yellow connection)\
&=P(textblue connection)P(textyellow connection)
endalign



Thing is this is not really a proof just a statement of the result?



Where does the $leq$ come from in the first line? Given that $p_1$ and $p_2$ are independent I would expect their to be an equality as shown in the second line? What have I missed?







share|cite|improve this question















  • 1




    What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
    – saulspatz
    Jul 17 at 17:46













up vote
-1
down vote

favorite









up vote
-1
down vote

favorite











Let R(p) be the reliability function of a network G, each edge is working with probability p.



(a) Show that $R(p_1p_2) leq R(p_1)R(p_2) $ if $0 leq p_1, p_2 leq 1$



Their proof is:



$P$(edge is blue) $= p_1$
$P$(edge is yellow) $= p_2$

$P$(edge is green) $= p_1p_2$



$p_1$ and $p_2$ are independent of each other and all other edges.
An edge is green if is is both yellow and blue,



If there is a working green connection, then there is also a blue and green connection.



Thus:



beginalign
P(textgreen connection) &leq P(textblue connection and yellow connection)\
&=P(textblue connection)P(textyellow connection)
endalign



Thing is this is not really a proof just a statement of the result?



Where does the $leq$ come from in the first line? Given that $p_1$ and $p_2$ are independent I would expect their to be an equality as shown in the second line? What have I missed?







share|cite|improve this question











Let R(p) be the reliability function of a network G, each edge is working with probability p.



(a) Show that $R(p_1p_2) leq R(p_1)R(p_2) $ if $0 leq p_1, p_2 leq 1$



Their proof is:



$P$(edge is blue) $= p_1$
$P$(edge is yellow) $= p_2$

$P$(edge is green) $= p_1p_2$



$p_1$ and $p_2$ are independent of each other and all other edges.
An edge is green if is is both yellow and blue,



If there is a working green connection, then there is also a blue and green connection.



Thus:



beginalign
P(textgreen connection) &leq P(textblue connection and yellow connection)\
&=P(textblue connection)P(textyellow connection)
endalign



Thing is this is not really a proof just a statement of the result?



Where does the $leq$ come from in the first line? Given that $p_1$ and $p_2$ are independent I would expect their to be an equality as shown in the second line? What have I missed?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 17 at 17:16









Bazman

365211




365211







  • 1




    What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
    – saulspatz
    Jul 17 at 17:46













  • 1




    What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
    – saulspatz
    Jul 17 at 17:46








1




1




What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
– saulspatz
Jul 17 at 17:46





What exactly is meant by a connection? If it is a monochrome path between two nodes, then I guess what is meant is that if there is a green connection then there is certainly a blue connection and a yellow connection, (the same path) but there might be another path with all yellow edges and yet another path with all blue edges.
– saulspatz
Jul 17 at 17:46











1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










The proof is rather terse. In greater detail, imagine coloring each edge in the network blue with probability $p_1$, and also color each edge yellow with probability $p_2$, with all colorings independent. Identify an edge being blue with the edge working under the "blue" regime, and identify an edge being yellow with the edge working under the "yellow" regime. If the edge is both blue and yellow, it's considered working under the "green" regime; under the "green" regime, any given edge has probability $p_1p_2$ of working.



Recall the reliability function under any given regime is defined as the expectation of the indicator that a path of the given color exists between source and sink. The point here is that if a green path exists, then a blue path exists and a yellow path exists, but not conversely, because the blue and yellow paths may not cover the same edges. In symbols,
$$
I(textgreen path exists)le I(textblue path exists)I(textyellow path exists).
$$
Taking expectations and using independence yields the result.






share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2854727%2fgrimmett-and-stirzaker-ex-3-11-20-p85%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    The proof is rather terse. In greater detail, imagine coloring each edge in the network blue with probability $p_1$, and also color each edge yellow with probability $p_2$, with all colorings independent. Identify an edge being blue with the edge working under the "blue" regime, and identify an edge being yellow with the edge working under the "yellow" regime. If the edge is both blue and yellow, it's considered working under the "green" regime; under the "green" regime, any given edge has probability $p_1p_2$ of working.



    Recall the reliability function under any given regime is defined as the expectation of the indicator that a path of the given color exists between source and sink. The point here is that if a green path exists, then a blue path exists and a yellow path exists, but not conversely, because the blue and yellow paths may not cover the same edges. In symbols,
    $$
    I(textgreen path exists)le I(textblue path exists)I(textyellow path exists).
    $$
    Taking expectations and using independence yields the result.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      The proof is rather terse. In greater detail, imagine coloring each edge in the network blue with probability $p_1$, and also color each edge yellow with probability $p_2$, with all colorings independent. Identify an edge being blue with the edge working under the "blue" regime, and identify an edge being yellow with the edge working under the "yellow" regime. If the edge is both blue and yellow, it's considered working under the "green" regime; under the "green" regime, any given edge has probability $p_1p_2$ of working.



      Recall the reliability function under any given regime is defined as the expectation of the indicator that a path of the given color exists between source and sink. The point here is that if a green path exists, then a blue path exists and a yellow path exists, but not conversely, because the blue and yellow paths may not cover the same edges. In symbols,
      $$
      I(textgreen path exists)le I(textblue path exists)I(textyellow path exists).
      $$
      Taking expectations and using independence yields the result.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        The proof is rather terse. In greater detail, imagine coloring each edge in the network blue with probability $p_1$, and also color each edge yellow with probability $p_2$, with all colorings independent. Identify an edge being blue with the edge working under the "blue" regime, and identify an edge being yellow with the edge working under the "yellow" regime. If the edge is both blue and yellow, it's considered working under the "green" regime; under the "green" regime, any given edge has probability $p_1p_2$ of working.



        Recall the reliability function under any given regime is defined as the expectation of the indicator that a path of the given color exists between source and sink. The point here is that if a green path exists, then a blue path exists and a yellow path exists, but not conversely, because the blue and yellow paths may not cover the same edges. In symbols,
        $$
        I(textgreen path exists)le I(textblue path exists)I(textyellow path exists).
        $$
        Taking expectations and using independence yields the result.






        share|cite|improve this answer













        The proof is rather terse. In greater detail, imagine coloring each edge in the network blue with probability $p_1$, and also color each edge yellow with probability $p_2$, with all colorings independent. Identify an edge being blue with the edge working under the "blue" regime, and identify an edge being yellow with the edge working under the "yellow" regime. If the edge is both blue and yellow, it's considered working under the "green" regime; under the "green" regime, any given edge has probability $p_1p_2$ of working.



        Recall the reliability function under any given regime is defined as the expectation of the indicator that a path of the given color exists between source and sink. The point here is that if a green path exists, then a blue path exists and a yellow path exists, but not conversely, because the blue and yellow paths may not cover the same edges. In symbols,
        $$
        I(textgreen path exists)le I(textblue path exists)I(textyellow path exists).
        $$
        Taking expectations and using independence yields the result.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 17 at 17:51









        grand_chat

        17.9k11121




        17.9k11121






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2854727%2fgrimmett-and-stirzaker-ex-3-11-20-p85%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?