[Cs5500] More questions - Homework 1

[Karl Lieberherr]

Hi Tugba:

is this clear now? Think of Instance and Solution as prerequisites to define
what a Claim is.
Levels:
SCG: Claim
Playground: Instance, Solution

-- Karl

On Mon, Sep 19, 2011 at 10:16 AM,  <tkoc at ccs.neu.edu> wrote:
> Hi,
>
> Thank you Madhuvanthi. I have completely the same questions. Also, I couldn`t understand the difference between claim and instance.
>
> For example, we say Alice makes a claim C=0.5, but in protocol we say Bob provides x, Alice provides y. How does Alice provide y? She makes a claim with a c value, not with a y value. I am really confused.
>
> Best,
>
> Tugba Koc
>
> ----- Original Message -----
> From: "Madhuvanthi Balasubramanian" <balasubramanian.m at husky.neu.edu>
> To: "Managing Software Development" <cs5500 at lists.ccs.neu.edu>
> Sent: Sunday, September 18, 2011 10:56:39 PM GMT -05:00 US/Canada Eastern
> Subject: [Cs5500] More questions - Homework 1
>
>
> Hello All,
>
>
>          Could someone help us with the following issues?
>
>
> 1.      How is quality calculated in general ?
>
>
>          In case of HSR, it is the ratio of the "claimed" highest rung to the highest rung n.
>          In CSP, it is the ratio of the number of variables assigned to the maximum number of variables.
>          I'm not sure how this compares to the MMG problem. Is the quality measured by how close the claimed c is, to the maximum C ? In that case, the SCG court is supposed to
>          have an idea of the maximum C, which cannot be possible. So how do we measure quality then?
>
>
> 2.      What's the deal with computing reputation in case of an agreement?
>
>
>          There are 3 conditions that both Alice and Bob would have to meet,in order to win/defend the agreement.
>          But we are not clear on how this works.(Why would Bob have to defend C,against Alice, to agree with Alice on C ?? )
>          Could someone clear this up for us?
>
>
> 3.      We have assumed that in case of a refute, an instance is provided, and in case of a strengthen, the current claim is strengthened with a better value (new claim ). Is our
>          understanding right?
>
>
> 4.       Let's say Alice makes a claim for C = 0.50, Bob strengthens it with a value of 0.55. Now can Alice only defend her own claim, or strengthen Bob's claim again? Even if she
>          defends, how does she do it? Does she provide an instance for Bob, for which he cannot provide a solution?
>
>
> 5.       Is there a document that details the different use-cases possible, in terms of proposing and opposing?
>
>
> Any help would be appreciated.
>
>
>
> --   Thanks
> - Madhu
>
> _______________________________________________
> Cs5500 mailing list
> Cs5500 at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>
> _______________________________________________
> Cs5500 mailing list
> Cs5500 at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>