population protocols and turing machines
play

Population protocols and Turing machines LEF` EVRE Jonas LIX May - PowerPoint PPT Presentation

Population protocols and Turing machines LEF` EVRE Jonas LIX May 24, 2011 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 1 / 25 Introduction A computation model introduced by Angluin, Aspnes, Diamadi, Fisher


  1. Population protocols and Turing machines LEF` EVRE Jonas LIX May 24, 2011 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 1 / 25

  2. Introduction A computation model introduced by Angluin, Aspnes, Diamadi, Fisher and Peralta in 2004. It models very large networks of passively mobile and anonymous devices. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 2 / 25

  3. Plan Population Protocols 1 Population Protocols and Turing Machines 2 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 3 / 25

  4. Plan Population Protocols 1 Population Protocols and Turing Machines 2 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 4 / 25

  5. What is a population protocol ? A very large population of devices. The devices are passively mobile (no control on the walk), anonymous (no identification) and weak (no more computational power than a finite automaton). When they meet, they can interact. The answer is read on the stabilised population. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 5 / 25

  6. How does it work ? The input word ω is distributed on a population. Some devices interact. After some time, the population becomes output-stable : from this instant and forever, all the agent give the same output. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 6 / 25

  7. A computation LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 7 / 25

  8. The fairness property Definition (Fairness) A fair execution is a sequence of configurations such that if a configuration C appears infinitely often in the execution and C → C ′ for some configuration C ′ , then C ′ must appear infinitely often in the execution. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 8 / 25

  9. Population protocols Definition (Population Protocol) A population protocol is a 6-uplet ( Q , Σ , Y , in , out , δ ) where: Q is the set of the states for the devices Σ the input alphabet and Y the output one in : Σ → Q the input function out : Q → Y the output function δ ⊂ Q 2 × Q 2 the transition relation LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 9 / 25

  10. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  11. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 1 + 1 + 1 + 1 + 1 + 1 + 1 ≤ 1 + 1 + 1 + x + x LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  12. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 � � Q ( x , y ) = x ≡ y mod 5 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  13. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 � � Q ( x , y ) = ∃ k ( x = y + k + k + k + k + k ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  14. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 � � Q ( x , y ) = x ≡ y mod 5 � � R ( x , y , z ) = ∃ k ( x + y = 4 . k ) ∧ ( z ≤ x − 2 y ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  15. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 � � Q ( x , y ) = x ≡ y mod 5 � � R ( x , y , z ) = ∃ k ( x + y = k + k + k + k ) ∧ ( z + y + y ≤ x ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  16. Presburger Arithmetic Definition (Presburger predicates) A predicate of the Presburger Arithmetic is a predicate that can be written only with ∧ , ∨ , ¬ , ∃ x , ∀ x , + , ≤ , = , 1 and 0 . Examples : � � P ( x ) = 3 + 2 x ≥ 7 � � Q ( x , y ) = x ≡ y mod 5 � � R ( x , y , z ) = ∃ k ( x + y = 4 . k ) ∧ ( z ≤ x − 2 y ) � � but neither A ( x , y , z ) = x . y = z � � � � nor B ( x , y ) = y = 0 mod x = ∃ k ( x . k = y ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 10 / 25

  17. Computed Set A semi-linear set is a finite union of { x + k 1 v 1 + · · · + k p v p | k 1 , . . . , k p ∈ N } where x , v 1 , . . . , v p are vectors of N d . Theorem The computable subset of N d by population protocols are exactly the semi-linear set. Those set can be described with Presburger predicates. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 11 / 25

  18. Semi-linear set � � � � Figure: ( y = 3) ∧ ( x = 0 mod 2) ∨ ( x ≤ y ) ∧ ( y ≤ 2 x ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 12 / 25

  19. Plan Population Protocols 1 Population Protocols and Turing Machines 2 LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 13 / 25

  20. Population protocols on strings Definition A population protocol on a string is population protocol where the devices are on the vertices of a string graph. Two devices can interact only if they are bound by an edge. We call PP ( C n ) the set of the function computable by a population protocol on a string. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 14 / 25

  21. Definitions Definition M ∈ RSPACE ( s ) if M ( x ) uses at most s ( | x | ) squares and ends with probability 1. ∀ x ∈ L , P ( M ( x ) = 1) ≥ 1 / 2 ∀ x �∈ L , P ( M ( x ) = 1) = 0 ZPSPACE ( s ) = RSPACE ( s ) ∩ coRSPACE ( s ) Definition NSPACE ( s ) is the set of non-deterministic Turing machines working with a space bound by s LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 15 / 25

  22. Definitions Definition XSPACE sym ( f ) = { L ∈ XSPACE ( f ) |∀ π permutation of positions L ( x ) = L ( π ( x )) } . LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 16 / 25

  23. The protocol Organise Theorem There is a population protocol on string Organise which transforms a uniform input into an organised string. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 17 / 25

  24. How does it work ? Each agent initially contains a head. Each head tries to construct an organised area around it. The heads oscillate into their respective areas and try to extend them. When two heads meet (at a border), one dies and resets its area. The fairness assures we obtain an organised string. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 18 / 25

  25. Population Protocols on strings and Turing Machines Theorem ZPSPACE sym ( n ) ⊆ PP ( C n ) Theorem Every population protocols on strings can be simulated by a Turing machine of NSPACE sym ( n ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 19 / 25

  26. NSPACE sym ( n ) = ZPSPACE sym ( n ) Proposition NSPACE sym ( n ) = RSPACE sym ( n ) = ZPSPACE sym ( n ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 20 / 25

  27. Caracterization of PP ( C n ) PP ( C n ) ⊆ NSPACE sym ( n ) ZPSPACE sym ( n ) ⊆ PP ( C n ) ZPSPACE sym ( n ) = NSPACE sym ( n ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 21 / 25

  28. Caracterization of PP ( C n ) PP ( C n ) ⊆ NSPACE sym ( n ) ZPSPACE sym ( n ) ⊆ PP ( C n ) ZPSPACE sym ( n ) = NSPACE sym ( n ) Theorem PP ( C n ) = ZPSPACE sym ( n ) = NSPACE sym ( n ) LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 21 / 25

  29. Conclusion Classical population protocols compute the Presburger arithmetic. Population protocols on strings are equivalent to non-deterministic Turing machines using linear space. Those results and methods can be used on intermediate situations : Further studies : other restricted communication graph, partial identification of the devices,etc. LEF` EVRE Jonas (LIX) Population protocols and Turing machines May 24, 2011 22 / 25

Recommend


More recommend