Top Banner
HAL Id: inria-00073910 https://hal.inria.fr/inria-00073910 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. On the Impossibility of Group Membership Deepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost To cite this version: Deepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost. On the Impossi- bility of Group Membership. [Research Report] RR-2782, INRIA. 1996. <inria-00073910>
15

On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

Jul 11, 2018

Download

Documents

dangdieu
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

HAL Id: inria-00073910https://hal.inria.fr/inria-00073910

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

On the Impossibility of Group MembershipDeepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette

Charron-Bost

To cite this version:Deepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost. On the Impossi-bility of Group Membership. [Research Report] RR-2782, INRIA. 1996. <inria-00073910>

Page 2: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

ISS

N 0

249-

6399

ap por t de r ech er ch e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

On the Impossibility of Group Membership

Tushar Deepak Chandra Vassos Hadzilacos Sam Toueg

Bernadette Charron-Bost

N˚ 2782Janvier 1996

PROGRAMME 1

Page 3: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements
Page 4: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

������������ ������������������������! #"$�&%� ' �(�)���*"$���+�� -,

.0/$1�2$354�687979:;35<>=?2$3A@$BC4D30EFE G�3�1�1FHI18JK3LBCM9NPOQ3�RSHT1TE�E�E UV35WX.0H�/Y79Z[E�EFE�E\�794�@$3�BV79]^]�7�=?2$354�4^HL@�_`\�HI1F]VE�E�E�EFE

a�bdcSefbhg�i8ikj?lnmponbhqdrAsutvj�qwtvxAbdj�y*zLg�b`g�{u{}|j�{uj�y�~9�Lg�yvj�y*�9j��9cf�A�0�j�jFy�~AbA�j�yvj^g�x9�+j�tnyv�9yvt�|j�ikj�y[��s�ydtvbds��5x��j�ya�bvc��wj�t��n�$���V�$�0�

�[g�zAzLcfbvt[�9j*bdj�qdrAj�bhqdrAj��?���f�S�S��m��9g��9�9suj�b?l��f�S�nm�lSlnzLg�efj�y

� �$¡F¢�£�¤�¥�¢f¦S§�j$zAbdc��Sj$tdrLg�tCtvrAj�zAbvsuiKg�bv�f¨QzLg�bdtvsutvsucf�0eSbvcfxAz?i8j�i �LjFbvyvr5s�znzAbvcf�A{uj�i©q�g��A�AcStC�Lj�yvcf{u�Sj��su�kg�yd����qvr5bvcS�5cSxAy�yv�9yvtdj�iky�ª0sutvrkq`b`g�ydr «}g�s�{uxAbdj�y�~fj��fj��ks¬«VcS�5j�g�{u{uc�ª0y�tvrAjnbvj�i8c��Sg�{9cSb�­9su{�{usu�Aenc�«V�Acf�9¨«}g�xA{utQ� zAbvcAq`j�ydyvj�y*tdrLg�t[g�bvj?j�bdbvcf�Aj�cSx5yv{u�kydxAyvz�j�q`tdj���tvc�rLg^�Sj?q`b`g�ydrAj��T®¯8°9±T²v³?´�£Sµ�¡�¦>eSbvcfxAz+i8j�i �LjFbvyvr5s�zC~Lg�yd�9�LqdrAbvcf�AcSxAy(yv�9yvtdj�iky^~Iqwbhg�ydr�«}g�su{uxAbdj�y�~�zAbds�iKg�bd�kzLg�bvtvsutds�cf�V~­9su{�{usu�Ae?c�«Y�Acf�9¨¶«}g�xA{utQ��zAbvcAq`jFyvyvjFy�®

·¹¸ º»¶¼Q½^¾ º»�¿�Àu¼QÁ}Â`Ã

ÄdÅVÆvǶÆvÈwÉ}ʶË$ÌSÈwÉ}ÍÏÎÐÈ`ÑÒÑÐÓ�ǹÔ�Ì�Ì9Õ`ÉQÍPÆdÖ�×DÓ�ØYÙ^Ú(Û`É}ÈwÜDÍLÝTÝ�ÅßÞ¹à�á�â�ã`äFà�á�å`æVçVÅCèSç�é`ØVç�Ù^ç+çTê[ÆdÇLÛ`ÉQÈ`Ü�ÍAØVçVëYÞÏãhÞÏìwà�í�å`È`ÜSÖÈ�Û`É}ÈwÜDÍ�î¬É}Õ`êïÍÏËSÆ�ØVÈ�ÍÏÔ�ÉQÈ`Ñ�Ù^ÊQÎÐÆðÜSÊvÆvÇ5È`ÜSÖ[ñ5ÜSÛ`ÎÒÜSÆvÆðÉPÎÒÜSÛ�ÅCÆvǶÆvÈ`ÉQʶËòÝ�ÕwÔ�ÜSÊQÎÒÑ�Õwî5Ý�ÈwÜSÈ�Ö�È�óÄvÄdôYãdÞ¹õAö`â�å�÷¹øTù>ú�óSû^ó�ü?È�ͶÇPÕwÜ[ÅVÆvǶÆvÈwÉ}ʶË�Ý�ÆðÜDͶÆQÉ`å�í�â[Ù^È`ýkùnÎÒÑÒÑAÅVÕ�ÈFÖ9å�ôVÈ`ýT͹ËSÕwÉPÜSÆFå�ØTþïö`â�ì`í�ãDåhÿ�Ù^ç$óÄvÄvÄ`Ý�Õ`ê0Ì�ÔSÍPÆðÉIÙ^Ó^ÇPͶÆQê[Ç�ÅVÆdÇPÆdÈ`É}ʶË[÷ ÜSÇPÍÏÎÐ͹ÔSͶÆ�å`ÿTÜ�Î � ÆQÉQǹÎÐ͹Ó�Õ`îAú9Õ`ÉQÕ`ÜDͶÕ�å����CÎÒÜSÛ�� ÇVÝ�Õ`ÑÒÑÐÆdÛ�ÆVÅCÕ�È�Ö9å^ú�ÕwÉ}Õ`Ü�ͶÕ�å�ßÜDͶÈ`ɶÎÐÕ�åÝ�È`ÜSÈ�Ö�È�ù�ìFÙ�öwçYö^óÄdÄvÄvÄ æYÆðÌSÈ`ÉQ͹ê[ÆðÜDÍ9Õ`îLÝ�Õ`ê0Ì�ÔSͶÆQÉIÙ^ÊðÎÐÆQÜSÊdÆ�å`ÿTÌSǶÕ`Ü�ôCÈ`ÑÒѹåDÝ�Õ`ɶÜSÆQÑÒÑSÿßÜ�Î � ÆQÉQÇÏÎÐ͹Ó�å`÷¹ÍÏËSÈ�ÊvÈ�å�Øßþ ö`á�ä^ì`í�å`ÿYÙ^ç$ó�ú�Ë�ÎÐÇTÈ`ÔSÍÏËSÕ`Éý�Õ`É�^ÆvÖ[ÕwÜ�ÍÏË�ÎÐÇAÌSÈ`Ì9ÆQÉTý�Ë�ÎÒÑÐÆ�ËSÆ�ýLÈFÇTÈ�ÍV÷¹ØCÅV÷¹ç ��è5É}Õ��¶ÆvÊdÍAÅVñ�ÚAõ9ñIÝTÙ��ßÅVÕ^Ê��FÔSÆQÜSÊdÕ`Ô�ÉPÍdåhÚ^ÉQÈ`ÜSÊvÆFóÄvÄdÄvÄvÄdõ�Èw×�Õ`ÉQÈ�ͶÕ`ÎÒÉ}Æ�Ö�� ÷uÜ�îuÕ`ÉPê[ÈF͹Î��`ÔSÆ�õ9÷��$å�ñ�ÊvÕ`ÑÐÆ�èAÕwÑÐÓ�ͶÆvʶË�Ü�Î��`ÔSÆFåvà�ö�öFã`ä$èAÈ`ÑÐÈwÎÐÇPÆdÈ`Ô�Ý�ÆvÖ�Æ��Så�ÚAÅCçVØ�Ý�ñVó

Unité de recherche INRIA RocquencourtDomaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

Téléphone : (33 1) 39 63 55 11 – Télécopie : (33 1) 39 63 53 30

Page 5: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

� ��"���*�$% �����������w���� ������$��� ���������#"��?���� ������%� +"$����� ��(�������� + ��?"��$�(�������n����X% � "$� %K ��

���°A¡������° ¦��òcSxAy(zAbvcfxA�Scf�Ay��fxAj {uj zAbvcf�A{}|j�ikj �9j8{! Òg�zAzLg�bdtvj���g��Lq`j |g xA��eSbdcSxAz�jkg^�Sj�q�z�g�bvtdsutvsucS�xA�As"�fxAj��Aj�zLj�x5t$#j�tvbdj0bA�j�ydcS{ux �Ag��Ay�xA��yv�9ydt�|j�i8j�g�yv�9�LqdrAbvcf�Aj0cV|x q`j�bdthg�s��5yYz5bvcAq`j�ydyvxAy�zLjFxA�Sj��9t$tdcSi ��j�bj���zLg��5�AjS~^j�t$q`j�q`s5i�#j�i8jYyds9{! cf��g�xAtdcSbds�ydj${% j`�Lq`{uxAyvsucS���9x?eSbdcSxAz�j�cSx?{¹g'&diksuyvj[|gòikcSbdt�([�9j�zAbdc�qwj�yvydxAyq`cfbvbvj^q`tvy)�fxAsTyvcf�9t0yvxAydzLj�qwtA�j�y^~�|g(tvcfbvt�~��* +#j�tvbdj?tvcfi �0�j�y�j��KzLg��5�AjS®,>´�¢D¡F²h¥.-/�° ¦�g�zAzLg�bvtvjF�Lg��Lqwj�|g0xA��eSbdcSxAz�jS~^yv�9yvt�|j�ikjFy;g�yv�9�LqdrAbdcS�Aj�y^~S���j`«Qg�su{u{ g��Lq`j$z�g�bYg�bvb#j�t�~�z�g�bvtdsutvsucS�zAbds�iKg�subvjf~Sj`�Lq`{uxAydsucS�+�* xA�kz5bvcAq`j�ydyvxAy?q`cfbvbvj^q`t�®

Page 6: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

����������� ������������������������ �"!#�%$& (')���*�#��!#�#�+�, -

. ;���$"$� � %��0�����&�

/0rAj zAbdcS�A{uj�i c�«10 !��2$& 3�*��������!#�#�+�4 rLg�y*�Lj�jF�ïtvr5j?«PcAq`x5y?c�« i x�qvr tvrAj�cfbvj�tds¹q�g�{0g��L� j`�Az�j�bvsuikjF�9¨thg�{�ª cfbv­+cf�+«}g�xA{utQ¨Qtvcf{�jFbhg��9t[�9suydtvbvsu�Ax5tvj���yd��ydtvj�i8y�®�o eSbdcSxAz�ikj�i ��j�bdyvrAsuzKzAbvcftvcAq`cf{$i�g��Lg�efj�y[tdrAj«Pcfbvi�g�tvsucS�Kg��L� i�g�su�9tvjF�Lg��Lqwj�c�«�g ydj�t*c�« z5bvcAq`j�ydyvj�y q�g�{u{uj��+g50 !#�%$& ®T�5cSbnj`�Lg�ikz5{�jf~Ag eSbdcSxAz i�g^���j�g8yvj�t�c�«[z5bvcAq`j�ydyvj�y8tvrLg�t�g�bdjkq`c9cSz�j�bhg�tvsu�Ae+tdc�ª�g�bh�9y�g q`cSi8ikcS�Kt`g�yv­76¶jS® eL®u~TtdrAj zAbvsuiKg�bv��g��L��Lgfqv­9xAzKydj�bv�fj�bvy*c�« g �Ag�thg��Lg�ydj98�~�g�yvj�tnc�«$zAbvcAq`jFyvyvjFy?tvrLg�t0yvrLg�bvj�g qwcSiki8cS��su��tdj�bvjFyvt:6PjS® e�®�~Aqw{�suj��9tdytvr�g�t yvx5�Ayhq`bdsu�Lj+tdcïg+z�g�bvtds¹q`xA{¹g�b �AjFª0yveSbdcSxAz;8�~$cfb tvrAjKydj�tkc�«�g�{u{0zAbdcAq`j�yvydj�yKsu�ïtvr5j+yv�9yvtdj�itvrLg�tg�bdj�q`xAbdbvj��9td{����9j�j�i8j��Ktvc ��j�cSz�j�bhg�tvsucS�Lg�{Q®=<Q�+eSj��5j�bhg�{}~�g zAbdcAq`j�yvy(i�g^� �>�#?%@%� g eSbdcSxAzK��j�q�g�xAyvj sut«}g�s�{uj��ß~Lsut?�fcS{uxA�9thg�bvsu{u�kbdj�fxAj�yvtdj�� tvc+{uj�g^�fjS~Tcfb�sut?suyn«Pcfbhq`su�A{u�+j`�Az�j�{u{uj����9� cftvrAj�b(ikj�i ��j�bvy*c�«�tdrAjeSbdcSxAzC®L�9suiksu{¹g�bd{u�S~Sg�zAbdc�qwj�yvy?iKg^�1A �%��� g�eSbvcfxAzCB�«PcSb0j`�Lg�ikzA{ujS~9sut0i�g^��rLg^�fj?�LjFj��+yvjF{�j^q`tvj���tdc bvj`¨zA{¹gSqwj�g*zAbdcAq`j�yvy0tdrLg�t�rLg�y bdj�q`j��9tv{u� {uj`«Pt�tvrAjneSbvcfxAzV®fo efbvcfxAz ikj�i ��j�bdyvrAsuz�zAbvcftvcAq`cS{Ti x5yvt�i�g��Lg�efjyvx�qvrï������g�iks¹q*qdrLg��5eSj�y*su�+yvcfikj�qwcSrAj�bdj��9t�ª0g^�9®D<Q�+tdrAsuy�z�g�z�j�b?ª�j q`cf�Ayvs¹�9jFb�efbvcfxAz i8j�i ��j�bvydrAsuzzAbdcStvcAq`cf{uy0tvrLg�t0j��Ayvx5bvj�zAbvcAq`j�ydyvj�y?g�eSbvjFj?cS�8tvrAj�qwxAbvbdj��9t[ikjFi �Lj�bdyvrAsuz c�«;tdrAj*eSbdcSxAzV®/0rAjKeSbdcSxAz ikj�i ��j�bvydrAsuz z5bvcS�5{�jFi ª�g�yFE�bvyvtk��j#EL�Aj�� «Pcfb�yd�9�LqdrAbvcf�AcSxAy yd�9yvtvjFiky �9�HGÒ��bvs¹�AlJIv®

�9su�Lq`j�tvr5j��V~�tvrAj�eSbdcSxAz ikj�i ��j�bvydrAsuzïzAbdcS�A{uj�i«¶cSb�g�yv�9�LqdrAbdcS�AcfxAykyd��ydtvj�i8yKrLg�yKg�{uyvc �Lj�jF� tdrAjyvx5�S�`j�q`tKc�«�s��9tdj��Ayvj s��9�fj�yvtds�e9g�tds�cf�K6PjS® eL®u~G L/[�5l�~NM+a$�5�AlS~0�O �5l�~QPRP*�[�f�A~$�9���[� - ~$�A�RO���S�� - ~OUT1VWO �2XL~YO��A�2XL~YTZM+�5�%XA~L�[M+�A�]\5~YM+�^MKo��2X%I�8�®`_ jFt�~L��j�yvzAsutdj�tdrAj?ª0s¹�9j?su�9tvj�bdj�yvtntvrLg�t[sut0rLg�y�g�tð¨tvb`gSq`tdj���g��L�KtdrAj���x5ikj�bdcSxAynzAxA�A{us¹q�g�tdsucS�Ay0cf�+tvrAsuynyvxA�S�`j^q`t�~CtvrAj(eSbvcfxAz+i8j�i �LjFbvyvr5s�zKzAbdcS�A{uj�i «¶cSbg�yd�9�LqdrAbvcf�AcSxAynyv�9yvtdj�iky0suy�«}g�b$«¶bvcSi��Lj�su�Ae x5�L�9j�bdyvtvc9cA�ba;<Q�KzLg�bdtvs¹q`xA{¹g�b�~9tvr5j�bvj?suy0�Ackg�eSbdj�j��K�9j#EL�5sШtvsucf� «Pcfb0tvrAsuy0zAbdcS�A{uj�i�~�g��L�8yvcSi8j[c�«Ytvr5j�i8cSydt bdj`«Pj�bdj��Lq`j�� «¶cSbviKg�{L��j#EL�Asutvsucf�Ay[g�bdj�x5�Ayhg�tvsuyQ«}gfq`tvcfbv�G o[��ONM5/[�]\�Iv®Tnj�yvzAsutdj+tvrAjFs�bK�9s�cIjFbvj��Lqwj�y�~[g�{u{0�Sj�bdyvsucS�Ay8c�«*tvrAj+efbvcfxAz ikjFi �Lj�bdyvrAsuz�zAbdcS�A{uj�ibvj �Sx5s�bdj+yvcfikj

«Pcfbvi c�« zAbdcAq`j�yvy�g�eSbdj�j�i8j��9t[su�+yv�9ydtvj�i8y[ª0sutvrK«Qg�su{uxAbvj�y^®�o[�AcftvrAj�b*ª�j�{u{¬¨}­9�Ac�ª0�KzAbdcS�A{uj�i bdj�fxAsubvsu�Aeg�efbvj�jFikj��9t su� yvzAsutvj c�«*«}g�su{uxAbdj�yksuyed �%�������=��$`� ®N/0r5s�y z5bvcS�5{�jFi ~�rAc�ª�j��SjFb�~0q�g��5�AcSt ��j+yvcf{u�Sj�� su�g�yd�9�LqdrAbvcf�AcSxAy(yv�9yvtdj�iky?jF�Sj�� sЫ[q`cfiki xA�Asuq�g�tdsucS�Ksuy�bdj�{us¹g��A{ujS~Tcf�A{u�+cS�5j zAbvcAq`j�ydy i�g^�&«}g�su{Q~Tg��L��sutq�g�� �9cnyvcncS�A{u�*�9� f !�?��#�+��� 0�~^sQ® jf®�~Fs¬«�sutCyvtvcfzAy�j`�Aj�q`xAtdsu�Ae*yvtvjFzAyRGÒ���Va$�`\�Ið®��9su�Lqwj$tvrAj�zAxAbdzLcfyvj0c�«LeSbdcSxAzikjFi �Lj�bdyvrAsuz+suy*tvc j��Ayvx5bvjkydcSi8j�­9su�L� c�«[g�eSbdj�j�i8j��9t�g�ikcf�AekzAbdcAq`j�yvydj�y�6Pcf��tvrAj i8j�i ��j�bvydrAsuz+c�«gk������g�iks¹q�g�{u{�� qdrLg��5eSsu�Aekydj�t�8F~Ttvr5j�z�cStdj��9tvs¹g�{C«Pcfb[bvx5�A�Asu�Aeksu�9tvckg&yvsuiksu{¹g�b�suikz�cSydyvsu�Asu{us�tQ��bvjFyvxA{ut?suycS�9�9sucSxAy^®Ygn�+tdrAj�cftvrAjFb�r�g��L�T~5eSbdcSxAz+i8j�i ��j�bvydrAsuz�suy*�9s�cIj�bdj��9tn«Pbvcfi ��cf�Ayvj��5yvxAy?su� g�t[{uj�g�yvt[tQª�cª0g^��y&a

h <Q��efbvcSx5z�i8j�i �LjFbvyvr5s�zC~DgnzAbdcAq`j�yvy�tvr�g�t�suyYydxAyvz�j�q`tdj��8tvc*rLg^�fj�q`b`g�ydrAj��kqFg�� ��j !����*�2@��#i «¶bvcSitvrAj0efbvcSx5zV~Scfb$j��fj���j �k���>�#i ~�j��fj��ks¬«TtvrAsuy$ydxAyvz5s qws�cf� suy gSq`tdxLg�{u{u�?su�Lq`cfbvbdj�q`t6PjS® eL®u~�tdrAj[ydxAyvz�j�q`tdj��zAbvcAq`j�ydy�ª�g�yVcS�5{��n�Sj�bd�*yv{uc�ªR8�®�/0rAj1GÒ���Va��]\�I�i8cA�9j�{���c�jFyV�AcftVyvz�j�g�­�g��LcfxAtVz5bvcAq`j�ydy$bvj�i8c��Sg�{uy�~g��L�&s�t[��c�jFy[�Acft��9subdj�q`tv{u�KikcA�9jF{LzAbdcAq`j�yvy*­9su{u{�su�Ae:6¶s}® jS®u~9zAbdcSefbhg�i&¨ðqwcS�9tvbdcS{u{uj�� q`bhg�yvrAjFy�8�®

h ��cS�Aydj��Ayvx5y0bvj�fxAsubvjFy[zAbdcSeSbdj�yvy0su� ?%��� bdxA�Ay^~9ª0rAsu{�jneSbdcSxAz8ikj�i ��j�bvydrAsuzkg�{u{uc�ª0y$bvx5�Ay0tvrLg�t�&`�9c�AcStdrAsu�Ae (l6¹«Pcfb su�Aydthg��Lq`jS~ &h�9cfs��5e��AcftvrAsu�Ae (�suy[�9jFyvsubhg��A{uj�ª0r5j��K�Ac zAbvcAq`jFyvy[ª0suydrAj�y[tdc[�`cSsu� cfb{�j^g^�Sj[tdrAj?efbvcSx5zV~Ag��L�8�Ac z5bvcAq`j�ydy�q`b`g�yvr5j�y�8F®

/0rAj�ydj��9s�cTj�bvjF�Lq`j�y[g�zAzLj^g�b�tvc?iKg�­Sj�eSbvcfxAz ikjFi �Lj�bdyvrAsuz?ª�j�g�­Sj�b�tvrLg��k��cS�Aydj��AydxAy�~Ag��L�?su��«}gfq`t$tdrAjELbdyvt�cS�Aj�rLg�yY��j�j�� ª0s¹�9jF{��?q`sutdj�� g�y�g[bdj�g�ydcS��ª0r9�?eSbdcSxAz?i8j�i ��j�bvydrAsuz�suy�yvcf{u�Sg��A{uj�su� g�yv�9�LqdrAbvcf�AcSx5yyv�9ydtvj�i8y[ª0rAsu{uj?��cS�Aydj��Ayvx5y�suyn�AcSt:G �O �5l�~AoZT1LZM+�f�A~;T1LZM+� - ~;T1M �A�%XA~��QM+�A�`\&Iv®D<Q�+tdrAsuy[zLg�zLjFbª�j zAbdc��Sj�tvrLg�tVtdrAsuyYsuy��AcftVyvc;a�§�j �9jmEL�Aj[g0z5bvcS�5{�jFi©q�g�{u{uj��on �U' 6¹«Pcfb�n �#? j �"!#�%$& �')���*�#��!#�#�+�, 8tvr�g�t0g�{u{uc�ª0yYtdrAj*bvj�i8c��Sg�{9c�«VjFbvbvcf�Aj�cfxAyv{u�kydxAyvz�j�q`tdj��KzAbdcAq`j�yvydj�yn«Pbvcfi tvrAjneSbvcfxAzV~9g��L�&suy$yvxA�5yvxAi8j���9� g��9��bdj�g�ydcS�Lg��A{uj[�9j#EL�Asutds�cf� c�«TeSbdcSxAz i8j�i �LjFbvyvr5s�zC~Dg��L��yvr5c�ª tdrLg�t�§HVFM q�g��A�5cSt$��j[ydcS{u�Sj���su�g�yd�9�LqdrAbvcf�AcSxAyCyv�9yvtdj�ikyCª0sutvrn«}g�su{uxAbdj�y�®`§�jpELbdyvt�yvrAc�ª�tvr5j$suikz�cSyvydsu�Asu{�sutQ�$c�«A§qVWM©su�*yv�9ydtvj�i8yTª0rAj�bvjq`cfiki xA�As¹q�g�tvsucS�(s�y0bdj�{us¹g��A{uj?g��L�&ª0rAj�bdj�g�t0i8cSyvt�cS�5j�z5bvcAq`j�ydy�iKg^��q`b`g�yvrC~Ljw�5gfq`tv{u�Kg�y0su�)GÒ���Va$�`\�Iv®§�j$tdrAj��?j`�Atdj��L�(tvrAsuyV�5j�e�g�tvsu�Sj$bdj�yvx5{�tCtvcnyv�9yvtdj�ikyCtvrLg�tYg�{u{uc�ª+zAbdcSefbhg�i&¨ðqwcS�9tvbdcS{u{uj��0zAbdcAq`j�yvy�q`bhg�yvrAj�y^®

ÅVÅ�ÜNr�ã�s`ä�ã

Page 7: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

X

gn�Aj*c�«Vtvr5j[bvj^g�yvcf�Ay0ª0r9��§HVFM suy$ª�j�g�­ s�y�tvr�g�t$sut�i�g�­fj�y��Ac g�tvtdj�ikz5t$tvc&dtvb`gSqd­ (?«}g�su{�x5bvj�y&a%<Q�q`cf��tdbhg�yvt0tvc i8cSydt$j`�Asuyvtvsu�Ae�eSbdcSxAz8ikj�i ��j�bdyvrAsuz yvjFbv�9s¹q`j�y[ª0r5cSyvj*efc�g�{Tsuy�tvc�i�g�s��9t`g�su� g(yvjFt[c�«�zAbvc�¨q`j�ydyvj�y�tvr�g�tYg�bvj0�9j�j�i8j��(tvc[��j�cSz�j�bhg�tvsucS�Lg�{;6PjS® eL®u~`G �O �5l�~^�����[� - ~%ONTZVFO��%XA~%TZM+�A�2XA~%M+�DMKo*�%X%I�8F~§HVFM ��c�jFy0�AcSt0{usu�A­ tvr5j�i8j�i ��j�bvydrAsuz c�«YtdrAj?efbvcSx5zkª0sutvr+gSqwtvxLg�{TcSb0yvx5yvz�j�q`tvj^� q`b`g�ydrAj�y�®;<Q�L��j�j��T~tvr5j0cS�A{u�*§HVFM bvj �Sx5s�bdj�ikjF��t�tdrLg�t�tvsuj�y�tvrAj�ikj�i ��j�bdyvrAsuz?c�«LtvrAj0efbvcfxAz�tdc &vbvj^g�{usutQ�/(0suy$gn�Sj�bd�?ª�j�g�­g����K�Lg�tdxAbhg�{�cS�Aj]a^<¶«�g ydsu�AeS{uj?zAbdcAq`j�yvy��+bvj �Sx5j�yvtdy?tvc8{�j^g^�Sj*tvrAj�eSbdcSxAzC~Ig�§HVFM zAbvcftvcAq`cS{�ydrAcSxA{¹��Acft0zAbvj�qw{�x��9j?tvr5j�z�cSydyvsu�Asu{usutQ� tvrLg�t��Ks�y�su�L�9j�j^�KtvrAj*cf�A{u�kzAbdc�qwj�yvynbvj�i8c��Sj�� «Pbvcfi tvrAj(eSbvcfxAzV®<Qt?suy*s�i8zLcfbvt`g��9t0tvcK�Acftvj tvr�g�t*cSxAb(bvj�ydxA{ut�g�zAz5{�suj�y*cf�A{u��tdcKeSbvcfxAz�ikjFi �Lj�bdyvrAsuzKyvjFbv�9s¹q`j�y�tvrLg�t

g�tdtvj�i8zAt�tvc?iKg�su�9thg�s��?g ����� 0 ��� g�eSbvjFj�� �9suj�ªïc�«VtvrAj[qwxAbvbdj��9t0ikj�i ��j�bvydrAsuz?c�«YgnefbvcSx5z�6PjS® eL®u~DGÒ�O �5l�~L/[�Alf~+M+a��A�Alf~+M+�^MKo��2XL~��[�A�`\&I�8�®`/0rAj�ydj�g�bvjn­��5c�ª0�kg�y Y!�����?%!����� �?2!#��� �����2� eSbvcfxAzki8j�i ��j�bvydrAsuzyvjFbv�9s¹q`j�y?g��L� g�bvj*su�9tvj����9j�� «PcSb0yd��ydtvj�i8y0ª0sutvr+�Ac �5j�tQª cfbv­KzLg�bvtvsutds�cf�Ay�~9cfb0«Pcfb0yv�9yvtdj�iky0tdrLg�t*g�{u{uc�ªtvr5j�efbvcfxAz ikj�i ��j�bdyvrAsuz tvc qdrLg��5eSj[su�kg�t i8cSyvt�cS�Ajn�Aj�tQª�cSbv­8zLg�bdtvsutvsucf�V~�tvr5j�&dzAbvsuiKg�bv�(zLg�bdtvsutvsucS� (L®�9c�¨ðq�g�{u{�j^� D?%!m���������2�Y?]���>� eSbvcfxAzKikj�i ��j�bdyvrAsuzkydj�bv�9s¹q`j�y^~Tª0rAs¹qdr+g�{u{uc�ª � $=�4���, ;�>� ��suj�ª0ync�«�tvrAj�eSbdcSxAztvc?q`c�¨}jw��suydt�~^rLg^�Sj0g�{uydc[��j�j�� zAbdcSz�cSyvj^��G �9���[� - ~^�A�RO���S$� - ~�OUTZVFO��%XL~%TZM+�A�2XL~%TZM+�A�`\9~S�QM+�A�`\�Iv®�9cfikj[bdj�i�g�bv­9y0g���cSxAt0ydxLqdr+yvj�bd�9s qwj�y�g�bvj*eSsu�SjF� g�t0tvrAj*j����kc�«$tvrAsuy0zLg�zLj�b^®/0rAj*bvj�ydt[c�«;tdrAsuy z�g�z�j�b[suy0cSbde�g��As���j��kg�y�«PcS{u{uc�ª0y�®`<Q�+�9j�q`tdsucS�+�A~9ª�j?�9j#EL�Aj(§qVWM g���� j`�AzA{¹g�su�

ª0r9�+sut*s�y*ª�j�g�­T®b<Q���9j�qwtvsucS� - ~Tª j�yvr5c�ª tdrAj suikz�cSydyvsu�Asu{us�tQ� c�«�§HVFM s���tvr5j(G ���Ca$�]\�I i8cA�9j�{�c�«g�yd�9�LqdrAbvcf�AcSxAy(yv�9yvtdj�iky^®b/0rAj�zAbvc9c�«0suy*zLg�tdtvj�bd�Aj���g^«¶tvj�b?tdrAj�cS�Aj efs��fj��+su�7G ���Ca$�]\�I ª0sutdr tdrAj�jw��¨q`j�z5tvsucS�8c�«Vtvr5j[yvt`g�bdtvsu�Ae?{uj�i8i�gA®�<Q���9j^q`tvsucS�lX?ª�j[yvtdbvj��5eStvr5j��KtvrAsuy$suikz�cSydyvsu�Asu{usutQ��bdj�yvx5{�t�su� �Sg�bds�cfxAyª0g^��y^~Lg��L�Ksu�+�9j�q`tds�cf�)\�ª�j?j`�Atvj����+sut0tvc8yv�9yvtdj�ikyntvrLg�t�g�{�{uc�ª z5bvcSefbhg�i ¨vq`cS�9tvbdcS{u{uj��kqwbhg�ydrAj�y^®V�9j�qd¨tvsucf�k�?q`cS��q`{uxL�9j�y�tvrAjnzLg�z�j�b�ª0sutvr yvcfikj0cf�Ayvj�bd�Sg�tds�cf�Ay$cf� tvrAjnyvz�j�q`s�EIq�g�tvsucS�8c�«VeSbdcSxAz i8j�i ��j�bvydrAsuzyvjFbv�9s¹q`j�y�®

�K��� ' ©"$�������(�

§�j��Ac�ª#�9jFyhq`bds���jï§HVFM ~[g zAbvcf�A{uj�iptdrLg�t+q�g�zAtvxAbdj�y�g yviKg�{u{0«Pb`g�efikj��9tkc�« ª0r�g�t+g bvj�g�{�suydtvs¹q6Pz5bvsui�g�bv�f¨}z�g�bvtdsutvsucS�Y85eSbdcSxAz(ikj�i ��j�bvydrAsuz*yvj�bd��s¹q`j0ydrAcSx5{ ���Lj0g��A{uj�tvcnzAbvc��9s¹�9jS®&/0rAj�suikz�cSyvydsu�Asu{�sutQ��c�«yvcf{u��su�Ae�§HVFM su�+g�yd�9�LqdrAbvcf�AcSxAynyv�9yvtdj�ikynª0sutvr8«}g�su{uxAbdj�y sui8zA{us�jFy tdrAj?suikz�cSydyvsu�Asu{us�tQ�(c�«Ysui8zA{uj�ikj���¨tvsu�Ae(ikcSbdj0bvj�g�{us�ydtvs¹q0efbvcfxAz ikj�i ��j�bdyvrAsuz�yvj�bd��s¹q`jFy[su� yvxLqdr8yv�9yvtdj�iky^®=/0rAj[su�9«PcfbviKg�{9yvz�j�q`s�EIq�g�tvsucS�8c�«§HVFM�eSsu�SjF�+rAj�bdj s�ynyvx���qws�jF��t*tdckxA�L��j�bvydthg�����tvrAj�yhq`cfzLj g����Kikj�g��Asu�Ae c�«�cSxAbnbvj�ydxA{ut9BVg «PcSbdi�g�{yvz�j�q`s�EIqFg�tvsucf�+su�ktvjFbviky0c�«YtdrAj*ikcA�9j�{Tc�«"GÒ���Va$�`\�IYsuy0eSsu�SjF�ksu�ktdrAj?�Aj`�At0ydj�q`tvsucf�V®

��cS�Ayds¹�9j�b g+yd��ydtvj�i ª0s�tdr���� X�zAbdc�qwj�yvydj�y������������������������I~Ctvr�g�t q�g�� «}g�su{$cf�A{u� �9� f !�?&�#�=��� 0�~sQ® jS®u~A�9�KyvtvcfzAzAsu�Ae tdckj`�Aj�q`x5tvjkydtvj�z5y�®b<¶« g z5bvcAq`j�ydy?�Aj��fj�b?q`bhg�yvrAj�y^~Vª�j?y`g^��sutns�y�f �%!�!#� f � ~9cStvr5j�bvª0suyvjsut0suy �9?%$=�,��� ®9§�j�g�yvydxAikj*tvr�g�t0su�Asutvs¹g�{u{u� ?%��� zAbvcAq`jFyvyvjFy�g�bdj?su��tdrAj?y`g�ikjneSbdcSxAz!  ®;MKcSbdj�z5bvj�q`suydj�{u��~tvr5j#" !#�#� @9���%$ ��� c�«�j��fj�bv� zAbvcAq`j�ydyksuy�tvrAjKyvjFt'&)(��*(�+�,.-��/���0�1�����������0�2�239®�o0t tvrAj8�LjFeSsu�A�Asu�Ae�~yvcfikj0zAbdcAq`j�yvydj�y[iKg^�*ª0s�ydrktdc�6P�fcS{uxA�9thg�bvsu{u��8C{uj�g^�fj0eSbvcfxAz4  ®`/0rAsuy�~9g�y$ª�j�{u{Tg�y gfq`tvxLg�{Lcfb ydxAyvz�j�q`tdj��q`b`g�yvr5j�y�~9iKg^��qFg�xAydj[tvr5j[ikjFi �Lj�bdyvrAsuz?c�«� >tdc?qvr�g��Aefj]a��5cSb�g��9�5&76�&)(��*(�+`~�ª�j0yhg^��tvrLg�t g*zAbdc�qwj�yvy���=�#� ?%���4�"�;�%$e@&���8$ & s¬«Ts�t��9j�q`s¹�9jFy tdrLg�t9& s�y�sutvy�ydj�q`cS��� �9suj�ªïc�«: 6¶yvxLqdrkg*�9j�qws�ydsucS��s�y ��!�!���@�� f ?]���>� 8�®§HVFM y`g�tds�yJELj�yntvrAjn«Pcf{�{uc�ª0su�Ae?z5bvcSz�j�bdtvsuj�y9alf®U<¶«�� � ~Acfb�� � ~9cSb0��cStdre6}g��L�8�Ac cStdrAj�b[z5bvcAq`j�ydy�8nª0suyvrKtvc {uj�g^�fj; &~Atvr5j�� g�t0{uj�g�yvt0cf�Aj?zAbdc�qwj�yvyj��Sj��9tdxLg�{u{u� su�Ayvt`g�{u{uy�g��AjFª �9suj�ª?~Ag����k�5c zAbvcAq`j�ydy[su�Aydthg�{u{uy[g��9s�cIj�bdj��9t[�AjFª �9suj�ª?®

�5®0�Acfb0�Lcftvr!<>=?-9l*�`��3�~fs¬«:��($suy0tvrAj?cf�A{u� zAbvcAq`jFyvy*tvrLg�t0ª0suyvrAj�yntvc {uj�g^�fj; &~Atvr5j��Ks�t0suy0z�cSydyvsu�A{ujtvrLg�t ydcSikjnzAbvcAq`jFyvy[su�Aydthg�{�{uy��Aj�ª>�9s�jFª@& ( ,7& (��*(�+�A -�� ( 3�®`<Q��cftvrAjFb0ª cfbh�9y^~Atvr5j�bvj*suy[g�t�{uj�g�ydtcS�Aj*j`�Aj�q`x5tvsucS�Ksu�Kª0rAs¹qvrB� ( suy�tvrAj(cS�A{u� zAbdc�qwj�yvyntvrLg�t0ª0s�ydrAj�yntvc�{�j^g^�SjC ©g��L�Kg�{uyvc�tvrAj*cf�A{u�cS�Aj*bvjFikc��Sj^��«PbdcSiD  ®

��cSi8zLg�bdj��+tdc g8«Px5{�{¬¨0ELj��9efj���eSbdcSxAz�i8j�i ��j�bvydrAsuz+yvj�bd�9s qwjS~�§HVFMsuy?�Sj�bd� ª�j�g�­I®p<Qt?suikz�cSydj�ybvjFyvtvbds¹q`tvsucS�5y cS�A{u��cS��tvr5j#" !#�#� ��suj�ª qdrLg��AeSjS~$g��L��cS�5{���s¬«F� � cSbG� � su�Asutds g�{u{��Kª0suyvr tvc+{uj�g^�fjktdrAj

÷ÏØVÅV÷Ïç

Page 8: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

����������� ������������������������ �"!#�%$& (')���*�#��!#�#�+�, \

eSbdcSxAz 6¶s�t�yhg^�9y0�AcftvrAsu�Ae g���cSx5t0yvxA�Aydj�fxAj��9t[�9suj�ª-qdrLg��Aefj�y�~5cSb[g��LcfxAt ª0r�g�t0yvr5cSxA{¹�8rLg�z5zLj��Ks¬«;g��9�zAbdc�qwj�yvy�cStdrAj�b�tvrLg�� � � cSb/� � ª0s�ydrAj�y�tvc*{uj�g^�Sj W8�®����SjF�ksu��tdrAsuy q�g�yvjS~fcS�A{u�?cf�Aj�zAbvcAq`j�ydy0suyYbdj�fxAsubvj��tvc su�Aydthg�{�{Tg��Aj�ª>�9suj�ª?®YMKcfbvj*suikz�cSbdthg��9td{��ba

h §qVWM �9c9j�y0�Acft[g�tdtvj�i8zAt tdc tvb`gSqd­�gfq`tvxLg�{Q6¶cSb0j��fj��KyvxAydzLj�qwtvj��D8�«}g�su{uxAbvjFy�®

h /0rAj+yvj^q`cS�L� bvj �Sx5s�bdj�ikjF��t c�«?§qVWMpsuy8�Lg�tdxAbhg�{0«Pcfbkg��9�ïbdj�g�ydcS�Lg��A{uj+eSbdcSxAz i8j�i ��j�bvydrAsuzyvj�bd��s¹q`jf®Y/�c�yvj�j�tvr5s�y^~Aq`cS�5yvs¹�9j�bnj`�Aj�q`xAtds�cf�Ay*su�kª0rAs¹qdr5�2($suy0tvr5j?cS�A{u� zAbdcAq`j�yvy*tdrLg�tnª0s�ydrAj�yntvc{�j^g^�Sj�  ~�g��L� s��Kª0rAs¹qdr+�Ac&«}g�su{uxAbdj�y[cfb0«}g�s�{uxAbdj*yvxAydzAs¹q`sucS�Ay*cAq�q`xAb^®b<Qt[ydthg��L�9y*tvc8bvj�g�yvcS� tvrLg�ts��Kg�t0{uj�g�yvt0cS�5j�ydxLqdr+j`�Aj�q`x5tvsucS�V~ �2($g����kcf�A{u�C�2($suy0bdj�ikc��fj���«PbdcSiD &®

h �C�Lq`j�zAtn«Pcfb[tvr5j�tQª�ckj`�Aj�qwxAtvsucS�5y�i8j��9tvsucS�5j��8s�� tvrAj�zAbvjF��sucfxAy[sutvjFi ~AtdrAj�bdj�suy[�5ckbvjFyvtvbds¹q`tvsucS�cS��tvrAj8yvs���jkcfb�q`cf��tdj��9t?c�«[tdrAj �Aj�ª���suj�ªFa <Q�ïgkydsu�AeS{uj �9suj�ª qvr�g��Aefj §qVWM suy�g�{�{uc�ª�j�� tvcbvj�i8c��Sj(«Pbvcfi#efbvcfxAz g��ïg�bv�Asutvb`g�bd� ydj�t�c�«[zAbvcAq`jFyvyvjFy�~$su�Lqw{�x��9su�Ae+q`cSbdbvj�q`t z5bvcAq`j�ydyvj�y8tvrLg�t�9s¹�K�AcStnª0suyvr+tdc�{uj�g^�fj�  ®^/0rAsuy�suy*q`cSi8zLg�tds��5{�j*ª0sutvr�g��9�KeSbvcfxAz+i8j�i �LjFbvyvr5s�zKydj�bv�9s¹q`j�tvrLg�ts�y[g�{u{�c�ª�j��&tvc bvjFikc��Sjn«PbdcSi tvrAj(eSbvcfxAzKzAbvcAq`jFyvyvjFy?tvrLg�t[g�bdj?j�bvbdcS�AjFcSxAyd{��KydxAyvz�j�q`tdj���tvc8rLg^�Sjq`bhg�yvrAj��ß®

h /0rAj�bvj�g�bvj*�Ac bdj�fxAsubvj�i8j��9tvy0cf��bdj�fxAj�ydtvy[tdcFA �%�k� tvrAj?efbvcfxAzV®

h /0rAj�bvj�g�bvj*�Ac bdj�fxAsubvj�i8j��9tvy0cf��tdrAj*�Abvc9gS�AqFg�yvt0cfb0i xA{utvs¹q�g�yvt�c�«Yi8j�yvy`g�efj�y�®=<Q�KcStdrAj�bnª cfbh�9y^~tvrAj�bdj?g�bvj*�Ac�bvjFyvtvbds¹q`tvsucS�5y0ª0rLg�tdyvc9j��SjFb[cS�8ikj�ydyhg�eSj[�9j�{usu�SjFbv�9~Ag��L�&s�� z�g�bvtds¹q`xA{¹g�b�cS�8tvrAj*ª0g^�yvxLqdr+�9j�{usu�Sj�bdsuj�y[su�9tvj�bd{uj�g^�Sj*ª0sutvr8��suj�ª-qdrLg��5eSj�y^® �

� ;�� ��������������������X��� � ' ��� � �K������� �� � ' � �+�(�

§�j��Ac�ª�«PcfbviKg�{u{u���9j#E��Aj0tvrAj0§HVFM�zAbdcS�A{uj�i g��L�(yvrAc�ª tdrLg�t�sut$q�g��A�5cSt$��j0yvcf{��fj��(s���tvr5j GÒ���Va$�`\�IikcA�9jF{Lc�«Y�9suyvtvbdsu�AxAtvj^��qwcSikz5xAtvsu�Ae�~���g�ikjF{��9~�su�kg�yd�9�LqdrAbvcf�AcSxAy0yd�9yvtvjFiky�ª0s�tdrkbdj�{us g��A{uj�q`cfiki xA�5s�q�gD¨tvsucf�+ª0rAj�bdj g�t[ikcfyvt0cf�Aj?zAbdc�qwj�yvy?iKg^�kq`bhg�yvrV® /0rAj?zAbdc�c�« suy[�fj�bv�+ydsuiksu{¹g�b$tdcktvr5j�cf�Aj?c�«0�Vsuy`qvr5j�b�~�T�9�Lqdr g��L� aYg�tvj�bdyvcf� su�KG ���Ca$�]\�Iv®���yvydj��9tvs¹g�{u{u��~Ctvr5jkcS�5{��ï��s cTj�bdj��Lq`j+ydtvj�i8y*«PbdcSi tdrAj «}gfq`t�tvrLg�t��cS�5yvj��AydxAy[bdj�fxAsubvj�y'&dtvj�bdiksu�Lg�tvsucS� (*su��g�{u{Lj`�Aj�qwxAtvsucS�5y�~Aª0r5s�{uj0§HVFM��9c9j�y �5cSt�®=/0r5s�y0g&cTj�q`tdy[zAbdsu�9¨q`suzLg�{�{u� cf�Aj*{�jFiki�g�m�tdrAj*cS�A{u� cS�5j?ª0rAcSydj*zAbvc9c�«�ª j(eSsu�Sjns��K�9j�t`g�su{VrAjFbvjS®/0rAj?iKg�su�?«¶j�g�tdxAbvj�ync�«$tvr5j*GÒ���Va��]\�IYi8cA�9j�{Tg�bvj(s���«PcSbdi�g�{u{¬�?rAsueSrA{usueSr9tdj�� ��j�{uc�ª?®

h /0rAj�yd�9yvtvjFi qwcS�Ayds�ydtvy?c�« ��z5bvcAq`j�ydyvj�yC� � ��� � ����������� � ~ßtvrLg�t�qwcSiki x5�As�q�g�tvj*�9�+yvjF�L�9su�AeKikj�yð¨yhg�efj�y0c��SjFb[g q`cSi8zA{uj�tvj�{u�kq`cf�A�Aj�qwtvj��Kz�cSsu�9tQ¨Qtvc�¨}z�cSsu�9t��Aj�tQª�cSbv­T®9§�j?g�ydyvxAi8j � �7XL®

h a�bvcAq`j�ydyvj�y(j`�Aj�q`xAtdj?yvtdj�zAy�g�t[g�bd�Asutvbhg�bv�8yvz�j�j��9y*tvr�g�t[q�g����Sg�bv� c��fj�b0tvsuikjf®

h o0t0ikcSydt$cS�5j?zAbvcAq`jFyvy[iKg^�?«Qg�su{Vg��L�8q�g��8«}g�su{TcS�A{u� �9�kq`bhg�yvrAsu�Ae�®

h ��cSiki x5�As�q�g�tvsucS�n{us��5­�y$g�bvj�bvj�{us¹g��A{uj��AxAt$g�yd�9�LqdrAbvcf�AcSxAy&a�g��9��i8j�yvy`g�efj ydj��9t$tvc?gnzAbvcAq`jFyvy�tvrLg�t�9c9j�y0�AcSt[qwbhg�ydr+suy0bvj�qwj�su�Sj��Kª0sutdr�gWEL�Asutdj��5xAt[g�bd�Asutvbhg�bv�K�9j�{¹g^��®

§�j*j`�AzLj�qwt�bdj�gS��j�bvy*tvc ��j*«}g�iksu{us¹g�b�ª0sutvrKtvrAj�«PcSbdi�g�{us���g�tvsucS��c�«$tvr5s�y0i8cA�9j�{TeSsu�fj��Ks��eGÒ���Va$�`\�Iv®§�j?tdrAj�bvjw«PcSbdjk�9ck�Acft[bdj�zLj^g�t*tvrAj �9j#E��AsutvsucS�Aync�« tdj�bvi8y�g�{�bdj�gS��� ��j#EL�Aj�� su�+tvr�g�t*zLg�z�j�b^®Y<Q�5yvtvj^gS�T~ª�j�x5yvj?��cS{¹�f«}gfq`j*tvc�su�L�9s¹q�g�tdj*tvrAjZE�bvyvtncAq�q`xAbdbvj��Lqwj�c�«;g�tvj^qvr5�As¹q�g�{Ctvj�bdi �Lcfbvbvc�ª�j��&«PbdcSi GÒ���Va$�`\�Iv®§ rAjF��tdrAj��9jmEL�AsutvsucS�5y0�Aj�j��Ktdc �Lj�gS���`x5yvtvj^�Ktvc tdrAj?�Aj�ª-q`cf��tdj`�AtF6¶§qVWM su�Aydtvj�gf�8c�« ��cS�Aydj��AydxAy�8ª�j�jw��z5{ g�su�ktvr5j?�Aj�q`jFyvyhg�bv�+i8cA�9s�EIq�g�tdsucS�Ay^®

� ù�ÕFÇPÍTÛ`ÉQÕ`Ô�Ì�ê[ÆQê�×�ÆðÉ}ÇÏË�ÎÒÌ Ç¶ÆQÉ � ÎÐÊdÆvÇ5ËSÈ � ÆVÇÏÔSʶË0É}Æ���Ô�ÎÒÉQÆQê[ÆðÜD͹Çdó`Ú�Õ`ÉVÆ��^È`ê0Ì�ÑÐÆ�åd͹ËSÆ������ Àu½���������� �"! �$# ��� Ì�ÉQÕ`Ì�ÆðÉ}ÍÏÓÕ`îA÷PÙ^÷PÙ�É}Æ���Ô�ÎÒÉQÆvÇ5͹ËSÆ�ͶÕ�ÍPÈwÑSÕ`É}Ö�ÆðÉPÎÒÜSÛ�Õ`î5ê Ô�ÑÐÍÏÎÐÊvÈ�ǶͶÇAý�ÎÐ͹ËnÉ}ÆdǹÌ9ÆvÊdÍLÍ¶Õ � ÎÐÆvý8ʶËSÈ`ÜSÛ�ÆdÇ&% øVû`ä&s"'¹ó

ÅVÅ�ÜNr�ã�s`ä�ã

Page 9: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

�$gSqdr?z5bvcAq`j�ydy$suyVikcA�9jF{�{uj��ng�y�g���g�xAtvcfi�g�tdcS�V®#/0r5j����C¢�°9£���¤ -A¡F¢�¤A¢^°[c�«Aj�gSqdr?zAbdcAq`j�yvy ��q`cf��t`g�su�Ay^~g�i8cS�Ae0cftvrAjFbYtdrAsu�AeSy^~�g�� ���2 Y$`�Q!�� 0 � ��� ��!���� g��L�?g�� �2$`�> ;$]� !�� 0 ���#�J��!�� ®&/0rAj�«PcSbdikj�bCrAcS{¹�9y�gn�Asu�Lg�bd��Sg�{uxAj(s����9s¹q�g�tds��5ekª0rAj�tdrAj�b � su�Asutvs¹g�{u{u� ª0suyvrAj�y(tvck{uj�g^�fj?tvr5j eSbvcfxAz cfb*�AcSt:6 ��� , l?cfb ��� ,� 5~bvjFyvz�j�q`tvsu�fj�{u��8F®Z6�<Q� GÒ���Va$�`\&I ��� su�L��s qFg�tvjFyC� yksu�AzAx5t �Sg�{uxAj8«PcSbk��cf�AyvjF�AyvxAy^®,8�/0rAj+b`g��Aefj+c�«?tdrAjcSx5tvzAxAt(bvj�efs�ydtvj�b �� suy�g yvxA�Aydj�t�c�«C& ( � (�+ , -�� � ����������� � 3�®b<Q�Asutds g�{u{��9~ �� , & (��*(�+ ~Vsu�L�9s¹q�g�tvsu�Ae8tvrLg�t� y " !#�#� @&���8$ �J� q`cS�9thg�su�Ay�jF�Sj�bd��zAbvcAq`j�ydy�®�o0«Ptdj�b�sutdy�su�Asutvs¹g�{$yvj�tdtvsu�Ae�~ � i�g^� �Lj8ª0bvsutvtdj�� g�tikcfyvt$cf�Lq`jS®5§ rAj�� 6Qg��L�&sЫ�8 �Kª0bdsutvj�yG&76�&)(�� ( +�su�9tvc � ~9ª�j*yhg^� tdrLg�t�� ���=�#� ?%���4�1�Y�8$H@&���%$ &�®;6�<Q�GÒ���Va$�`\�Ið~9tdrAj[cfxAtvz5xAt0bvj�efsuyvtvjFb � suy su�Asutvs¹g�{�{u� &v�5{ g��A­ (�g���� suy ª0bdsutvtvjF� g�t i8cSydt$cS�Lqwj�ª0sutdrkzAbdc�qwj�yvy� y[�9j^q`suyvsucS�K�Sg�{uxAjnc�«�tvrAj���cf�AyvjF�AyvxAy^®,8

o[�������¶¢��¶¤ -�¥�´������ �Y£�¤5¢��¶´�� q�g�� �Lj8xA�As"�fxAj�{u��s ��j��9tvs�ELj�� ����g �Asut?�Sj�qwtvcSb�c�«[{uj��5eStvr � tvrLg�teSsu�fj�y0tvrAj*�Sg�{�x5j�c�« ����� «Pcfb0j�gSqdr5� ( ~Tl�� <�� ��®A�0j�qFg�{u{TtvrLg�t0§HVFM ydzLj�qws E�j�y*tvrAj?��j�rLg^�9sucSb�c�«$tdrAjyv�9ydtvj�i cS�5{��(ª0rAj��C� � ~%� � 6PcSb���cStdrY8$g�bdj0tvrAj0cf�A{u�?zAbdc�qwj�yvydj�y0tvrLg�t$su�Asutvs¹g�{u{u�[ª0suydr�tdc?{uj�g^�Sj  ®%/0r9xAy^~tvr5j[cS�5{��(s��5s�tds¹g�{Aq`cS��ELeSxAb`g�tds�cf�Ay$c�«Vs��9tdj�bvj�ydt�g�bvjntvrAj0cf�Aj�y0q`cSbdbvj�ydzLcf�L�9su�Ae�tvc?tdrAj�yvjntvrAbdj�j*yhq`jF�Lg�bds�cfy�~�Lg�ikj�{u�9~�� ��� ,��vl� � ������ � �~!� �8� ,"�# Al� ������ � �~Ag��L�$� � � ,%�vlSl� ������ � F®/0rAj?§HVFM zAbvcf�A{uj�i su�+g�yv�9�LqdrAbdcS�AcfxAy0yv�9ydtvj�i8y0s�y�«¶cSbviKg�{u{u���9j#E��Aj��+g�y�«PcS{u{uc�ª0y�®

lf®0�Acfb[j��fj�bv�&� = -'�������(��8����������3�~Tg��L� j��fj�bv�+¤�µ �&�Q¡^¡)�¶��-P°K£ ���ïtdrLg�t*yvt`g�bdtvy*«PbdcSi*� ~�tdrAj�bvjs�y0g�t�{uj�g�ydt0cS�Aj*zAbdcAq`j�yvyntvrLg�t0su�Ayvt`g�{u{uy�g(�Aj�ª>�9s�jFª?~Ag��L�&�Ac�z5bvcAq`j�ydy�su�Aydthg�{�{uy g��9s�cTj�bvj��9tn�Aj�ª��suj�ª?®

�5®0�9thg�bvtvsu�Ae(«PbdcSi+� ��� 6¶bvj�ydzLj^q`tvsu�SjF{��9~,� �8� 8�tdrAj�bdj?suy�g�t0{�j^g�yvt0cf�Aj*£ ��� ydxLqdr�tdrLg�t0ydcSi8j[zAbdc�qwj�yvys��5yvthg�{u{�y��Aj�ª>�9suj�ª@&��F, &)(��*(�+ A -��/�%3�6¶bvj�ydzLj�qwtvsu�Sj�{u�9~/&2� ,7&�(��*(�+ A - ����3�8F®

�Tj�t-� �Lj�g ¥�´������ ��£�¤A¢��¶´�� g�����{uj�t-.,/!�LjKtdrAjKyvj�t8c�«��9suj�ª0y�su�Ayvt`g�{u{uj���su� qwcS�=ELefxAbhg�tvsucS�5y£�°9¤L¥�0�¤A��-P°n«PbdcSi�� ®��Acfbvi�g�{u{��9~).,/?, -*&21 3!��40��3��(a��54AsuyYbdj�gSqdrLg��A{uj�«Pbvcfi6� ~fg��L��su�7��4 �� , &C39®§�j[y`g^�ktdrLg�t�-suy ����@�?2�>���=� s¬«81 .,/91 � �A®;6�<Q�eG ���Ca$�]\�Iv~!�-suy��Asu�Sg�{uj��9t�sЫVtdrAj?ydj�t0c�«$�9j�q`suyvsucf���Sg�{uxAj�yc�«$q`cS��ELeSxAb`g�tds�cf�Ay0bvj^gSqdrLg��5{�j�«Pbvcfi+�©q`cf�9thg�su�Ay0tQª�c�j�{uj�ikj��9tdy�®,8/0rAj*suikz�cSyvydsu�Asu{�sutQ�?z5bvc9c�«�c�«"GÒ���Va��]\�IVsuy ydtvbdxLq`tvx5bvj���g�y�«Pcf{u{�c�ª0y^®%<QtUELbdyvt0yvr5c�ª0y0tvrLg�t�g(�Asu�Sg�{uj��9t

su�Asutvs¹g�{Tq`cf�=ELeSx5bhg�tdsucS�kjw��suydtvy�®=/0r5j��V~Aydthg�bvtvsu�Ae�«¶bvcSi tdrLg�t0�Asu�Sg�{�jF��t�q`cS�=E�eSxAb`g�tvsucf�V~9sut�q`cf�AyvtdbvxLqwtvy?g��gS��iksuyvyds��5{�j�bvx5� su� ª0rAs¹qvr �Ac�zAbvcAq`j�ydy��9j^q`s¹�9j�y�m q`cf��tdbhgf�9s¹q`tvsu�Ae�tvrAjKtdj�bvi8s���g�tvsucf� bdj�fxAsubvj�i8j��9tc�«���cf�Ayvj��5yvxAy 6Pª0r5s qdr bvj �Sx5s�bdj�yKtvrLg�tkj��fj�bv� gf�9iksuyvydsu�A{ujkbvx5� ��j�g��9j�q`s¹�9su�Ae�bdxA�Y8�®U/0rAsuy {usu�AjKc�«g�bdeSxAi8j��9tTsuyT�AcSt��9subvj�q`td{u��g�zAzA{us¹q�g��5{�j�rAjFbvj��Lj�qFg�xAydj su�?§HVFM!�AcftTj��Sj�bd��gS��iksuyvyds��5{�jCbvxA�(s�yTbdj�fxAsubvj��tvc tdj�bvi8su�Lg�tdj]aScf�A{u�ktdrAcSydj�tdrLg�t0ydthg�bvt0«¶bvcSi:���;��~!��%�0cfb<�����0i xAyvt�bvjFyvxA{ut[su�8tvrAj*su�Ayvt`g�{u{¹g�tds�cf� c�« g�Aj�ª!�9s�jFª?®Y/0r9xAy^~�s�tnsuy��5cSt[ydx���q`suj��9t*tvc8yvrAc�ª!tvrLg�t �9�%��� su�Asutvs¹g�{�q`cS��ELeSxAb`g�tds�cf�+suy[�Asu�Sg�{�jF��t^~A�Ax5ttvr�g�t0cS�5j�c�«=������~>��%��cSb8�����0suy�®?�°/� ��¤A@L¦B����������%��~5cSb8����� suy0�Asu�Sg�{uj��9t^®C*£�´T´ED�¦b<¶«F� ��� cfbG� �8� suy0�Asu�Sg�{uj��9t^~Aª�j�g�bdj��9cS�5jS®*�0c�ª>yvxAzAz�cSydj�tdrLg�tn�Aj�sutvr5j�b*cS�Aj?c�«�� �;� cSbG� �8�suy0�Asu�Sg�{uj��9t�®f§�j*yvrAc�ª tvrLg�t0s��KtdrAsuy[q�g�ydjH� ��� i xAydt ��j?�Asu�Sg�{uj��9t^®O$� tdrAj*yvj�qwcS�L�8zAbdcSz�j�bvtQ�8c�«V§HVFM�~�tdrAj�bdj�suy0g?bdxA�ktdrLg�t�yvt`g�bdtvy�«PbdcSiI� ��� yvxLqdrKtvrLg�t�g(zAbdc�qwj�yvy

su�Ayvt`g�{u{uy & � ®���cf�Ayvs¹�9j�b[g��9�kgS�9i8s�ydyvsu�A{uj0bvx5�KJ>tdrLg�t0ydthg�bvtvy�«¶bvcSi:� �;� su�kª0rAs¹qdr�� � t`g�­fj�y0�Ac ¡�¢^°ML;¡f®O��+tvrAj:E�bvyvt*zAbdcSz�j�bvtQ��c�«�§qVWM�~�yvcSi8j?zAbdc�qwj�yvy�su�Ayvt`g�{u{uy�g8�Aj�ª!��suj�ª & su�NJ�®V��s���q`j2� ��� suy[�Acft�Asu�Sg�{uj��9t^~�& , &1�^®I�ßj�tGO �Lj�tvrAj�¡�¥�0�°Aµ � -¶° q`cSbdbvj�ydzLcf�L�9su�AeKtvc$J�®��9su�Lq`jHO q`cS�9thg�su�Ay[�Ac8yvtdj�zAy*c�«�1�(g��L�8tvr5j?cS�A{u�k�9s�cTj�bvjF�Lq`j ��j�tQª jFj��N�����*g��L�$�����[suy0tvrAj(�Sg�{uxAj[c�« �1� y[su�Az5xAt0bvj�efsuyvtvjFb�~,O s�y[g�{uyvc¤!L�L�-��Q¥�¤5� -¶°0tvcP��� ��®*�òj��Lq`jf~f«Pbvcfi"��� �$tdrAj�bdj0s�y�g[bdj�gSqdrLg��A{uj[q`cS��ELeSxAb`g�tds�cf��su��ª0rAs¹qdr�ydcSikj�zAbdc�qwj�yvysu�Ayvt`g�{u{uy$�Aj�ª>�9suj�ª7&��D®DO��kg?yd�9ikikjFtvbvs¹q�g�bdeSxAi8j��9t�~�«Pbvcfi+����� tvr5j�bvj*suy�g(bvj^gSqdrLg��5{�j?q`cf�=ELefxAbhg�tvsucS�su�kª0rAs¹qdrKyvcfikj[z5bvcAq`j�ydy�su�Aydthg�{�{uy��Aj�ª>�9s�jFª@&2�S®=/0r5j�bvj`«¶cSbvjP��� �0suy0�Asu�Sg�{uj��9t^® QR�0�°9´L£�° � @L¦0§HVFM suy �AcSt ydcS{u�Sg��A{ujKsu� g�yv�9�LqdrAbdcS�AcfxAykyd�9yvtvjFiky ª0sutvr q`b`g�yvr «}g�s�{uxAbdj�y�~�jF�Sj�� s¬«q`cfiki xA�As¹q�g�tvsucS�(s�y0bdj�{us¹g��A{uj?g��L�8g�t0i8cSyvt�cS�5j�z5bvcAq`j�ydy�iKg^�*«}g�s�{Q®

÷ÏØVÅV÷Ïç

Page 10: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

����������� ������������������������ �"!#�%$& (')���*�#��!#�#�+�, �

C*£�´T´ED�������°9¢D¥�0��^¦��ßj�tG� �Lj�g��5s��Sg�{uj��9t q`cS��ELeSxAb`g�tds�cf�Ks�� -'� �8� ��� ��� ��� ��� 3:6P�9���ßj�ikiKg�l*ydxLqdr g� j`�Asuyvtdy�8F®T§�j�q�g�� �Ac�ª©g�zAzA{u�KtvrAj�tvj^qvr5�As"�Sx5j�y?c�«ZG ���Ca$�]\�I$tvcKq`cS�5yvtvbdxLq`t g��+su�=E��Asutvj�gf�9iksuyvydsu�A{ujbvx5��tvrLg�t�ydthg�bvtvy(«PbdcSi �5s��Sg�{uj��9tG� g��L� bvj�iKg�su�Ay*�Asu�Sg�{uj��9tò«PcSbdj��Sj�b&aC<Q��tvr5s�y(bvxA�V~ß�AcKzAbvcAq`j�ydy j��SjFbsu�Ayvt`g�{u{uy�g��5j�ª �9suj�ª m�g q`cS�9tdbhgS��s qwtvsucS�8tvc tvr5jZELbvydt0bvj�fxAsubdj�ikj��9t0c�«Y§HVFM�® Q

� �$"$�(��(�����(�+���� �������� ������$��� �������L� � �*�$% ���

gnxAb�yvz�j�q`s�EIq�g�tvsucS� c�«[§HVFM g�{u{�c�ª0y(zAbvcAq`j�ydyvj�y8tvc��Scf{�x5��t`g�bds�{u�+bdj�fxAj�ydt tvrAj�sub�bvj�i8c��Sg�{�«¶bvcSi tdrAjeSbdcSxAzC®%/0rAsuy$suy g*�Lg�tvxAb`g�{Abdj�fxAsubvj�i8j��9t$ª0rAs¹qdr suy q`cSi8zLg�tdsu�A{uj$ª0sutvr tvr5j[yvz�j�q`s�EIqFg�tvsucf� c�«Vtvr5j�� ��!#�%� 0��!��2$9 ' ��������!#�#�+�4 ��N!��`������� 6�� ���U'�� 8*efsu�Sj���su�3GÒ�RO��Al�~V�òs qF� - ~T�RO��%X&Iv®;<Q� ��¨JVFM a g8zAbdc�qwj�yvy�Ki�g^� jw��j^q`xAtvj�j��fj��9t���������� �� 6��%80su�L�9s¹q�g�tvsu�Ae�tvrLg�t��KyvxAydzLj�qwtvy?tdrLg�t�� q`b`g�ydrAj��T®;<¶«$tvrAsuy0cAq�q`x5bvy�~C�f¨VFM+a bvj �Sx5s�bdj�y�tvrLg�tYjF�Sj��9tvx�g�{u{u�?j�sutvrAjFb ��cSb��*g�bvj�j`�Lq`{uxL�9j^��«PbdcSi-tvr5j0eSbvcfxAz���suj�ª?®2/0rAj0zLcfyvyds��5s�{usutQ�tvr�g�tF� , �?suy[jw��z5{�s¹q`sutd{��kg�{u{�c�ª�j��T~Ag��L�8rAj��Lqwj � j`�Aj�q`xAtds��5e���������� �� 6��Y8[g�ikcfxA�9tvy�tvckg bdj�fxAj�ydt[«¶cSbyvjF{ЫϨ}bdj�ikc��Sg�{}®<Q�©g��9� q�g�yvjS~nyvjF{ЫϨ}bdj�ikc��Sg�{[suy �Y��� �Aj�q`j�ydyhg�bv�-tvc cSxAbKsuikz�cSydyvsu�Asu{us�tQ� bvj�ydxA{ut�®/�c g^�Scfs¹� ydj�{¬«¹¨

bvjFikc��Sg�{uy^~Lª�jkq�g��ïyvsui8zA{u� a 6hl&8*bvj�su�9tvjFbvzAbdj�t tvrAj8ikj�g��Asu�Aekc�«[tvrAj8su�Asutvs¹g�{��Sg�{uxAjFy�~T�Lg�ikj�{u�9~��/�?rLg�ysu�Asutvs¹g�{9�Sg�{�x5j�l0s�c5�/�$bvj �Sx5j�yvtdy0tvrAjnbvj�i8c��Sg�{9c�«2�1� 6Pyhg^����j�q�g�x5yvj �/�$ydxAyvz�j�q`tdy[tvr�g�t ����rLg�y qwbhg�ydrAj��D8F~g����!�1�&rLg�y su�Asutds g�{$�Sg�{uxAj+l8s�c �1� bdj�fxAj�ydtvyktdrAjKbvj�i8c��Sg�{$c�«F�/�%BQ6Q�]8(bvj���j#EL�Aj?&��kg��L� & �8tdc ��j&�( � (�+ A - �1� 3�g��L� &)(��*(�+ A -��/�%39~9bvj�ydzLj�qwtvsu�Sj�{u�9®;/0rAj*s�i8zLcfyvyds��5s�{usutQ�?zAbdc9c�«;��c�jFy[�Acft[qvr�g��AefjS®/0rAjELbvydt0zAbvcfzLjFbvtQ�kc�«Y§HVFM bdj�fxAsubvj�yntvrLg�t �Ac�tQª�c�zAbdcAq`j�yvydj�y�~�ª0rAjFtvrAj�b*q`cSbdbvj�qwt[cSb��Acft�~A�9suyhgD¨

eSbdj�j?cf�ktvr5j?�Aj�ª>�9s�jFª?®=/0rAsuy0s�y0g�­9su�Ktvc�tvrAj"! �D� �&�%!��$# 0 !��#�������=� zAbvcfzLj�bdtQ�Kc�«"G � /[�� �Iv®Dgn�Aj*i�g^�ª�cS�L�9jFb0ª0rAj�tvr5j�b[cfxAb0suikz�cSyvydsu�Asu{�sutQ�*bvjFyvxA{ut0rAsu�Aefj�y0cS�Ktvr5s�y�xA�As¬«Pcfbvi8s�tQ�(bvj�fxAsubvjFikj��9t�®=<Qt0suy�j�g�yd�Ktvcyvr5c�ª©tvr�g�t?§HVFM bdj�i�g�su�Ay[xA�5yvcS{u�Sg��A{uj�j��fj���s¬« ª�j cS�A{u�+bdj�fxAsubvj tvr�g�t f �%!�!#� f � zAbdcAq`j�yvydj�yk�9cK�Acft�9suyhg�eSbdj�jS®/0rAj$ydj�q`cS���?zAbdcSz�j�bvtQ�*c�«�§HVFM zLcfyvtdxA{¹g�tvjFyVtvr5j$j`�AsuyvtvjF�Lq`j�c�«AtQª c0bdxA�Ay^~�cf�Aj�su�Ayvt`g�{u{us��5e �AjFª���suj�ª

& � ,7& (��*(�+�A -�� � 39~Sg����?tdrAj0cStdrAj�b�su�Ayvt`g�{u{us��5eC& � ,7& (��*(�+�A -�� � 39®%/0rAsuy�suy;gnbdj�g�ydcS�Lg��A{uj bdj�fxAsubvj�i8j��9t�AxAtCsutVq�g��?��j�ª j�g�­Sj��5j��*ª0sutvrAcfxAtYg�cIj^q`tvsu�AentvrAj$sui8zLcfyvyvsu�Asu{usutQ� bdj�yvx5{�t^®^o[�?j`�Lg�iksu�Lg�tdsucS�0c�«AtdrAj z5bvc9c�«yvr5c�ª0y0tvrLg�t�g�{u{�tvrLg�t0suy0�Aj�q`j�ydyhg�bv�+suy0tvr5j?j`�AsuyvtvjF�Lq`j�c�«YtQª�c bvx5�AyF6¶cS�Aj*yvt`g�bdtvsu�Ae�«PbdcSi+�����*g��L�8cf�Aj«PbdcSi+��8��8�tdrLg�t0su�Aydthg�{u{ i2���#����� f � ��suj�ª0y^~A�Acft �5j�q`j�ydyhg�bdsu{�� &���g����!&2�f®

;�� ��������������������X��� � ' %#�*�� ����$�� ©"$� �[�*���'& �������^��

�9cfikj?efbvcSx5z i8j�i �LjFbvyvr5s�zKydj�bv�9s¹q`j�y�rLg^�Sj�tvr5j g��Asu{�sutQ�8tvcK­9s�{u{�zAbdc�qwj�yvydj�y�tdrLg�t�g�bvj��Acft[«Qg�xA{utQ�9®L�5cSbj`�Lg�i8zA{ujS~Vg zAbvcAq`jFyvyktdrLg�t�suy�ydxAyvz�j�q`tdj�� c�«[��j�su�Ae+«Qg�xA{utQ�o6Pyhg^����j�q�g�xAyvj s�t�suy?�SjFbv�ïyd{uc�ªR8?q�g�� ��jbvjFikc��Sj^��«PbdcSi tdrAj*eSbvcfxAzK�9s�jFª g��L�8su�Aydtvbvx�q`tvj�� tvc ­9su{�{�sutvydj�{¬«h~9j��SjF��s¬«�tvrAsuy0zAbdc�qwj�yvy*suy cfzLjFbhg�tdsucS�Lg�{g�������s �8�Acft[gSq`tdxLg�{u{u��«}g�s�{Q®fo[{utvjFbv�Lg�tvsu�Sj�{u�9~�g�z5bvcAq`j�ydy�tdrLg�t0r�g�y0�Acft0yvxLq�qwj�j��9j���su�+q`cfiki xA�As¹q�g�tvsu�Aeª0sutvr cStdrAj�bKzAbdc�qwj�yvydj�yK«Pcfbkg�{�cf�Ae�tvsui8jS~�i�g^�ï�9j^q`s¹�9j+tvc ­9s�{u{0sutvydj�{¬«h®Q<Qt iKg^�ïg�zAz�j�g�bktvr�g�tkydxLqdr&vz5bvcSefbhg�i ¨vq`cS�9tvbdcS{u{uj�� (?q`b`g�yvr5j�y[c�«VzAbvcAq`j�ydyvj�y*tdrLg�t0rAsu�L��j�b tdrAj*zAbvcfeSbdj�yvync�«Vtvr5j�g�{ueScSbdsutvrAi i�g�­Sj0sutj�g�yvsuj�b0«¶cSb�tvrAj?bdj�i�g�su�Asu�Ae?zAbdc�qwj�yvydj�y*tvc su�Ayvt`g�{u{Vg(�Aj�ª>eSbvcfxAzK�9s�jFª?®

o[� jw�5g�ikzA{uj8c�«�z5bvcSefbhg�i ¨vq`cS�9tvbdcS{u{uj���q`b`g�yvr5j�y+g�zAz�j�g�bdyksu� tvrAj(� ���U'�� efbvcSx5z i8j�i ��j�bvydrAsuzzAbdcStvcAq`cf{�eSsu�Sj��Ksu�eGÒ�RO��Al�~T�0s¹q�� - Ið®^<Q�KtvrAsuy[z5bvcStdcAq`cS{Q~As¬«$tvr5j�zAbdcAq`j�yvy��Ks���qvr�g�bvefj?c�« q`c9cfbh�9su�Lg�tvsu�Aetvr5j xAzI�5g�tvj8c�«0eSbdcSxAz��9s�jFª0y�q`cSi8j�y?tdc���j�{usuj��Sj tdrLg�t�gKi�g��wcSbvsutQ�8c�«0tvrAj8zAbvcAq`j�ydyvj�ykg�bvj�«}g�xA{utQ��~�sutj`�Aj�q`x5tvj�y?g��8j��SjF��t[qFg�{u{uj��ef !#?&�#� ®=/0r5s�y0q�g�xAyvj�y9�Ktvc gSq`tdxLg�{u{u�kq`b`g�yvrC~AsQ® jS®u~Stdc�ydtvcSzKj`�Aj�qwxAtvsu�Ae8yvtvjFzAy�®/0rAsuy�zAbvcfeSbhg�i ¨vq`cS�9tdbvcS{u{uj��+qwbhg�ydr s�y(s����9suyvtvsu�AefxAsuyvrLg��A{uj�«Pbvcfi g�&vefj��9xAsu�Aj ( q`b`g�ydr tdrLg�t(s�y �9xAj8tvc�~yhg^�9~Ag(rLg�b`�9ª�g�bvj*«Qg�su{uxAbvjS®/0rAj ikcA�9jF{Yc�«1GÒ���Va$�`\&I �9c9j�y?�Acft)�Sx5s�tdjkq�g�z5tvxAbdj yvxLqdr�zAbdcSeSb`g�i&¨ðq`cf�9tvbvcf{u{�j^��qwbhg�ydrAj�y&a�s�� tvrLg�t

ikcA�9jF{Yg8zAbvcAq`jFyvy��9c9j�y(�AcStnrLg^�Sj�tvrAj g��5s�{usutQ�ktdcKyvtvcfz t`g�­9su�Aekydtvj�z5y?s¬« sut[ª0g��9tvy*tvc�®T�9su�Lq`j ª�j�xAydj

ÅVÅ�ÜNr�ã�s`ä�ã

Page 11: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

tvr5j GÒ���Va$�`\�I$ikcA�9j�{TtdckzAbdc��Sj?tdrAj�sui8zLcfyvyvsu�Asu{usutQ��c�«$§qVWM 6�/0rAj�cfbvj�il98�~�cf�Aj?i�g^�kg�yv­Kª0rAj�tdrAj�bcSx5b0�Aj�e�g�tvsu�Sj*bdj�yvxA{ut0ydtvsu{u{TrAcS{¹�9y0s¬«Yz5bvcSefbhg�i ¨vq`cS�9tvbdcS{u{uj�� q`b`g�yvr5j�y�g�bvj�g�{�{uc�ª�j��T®/�c�ydj�j?ª0r9� tvrAsuy �fxAj�ydtvsucS�8suy0zLj�bdtvsu�Aj��9t^~Lq`cf�Ayvs¹�9j�bntvrAj*zAbdc9c�«Yc�«Ysuikz�cSydyvsu�Asu{usutQ��c�«Y§HVFM �Lg�ydj��

cS�8tvrAj:GÒ�Y�Ca$�]\�IVi8cA�9j�{Q®%/0rAsuy$zAbdc9c�«;qwcS�Aydtvbvx�q`tvy*g��kgS��iksuyvyds��5{�j�bvx5��su� ª0rAs¹qdrkjF�Sj�bd� zAbvcAq`j�ydy[t`g�­SjFyg�� s���EL�Asutvj*�9xAi ��j�b0c�« ydtvj�z5y��5xAt[�AjF�Sj�b*su�Ayvt`g�{u{uy[g��Aj�ª-�9suj�ª?®;<Qt[suy[q`bdxLq`s¹g�{C«Pcfb[tvr5s�y[qwcS�Aydtvbvx�q`tvsucS�tvr�g�t ��@%��!�� z5bvcAq`j�ydy?�Lj q�g�zLg��A{uj?c�« thg�­9s��5ektvr5j��Ajw��t*ydtvj�z�g�t*g��9�KzLcfs��9tns�� tvsuikjS®^/0rAsuy[suy*tvbdxAj�su�tvr5j(G ���Ca$�]\�I i8cA�9j�{Q~A�Ax5t?suy��5cSt?tdbvxAj s¬« ª�jkg�{u{uc�ª-zAbvcfeSb`g�i ¨vq`cf��tdbvcf{�{uj��Kq`b`g�ydrAj�y9aCcS��q`j�g8zAbdc�qwj�yvyrLg�y�jw��j^q`xAtvj^��gkq`b`g�yvr�j��fj��9t�~Tsut�qFg��A�Acft*�Lj�bvj�fxAsubdj��+tdcKthg�­fj�g �5j`�At�ydtvj�zC®b/0r9xAy�~�tvr5jkg�bvefxAikjF��tc�«�GÒ�Y�Ca$�]\�IYq�g��5�AcSt0��j��9subvj^q`tv{u��g�zAzA{usuj�� tdc yv�9yvtdj�iky0tdrLg�t[g�{u{�c�ª zAbdcSefbhg�i&¨ðqwcS�9tvbdcS{u{uj�� q`bhg�yvrAjFy�®<Qt�tdxAbv�5y�cfxAt?tvr�g�t�tvrAj8s�i8zLcfyvyds��5s�{usutQ�kc�«[§HVFM suy?�5cSt?{usuiksutvj^�+tdc+tvrAj GÒ�Y�Ca$�]\�I0ikcA�9jF{�a�tdrAsuy

�Aj�e9g�tds��fj bdj�yvx5{�t�rAcS{¹�9y$jF�Sj�� s¬«Lª�j[g�{u{uc�ª�zAbvcfeSb`g�i ¨vq`cf��tdbvcf{�{uj��*q`b`g�ydrAj�y�®=/�cnyvrAc�ª tvr5s�y^~�ª�j i xAydtpELbvydtikcA�9jF{�g�yv�9�LqdrAbdcS�AcfxAy �9suyvtdbvsu�AxAtdj���yv�9ydtvj�i8y$ª0sutvr�zAbvcfeSbhg�i ¨vq`cS�9tdbvcS{u{uj��?qwbhg�ydrAj�y^®��ßj�t�� ��j��AcStdj[tdrAjikcA�9jF{Lc�«"GÒ���Va$�`\�Ið®9�0j^q�g�{u{Ttvr�g�t0su��� j^gSqdrKzAbvcAq`j�ydy[suy0g���g�xAtvcfi�g�tvcS�C~Sg��L�8g�t0i8cSyvt�cS�Aj*zAbdc�qwj�yvyq�g�� ydtvcSz�j`�Aj�q`x5tvsu�Ae+ydtvj�zAy�g�t?g��9�Kyvt`g�tvjf®V��cS�Ayds¹�9j�b�g&ikcA�9j�{�c�«0q`cSi8zAxAthg�tvsucS�+�9jF�AcStdj������ntvrLg�tsuy s¹�9jF��tds¹q�g�{Ttdc�� ~9j`�Lq`j�zAtntvrLg�t0tvrAj?g�x5tvcSiKg�tdcS� g�yvydcAq`s¹g�tvj^�Kª0sutvr�g��9� zAbvcAq`j�ydy*s�y��Ac�ª g�{u{�c�ª�j��&tvcrLg^�fj g8yvz�j�q`s¹g�{ ydthg�tdjS~�q�g�{u{uj�� i%��� ~Tyvx�qvr�tdrLg�t*s¬«[gkz5bvcAq`j�ydy�j��9tdj�bvy�tvrLg�t?yvt`g�tdjS~Vsut*yvtdcSzAy(j`�Aj�q`xAtds��5eyvtdj�zAy^®]/0r9xAy^~�g�yYsu��� ~�ikcA�9jF{�����g�{u{uc�ª0yYg�t�ikcSydt�cS�Aj�zAbvcAq`jFyvy0tvc*ydtvcSzkg�t$g��9�?yvt`g�tdjF6PtdrAsuy$ikcA�9jF{�yg�eSjF��x5s��5j?rLg�b`�9ª0g�bvj�q`bhg�yvrY8F~L�5xAt0xA�A{usu­Sj� ~Asu����[g��9�k�9xAi ��j�b0c�«$zAbdc�qwj�yvydj�y?i�g^� ydtvcfz g�t[tdrAji%��� ydthg�tdj36¶tvrAsuy8ikcA�9j�{uy zAbdcSeSb`g�i&¨ðq`cf�9tvbvcf{u{�j^�ïq`b`g�yvr5j�y�8F®[�9su�Lq`j����Kgf�9iksutvy�zAbdcSeSb`g�i&¨ðq`cf�9tvbvcf{u{�j^�q`b`g�yvr5j�y�~CtvrAj��9j#EL�Asutds�cf�+c�«0gS�9i8s�ydyvsu�A{uj*bvxA� s�y?�9s�cTj�bvjF��tn«PbdcSi tvrAj�cS�5j?«Pcfb�� a;<Q��� ~Tg�� s���EL�Asutvjbvx5� s�y�gS�9i8s�ydyvsu�A{uj$s¬«Yg�t�ikcSydtVcf�Aj[zAbdcAq`j�yvy�yvtdcSzAy�j`�Aj�q`x5tvsu�Ae�yvtvjFzAy�~Ag��L��j��SjFbv��ikj�ydyhg�efj0yvj��9t�tvc�g��9�zAbdc�qwj�yvy�tvrLg�t�thg�­fj�y g���su�=EL�5s�tdj �9xAi ��j�b�c�«Tyvtdj�zAy$suy�bvj^q`j�su�Sj��ß®]<Q��� � ~�g���su�=EL�Asutvj�bvx5� s�y$gf�9iksuyvydsu�A{ujs¬«Yg�t�ikcfyvt$cf�Aj*zAbvcAq`j�ydy[ydtvcSz5y0j`�Aj�q`xAtds��5e yvtvjFzAy ?&�R?W�#�J?��J�Fi2� R��!����=�Y��!#�%� i2��� ~Ag��L� jF�Sj�bd�kikjFyvyhg�eSjyvjF��tntvc g��9�kz5bvcAq`j�ydy�tdrLg�t0t`g�­fj�y[g��8s���EL�Asutvj*�9xAi ��j�b c�«$yvtvjFzAy[suy0bvj^q`j�su�Sj��ß®R�0�°9´L£�° ���T¦0§HVFM suy �AcSt ydcS{u�Sg��A{ujKsu� g�yv�9�LqdrAbdcS�AcfxAykyd�9yvtvjFiky ª0sutvr q`b`g�yvr «}g�s�{uxAbdj�y�~�jF�Sj�� s¬«q`cfiki xA�As¹q�g�tvsucS�(s�y0bdj�{us¹g��A{uj?g��L�&zAbvcfeSb`g�i ¨vq`cf��tdbvcf{�{uj�� qwbhg�ydrAj�y?g�bdj?g�{u{uc�ª j��ß®C*£�´T´ED�¦L§�jnyvrAc�ª tdrLg�t�§HVFM suy��AcSt�yvcf{u�Sg��A{uj[su������®=/0rAj*zAbdc�c�«Ysuy��Lg�ydj��8cS��/0rAj�cfbvj�i l*ª0r5s qdryvr5c�ª0y0tvrLg�t0§qVWM suy0�AcSt0ydcS{u�Sg��5{�jnsu��� ®

�Tj�t����?��jkg��9� g�{ueScSbdsutvrAi su� i8c���j�{�����®�����qwcS�Ayds�ydtvy?c�«òg8ydj�t?c�«[g�x5tvcSiKg�t`gA~Acf�Aj�«Pcfb�j^gSqdrzAbdc�qwj�yvy su��tvr5jkyv�9ydtvj�i�®C/�bhg��AyQ«¶cSbvi�tvrAjFyvj+g�xAtdcSiKg�thg&su��tdc g�x5tvcSiKg�t`g c�«�� g�y*«PcS{u{uc�ª0y9a�bdj�zA{¹gSq`jj�gfqvr���<��*yvt`g�tvj(ª0s�tdr�g5�����Kydthg�tdjS~AydxLqdrKtvrLg�t0sЫ$g�zAbvcAq`jFyvyF�KjF��tdj�bvyntvrAjB�����kydthg�tdjS~���qwcS�9tvsu�9xAj�yntvcthg�­Sj�yvtdj�zAy�g��L�Ksu� jF�Sj�bd�+yvxA�5yvj�fxAj��9t?ydtvj�z�tdrLg�t*sut[t`g�­fj�y�~Tbdj�e�g�bh�9{uj�ydy?c�«�tvrAj�ikj�ydyhg�eSj?sut*bvj�qwj�su�Sj�y6Psu�Lqw{�x��9su�Ae�tdrAj &v�9xA{u{ (?ikjFyvyhg�eSj98F~��Kbvj�iKg�su�Ay$su�8tvrAj������8yvt`g�tdj�g��L�8�9c9j�y[�5cSt�yvj��L� g��9� ikj�ydyhg�eSj�y^®/0rAsuy[tdbhg��AyQ«PcfbviKg�tvsucf�k�9suj�{¹�9y�g�� g�{ueScfbvsutvr5i�� ª0sutvrAcfxAt���<��?ydthg�tvj�y^~Vg��L� yvc�� s�y*g��+g�{uefcSbvsutdrAi su�ikcA�9jF{�� ®

§�j[y`g^� tvrLg�t tQª�c?bvx5�Ay[g�bdj f �2� 0 !�$����=� sЫVtdrAj��8yvthg�bvt�«PbdcSi tvr5j�y`g�i8j0s��5s�tds¹g�{Lq`cf�=ELefxAbhg�tvsucS�Kg��L�j�gfqvr zAbvcAq`j�ydy*s��5yvthg�{u{�y[g&�Aj�ª-�9suj�ª>s��Kcf�Aj?s¬« g��L�8cS�5{��8s¬«;sut0su�Aydthg�{u{uy0tvr5j?yhg�ikj*�9s�jFª su�KtvrAj(cStvr5j�b�®§�j0q`{¹g�sui-tvrLg�tC«PcSb�j�gfqvrkgf�9iksuydyvsu�A{uj�bvxA� c�«��©su��� tdrAj�bvjnsuy;g*q`cf�AeSbdxAj��9t gf�9iksuyvydsu�A{ujYbdxA� c�« ����su����^~Sg�������s¹q`jw¨}�fj�bvy`gA®"!��AbdcSi-tvr5s�y�q`{¹g�sui g��L�?tdrAj[ydzLj^q`s�EIq�g�tdsucS� c�«T§HVFM�~#���$ydcS{u�Sj�y�§HVFM�su�����s¬«�g����KcS�A{u�Ks¬«�� ydcS{u�Sj�y*§HVFM�su��� ®;/0rAj�tvrAj�cfbvj�i�tvrAjF�+«Pcf{u{�c�ª0y0sui8ikj��9s¹g�tvj�{u�(«Pbvcfi /0rAj�cSbdj�ilS®=<Qt0�5c�ª bdj�i�g�s��5y$tvc ydrAc�ª tdrAj�q`{¹g�s�i�®�Tj�t%$0��j[g��9��gS��iksuyvyds��5{�j�bdxA� c�« � su��� ®%MKcA�9s¬«P�&$[g�yC«PcS{u{uc�ª0y9aF«PcfbVj�gfqvr z5bvcAq`j�ydy � tdrLg�t�j��9tdj�bvy

yvt`g�tdj������V~5bvj�zA{¹gfq`j?tvr5j?yvtdj�z q�g�xAyvsu�AeC� tvc j��9tvjFb �����8«Pcfb0tvrAjZE�bvyvtntvsuikjnsu��tdckg�yvtdj�z q�g�xAyvsu�AeC� tvcj��9tvjFb?tvrAj ydthg�tvj���<'�f~Tg��L���9suyhqFg�bh��g�{u{Vyvx5�Ayvj�fxAjF��t5������yvtdj�zAy?c�« �C®Y<Qt*suy*j�g�yd�+tvcK�fj�bvs¬«P�+tdrLg�t*tdrAjbvjFyvxA{utvsu�Ae bdxA�Ksuy[g��+gS�9i8suyvyvsu�A{uj0bdxA�Kc�«(���0su�����tvrLg�t0s�y[qwcS�AefbvxAj��9t0tdc�$9®

��cS�9�SjFbvyvjF{��9~9{uj�t)$*����j?g��9� gf�9iksuydyvsu�A{uj0bvxA�8c�«+����su������®A�ßj�t�, ��j*tvrAj*yvjFt0c�«Yz5bvcAq`j�ydyvj�yntvrLg�tj��9tvjFb�ydthg�tdj���<'�&s��-$#��®C�Tj�t&$�4� ��jktdrAj yvrAcfbvtdj�yvt�zAbvjmEA� c�«.$#�(yvxLqdr�tvr�g�t�g�{�{�zAbdcAq`j�yvydj�y su�/, rLg^�Sjj��9tvjFbvj�����<��S~�g��L��$�4 4� �Lj(tvrAj*yvx � ��c�«�$ � tdrLg�t�«¶cS{u{uc�ª0y0$�4� ®DMKcA�9s¬«P��$ � g�y�«¶cS{u{uc�ª0y9a`<Q�ktvr5j?zAbvjmEA�1$�4 � ~

÷ÏØVÅV÷Ïç

Page 12: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

����������� ������������������������ �"!#�%$& (')���*�#��!#�#�+�, �

«Pcfb$j�gSqdrKzAbdc�qwj�yvy��8su��,K~9bvj�zA{¹gfq`j[tdrAj[ydtvj�z+q�g�xAyvsu�AeG� tvc�j��9tvjFb��)<��0su�9tvc�g?ydtvj�z+q�g�xAyvsu�Ae �8tvc(j��9tvj�byvt`g�tdj#�����C®Y<Q�-$�4 4� ~TgD«Ptvj�bnj�gSqdr�yvtdj�zV~Tsu�Aydj�bvt?g8yvj�fxAjF�Lq`j c�«�yvtvjFzAy�~Tcf�Aj(«PcSbnj�gSqdr�zAbvcAq`j�ydy?su� ,�BTtdrAjikjFyvyhg�eSjnbvj�q`jFs��fj��Ksu�kj^gSqdrKc�«YtdrAj�ydj?yvtdj�zAy[suy�tvrAj*cf{ ��j�yvt0cf�Aj*yvj��9t0tvc tdrAj*zAbvcAq`jFyvy[t`g�­9su�Ae�tvrAj*yvtdj�zV~cSb0tdrAj &v�9xA{u{ (�i8j�yvy`g�efj[s¬«Y�Ac ydxLqdrKikj�ydyhg�efj*j`�As�ydtvy^®D<Qt0suy0j�g�yd�ktdc �Sj�bdsЫ¶� tvrLg�t0tvrAj*bvjFyvxA{utvsu�Ae bdxA�+suyg��+gf�9iksuyvydsu�A{uj0bvxA�Kc�«+� s��� tdrLg�t0suy[q`cf�AeSbdxAj��9t[tdc�$#�^®/0rAsuy[q`cSi8zA{uj�tvjFy0tvrAj*zAbdc�c�«$c�«YtdrAj?q`{¹g�sui g��L�8rAj��Lq`j(c�«YtdrAj?tdrAj�cSbdj�i ® Q

� % ������%����$���&�

o>eSbvcfxAzki8j�i ��j�bvydrAsuz�ydj�bv�9s¹q`j*zAbvc��9s¹�9j�y�yvcfikj0­9su�L��c�«Yg�eSbdj�j�ikjF��t0g�i8cS�Ae*zAbdcAq`j�yvydj�y[cf�ktdrAj &`q`xAbQ¨bvjF��t (�ikj�i ��j�bdyvrAsuz�c�«�g eSbdcSxAzC®C/0rAsuy g�efbvj�j�i8j��9t�bdj�fxAsubvj�i8j��9t�i x5yvt?��j+q�g�bdj`«PxA{u{u��yvz�j�q`s�ELj�� ydctvr�g�t0tQª�c�z�cStdj��9tvs¹g�{u{u�kq`cS� ELs¹q`tvsu�Ae efc�g�{uy0g�bdj�i8j�t9a

lf®U<Qt0i xAyvt��Lj*ª�j�g�­8j��AcfxAeSrKtvc ��j*yvcf{��Sg��A{ujS®�5®U<Qt[i xAydt[��j�ydtvbvcf�AeKj��AcfxAeSr+tdcKyvsuikzA{us¬«P��tvrAj �9j�ydsueS��c�«$«}g�xA{utQ¨Qtvcf{�jFbhg��9t[�9suydtvbvsu�Ax5tvj���g�zAz5{�s¹q�gD¨tvsucS�Ay^®=<Q�KzLg�bdtvs¹q`xA{¹g�b^~9sut0yvrAcfxA{¹� �Acft0�Lj?y`g�tds�yJELj��8�9�ktdbvsu�9s g�{Lcfb0xAyvjF{�jFyvy*zAbvcftvcAq`cf{�y^®

�5cSb[z5bvsui�g�bv�f¨}z�g�bvtdsutvsucS� efbvcSx5z+ikj�i ��j�bdyvrAsuzkydj�bv�9s¹q`j�y^~TsQ® jS®u~Atvr5cSyvj(tvrLg�t[i�g�su��t`g�su�kg�efbvj�jFikj��9t[cf� g����� 0 �>� �9s�jFª c�«[tdrAjkefbvcSx5zïg�t�g�����cS�5jktvsui8jS~Ttvr5jksuikz�cSydyvsu�Asu{us�tQ�8c�«[§HVFMsu�L�9s¹q�g�tvj�y(tvrLg�t�tdrAj�yvjtQª�c eSc�g�{uy�g�bvj*su�Lq`cSi8zLg�tdsu�A{uj0s��+g�yv�9�LqdrAbvcf�AcSx5y[yv�9ydtvj�i8y0ª0s�tdr8«}g�su{uxAbvjFy�~9j��fj��+s¬«;q`cfiki xA�5s qFg�tvsuc�� suybvjF{�s¹g��A{uj�g��L� zAbvcAq`j�ydyvj�y iKg^� cS�A{u�+q`b`g�yvrC®b<Qt[suy*suikz�cSbvt`g��9t�tvcK�AcStdj�tdrLg�t ���=��� ��� D�&�#�������k� ������!��m��$+�4�?# ` Y�����#�:� � 0 !#�%$& 3�������#��!m���=�, �9��!�@&� f �m� ����?�� ?%!#��?%������$N�#il� ��!#�����%@%�U��!��2� ���D� 0 !��2$9 ��1?%�Yi ��@����j ������� ?2� ?2!9��� ��!#?%!��(�^$+���#��!e��� �Y�%��� �&?%$=�,���� Y!#� f �m���9�m�����D?&� i%��ie�Y���#$Q� ���o�J�o�#�(!#�����%@%�#i�� /0r9xAy^~q`cf��tdbhg�bv��tvc�gKª0s¹�9j�ydzAbvj^gS� �9s�jFª GÒ�RO��Al�~Co1TZLZM+�S�5~ TZLZM+� - ~ TZM+�5�%XA~$�QM+�5�]\�Iv~Yg�{u{�c�ª0su�AeKtdrAjbvjFikc��Sg�{Tcfb[­9su{u{�su�Ae�c�«�zAbvcAq`j�ydyvj�y�tvr�g�t�g�bvj�yvxAydzLj^q`tvj�� tvc8rLg^�Sj�qwbhg�ydrAj�� suy �;�&� ydx���q`suj��9t*tvckiKg�­fjtvr5j�z5bvsui�g�bv�f¨}z�g�bvtdsutvsucS� efbvcSx5z�i8j�i ��j�bvydrAsuz zAbvcf�A{uj�i yvcf{u�Sg��A{ujS®

�0cftvj?tdrLg�tntvrAj?z5bvc9c�« tdrLg�t0§HVFM q�g��A�Acft[��j?yvcf{��fj��Ksu�+g�yd����qvr5bvcS�5cSxAy*yv�9ydtvj�i8y0ª0s�tdrK«}g�s�{uxAbdj�yrAsu�Aefj�y cf�KtvrAjò«PcS{u{uc�ª0su�Ae*{�su�fj��Aj�ydy0bvj�fxAsubvjFikj��9t�c�«Y§HVFM a]<¶«/�/�0cSb>�1�nbvj �Sx5j�yvt0tdc {�j^g^�Sj[tdrAj*eSbdcSxAztvr5j�� g&�Aj�ª!��suj�ª-suy*j��fj��9tvxLg�{�{u�Ksu�Ayvt`g�{u{uj��8�9� g�tn{�j^g�yvt*cf�Aj?zAbdc�qwj�yvy?su�+tdrAj�yv�9yvtdj�i ®T�9cfikj*suikzA{uj`¨ikjF��t`g�tds�cf�Ay$c�«YzAbds�iKg�bd�S¨QzLg�bvtvsutds�cf��efbvcfxAzki8j�i �LjFbvyvr5s�zk��c �AcSt�yhg�tvsuyQ«P� tdrAsuy0{us��fj��Aj�ydy0bvj�fxAsubdj�ikj��9t&a/0rAj���rLg^�fj0bvxA�Ay�tvrLg�t)&v�A{ucAqd­ ([«¶cSbvjF�Sj�b^~ScfbYbdj�ikc��fj cfb$­9su{�{Ag�{�{9zAbdcAq`j�yvydj�y�® � <Qt�s�y��Acft q`{uj�g�b�~frAc�ª jF�Sj�b^~ª0rLg�t0{�su�fj��Aj�ydy0zAbvcfzLj�bdtQ� 6Ps¬«;g����D8�ydxLqdr�sui8zA{uj�ikj��9t`g�tvsucf�Ay$�9c yhg�tvsuyQ«P�(G o[��OUM�/[�]\�Iv®<Q� q`cf��tdbhg�yvtKtvc zAbvsui�g�bv�f¨QzLg�bdtvsutvsucS� eSbdcSxAz i8j�i ��j�bvydrAsuz ydj�bv�9s¹q`j�y^~0zLg�bvtvsutds�cf�Lg��5{�jKcf�Aj�y+g�{u{uc�ª

zAbdc�qwj�yvydj�y*tvc �9suyhg�efbvj�j*cf�ktvr5j�qwxAbvbdj��9t[ikjFi �Lj�bdyvrAsuz�c�«�tvrAj*eSbdcSxAzC~9s}® jS®u~�ydj��SjFbhg�{��9s�cIjFbvj��9t[�9suj�ª0y�c�«tvr5j ikj�i ��j�bvydrAsuz+c�«�tvrAj efbvcSx5z iKg^��jF�ScS{u�fj q`cf�Lq`xAbdbvj��9td{���g����+su�L�9jFzLj����9j��9tv{u� «Pbvcfi j�gfqvr�cftvrAjFbG �����[� - ~S�A�O ��S$� - ~DONTZVFO��%XA~DTZM+�5�%XA~=T1M �A�]\5~��QM �A�]\�Ið®`<Q�kz�g�bvtds¹q`xA{¹g�b^~StdrAj�bvj*iKg^�?�Lj*ydj��Sj�b`g�{�9suy��wcSsu�9tTyvxA�Aydj�tvy�c�«AzAbdcAq`j�yvydj�y0yvx�qvr�tvr�g�tVz5bvcAq`j�ydyvj�y�su�?j�gSqdr�yvxA�5yvj�t g�eSbdj�j tdrLg�t ������� g�bvj�tvrAj0q`xAbdbvj��9tikjFi �Lj�bdy�c�«Vtvr5j�efbvcfxAzV®`<Q� cStvr5j�b0ª cfbh�9y^~SydxLqdrkefbvcSx5zkikjFi �Lj�bdyvrAsuz�yvj�bd�9s qwj�y[g�{u{uc�ªH0 !��2$9 ��� ;� �������k� 06Pjf® e�®u~Aª0rAj�� tvrAj?�5j�tQª cfbv­KzLg�bvtvsutds�cf�Ay�8ng��L� 0 !#�%$& e�*��! 0 ��� 0�6Pjf® e�®u~9ª0rAj���q`cSi8i xA�As¹q�g�tdsÐcf� �Lj�tQª�j�j��zLg�bvtvsutds�cf�Ay�s�y0bdj�yvtdcSbdj��D8�®O$�kg�{u{�c�ª0su�Ae[��s�y`g�efbvj�j�i8j��9t�~fyvxLqdr8eSbvcfxAz�ikj�i ��j�bvydrAsuz�ydj�bv�9s¹q`j�y0jFyhq�g�zLjò«Pbvcfi tdrAj[sui8zLcfyvyvsu�Asu{usutQ�

bvjFyvxA{ut?c�« tvrAsuy*zLg�zLj�b^® �òc�ª jF�Sj�b^~TtvrAjF�+bvxA��su�9tvcKg��AcftvrAjFb*«PxA�L�5g�ikjF��t`g�{CzAbvcf�A{uj�i)a5tvrAj�sub*yvz�j�q`s�EIqFg^¨tvsucf�+i xAyvt0��j�yvtvbdcS�AeKj��5cSxAefr+tvcKbvx5{�j(cSxAt*xAydj�{uj�yvy*eSbdcSxAz�ikjFi �Lj�bdyvrAsuz8zAbvcftvcAq`cS{uy:6Psu�+z�g�bvtds¹q`xA{¹g�b^~zAbdcStvcAq`cf{uy�tdrLg�t�q�g��Hf ?# Y!�� f ���%$`��� � yvzA{usut*eSbvcfxAzAy?su�9tvc8yvsu�Aef{�jFtvcS��yvjFtvy�8(g��L� �Sj�t(s�t*ydrAcSxA{¹� �Lj�ª�j�g�­j��AcfxAeSr�tvc bvj�iKg�su�KyvcS{u�Sg��A{ujS®;/YcKcfxAb*­��5c�ª0{�j^�9eSjS~ßtvrAjk�9jFyvsueS��c�«0yvxLqdrïg8yvz�j�q`s�EIqFg�tvsucf��s�y*ydtvsu{u{ g��cSz�j��KzAbdcS�A{uj�i G o[��ONM�/[�`\�Iv®

� Ú�Õ`ÉVÆ��^È`ê0Ì�ÑÐÆ�å`ÍÏËSÆVÎÒê0Ì�ÑÐÆðê[ÆQÜ�ÍPÈ`ÍÏÎÐÕ`Ü Õ`î ������ % ÅVøTà�öFå�ÅTÎÐÊdà�í"'AÊdÈ`Ü�ÊðÉ}È�ÇÏË � � � Ì�É}Õ^ÊvÆdÇPǶÆvÇ5ÎÒÜ�ÍÏËSÆ�ÇPÓ^ÇPͶÆQê�×9ÆQîuÕ`É}ÆÈ`Ü�Ó�ÜSÆvý � ÎÐÆdýkÎÐÇ�ÎÒÜSǶͶÈ`ÑÒÑÐÆvÖ9ó

ÅVÅ�ÜNr�ã�s`ä�ã

Page 13: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

l�

� ��� ����� ��� � ��(���(���;�

§�j g�bvj�eSb`g�tdj`«PxA{$tdc+�TcSbdj��2��c o[{u�9s�yds$g��L��a�bhg�yhgf����g^��g��9tvsC«PcSb*tdrAj�sub?su�Ayvsuefr�tð«PxA{�q`cSi8ikj��9tvyncS��g��j�g�bv{usuj�b��fj�bvydsucS�ïc�«�tdrAsuy�zLg�zLjFb�®�§�j�g�{uyvc+tdrLg��A­3V�j�bhg�bh� �Tj��Cg��A� g��L� a�g�yhqFg�{uj MKsu�AjFt�«PcSb?iKg��9�rAj�{uz9«¶xA{V�9suyhq`x5yvyvsucf�Ay[cf��efbvcfxAzki8j�i �LjFbvyvr5s�z8yvj�bd�9s qwj�y�®

� �*�S�*"$�(���[�*�

G o[��ONM5/[�]\&I���i8i�g���x5j�{u{Ðjkon�Lq`j�g�xAikjf~NO�j�bv�Lgf�9j�tdtvjï��rLg�bvbvcf�9¨ O$cfyvt�~0a�g�y`q�g�{ujeMKsu�Aj�t^~ g���� �Ag�i/�cSx5j�eL®Hgn� tdrAjK«Pcfbvi�g�{ ydzLj^q`s�EIq�g�tdsucS� c�«�efbvcfxAz ikj�i ��j�bvydrAsuzïydj�bv�9s¹q`j�y^® /�j�qdrA�As¬¨q�g�{I�òj�z�cSbvt��]\^¨�l9\ - X�~D��cfikzAx5tvj�b$�Aq`suj���q`jFT[jFzLg�bdtvikjF��t^~S��cSbd�Aj�{u{��0�Asu�SjFbvyvsutQ�9~%<Qtvr�gSq�g5~�òj�ªH_�cSbv­�l�X9�]\ - ~SonxAeSx5yvt?l��f�]\5®

G o1TZLZM+�S��I _�g�subYoniksub�~`T�g��A�9�*Tncf{�jF�I~f�9rA{ucSi8c1Lnbhg�ikj�b^~�g��L��T*g�{us¹g1M g�{u­9s}®;MKj�i ��j�bvydrAsuz�g�{�efc�¨bds�tdrAiky;«PcSb$i x5{�tds¹q�g�ydt;qwcSiki x5�As¹q�g�tds�cf�?eSbdcSxAz5y�®b<Q� �N!�� f ���#i2��� 0 � �������������� ��=� ��!��;?�������%�;?%� n �2! j ���D�# 3�%��1� ����!�����$`�J�#i�#Z� 0 �2!������+�W�� n � #:������ ����� d���� �������� ~Az�g�eSjFy�f�S��� - l^�A~ �òc��Sj�i ��j�b?l��f�S�5®

G,ONTZVFO��%X2I �g���g�{�z7O g��Lg�c��eS{uxV~��0j�����c3T*g^�ScS{usQ~T�TxAsuefsШQo[{u��j�bvtdc V�s gfqdrAsu�AsQ~Vg��L�oM+g�bd� V*b`g^� O�g^¨­fj�b�®��! � # d �#" ? f �%�:� $=�D� f ?������2�=� ������!�?&�#��!�$ f ��$=!�� �9�%! f �2�=�#��!�$ f ����� 0 !���� ��?`����� ?m 2� ;� � f ?&�����2�=�R��� ��?%! 0 � ��� f ?2�>�Zi%� ����!�����$`�J�#i ���&��� ���F� ®bO ��gòo1T*��o���/ a;bvc��`j^q`t[�9j�{usu�Sj�b`g��A{ujbdj�zLcfbvt^~Ll^�S�%X�®YTnj�zLg�bvtdikj��9t$c�«Y��cSikz5xAtvsu�Ae*�Aq`suj��Lq`jf~$�0�Asu�SjFbvyvsutQ��c�« �0j�ª0q�g�yvtv{ujnxAzLcf�/��9�AjS~$�RL�®

G,O$�9�S��I Lnj��A�5j�tvr a�®CO$subdi�g���g��L� /0rAcSiKg�yno�®T�fcSyvjFzArV®K�C�AzA{ucSsutvsu�Ae8��subdtvxLg�{$yv�9�LqdrAbdcS�9� su��9suydtvbvsu�Ax5tvj��Kyd�9yvtvjFiky�®<Q� �N!#� f �#�#i%��� 0 �*�J�F�����&%'%%��� #Z�D�D$D?%� � �%� �������$=� � ���!�?����k� 0� �&�#� ���W���N!���� f �, ;�>�m� ~9zLg�efj�y?l�� - �Il - �5~SonxAyvtds��C~=/!(�~ �òc��Sj�i ��j�b*l��f�S�A®

G,O �5�%X%I �g���g�{�zeO�g��Lg�c#�eS{ux�g��L� o[���9bA�jK�AqdrAsuzLj�b^® gn��eSbdcSxAzïq`cfiki xA�5s�q�g�tvsucS�Ksu� {¹g�bveSj�yhqFg�{uj�9suydtvbvsu�Ax5tvj��&yv�9yvtdj�iky^®b<Q� �N!#� f �#�#i%��� 0 �1�J�R����� # d ' � %�Z��� �) $=!#�# D��?2� n �%! j �#���m ~T*g�efyvtdxArA{Q~+V�j�bviKg��9��~9�9j�z5tvj�i ��j�b?l��f�%X�®

GÒ��bvs¹�AlmI �C{¹g^�9s�x+��bds�ydtvs¹g��C®?�0j�gfqvr5s��5e g�eSbdj�j�ikjF��tncS��zAbvcAq`jFyvyvcfb?eSbdcSxAz�ikjFi �Lj�bdyvrAsuzKsu�+yv�9�9¨qdrAbdcS�AcfxAyY�9suydtvbvsu�Ax5tvj��*yd�9yvtvjFiky�® �1���#��!�����$]� �#i d �2�R ;$]����� 0�~�X^6�X=8�aul��`\��Il^�S�5~vonzAbvsu{Ll^�S�5lS®

G,TZL1M � - I T*g��5���:T[cf{uj��T~S�9rA{ucSi8c1Lnbhg�ikj�b^~Sg�����T�g�{us gZM+g�{u­�sQ®A�$g�bv{u� �9j�{usu�Sj�bd��tdcSthg�{u{��(cSbh��j�bvj��i xA{utds qFg�yvt�su��g�yv�9�LqdrAbdcS�AcfxAy0j��9�9s�bdcS�Ai8j��9t�®b<Q� �N!�� f �#��i2��� 0 � �J�R�����+*-,2����#Z�^�D$D?%�Y����� ��!��Y?&�����%�;?%� � �%� ����m�k$+� �%�&.C?%$=�,�0�0/b�%����!#?%�=� d �2�R ;$]����� 0�~^zLg�efj�y \2X]X1��\]\ - ~#/�cSx5{�cfxAyvjf~�fxA�Aj l��f� - ®

G,TZM+�A�%X2I T*g��5���FTncS{uj��T~&T�g�{us g�M g�{u­9s}~�g��L�?�[g^�?�9tdbvcf�AeL®9on� g�yv�9�LqdrAbvcf�AcSx5yYi8j�i ��j�bvydrAsuz?zAbvc�¨tdc�qwcS{9tvrLg�t$tvcf{uj�bhg�tvj�y�zLg�bvtvsutds�cf�Ay�®=/�j�qdrA�5s qFg�{L�òj�zLcfbvt$�0�A�2X�¨v�A~&<Q�AyvtdsutvxAtdj0c�«I��cfikzAxAtdj�b�Aqws�jF�Lq`jS~;/0rAjC�0jF�Abvj�ª2�ò�Asu�Sj�bdyvsutQ�kc�«Y�fj�bvxAy`g�{uj�i�~Tl��S�2XL®

G,TZM+�A�]\�I T*g��5���eTncS{uj��T~ T�g�{us g M+g�{u­9sQ~Yg��L�ï�ng^� �9tdbvcf�AeL®�o «¶bhg�i8j�ª�cSbv­ «PcSb�zLg�bdtvsutvsucf�Lg��A{uji8j�i �LjFbvyvr5s�z ydj�bv�9s¹q`jS®[/�j�qdrA�As¹q�g�{V�òj�z�cSbvt[�0�5�]\^¨�XL~`<Q�AydtvsutvxAtdj?c�«$��cSi8zAxAtvjFb �Aq`suj��LqwjS~/0rAjC�òj��AbvjFª2�0�Asu�SjFbvyvsutQ�8c�«Y�fj�bvx5yhg�{uj�i�~Vl^�S�]\5®

GÒ�QM+�A�`\&I a�g�x5{�T�®��>��r5s�{¹qdrAj�{u�Sg��V~��[g�sui xA���9c o�®%M+gSq #j^�9cL~Sg��L�?�Ag��9tvcSydr*L�®��9rAbdsu�Sg�yvt`g^�SgA® �0j�ª�¨tdcSzCa9g*«Qg�xA{utQ¨Qtvcf{uj�bhg���t�efbvcSx5z�q`cfiki xA�As¹q�g�tvsucS�*zAbdcStdc�qwcS{Q®C<Q� �U!�� f �#�#i%�k� 0 �F��������3%'4%�����=�J��!��Y?������%�Y?2� d �2���9��!���� f � �2�5�1���#��!�����$]� �#i d �2�R ;$]����� 0 � �&�#�J���W� ~;P g��Lq`cfxA�Sj�b^~CO��*~�0g��LgS�Ag5~S�fxA�Ajkl^�S�`\A®

÷ÏØVÅV÷Ïç

Page 14: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

����������� ������������������������ �"!#�%$& (')���*�#��!#�#�+�, lSl

GÒ���Va$�`\&I MKs¹qdrLg�j�{L��®��CsuyhqdrAjFb�~ �ng��Lqw� o�®9�T�9�LqdrV~9g��L�lMKs¹qvr�g�j�{T�T®9aYg�tvj�bdyvcf�V®C<Qi8zLcfyvyds��5s�{usutQ�*c�«�9suydtvbvsu�Ax5tvj��8q`cS�Aydj��AydxAy0ª0sutvr cS�5j�«}g�xA{utQ�?z5bvcAq`j�ydy�®�� �%$=!��Y?2� �J������� # d ' ~ - �=6Q�]8�a - �%X �- �S�A~fo[z5bvsu{ l^�S�]\5®

G �[�A�`\&I M+g�tvtdsVo�®��0su{utvxA�5j��+g��L�K�0s¹qdrLg�bh��T�®L�AqdrA{us¹qdr�tdsu�AeL®$a�bdcSz�j�bvtdsuj�y*c�«$ikj�i ��j�bdyvrAsuzkydj�bQ¨�9s¹q`j�y^®C<Q� �N!�� f ���#i2��� 0 � ��� ���D�3*]�YiW��=� ��!��Y?&�����2�Y?%� � �%� D�&����$=� �2� #Z$`�J�2�Y�%���%$`�3� � �f ���=��!#?%�����9��i � �&��� ���F� ~La;rAc9j��As¬�V~9o���~AonzAbvsu{$l^�S�]\5®

G �����[� - I ��g�bd�Lg�i �9g�rLg��As¹g��V~��Ag�i8j�r �Lg�­9rAcSxAbdsQ~$g��L� �[g�eSxA��g�tvr�g�� �[g��w­�x5i�g�b^® a�bvcAq`jFyvyvcfbefbvcSx5z�i8j�i �LjFbvyvr5s�z*zAbdcStdc�qwcS{uy9a�ydzLj^q`s�EIq�g�tdsucS�V~S��j�yvsueS�kg��L�(s�i8zA{uj�ikjF��t`g�tdsÐcS�C®%<Q� �U!����f �#�#i%��� 0 �J� ����� %'*%���) � �%� ����m�k$+� �%� � ��� ��?`����� �Z���#��!�����$`� �#i � �&�#� ���W� ~Vz�g�eSjFy� �IlSlf~�a;bvsu�Lq`j�tdcS�V~;g*q`tvcf�Lj�b l^�S� - ®

G,L/[�Al#I M�®A�5bhg��AyRL*gSg�yvrAc9j�­Kg��L�8o[���9bvj�ª-�T®^/;g��Aj��9�Lg�xAi ®CV�bvcSx5z�q`cfiki xA�As¹q�g�tvsucS�(s��KtdrAjg�ikc9j��Lg*�9suyvtdbvsu�AxAtdj��8cSz�j�bhg�tvsu�Ae�yv�9yvtdj�i ® <Q� �N!#� f �#�#i%��� 0 � �J����D�3%-%2��� ��=�J��!��Y?������%�Y?2�d �2���9��!���� f ���%�5�1� ����!�����$`�J�#i d �%� Y$`�J��! � �&�#�J���F� ~�zLg�eSj�y?�S�f���A� - 5~9o[bd{�su�Aeftvcf�V~D/!(�~M+g^�+l^�S�5lS®

G,M+a$�A�5l#I �9r5s��Sg�­Sg��9tNMKsuydrAbhg5~L�Vg�bvbd���$®AaCj�tdj�bvydcS�V~Cg��L�K�0s¹qdrLg�bh� T�®A�AqdrA{us¹qdr9tvsu�AeL®�o-i8j�i ��j�bQ¨ydrAsuzkzAbdcStvcAq`cf{T�Lg�ydj��8cS� zLg�bvtds g�{TcSb`�9j�b�®p<Q� �U!�� f �#�#i%�k� 0 �F�������� ��=�J��!��Y?������%�Y?2�n �%! j ��� 0Fd �2���9��!���� f ���%�&� �J D���Yi`?]���>� d �%� Y$`���k� 0 . �2! d !������ f ?2��#� ` Y� � f ?������%�=� ~�z�g�eSjFyl - ���Tl�X=\A~%/�xLq`ydcS�V~5o���~��Aj��5bvxLg�bv� l^�S�5lS®

G,M+�DMKo*�%X2I a�®,M�®CM j�{u{�s¹g�bQ¨v�9iksutvrC~L�TcfxAsuyvj MKcfyvj�b^~$g��L� Pnsu�Sj�­�o[efbhg^ª0g�{¹gA®ka;bvcAq`j�ydyvcSb i8j�i ��j�bQ¨ydrAsuz�su�Kg�yv�9�LqdrAbdcS�AcfxAy���s�ydtvbds��5xAtvj�� yv�9yvtdj�iky^® /Y!#?%�=�9? f �����%���W�2� ��?%!�?2���>���C?%�;i�Z���#��!�����$`� ��i � �&��� ���F� ~Y\�6�\`8�a X+\f���+X9� - ~]M+g^�+l��f�%X�®

G ��/[�� &I V*su{ �òj�sueSj�bkg��L� �Ag�i /�cSxAj�e�® o[xAtdcSiKg�tvs¹q�g�{u{���su�Lq`bdj�g�yds��5e�tvrAjK«Qg�xA{utQ¨Qtvcf{uj�bhg��Lq`jKc�«�9suydtvbvsu�Ax5tvj�� g�{�efcSbds�tdrAiky^®�� �2$+!��Y?%�b����#Z� 0 �2!������+�W� ~9lfl%6 - 8�a - �2X �=XLl��5~��9jFzAtvj�i ��j�b[l^�S�� A®

GÒ�RO��AlmI on{�jFthgK�0s¹q�q`s¹g�bh�9s$g����)Lnj��A�5j�tvr a�®CO$subdi�g��C®��0yvsu�AeKzAbdcAq`j�yvy efbvcfxAzAy*tvcKsuikzA{uj�i8j��9t«}g�su{�x5bvj+�9j�tdj�q`tvsucf� su� g�yd����qvr5bvcS�5cSxAyKj��9�9subvcS�5ikj��9tvy^®K<Q� �N!�� f �#��i2��� 0 �)��� ���D�)%��&���#Z�D�^$�?2��# d ' � �%�R D�&����$=� �%� �N!��k� f �4 Y�>�m� ���3�Z���#��!�����$`� �#i d �%� Y$`����� 0�~�zLg�efj�y - X�l �- \S�A~9l^�S�Alf®Aon{�ydc?g^�Sg�su{¹g��A{uj g�yYtdj�qdrA�As¹q�g�{Lbdj�zLcfbvt0� - ¨wl - �S�5~%T[jFzLg�bdtvikjF��t�c�«ß��cfikzAxAtdj�b�Aqws�jF�Lq`jS~T��cSbd�Aj�{u{ �0�5s��fj�bvydsutQ��®

GÒ�RO��%X2I on{�jFthg��0s¹q�qws g�bh�9s*g��L�7Lnj��A�5j�tvr-a�®QO$subdi�g��C® a�bvcAq`j�ydyKikj�i ��j�bvydrAsuzïsu� g�yd����qvr5bvc�¨�AcfxAy$j��9�9subvcf�Aikj��9tdy�®�o[�Sg�s�{¹g��A{uj �9� g��Acf���9i8cSxAyC«Ptdz�«Pbvcfi�� ������������� ��������������� �su��� �!#"�$��%���&$�" '(��) ����*%�,+�!#-%�,��.(/����0�1���A~^o[z5bvsu{$l��f�%XL®

GÒ�0s¹q�� - I on{�jFthg*�0s¹q�q`s¹g�bh�9sQ® /p��� 0 !#�%$& �������#��!m���=�, F ;!��]���>��� �k� ?&���%� f �+!��2�Y�%$`��m�&�#� ���W� ®Aa�rYTtdrAj�yvsuy^~"Tnj�z�g�bvtdikj��9t8c�«���cSi8zAxAtvjFbk�Aq`suj��Lq`jf~[��cSbd�Aj�{u{��0�Asu�SjFbvyvsutQ�9~��n�9o�~���g��9xLg�bv�l^�S� - ®

G �A�RO���SY� - I#�òcS�A��j�bvtC�Sg��?�0jF�Aj�yvydjS~]Lnj��A�5j�tvr a�®9O�subvi�g��V~��0cf�LjFbvtY��c9cfzLj�b^~%O$b`gS�f«Pcfbh�FV�{ gf�9jS~^g��L�a�g�tdbvs¹qd­ �9tdj�zArAj��5yvcS�C® /0rAj r5cSbvx5y?yv�9yvtdj�i ®:<Q�eLnj��A�Aj�tdr a�®CO�subviKg�� g��L� �òcS�A��j�bdt�Sg����òj��Aj�ydyvjS~�j��9sutvcfbvy�~1� ��� ��?`����� �1���#��!�����$]� �#i d �2�R ;$]����� 0 $Q�����R����� m�m� ��/b�9�2� j ��� ~`z�g�eSjFyl -]- �Tl�X9�A®%<v�$��� ��cSi8zAxAtvjFb��9cAq`suj�tQ�Ka�bvjFyvy�~T�ßcSy0o[{¹g�iksutvcfy�~S��o�~Vl��f� - ®

G PRP*�[�S��I a�g�x5{�c P$j�bdsuyvyvsui8cL~C§�j�bv�AjFb P$cfeSj�{uy�~�g��L� �ßxAsuyk�0cA�9bvsuefxAj�y�®KV*bvcfxAz cSbds�jF��t`g�tds�cf�Ca$gzLg�bhgf�9sueSi>«Pcfb$ikcA�9j�bd� ��s�ydtvbds��5xAtvj���yd�9yvtvjFiky�®;<Q� �N!�� f �#��i2��� 0 �1��� ���D� # d ' � %�Z��� �%�2�2 * n �2! j �#�D�# ~bMKcf�9t��Ag�su��tð¨JM s qdrAjF{}~A�5bhg��Lq`jS~Cl��f�S�A®

ÅVÅ�ÜNr�ã�s`ä�ã

Page 15: On the Impossibility of Group Membership - hal.inria.fr · destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnité de recherche INRIA Rhône-Alpes, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex 1

Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

ÉditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399