Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple...
Transcript of Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple...
![Page 1: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/1.jpg)
Hierarchical simple games, Structure andCharacterisations
Ali Hameed and Arkadii Slinko
Department of MathematicsThe University of Auckland
21 Feb 2012
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 2: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/2.jpg)
Secret Sharing Schemes (SSS’s)
DefinitionA SSS is a method of distributing shares to a number ofparticipants, so that a subset of participants can determine thesecret if and only if that subset is authorised to do so.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 3: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/3.jpg)
Secret Sharing Schemes (SSS’s)
DefinitionA SSS is a method of distributing shares to a number ofparticipants, so that a subset of participants can determine thesecret if and only if that subset is authorised to do so.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 4: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/4.jpg)
Authorised/Winning coalitions
The collection of authorised subsets is called accessstructure.
From Game Theory perspective, an access structure is asimple game, and authorised subsets are winningcoalitions.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 5: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/5.jpg)
Authorised/Winning coalitions
The collection of authorised subsets is called accessstructure.
From Game Theory perspective, an access structure is asimple game, and authorised subsets are winningcoalitions.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 6: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/6.jpg)
Authorised/Winning coalitions
The collection of authorised subsets is called accessstructure.
From Game Theory perspective, an access structure is asimple game, and authorised subsets are winningcoalitions.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 7: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/7.jpg)
Authorised/Winning coalitions
The collection of authorised subsets is called accessstructure.
From Game Theory perspective, an access structure is asimple game, and authorised subsets are winningcoalitions.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 8: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/8.jpg)
Secret S = 10
Player A Player BShare S1 = 6 Share S2 = 4
S1 + S2 = 10
A SSS is called perfect if unauthorised coalitions receive zeroinformation about the secret.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 9: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/9.jpg)
Secret S = 10
Player A Player B
Share S1 = 6 Share S2 = 4S1 + S2 = 10
A SSS is called perfect if unauthorised coalitions receive zeroinformation about the secret.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 10: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/10.jpg)
Secret S = 10
Player A Player BShare S1 = 6 Share S2 = 4
S1 + S2 = 10
A SSS is called perfect if unauthorised coalitions receive zeroinformation about the secret.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 11: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/11.jpg)
Secret S = 10
Player A Player BShare S1 = 6 Share S2 = 4
S1 + S2 = 10
A SSS is called perfect if unauthorised coalitions receive zeroinformation about the secret.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 12: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/12.jpg)
Secret S = 10
Player A Player BShare S1 = 6 Share S2 = 4
S1 + S2 = 10
A SSS is called perfect if unauthorised coalitions receive zeroinformation about the secret.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 13: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/13.jpg)
Secret S < ab
Player A Player B
S1 = S mod a S2 = S mod bSolve using the Chinese Remainder Theorem
And this scheme is not perfect
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 14: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/14.jpg)
Secret S < ab
Player A Player BS1 = S mod a S2 = S mod b
Solve using the Chinese Remainder Theorem
And this scheme is not perfect
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 15: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/15.jpg)
Secret S < ab
Player A Player BS1 = S mod a S2 = S mod b
Solve using the Chinese Remainder Theorem
And this scheme is not perfect
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 16: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/16.jpg)
Secret S < ab
Player A Player BS1 = S mod a S2 = S mod b
Solve using the Chinese Remainder Theorem
And this scheme is not perfect
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 17: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/17.jpg)
Length of a share or secret is thenumber of bits used to write it.
DefinitionA perfect SSS is called ideal if the length of the share is equalto the length of the secret.
Examples of ideal SSS are numerous, in particular, hierarchicalSSS that will be considered later are ideal.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 18: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/18.jpg)
Length of a share or secret is thenumber of bits used to write it.
DefinitionA perfect SSS is called ideal if the length of the share is equalto the length of the secret.
Examples of ideal SSS are numerous, in particular, hierarchicalSSS that will be considered later are ideal.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 19: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/19.jpg)
Length of a share or secret is thenumber of bits used to write it.
DefinitionA perfect SSS is called ideal if the length of the share is equalto the length of the secret.
Examples of ideal SSS are numerous, in particular, hierarchicalSSS that will be considered later are ideal.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 20: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/20.jpg)
The Big Project
ProblemCharacterise all ideal simple games.
This problem turned out to be extremely difficult, so thefocus shifted to some subclasses of ideal simple games.
The first subclass is called Weighted Simple Games(WSG), introduced by [von Neumann and Morgenstern,1944].
Definition (Weighted simple games)
Let w1, . . . ,wn be a system of non-negative weights and q ≥ 0.We define
Γ = {X ∈ 2U |∑i∈X
wi ≥ q}.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 21: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/21.jpg)
The Big Project
ProblemCharacterise all ideal simple games.
This problem turned out to be extremely difficult, so thefocus shifted to some subclasses of ideal simple games.
The first subclass is called Weighted Simple Games(WSG), introduced by [von Neumann and Morgenstern,1944].
Definition (Weighted simple games)
Let w1, . . . ,wn be a system of non-negative weights and q ≥ 0.We define
Γ = {X ∈ 2U |∑i∈X
wi ≥ q}.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 22: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/22.jpg)
The Big Project
ProblemCharacterise all ideal simple games.
This problem turned out to be extremely difficult, so thefocus shifted to some subclasses of ideal simple games.
The first subclass is called Weighted Simple Games(WSG), introduced by [von Neumann and Morgenstern,1944].
Definition (Weighted simple games)
Let w1, . . . ,wn be a system of non-negative weights and q ≥ 0.We define
Γ = {X ∈ 2U |∑i∈X
wi ≥ q}.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 23: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/23.jpg)
The Big Project
ProblemCharacterise all ideal simple games.
This problem turned out to be extremely difficult, so thefocus shifted to some subclasses of ideal simple games.
The first subclass is called Weighted Simple Games(WSG), introduced by [von Neumann and Morgenstern,1944].
Definition (Weighted simple games)
Let w1, . . . ,wn be a system of non-negative weights and q ≥ 0.We define
Γ = {X ∈ 2U |∑i∈X
wi ≥ q}.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 24: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/24.jpg)
The Big Project
ProblemCharacterise all ideal simple games.
This problem turned out to be extremely difficult, so thefocus shifted to some subclasses of ideal simple games.
The first subclass is called Weighted Simple Games(WSG), introduced by [von Neumann and Morgenstern,1944].
Definition (Weighted simple games)
Let w1, . . . ,wn be a system of non-negative weights and q ≥ 0.We define
Γ = {X ∈ 2U |∑i∈X
wi ≥ q}.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 25: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/25.jpg)
Example of weightedness
ExampleAn electronic fund transfer of a large sum of money can beauthorised by either:
1 two general managers, or
2 three senior tellers, or
3 one general manager and two senior tellers.
If the two general managers have weights w1a = w1b = 3, andIf the three senior tellers have weights w2a = w2b = w2c = 2,
such that q = 6, then this is a weighted game.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 26: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/26.jpg)
Characterisation of Ideal WSG’s
Ideal WSG’s have been characterised.
A player whose removal from a winning coalition keeps thecolaition winning is Dummy.
The characterisation is for simple games with no dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A WSG Γ is ideal iff one of the following three conditions holds:
Γ is a hierarchical simple game of at most two levels;Γ is a tripartite simple game;Γ is a composition of two ideal WSG’s.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 27: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/27.jpg)
Characterisation of Ideal WSG’s
Ideal WSG’s have been characterised.A player whose removal from a winning coalition keeps thecolaition winning is Dummy.
The characterisation is for simple games with no dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A WSG Γ is ideal iff one of the following three conditions holds:
Γ is a hierarchical simple game of at most two levels;Γ is a tripartite simple game;Γ is a composition of two ideal WSG’s.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 28: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/28.jpg)
Characterisation of Ideal WSG’s
Ideal WSG’s have been characterised.A player whose removal from a winning coalition keeps thecolaition winning is Dummy.
The characterisation is for simple games with no dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A WSG Γ is ideal iff one of the following three conditions holds:
Γ is a hierarchical simple game of at most two levels;Γ is a tripartite simple game;Γ is a composition of two ideal WSG’s.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 29: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/29.jpg)
Characterisation of Ideal WSG’s
Ideal WSG’s have been characterised.A player whose removal from a winning coalition keeps thecolaition winning is Dummy.
The characterisation is for simple games with no dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A WSG Γ is ideal iff one of the following three conditions holds:
Γ is a hierarchical simple game of at most two levels;Γ is a tripartite simple game;Γ is a composition of two ideal WSG’s.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 30: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/30.jpg)
The next stepDefinition (Roughly Weighted (RWSG))
If X ∈ 2U is such that∑
i∈X wi > q, then X is authorized(belongs to Γ);
If Y ∈ 2U is such that∑
i∈Y wi < q, then Y is notauthorized.If Z ∈ 2U is such that
∑i∈Z wi = q, then a tie-breaking rule
will decide whether the set is authorized or not.
ProblemCharacterise all ideal RWSGs.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 31: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/31.jpg)
The next stepDefinition (Roughly Weighted (RWSG))
If X ∈ 2U is such that∑
i∈X wi > q, then X is authorized(belongs to Γ);If Y ∈ 2U is such that
∑i∈Y wi < q, then Y is not
authorized.
If Z ∈ 2U is such that∑
i∈Z wi = q, then a tie-breaking rulewill decide whether the set is authorized or not.
ProblemCharacterise all ideal RWSGs.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 32: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/32.jpg)
The next stepDefinition (Roughly Weighted (RWSG))
If X ∈ 2U is such that∑
i∈X wi > q, then X is authorized(belongs to Γ);If Y ∈ 2U is such that
∑i∈Y wi < q, then Y is not
authorized.If Z ∈ 2U is such that
∑i∈Z wi = q, then a tie-breaking rule
will decide whether the set is authorized or not.
ProblemCharacterise all ideal RWSGs.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 33: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/33.jpg)
The next stepDefinition (Roughly Weighted (RWSG))
If X ∈ 2U is such that∑
i∈X wi > q, then X is authorized(belongs to Γ);If Y ∈ 2U is such that
∑i∈Y wi < q, then Y is not
authorized.If Z ∈ 2U is such that
∑i∈Z wi = q, then a tie-breaking rule
will decide whether the set is authorized or not.
ProblemCharacterise all ideal RWSGs.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 34: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/34.jpg)
The next stepDefinition (Roughly Weighted (RWSG))
If X ∈ 2U is such that∑
i∈X wi > q, then X is authorized(belongs to Γ);If Y ∈ 2U is such that
∑i∈Y wi < q, then Y is not
authorized.If Z ∈ 2U is such that
∑i∈Z wi = q, then a tie-breaking rule
will decide whether the set is authorized or not.
ProblemCharacterise all ideal RWSGs.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 35: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/35.jpg)
The natural class of Hierarchical simple games(HSG’s)
Figure: An m-level hierarchical simple game
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 36: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/36.jpg)
Disjunctive hierarchical simple game (DHSG)
DefinitionIn a DHSG, a coalition of participants is authorised if it containsat least k1 members from level 1, or k2 members from levels 1and 2, or k3 members from levels 1, 2 and 3 etc.
ExampleAn electronic fund transfer of a large sum of money can beauthorised by either:
1 two general managers, or
2 three senior tellers, or
3 one general manager and two senior tellers.
So it is two levels:The general managers L1 with k1 = 2, andThe senior tellers L2 with k2 = 3.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 37: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/37.jpg)
Disjunctive hierarchical simple game (DHSG)
DefinitionIn a DHSG, a coalition of participants is authorised if it containsat least k1 members from level 1, or k2 members from levels 1and 2, or k3 members from levels 1, 2 and 3 etc.
ExampleAn electronic fund transfer of a large sum of money can beauthorised by either:
1 two general managers, or
2 three senior tellers, or
3 one general manager and two senior tellers.
So it is two levels:The general managers L1 with k1 = 2, andThe senior tellers L2 with k2 = 3.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 38: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/38.jpg)
Conjunctive Hierarchical simple game (CHSG)
DefinitionIn a CHSG, a coalition of participants is authorised if it containsat least k1 members from level 1, and k2 members from levels 1and 2, and k3 members from levels 1, 2 and 3 etc.
ExampleA passage of a resolution in the United Nations SecurityCouncil requires the vote of at least:
1 9 members in total, and
2 at least 5 permanent members.
So it is two levels:The permenant members L1 with k1 = 5, andThe non-permanent members L2 with k2 = 9.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 39: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/39.jpg)
Conjunctive Hierarchical simple game (CHSG)
DefinitionIn a CHSG, a coalition of participants is authorised if it containsat least k1 members from level 1, and k2 members from levels 1and 2, and k3 members from levels 1, 2 and 3 etc.
ExampleA passage of a resolution in the United Nations SecurityCouncil requires the vote of at least:
1 9 members in total, and
2 at least 5 permanent members.
So it is two levels:The permenant members L1 with k1 = 5, andThe non-permanent members L2 with k2 = 9.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 40: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/40.jpg)
A coalition X is said to be blocking, if X c is losing.
Definition
The simple games G and Gd are duals of each other if thewinning coalitions of Gd are the blocking coalitions of G.
Theorem
DHSG’s and CHSG’s are duals of each other.
Example
The DHSG k = (2,4),n = (2,4), is the dual game of the CHSGk = (1,3),n = (2,4){12,2} is blocking in DHSG and is winning in CHSG,{1,22} is blocking in DHSG and is winning in CHSG.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 41: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/41.jpg)
A coalition X is said to be blocking, if X c is losing.
Definition
The simple games G and Gd are duals of each other if thewinning coalitions of Gd are the blocking coalitions of G.
Theorem
DHSG’s and CHSG’s are duals of each other.
Example
The DHSG k = (2,4),n = (2,4), is the dual game of the CHSGk = (1,3),n = (2,4){12,2} is blocking in DHSG and is winning in CHSG,{1,22} is blocking in DHSG and is winning in CHSG.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 42: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/42.jpg)
A coalition X is said to be blocking, if X c is losing.
Definition
The simple games G and Gd are duals of each other if thewinning coalitions of Gd are the blocking coalitions of G.
Theorem
DHSG’s and CHSG’s are duals of each other.
Example
The DHSG k = (2,4),n = (2,4), is the dual game of the CHSGk = (1,3),n = (2,4){12,2} is blocking in DHSG and is winning in CHSG,{1,22} is blocking in DHSG and is winning in CHSG.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 43: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/43.jpg)
A coalition X is said to be blocking, if X c is losing.
Definition
The simple games G and Gd are duals of each other if thewinning coalitions of Gd are the blocking coalitions of G.
Theorem
DHSG’s and CHSG’s are duals of each other.
Example
The DHSG k = (2,4),n = (2,4), is the dual game of the CHSGk = (1,3),n = (2,4)
{12,2} is blocking in DHSG and is winning in CHSG,{1,22} is blocking in DHSG and is winning in CHSG.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 44: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/44.jpg)
A coalition X is said to be blocking, if X c is losing.
Definition
The simple games G and Gd are duals of each other if thewinning coalitions of Gd are the blocking coalitions of G.
Theorem
DHSG’s and CHSG’s are duals of each other.
Example
The DHSG k = (2,4),n = (2,4), is the dual game of the CHSGk = (1,3),n = (2,4){12,2} is blocking in DHSG and is winning in CHSG,{1,22} is blocking in DHSG and is winning in CHSG.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 45: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/45.jpg)
Weighted DHSG’s
A trivial level is a level whose players either form authorisedcoalitions individually, or they are dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A HSG is weighted iff it has up to four levels but only twonon-trivial. The non-trivial levels Li ,Li+1 must have either:
ki+1 = ki + 1, orni+1 = ki+1 − ki + 1.
An analogue of the above theorem for CHSG’s is found byDuality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 46: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/46.jpg)
Weighted DHSG’s
A trivial level is a level whose players either form authorisedcoalitions individually, or they are dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A HSG is weighted iff it has up to four levels but only twonon-trivial. The non-trivial levels Li ,Li+1 must have either:
ki+1 = ki + 1, orni+1 = ki+1 − ki + 1.
An analogue of the above theorem for CHSG’s is found byDuality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 47: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/47.jpg)
Weighted DHSG’s
A trivial level is a level whose players either form authorisedcoalitions individually, or they are dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A HSG is weighted iff it has up to four levels but only twonon-trivial. The non-trivial levels Li ,Li+1 must have either:
ki+1 = ki + 1, orni+1 = ki+1 − ki + 1.
An analogue of the above theorem for CHSG’s is found byDuality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 48: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/48.jpg)
Weighted DHSG’s
A trivial level is a level whose players either form authorisedcoalitions individually, or they are dummies.
Theorem (Beimel, Tassa and Weinreb, 2008)A HSG is weighted iff it has up to four levels but only twonon-trivial. The non-trivial levels Li ,Li+1 must have either:
ki+1 = ki + 1, orni+1 = ki+1 − ki + 1.
An analogue of the above theorem for CHSG’s is found byDuality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 49: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/49.jpg)
Some definitions
In an access structure Γ, i is said to be more senior than j ,formally i �Γ j , if X ∪ {j} ∈ Γ implies X ∪ {i} ∈ Γ for everyset X ⊆ U not containing i and j . The game is calledcomplete if �Γ is a total order.
A shift is a replacement of a player by a less senior one.
A shift-maximal coalition is a losing coalition whose everysuperset is winning and cannot be obtained from anylosing coalition by a shift.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 50: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/50.jpg)
Some definitions
In an access structure Γ, i is said to be more senior than j ,formally i �Γ j , if X ∪ {j} ∈ Γ implies X ∪ {i} ∈ Γ for everyset X ⊆ U not containing i and j . The game is calledcomplete if �Γ is a total order.
A shift is a replacement of a player by a less senior one.
A shift-maximal coalition is a losing coalition whose everysuperset is winning and cannot be obtained from anylosing coalition by a shift.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 51: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/51.jpg)
Some definitions
In an access structure Γ, i is said to be more senior than j ,formally i �Γ j , if X ∪ {j} ∈ Γ implies X ∪ {i} ∈ Γ for everyset X ⊆ U not containing i and j . The game is calledcomplete if �Γ is a total order.
A shift is a replacement of a player by a less senior one.
A shift-maximal coalition is a losing coalition whose everysuperset is winning and cannot be obtained from anylosing coalition by a shift.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 52: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/52.jpg)
Some definitions
In an access structure Γ, i is said to be more senior than j ,formally i �Γ j , if X ∪ {j} ∈ Γ implies X ∪ {i} ∈ Γ for everyset X ⊆ U not containing i and j . The game is calledcomplete if �Γ is a total order.
A shift is a replacement of a player by a less senior one.
A shift-maximal coalition is a losing coalition whose everysuperset is winning and cannot be obtained from anylosing coalition by a shift.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 53: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/53.jpg)
Which HSGs are roughly weighted but not weighted?
The main tool in the characterisation:
Theorem
The class of disjunctive hierarchical simple games are exactlythe class of complete games with a unique shift-maximal losingcoalition.
An analogue of the above theorem for CHSG’s is alsofound by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 54: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/54.jpg)
Which HSGs are roughly weighted but not weighted?
The main tool in the characterisation:
Theorem
The class of disjunctive hierarchical simple games are exactlythe class of complete games with a unique shift-maximal losingcoalition.
An analogue of the above theorem for CHSG’s is alsofound by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 55: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/55.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 56: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/56.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 57: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/57.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 58: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/58.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);
(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 59: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/59.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 60: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/60.jpg)
Roughly Weighted DHSG that are non-weighted
TheoremA DHSG is roughly weighted if and only if it has up to threenon-trivial levels, such that:
If it has two levels Li ,Li+1, then ki+1 = ki + 2;
If it has three levels, then some restrictions apply to thenumber of players of each level;
Example(i) k1 = 2, k2 = 3, k3 = 4, with n1 = 2,n2 = 2,n3 = 3 denotedk = (2,3,4),n = (2,2,3);(ii) k = (3,4,6),n = (3,3,3).
A characterisation for the Roughly weighted CHSG’s isalso found by Duality.
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations
![Page 61: Hierarchical simple games, Structure and …...Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations The next step Definition (Roughly Weighted](https://reader034.fdocuments.us/reader034/viewer/2022043019/5f3b11c31dbc2e43667bc724/html5/thumbnails/61.jpg)
THANK YOU !
Ali Hameed and Arkadii Slinko Hierarchical simple games, Structure and Characterisations