27
HAL Id: inria-00074503 https://hal.inria.fr/inria-00074503 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. An optimal algo-tech-cuit for the knapsack problem Rumen Andonov, Sanjay Rajopadhye To cite this version: Rumen Andonov, Sanjay Rajopadhye. An optimal algo-tech-cuit for the knapsack problem. [Research Report] RR-2169, INRIA. 1994. <inria-00074503>

An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

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

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.

An optimal algo-tech-cuit for the knapsack problemRumen Andonov, Sanjay Rajopadhye

To cite this version:Rumen Andonov, Sanjay Rajopadhye. An optimal algo-tech-cuit for the knapsack problem. [ResearchReport] RR-2169, INRIA. 1994. <inria-00074503>

Page 2: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

ISS

N 0

249-

6399

appor t de r ech er ch e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

An Optimal Algo-Tech-Cuit for the Knapsack Problem

Rumen Andonov, Sanjay Rajopadhye

N˚ 2169Janvier 1994

PROGRAMME 1

Architectures paralleles,

bases de donnees,

reseaux et systemes distribues

Page 3: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL
Page 4: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

��� ������� �� ��� ���������������� �"!��#�%$&��'���(� ) �(�*�,+-���/.01'/��23 ��4

57698;:=<?>@<BA9C�</CED*FHGBIKJ�<ML�JENO5@J�L�C�P/JMAKQRN :/FSF

TVUXWZY[U]\_^`^ba�ced fgUihkjElnmoa�hpmoqEUXa�rKst\_Ui\_uvuxwa#uvayrSz={|\Zr}ayrg~=a�~=W[�E���a#ayrSzEU��ayr}a�\�qE�a#m�r��Er�m�wa#^`a�r9~=l�r�moUoln{Eq��a�r

TVUXWZ��a#m�feT9�

�g\�sEstWZUom�~=a�UoayhkjEa�U]h]jEag���H�=c��Z��d �&\��=�Hlva#U�c#�[�_��d �[��st\�YZa�r

�b� �S�����E�Z�&� ��a*sEUXa�r}a#�Hm�\`� W[Uo^7\�uK~Ha#Uoln�Z\�molnWZ��\_�|~@sEUoW&W���W_�¡hSWZUXUoa�hpmo�Ea�rXr¡W���\br��Er�moW[uvl�h*\�UoUi\y�� WZU�mojEa*¢H�t\_s|ro\Zh]¢@s�UoWZ{�uva#^£zt\�¤Ba#unuR¢H�EW�¤��MzM¥eTK¦xhSWZ^`sEuva#mXaesEUXWZ{Euna#^£§e¨Bj�a�~=a#sta#�t~=a��thS�7YZUi\_sEjW_� mXjEa�\_uvY[WZUXlvmoj�^©l�r��WZm/hSWZ^`sEuva#mXa#uv��¢H�EW�¤��7r}mi\_mXl�h#\�uvuv�ªz&r}W�mojEa�~=a#UXlv�[\_mXlvWZ�`\_u«r}W4r}a#UX�&a�r9\ZrB\�h#\Zr�ar}mXqt~=��� W[Uer��Er�moW[uvl�h�r��=�HmojEayr}l�rK� WZU�mojEl«r�hSu�\[rorBW��9sEUoW[YZUi\_^7rp§9¨BjEa*\�UoU]\#�bl«rBlvmir}a#u¬� lv^bstWZUXm]\��=m�r�lv�thSalvm4\Zh]jElva��&a�rgWZs�molv^­\_u9sta#U}� W[Uo^7\��thSa�WZ��\®^bWH~Ha#u9^�qth]j£¤Bay\_¢&a#U�moj|\_��\@T9��fe¯ °±UXlv�EY�W_�²T³�´µr¤�lvmXj�\4¶t�Ha�~7r}ln·#ae^ba�^bWZUX�*\_�|~®WZ��uv�b�Eay\_Uoayr}m��Ea#lnYZjH{tWZU�lv�Hmoa#UihSWZ�E��a�hSmolnWZ�tr]¸]§

�¹a4r}jEW�¤;j�W_¤ºmojEa�^ba#^bW[Uo��r}ln·#a�W_�9ay\Zh]j£T9³»h#\_��{ta*h]jEW&r�a#�£r�W�mXjt\_m�mojEa�UoqE���Elv�EY�moln^bael«r^bln�Elv^�lv·#a�~®{H�@� WZUX^�q�u�\_mXlv�EY�\��t~3r}W[uv�Hlv�EY�\@�EW[�3uvln�Ea�\�U¼W[sEmoln^blv·y\_molnWZ�£sEUXWZ{Euna#^£§�½EWZU�mojEl«rSzR¤/aqtr�a¼mXjEa�a#�Hs¾ayhSmoa�~bUXqE�E�Eln�EY*moln^bae\[r¡mXjEa�hSW&r�m¡� q��thSmolnWZ��\_�|~®\*Uoa�YZl�r�moa#U�una#�&a#ut^bWH~=a�u�W_�-¿�ÀRÁH�]§

¨BjEa*WZUXlvY[lv�t\�u9\_UXU]\#�@jt\[re\_��lv�HmoUXl�h#\�moa�m]\�YZ¦ {t\Zr�a�~�hSWZ�HmoUXWZuK^bayhkjt\��El�r�^1¤�j�l�h]j@l�r�~=líhSqEunm�moWlv^`sEuva#^�a#�Hm#§t�¹a�r}j�W_¤ÄjEW�¤»moj�l�r9h#\_�`{¾a�Uoay~=qthSa�~*moW�m�¤BW�r}ln^bsEuva�hpWZqE�Hmoa#Uir9\_�t~b\e� a#¤ÆÅ|lvsE¦�ÅtWZs|rS§Ç9W&aS­hSlva��=m�uvWª\Z~=ln�EY�l�rb~=W[�Ea�¤�lvmojÄ\3^�qEuvmXlv¦ U]\�moa�hSuvWHh]¢�¤�jEl�h]jÄ\#�&WZl«~Er�moj�a£�Ea#a�~Æ� W[U@r�jt\Z~HW_¤Uoa�YZl�r�moa#UirS§

¨BjEa�r�agUXa�r}qEunm]r9r}j�W_¤»j�W_¤�lvm9l�rKln^bstWZUomi\_�HmKmoW�qtr�a�\_s�sEUoW[sEUol«\_moa�moW&W[u�r/\_m�~HlÃÈÉa#Uoa��=mKuna#�&a#u«rSz[\_�t~� UoW[^Ê~=l¬È�a�Uoa#�Hm�\_UXa�\Zr� W[Ue~=ayr}lvY[�Elv��Y�\_sEsEunl�h#\�molnWZ��r}sta�hSl¬¶Éh�\_UXU]\#�bsEUXWHhSa�ror�WZUirS§

ËÍÌ*ÎÏÑÐ�Ò�Ó ÎÏÔEÕnÐ�Ö±×]Ø

Ù#Ú�Û_Û[ÜSÝ Þ ßoà9á#âKÞ ã�ßMä_Ý ß�å[æ±ã�ç�Ü#ÜpÝxàyèµåZé]Þ ßoà9êMß�ë±ßXé]Ýìæ±ã�íEݱÜpîSÝxé]ï�ðVñpò]é]å[àKá#âKÞ ã_ßôóEë±Û�Ý èõÞtö�êM÷�Û_Ý ÜXøìßoæìÞtùM÷-ùú÷7ûü ùúÜ[ý#þpþSÿpû��}ýH÷@Û�ݱß��õèµïgèõå[é]ݱâ��pß�ݱë èõÜpå��ôékëÉÛ_Ý ß�ë±ß�å#Þ ßXàeé]Þ�Þ ã_ß��å#Þ±ß�Ý å[ékÞ èõÜpåZé�&ç�Üpå��nß}Ý ß�å[æÑß-ÜSå�÷RÛ�Û �õè¬æ�é]Þ±èµÜSå�� Ù#Û[ßoæìè��ªæ÷ ݱÝxéoâeíEÝ Ü�æìß�ë±ë ÜSÝ ëXò��tß�å�è¬æìßpò��KæìÞ������pÿ_ý

� é]åZà#Üpå�Ü� �RèõÝ èõëxé_ý �nÝ ü ÜSå��µßoé��pß��vÝ Üpï»ç�ß�å#Þ ß}Ý Ü�tç�ÜpïgÛ�Ú�Þ ß}ÝôÙ�æÑèµß}å[æìß/ékå[à���ßoæ ã_å�Ü��õÜpîSâ�ò#Ù#Ü��ªé�ò�ö¾Ú �õî�ékÝ è¬é����� Ýxé}øìÜpÛ[éSà#ã#âpß �RèõÝ èõëìé�ý �nÝ ü Û[ékÝ Þ è¬é��!�õâBë Ú�Û_Û[ÜSÝ Þ ßoàeá#â�ù Ù_ä#"KÝìé]å#ÞôùúÜ[ý�$�� í%�&� � ')(�*Sû��

Unite de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

Telephone : (33) 99 84 71 00 – Telecopie : (33) 99 38 38 32

Page 5: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

� � �� ����*���������@�ú�"!¹���%���¹��� �� �Æ�b!(' �� ��'B��2, ���� � ��! +-����� �(�b+

���� ������ �

¥gW[qtrKsEU��ayr}a#�HmoW[�trKu�\�~B�a#UXlv�[\_mXlvWZ�*� WZUX^ba#unuvaBa�mKu�\esEUXa#qE�&a�~�´ qE�Ea�r}WZunqEmolnWZ�`r}��r}mXWZuvl�� q�agstWZq�UBuvasEUXWZ{Euxwa#^ba�~=q�ro\[hS¦]w\�¦ì~HW&rSztqE�7sEUXWZ{Euxwa#^ba�¥eT hSW[^bsEuna#m9{Elva#�­hSWZ�E�HqM§�À�a¼Y[U]\�sEjEa*~Ha�r�~B�a#sta#�E¦~E\��thSa�r-~=a�hSa#m9\�uvY[WZUolnmojE^`aB�M´X�a#m]\��=m st\Zr9r�m]\_mXl��&qEa&zZu«\ehSW[�tr}mXUoqthSmXlvW[��~�´ qE�*U��a�r}ay\_q`r}��r}moW[uvl�� qEastWZq�U�uva�rX\ZhS¦iw\_¦x~=Wªr�hSW[�tr}mXlvmoq�a�qE��a�~�´X�a#mXqt~=a�~=a`h#\[r²stW[qEU�u�\7r}�H�=mXjMwa�r�a�~�´õ\�U]h]jElvmXa�hSmoq�Uoa&§ÉÀ�aU��a�r}a�\�q£sEUoW[stW&rH�a­\_momXa#lv�Hm�~=a�rgsta#U�� WZUo^­\_�thSayrgWZsEmXlv^7\�uva�r�moW[qEmea#�£UXa�r}mi\_�HmemoU�wa�r�r}ln^bsEuva�° qE�\��E�Ea�\�q3~=a�sEUXWHhSa�ror�a#qEUir@�a#u��a�^ba#�Hm]\_lnUoa�re°xT9³�¸�stW&rXrH�a�~�\_�Hm�qE�Ea*mi\_lnuvuva*^ �a#^bWZlnUoag¶|�=a*a#m�~=ayrhSW[�E�Ea#�HlvW[�trBuvWHh�\_uvayrk¸]§

¥gW[qtr�^bWZ�HmoUXWZ�tr�hSW[^b^ba#�HmKu«\�mi\_lvunuva�~Ha*h]jt\��&qEa�T9³ s¾a�qEm��a#moUXa*h]jEWZl«r}lna�~=a�^­\_�Elxwa#Uoa4w\�^`lv¦�Eln^bl�r�a#U uva�moa�^bstr ~�´ a#�/�a�hSq�molvW[�Mz�a#��U��a�r}W[uv�[\_�HmKqE��sEUXWZ{Euxwa#^ba�~É´ WZs�molv^`l�ro\�molnWZ��hSW[^�{Eln�t\_mXWZlnUoa�EW[�¹unlv���ay\_lvUXa&§É¥gWZqtr�hSW[�tr}l«~B�a#UXWZ�tr�w\7hSa#meapÈ�a�m¼una*moa#^`str¡^`W_�&a��£~�´ a#�/�ayhSqEmolnWZ�(hSWZ^b^`a¼q��Ea� W[�thSmolnWZ��~=a�hSW��qEmea�m�qE�7^bWH~�wa#una�~=a�hSWZ^`s¾Wªro\��=m�¿�ÀRÁ �B\_q��Elv�&ay\_qbUXa#YZl«r}moUXa&§

À�aeU��a�r}ay\_q7WZUXlvYZln�t\_uô\#�Z\�lvm/qE�7^»�a�h#\��El�r�^ba�~=a²hSWZ�HmoU��WZuva�~=l¬Â7hSlnuva�w\�^ba�momoUXa�a#����qE�HUoa&§H¥gW[qtr^bW[�=mXUoW[�tr*hSWZ^`^ba#�Hm¼lnu�sta#qEm��a#moUXa@r�lv^bs�uvlö¡�aba#m*Uoa�^bsEu�\[h��abst\�Ub~Ha#qE��hSWZ^`sEmoa#q�U]r¼a�mb~=ayrUXa#YZl«r}moUXa�rS§HÀ�a�h]jt\_UXYZa#^ba��=m9~Ha�rBhSW&apÂ7hSlna#�Hm]rKa�r}m/U��a�\�uvl«r=�a�\y�&ayh¡qE��aejEWZUXuvW[YZa�sEuvq|rU]\�sEl�~Ha�� q�l�a#�HlvmXaeuì´ qEmolnuvl«ro\_mXlvW[�7~=a�Uoa#Y[l�r�moUoayrV�x\_�Hm��W[^ba�rp§

Ç9a�r�UE�a�r�qEuvmi\_m]r�^bW[�=mXUoa#�Hm��&qEa�stWZqEUeu«\�hpWZ�thSa�sEmolnWZ��~=a�U��a�r}ay\_qE�7r�s��a�hSl¬¶��&qEa�rBuì´ lv^bstW[Uom]\��thSa&zHlvua�r�mgln^bstWZUomi\_�Hm�~�´ q�molvunl�r�a#UBuna�r¡W[qEmolnu�r�\_sEs�UoWZs�Uol��ayr�w\bh]jt\�� qEa��Eln�&a�\_q�~=a4r}s��ayhSlöÉh�\_molnWZ�trpzthSa�r�WZqEmXlvu«r�x\_l«ro\��=m�\�sEsta#u�w\�~=a�rBmXa�h]jE�El��&qEa�r9�[\_Uol��a�rS§

Page 6: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� �

5 6 �7�-'B� �¹!�������b�

¨BjEa�YZa#��a#U]\�u¾¢H�t\�stro\[hk¢*sEUXWZ{Euna#^ l«r9\¼hpu�\ZrXr}l«h�¥eTK¦!�!���7���$�8�9�]z�hSWZ^�{Eln�t\_mXWZUol«\_uEW[sEmoln^blv·y\_molnWZ��sEUoW[{E¦uva�^ ¤�lnmoj�\@¤�l�~=a7Ui\_�EY[a®W���\_s�sEuvl«h#\_mXlvWZ�|r;:=<gq�>[�=z-¯£¨���?�@ì§ �ìm*h#\�� {ta�r}WZun�&a�~3r�a � q�a#�=mXl�\�uvuv�£ln�A�°CB;D#¸RmXlv^baªz_¤�jEa�Uoa�B1l«rVmXjEa��HqE^�{ta#U W_�ôWZ{E��a�hpm]r9\_�t~1DBl�rKmXjEaeh�\_st\[hSlvm��&§ ¨BjEl«rVl«r9h#\_unuva�~E�,.F�4"�G���H���JI��H����� ���hSWZ^bs�uva#�Hlvm��K:ML��ONy��@Er�lv�thSa/lvm l�rRstW[uv�H�EWZ^bl«\_u&¤�§ U#§ m�§Z\�st\_Ui\_^ba#mXa#U9°±¤�j�l�h]j�lvmir}a#u¬�Xz_Y[UoW�¤�ra#�HstWZ�Ea#�Hmol«\_unuv�7¤�lvmXj¹ln�EsEqEm�r�lv·#a[¸]§�¯£\_�H�@moln^ba*hpWZ�tr�qE^blv��Yblv�tr�m]\��thSa�rgW���mXjEa�r}a*s�UoWZ{�uva#^7r�a#�=l«r}m: ÇP<��7>Q>=z�Ç9jH�,>Q?�@ìzt\_�|~®lvm�l«r¡mXjEa#UXaS� WZUXa¼ln^bstWZUXm]\_�Hm�moW�lv�H�&a�r�molvYª\_mXaeaS­hSlva#�HmBs|\_U]\�uvuna#uMlv^bs�uva#^�aS��¦m]\�molnWZ�trp§SRg��agW��Mmoj�a�r}m]\��t~E\�U]~b\�sEsEUoWª\Zh]jEa�r9moW�r}W[uv�Hlv�EY�moj�l�rRsEUXWZ{Euna#^©l�r-~=�=�|\_^bl«hsEUXWZYZUi\_^b^`lv�EY:=TBa�u�UVN[zWL�¥+N��EzX<gq�>[�Y@ì§��ì�@mXjEl�r�st\_sta#U�z¾¤/a*\Z~�~=Uoa�rXrgmoj�a*sEUoW[{Euva#^ W_��~=a#UXlv�Hlv�EY`\�r��Er�moW[uvl�h�¿�ÀRÁH�\_UXU]\#��� W[UgmXjEa�~=�=�|\_^bl«h¡sEUXWZY[U]\_^`^blv�EY4\_unYZWZUXlvmXjE^1� WZU�moj�a¼¢H�t\�stro\[hk¢bs�UoWZ{�uva#^£§

Zg�H�t\_^bl«hBsEUoW[YZUi\_^b^bln�EY�h#\��bqtr�qt\_unuv�*{ta�r}sta�hplöta�~*{H��\¼UoayhSqEUoUXa#�thSa�a � qt\�molnWZ�Mz�\_�t~�mXjEa#UXagl«r�EW�¤O\�u«\_UXYZa�{tWH~=��W_�/¤BW[Uo¢7WZ�(r}�H�=mXjEa�r�lv·#ln�EY�r}��r}mXWZuvl«h�\�UoU]\#��r�� UXWZ^ r}q|hkj�a � q|\_molnWZ�trp§�<gW�¤Ba#�&a#U�z¤Ba�r�jt\_unu r}a#a�moj|\_m�WZq�UgUXa�hSqEUXUoa#�thpaejt\Zr�moj�a²� W[Uo^\[

� W[U�\_uvuMln�t~=a#�`s¾W[lv�Hm]rpz�] ^ °C]=¸#_a`É°X§#§#§!b�°Cc(](dfe(dag °C]=¸X¸t§#§#§õ¸ °Xc_¸

�ì�7WZU]~Ha#UgmXWbhpWZ^bsEq�moa(^ \�me\*stWZln�=m�]�ln�7mojEa�lv�t~=a��7r}st\[hSa&zE¤/a¼��a#a�~®mXjEa��[\_uvq�a�W_�hb � UoWZ^ÊmXjEastWZln�=m�c(]+die+djg °]=¸]zÉ\_�t~@mXjEl�r�l�r�h#\_unuva�~7\\G� �� kGO��l���,GO�4�,��I�W_�/mojEa�a �&qt\_mXlvWZ�ô§e¨BjEamc(]ndiel�r�\bhSu«\ZrXr}l�h�\_u-\yÂ`�Ea�~=a#sta#�t~Ha#�thS�o: ��½K�Q?Y@ìzt{EqEm�mojEa�sEUoa�r�a#�thSa�W_��\b~E\�m]\��[\�Uol�\�{Euva1g °C]=¸�^bay\_�trmoj|\_m�mXjEa;p �Oq ��r p ��r ��sutÍ�y� �Ov�w t � ryx �{z r�x�|1r �p���=�Ft �&� v}v sº°ìr}a�ab½RlnYE§9c_¸i§¹Á&qth]j�Uoa�hSq�UoUoa��thSa�r\_UXabrX\_l«~¹moW�jt\#�&a\~]~=�H�t\_^`l�h��@° WZU�~oUoq��E¦±mXlv^ba�� ¸�~=a�s¾a��t~=a#�thplva�r�: ¯@a#Y&�[��@ìz \_�|~¹mojEa�¤Ba�uvuK¢H�EW�¤��~=a#sta#�|~=a#�thSa�sEUoW[��a�hSmolnWZ��moa�h]jE�El�� qEayr� WZU�r��Er�moWZunl�h*\�UoU]\#��r}�H�HmojEa�r�l�r�:����7>[�Y@-\_Uoa*��WZm�\�sEsEuvl«h#\_{�uva&§fOhSWZ^`sEuva#mXaer��=�Hmoj�a�r}l«rB^ba#moj�WH~�� WZU�r}qth]j7Uoa�hpqEUoUXa#�thSa�r9l�rB�EW[m�\#�Z\�lvu«\_{Euna�\�m�sEUoayr}a#�Hm#§

¨Bj=q|rSzMmojEa�Uoa�\_UXa�m�¤/W®^`WZmoln�[\_molnWZ�trB� WZU�r�moqt~=�Hlv��Y®mXjEa`r}��r}moW[uvl«h�lv^bsEuna#^�a#�&m]\�molvW[�7W_��mXjEa`~=�=¦�t\�^bl�h*sEUoW[YZUi\_^b^bln�EY�\_unYZWZUXlvmXjE^ � WZU�mojEa7¢H�t\_s|ro\Zh]¢�sEUoW[{Euva#^�[�mXjEabsEUXWZ{Euna#^ l�r¼ln^bstWZUXm]\_�Hm�ln�lvmireW_¤���UolnYZjHm#z \_�|~3\7h#\_UXaS� qEu/r}mXqt~=�£^7\#�7uva�\[~ mXW�\@r}�H�HmojEa�r�l�re^ba#mXjEWH~®� WZU�UXa�hSqEUXUoa#�thpa�rg¤�lvmXj~=�H�t\_^`l�h�~=a#sta#�t~=a��thSlvayrS§9�ì�7mojEl«rBst\_sta#U�¤Baes�Uoa�r�a#�=m�mXjEae� WZunuvW�¤�lv�EY*UXa�r}q�uvm]rp§

��a�YZlv�&a²\¼� WZUo^­\_uM~Ha#Uoln�Z\�molnWZ��°ì\��t~bsEUoW&W��9W_�/hpWZUoUXa�hSmX�Ea�ror]¸KW��/\�uvln�Ea�\_U�r}��r}mXWZuvl«he¢=�t\�stro\[hk¢\�UoU]\#�&§9¨Bj�a�\�UoUi\y�`l�r¢H�EW�¤��7lv�bmXjEa�uvlnmoa#Ui\_moq�Uoam: f(�e�[�Y@ô\_�t~bl�rB{|\Zr}ay~­W[��\4¶t�Ha�~br�lv·#a�Uolv��YmXWZstWZunWZYZ� \_�|~¹jt\Zr�WZsEmXlv^7\�uKr�sta#a�~=qEsô§7�Ñm�qtr}a�r�\_��lv�HmoUXl�h#\�moa*st\�UomolnmolnWZ�Eln�EY�roh]jEa#^ba&zt¤�lvmXj~=�H�t\�^bl�h#\�uvun�£hSW[^bsEqEmXa�~ mi\_YªrSz/\_�t~�WZqEU�~=a�Uolv�[\�molvW[�3jEa#UXabsEUXW_�Hl�~Ha�r�\@UXlvYZW[UoW[qtr�s�UoW&W_��W_�hSW[UoUXa�hSmo��a�rorp§

��ags�UoW��&a�mojEa�\#�&a#U]\�YZa�mXlv^ba�hSWZ^bs�uva#�Hlvm��eW�� mojEa�\�UoU]\#��l�rh���F������9���������O� �V� �� ��� z&¤�jEa#Uoa��el«rmXjEa��=q�^�{ta#UMW��MT9³�´õrpz��h�y���#°�h�W�� Z¸ l«rRmojEa/u�\�UoYZayr}m#°xr}^7\�uvuna�r}mp¸�¤/a#lvY[j=m-\_^bW[�EY�\�uvuHsEUoW[{Euva#^ln�tr}mi\_�thSayrSzE\��t~¢¡£l�r9mojEa�r�lv·#a�W_� mXjEa�^ba#^bW[Uo��lv�bay\Zh]jbT9³�zE\�~=a�r}lnYZ�bs|\_U]\�^ba#mXa#U#§ �¹a�\_u«r}W� W[Uo^�qEu�\�moa�\��t~£r}W[uv�&a�\���WZ�@unlv�Eay\_U�WZs�molv^`lv·�\�molvW[�7sEUoW[{Euva#^ ¤�jEl�h]j7a#�t\_{�uva�r�qtr�moW*¶t�7mojEl«rst\�U]\�^ba#moa�UBlv��\��@WZs�molv^­\_ut^7\_���Ea#U#§

êRêbå#£�û �Xþ)�

Page 7: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV� ¨BjEa�hSW[^bsEuvl«h#\_mXa�~�hSWZ�HmoUXWZutW_�ômojEa�\_UXU]\#�*^7\�¢&a�rúlnmKqE�EUXa�\_unl�r�mol�hBmXW�lv^bsEuna#^�a#�=mÉlv��¿�ÀRÁH�]§Z��ar�jEW�¤©jEW�¤©mojEa`hSWZ�HmoUXWZu/h#\��¹{tabUXa�~=qthSay~@moW@m�¤/W@r�lv^bs�uva*hpWZqE�Hmoa#Uir�\��t~¹\b� a#¤ Å|lvsE¦�ÅtWZs|rS§��ae\�u�r�W*r}j�W_¤ÄjEW�¤»moj�aehSW&apÂ7hSlna#�Hm]rKh#\��b{taeuvWª\Z~=ay~�aS­hSlva#�Hmoun�e{H�*^ba�\_�|rVW��-\¼^�qEuvmXlv¦ U]\�moahSunWHhk¢Hlv��Y*roh]jEa#^`a&zZ¤�jEl«hkjbW[{=�Hl�\�moa�r9mojEa��Ea�a�~�W_�Vr}j|\Z~=W�¤;UXa#YZl«r}moa�U]rS§9½EW[U�mojEl«rV¶t�t\�u ~=a�r�lvYZ�ôz¤/a7r}jEW�¤©jEW�¤ mojEa`WZsEmXlv^7\�uK^ba#^bW[Uo�(r}lv·�a�UXa�~=qthSayr¼moj�a�UXqE�E�Eln�EY£moln^ba*{=� �Z�� ��$�)�H��"�� ��,I1��,��'!�� Y.F�K��\ �'��� Z§

¨BjEl�r9st\_sta#U�l«rKWZUoYª\_�Eln·#a�~b\[r� WZunuvW�¤�rS§9�ì��mojEae��a#�=m/r�a�hSmolnWZ�MzH¤Ba�~=aS¶t��aemojEa�sEUXWZ{Euna#^ \��t~�mXjEa�EW[m]\_mXlvW[�Mzt\_�t~`~=l�rXhSqtror9mojEa²r}m]\�moa�W_� mXjEa�\�Uom#§9¨Bj�a#�Mz=ln�®Áªa�hZ§E�Hz=¤/agsEUXa�r}a��=m�\²� WZUX^7\_uÉ~=a�Uolv�[\�molvW[�W_� mXjEa�fg�t~=W[�EW��=¦���qElv�HmoW[�b\�UoU]\#��: f(���Z��@ì§-�Ñ��Á&a�hZ§Z��¤Ba�r}jEW�¤»jEW�¤»mXjEaeT9³¹^`a#^bWZUX��r}lv·�a�¤�jEl�h]j^bln�Elv^�lv·#a�rMmojEa�UoqE���Elv�EY�mXlv^ba�h#\_�b{ta�~=a#mXa#Uo^bln�Ea�~�{=�4r}WZun�=ln�EY*\e�EW[�buvln�Ea�\�UKWZsEmXlv^bln·�\_mXlvW[�*sEUoW[{E¦uva�^£§���agmXjEa#��\Z~�~=Uoa�rXrg° lv�bÁ&a�h[§�U ¸ moj�ag^7\�lv�4~=U]\#¤�{t\[hk¢*W��Mmoj�ae\�UoU]\#�&z&�t\�^ba#un�¼mXjEa�hSW[^bsEuvl«h#\_mXa�~hSW[�=mXUoWZuH^ba�h]jt\��El�r�^£§¾��a�r}j�W_¤�jEW�¤�lvm-h#\���h#\_�*{ta�Uoay~=qthSa�~�moWem�¤/W�hSWZq��=mXa#U]r \_�t~*moj�Uoa#a/u�\_mihkj�a�rS§½Rln�t\_unuv�&z&¤Ba�sEUXa�r}a��=m�W[qEUehpWZ�thSunqtr}lnWZ�tre°�Á&a�hZ§�� ¸�\_�t~�\*~=l�rXhSqtrXr}lvW[�@W��R� qEmXqEUoa�¤/WZUo¢É§

� ���/.@��'B�b!¹� � ��� � 01'/���£���­!�+�� ��'/.

��� ���kr � q �#�E�Fz���� x � v � »��Á&qEsEstWªr}abmXjt\_mKB m��Hs¾ayr²W���W[{E��a�hSm]r�\�Uoa�{¾a�lv�EY�hSW[�tr}l«~=a#Uoay~(� W[Ulv�|hSuvqtr�lvW[�Æln��\ ¢H�t\_s|ro\Zh]¢3W���h#\_s|\ZhSlnm}� D_§�½EWZU�� _ c��i���#§#§�§��!B£zuna#m ��!�{ta@mXjEa"�� ��J",��\_�t~i�#!moj�a$�h����Y���BW_��mojEa%�±¦±mXj¹m��Hsta�W���WZ{E��a�hSm�zM¤�jEa#Uoa � ! z&� ! zK\_�|~�D*\_UXab\�uvu9stW&r}lnmoln�&a�ln�=mXa#YZa#UirS§`¨BjEa¢H�t\_strX\Zh]¢@sEUXWZ{Euna#^�l«rgmoW�h]jEW&W&r�ab\7hSW[uvuna�hSmolnWZ��W_�/WZ{E��a�hpm]rer�W@\[remoW7^7\_�Hlv^`lv·paemojEa�moW[m]\�uKsEUoW�¶tm¤�lvmXjEWZq�mga#��hSa#ay~=lv�EY�mXjEa�h#\_st\[hSlvm��7hpWZ�tr�moU]\�lv�Hm#zElx§ a&§nz

^7\��(' �) !+*-, �.!}]�! [ �) !/*0, �#!�]�!21jD3��]�!54�?�lv�Hmoa#Y[a#U6�7� _Oc8�]���#§�§#§��!B:9 °x� ¸

¤�jEa#UXa¢]�!9l�remXjEab�HqE^�{ta#U�W_�;� ¦±mXj¹m��Hs¾a�WZ{E��ayhSm]relv�|hSuvqt~Ha�~ ln�¹mXjEa�¢=�t\�stro\[hk¢É§7¨BjEa#UXab\�Uoa�^7\_�H��[\_UXl�\_mXlvW[�trRW_�|mojEl«rúsEUXWZ{Euna#^£z�\_�t~*r�lv�thSa9mXjEl�rMl�r \_��lv^bstWZUXm]\��=m hSW[^�{�lv�t\�moWZUXl�\�u&WZsEmXlv^bln·�\_mXlvWZ��sEUoW[{E¦uva�^£zH\��=qE^�{ta#U9W_�9UXa�r}ay\_U]h]jEa#Uirjt\#�&a�~Ha#�&a#uvW[sta�~�st\�U]\_unuva#uô\_unYZWZUXlvmXjE^7rS§#Z��=�t\�^bl�h�sEUXWZYZUi\_^b^`lv�EY: ÀRÁ�Á�>�>Ez�Ç�Ç/�&��?tzBÀRÁ �=c&z/¨úa#�|��?�@ìz/{EU]\��thkj�¦ì\��t~=¦ {¾W[qE�t~ : ÀRÁ�>_�tz/�&½ >Q>�@e\��t~ \�sEsEUXW_�Hlv^­\_moa�\�uvYZW[¦UolnmojE^­r2:ML��=<¼�HcZz,L�a#U]�Hc-@É\_UXagmXjEa�^bW&r�mstW[sEqEu�\�UBmXa�hkj��El��&qEa�rMqtr}ay~�§9ferK�EWZmXa�~*{=��¨Ma#�EY : ¨Ma#�t�Q?�@ìzmoj�aesta#U}� W[Uo^7\��thSaeW��Kst\�U]\�uvuva�uM\_unYZW[UolvmXjE^7r/~=a#sta#�t~ErBW[��D_zHB�\_�|~®\�u�r�W1�h�y�9��zHmojEa�u�\_UXYZa�r�m�WZ{E��a�hpm¤Ba�lvYZjHm#z �h�y�9��_�^7\��,?>�!@> � �#! ° qE�Euvln¢&aBmXjEaer�a �&qEa#�Hmol�\�uth#\[r}a�¤�jEa#��WZ�Eun�1B1\��t~¢D�\_UXagUXa#uva��Z\��=mp¸]§-¨BjEa�HqE^�{ta#U�W��esEUXWHhSa�rXr}WZUir�UXa �&qElvUXa�~ {H��^bW&r�m�W_��moj�abst\_Ui\_unuva#u�\_uvY[WZUXlvmoj�^7r¼l«r¼a#�HstWZ�Ea#�Hmol«\_u/lv�3mXjEar}ln·#a�W_��mojEabln�EsEqEm4\_�t~3mXjEa�r}a­\_uvY[WZUXlvmoj�^7rejt\#�&a7\®�&a#UX�£uvW�¤©sEUXWHhSa�ror�WZU�aS­hSlva#�|hS�&§7½EWZU�a#�E\�^b¦sEuna*mojEa*{ta�r�memoln^ba�hSWZ^bs�uva#�Hlvm��`\_uvY[WZUXlvmoj�^"� WZU�°x� ¸�sEUXWZstW&r�a�~¹{H�£¨Ma#�EY{: ¨úa��t��?F@KUoa �&qElnUoa�r=A °CD#¸sEUXWHhSa�ror�WZUir?BgmXW�r}WZun�&aemoj�a¼s�UoWZ{�uva#^ lv�kA�° uvWZY-C#°CB;D#¸o¸-molv^`a&§ ¨BjEae� qE�thSmXlvWZ�DA °FEú¸/\�{¾W��&a�~=a#��WZmoayr

�G ß9Ú�ë±ß�Þ ã�ß ��ÜpÝxà¼Û�ݱÜyæÑß�ë ë±ÜpÝ ë �Mã�ß�å ��ß�à#èõëxæìÚ�ë±ë9ë Ü��nÞ �Mé]Ý ßBèõï�Û �õß�ï�ß}å�Þìé]Þ±èµÜSå�ëXò�ékå[à�ító5H ë �Mã�ß�å*Ý ß �nß�Ý èõå�îeÞ±Üã[ékÝxà��Mé]ݱß-èõïgÛ �õß�ï�ß�å#Þìé]Þ èõÜSå�ëXý

��å�ݱè¬é

Page 8: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� U

���������

��������

��������

��������

� � �� ��

��������

���� � �

� � �� ��

� � �����

� � �����

� � ����

� � �����

� � � � �

� � �����

��� ��� ���

� ��� � � �� � � ���

���������

��������

��������

��������

� � �� ��

��������

���� � �

� � �� ��

� � �����

� � �����

� � ����

� � �����

� � � � �

� � ������

� ��� ������

� ��� � �� � � �����

½RlvY[qEUoa�c�[9¨B¤/W�¢H�t\�stro\[hk¢bs�UoWZ{�uva#^ ln�tr}mi\_�thpa�r-[K�EW[moa�jEW�¤ mXjEa�YZU]\�sEjtrg�[\�Uo�b¤�lnmoj7mojEaK�#!x´õrmoj�ae�=q�^�{ta#U9W_�-sEUXWHhSa�ror�WZUir¡�Ea�a�~=a�~�� WZU�^�qEuvmXlvsEun�=ln�EYem�¤BW E@{=� E®^­\_moUXl�hSayrVln�kA�°±unWZY EM¸9st\_Ui\_unuva#umoln^ba�°±¤�jEl«hkj�l�r�¢H�EW�¤���moW£{ta7{¾a�m}¤/a#a#�"E C \_�t~�E �#¸]§{<ga#�thpa&zK\�m*uva�\[r}m¢A�°CD C ¸�sEUoWHhpa�ror�WZU]r�\_UXa�Ea#ay~=a�~�z�\_�t~ , � l�r�\��x\ZhpmoWZU�ln�7mojEa�aS­hSlva��thS�&zZ¤�j�l�h]j@\�sEsEUXW&\Zh]jEa�r�·#a#UXW�\Zr�Dglv�|hSUoa�\[r}a�rp§!¢s r � t � ��� x " �_� ft r#"�w�x � �kr � q ���E�Fz ��� x � v � ��Z� R��Ea£W���mXjEa£^bWªr}m�¤Ba#unug¢H�EW�¤��\_s�sEUoWª\Zh]jEa�r²� W[U*r�WZuv�Hlv��Y®¢H�t\�stro\[hk¢£sEUXWZ{Euna#^7rgl«r�~=�=�|\_^bl«h�sEUoW[YZU]\�^b^bln�EYE§*�ìm�l�re{t\[r}a�~�WZ�3mXjEa�X'4��,��=���$� �9%;�-������ ��J$�I :=TBa#u UVN4@/\_�t~3qtr�qt\_unuv� hSWZ�Hm]\�lv�tr�m}¤/W@sEj|\Zr}ayrS§£�ì�3mXjEa�¶tUir}mb°�� WZUX¤�\_Ui~¾¸sEjt\[r}a�mojEa�^7\��=ln^*qE^%$t� v � � W_�-moj�a¼W[{E��a�hSmXlv�&a�� qE�thSmXlvWZ�7l«r�hSWZ^bs�qEmoa�~ÉzE\_�|~®moj�l�rBl�rBq|r}a�~blv�7mXjEar}ayhSWZ�t~Ä°±{t\[hk¢HmoUi\Zh]¢=ln�EY=¸�sEjt\[r}a@mXW3~Ha#moa#UX^blv��a�mXjEa£�E�Z� �R� v � xlv �M�Ft x�r § �ìm*l«r�¢=�EW�¤���mojt\�m�mXjEa{t\[hk¢HmoUi\Zh]¢=ln�EY�sEj|\Zr}a�l«rBlv�EjEa�Uoa#�Hmoun��r}a �&qEa#�Hmol«\_u�: f(���Z�Y@xzE\��t~7h#\_�7{ta�s¾a�U}� WZUX^ba�~�ln��D doB�r�moa#s|rlÃ�-hpa#Uomi\_lv�`{¾W&W[¢=¢&a�a#sElv��Y*lv�=� W[Uo^7\�molvW[�bl�rB^­\_lv�Hm]\�lv�Eay~�~=q�Uolv��Y*mojEag� W[Uo¤�\_U]~7sEjt\[r}a&§9�ì�7WZqEU�\�UoUi\y�ªzmoj�l�r¼{tW&W[¢=¢&a#a�sElv�EY7¤�lnuvu9Uoa �&qElnUoa*WZ��a7hSWZ^`st\_Ui\_moW[Uo¦x\Z~E~Ha#U*\��t~3m}¤/W7Uoa#Y[l�r}mXa#U]r�lv��a�\Zh]j T³�§-�Ñm�l«rmojHqtr�\@hSW[�tr}mi\_�Hm�W��&a#Uoj�a�\Z~�z \��t~3\yÈÉa�hpm]r¼W[�Euv��moj�a�¶t�|\_u�T9³Or}ln·#a&zM{EqEm��EWZm�mojEa��t\�moqEUXabW_��mXjEa\_�|\_uv��r}l«rS§��¹abmXjEa#UXaS� WZUXa�� WHhSqtr�W[� moj�a�� WZUX¤�\_Ui~3sEjt\Zr�a&z9¤�jEl�h]j3l�r�r}sta�hSl¬¶ta�~3{H�¹mXjEa�� WZunuvW�¤�lv��YUoayhSqEUoUXa#�thSa [

� WZU�\_unu�&��(' [¢?*)+& 1 D3�!?,)-' 1�B£z ¶t�t~/.R°D3�!B@¸iz=¤�jEa#UXa. °�&��('E¸#_10324.R°5&��('76»c_¸ �8.R°�&*6o�:9��('76+;K¸Wd$��9�< °x� ¸

¤�lvmXj7{¾W[qE�t~E\�Uo�(hSWZ�t~HlvmolnWZ�tr:. °�&��!?&¸S_=.R°?��('E¸P_j?�\_�|~>.R°5&��('E¸#_?6A@ ¤�jEa��B&C)j?=§êRêbå#£�û �Xþ)�

Page 9: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV��ìmbl�r�¤/a#uvu�¢H�EW�¤�� : ¯£¨���?Y@�mojt\�m@~HlÃÈÉa#Uoa��=m��[\_Uol«\_mXlvWZ�|r­W��*mXjEa£¢=�|\_strX\Zh]¢»sEUoW[{Euva#^ ^ba#UXa#uv�

hSW[UoUoayr}stWZ�t~7moW`~=lÃÈÉa#UXa#�Hm�h]jEWZl«hSa�rW��:0 \_�|~®moj�a�hpWZ�tr�m]\_�Hm ; ln�¹°x� ¸8[ ¨BjEa " ��r � ��� v z r � q �#�E�Fz q � x � v � °0Ol�rB^7\���z�\_�t~/; _�?&¸]§ ¨BjEa ����� z r � q ���E�Fz q � x � v � °0Ol�rB^7\��b\��t~>;\_Oc_¸i§

¨BjEa��� � � � ���]��� q � x � v � °ì\�?�ªc�¢H�t\_strX\Zh]¢bsEUXWZ{Euna#^ ¤�lvmXj�� ! _�� ! ¸i§ ¨BjEa�� � � r#" � ��,zWt r#"\q � x � v � °0;l�r�^bln�b\��t~>;\_�? ¸i§

<ga#�|hSaS� WZUXmojMzM¤/abhSW[�tr}l«~=a#U�zú¤�§ uì§ WE§ Y�§vz�mXjEabY[a#�Ea#Ui\_u9¢=�|\_strX\Zh]¢£sEUoW[{Euva#^�dÄ\_unuRW[qEU�UXa�r}q�uvm]r�h#\��3{taa#�Hmoa#�|~=a�~�mXW�mXjEa�WZmoj�a#U��[\_Uol«\_�Hm]rp§

�¡ayhSa#�Hmouv�ªzE\�~=�=�|\_^bl«hgsEUoW[YZUi\_^b^bln�EY*\�uvY[WZUolnmojE^ � W[UgmXjEa�?�&c�¢H�t\_s|ro\Zh]¢bsEUXWZ{Euna#^£zH¤�\Zr�sEUoa#¦r}a��=mXa�~®{H�7À�lv��\��t~¹Á&mXWZUoa�U�: ÀRÁH�=c�@x§g�ìm�ln^bsEUoW��&a�r9WZ��À�a#a�a#m�\_uì§�: ÀRÁ�Á�>�>�@-\_�t~7lvmir¡UXqE�E�Eln�EYbmoln^bal�r2��°CB;D���� ¸-WZ��\_��³9�g³K� T9�gfe¯ÊW_� �¼sEUXWHhSa�rXr}WZUirg\��t~bmojEl«rB\�uvYZW[UolnmojE^ jt\ZrBW[sEmoln^7\_uÉr�s¾a�a�~=qEs\_�|~�sEUoWHhSayror}W[U9aSÂ7hplva#�thp�&§�¨Bj�a�\_qEmXjEWZUirRUoa#stW[UomKmXjt\_mKW[��\¼Ç9WZ���Ea�hSmXlvWZ��¯£\[hkj�lv�Ea&z#mXjEaBmXlv^ba/hSW[^b¦sEuna#�=lnm��elv�thpUoa�\[r}a�rRmXWE��° ���� ����Q�� ¸M{ta�h#\�qtr}a�W_�ôhSW[^b^�q��El�h#\�mol¬WZ��hSWªr}mirS§BÇ9jEa#�*a�m9\_ux§�: Ç�Ç/�&�Q?=z=Ç/�&�[��@sEUXa�r}a#�Hm-\¡unlv�Ea�\�UK\�UoUi\y��W��W�BY[a#�Ea#Ui\_uHsEqEUXs¾Wªr}a�sEUoWHhpa�ror�WZU]r/°±a�\[hkj�¤�lvmoj4\er}qHÂ7hSlna#�Hmouv��u�\�UoY[a���fe¯¹¸]§�ìm�jt\Zr�\�moln^ba�hSW[^bsEuna#�=lnmì� ��°B D��F�&¸]zE¤�jEl«hkj`l�r�\Zr��=^`sEmoW[mol�h�\_uvun�*WZsEmXlv^7\�uì§

R�qEU9^bWH~=a#uEW�� hSW[^bsEqEmi\_mXlvWZ��l�r ¤Ba�\�¢&a#U}d \¼r��Er�moW[uvl�hBUXlv�EY�z&¤�jEa#Uoa�a�\[hkj*sEUXWHhSa�rXr}WZU/l�rKUoa � qElnUoa�~moW`jt\#�&a¼W[�Euv�(\bhSW[�tr}mi\_�Hm�r}ln·#a�^ba#^bW[Uo���=¤Ba�jt\#�&a�WZsEmXlv^7\�uRsta#U�� WZUo^­\_�thSa�W[�£mojEl«r¡^bWH~Ha#uì§�½EqEUo¦moj�a#Uo^bW[Uoa&z-\¹r�W_� m�¤�\�Uoa7�&a#Uir}lvW[�3W_��WZq�Ub\�uvYZW[UolnmojE^�j|\Zr*�&a#Uo�£Y[W&WH~ s¾a�U}� WZUX^7\_�|hSa&z9\Zr*Uoa�s¾W[UomXa�~lv� \7hSWZ^`st\_�ElnWZ��st\_sta#U : fe�7���Z�Y@�°ìr}a�a�UXaS� a#Uoa��thSa�rgmXjEa#UXa#lv�@� W[U�\�~=a#mi\_lvuna�~£r}q�Uo�&a#��W_��r}W�� m�¤�\_UXalv^`sEuva#^�a#�Hm]\�mol¬WZ�tr]¸]§

�Xs �S� x�v t � �`�_����s � w�x �?!¢s r � ft � ��� x " ��� ft r#" � v�"�x �Yt�� ����Z� �Ñ�|~=a#sta#�t~=a��=m�W_�7mXjEa¢H�t\_strX\Zh]¢�s�UoWZ{�uva#^£z&^7\��=��Uoa�r�a�\_Uihkj�a#U]r9jt\#�&agsEUXWZstW&r�a�~@r��Er�moW[uvl�h�\_UXU]\#��r� WZU�~H�=�t\�^bl�h�sEUXWZYZUi\_^b¦^bln�EYE§-¨BjEl�r�lv�thpuvqt~=ayrB\_UXU]\#��r�� W[U�r}sta�hSl¬¶Éhelv�tr�m]\_�|hSa�rSztr�qth]j@\[r¡W[sEmoln^7\_uôr}mXUolv��Y*st\_UXa#�=mXjEa�r�lv·�\�molvW[�:ML;<�¨7N���@xz_s|\_moj�sEu«\_�E�Eln�EY1: T <+>Q>Y@xz_a#mihZ§vz[r}W[^baBY[a#�Ea#Ui\_ut\�UoUi\y��r2: �ú¿ >��HzZ¯@�&Wª�=c�@�\ZrR¤/a#uvu�\ZrK\�UoUi\y��rmoj|\_m�h#\_��r}W[uv�&a�\_�H�bln�tr}mi\_�thSa�W��/~=�H�t\_^bl«h¡s�UoWZY[U]\�^b^blv��YEzX: ÀZ��>QUEztÀMÀW>Z��@ì§���r}qt\�uvuv�ªz=moj�a�\�UoUi\y��r� WZU4r}sta�hSl¬¶Éh*lv�tr�m]\_�|hSa�r¼j|\y�&a�{ta#momXa#U�sta#U�� WZUX^7\_�thpa�mXjt\_�3mXjEabY[a#�Ea#Ui\_u9sEqEUXs¾Wªr}a�\_UXU]\#��r�{¾ayh#\_qtr�amoj�a#��h#\_� a#�=s�uvWZlnmesEUXWZsta#UomXlva�r�W_��mXjEa�s|\_UomXl�hSq�u�\_U�sEUXWZ{Euna#^ \_m�jt\_�|~�§@¨Bj�l�rel�remoj�a7h#\Zr�a�� W[U�mXjEa¢H�t\_strX\Zh]¢�sEUXWZ{Euna#^OmoW&W�d»lÃ�ɤ/a�qtr}a�À�lt\_�t~*� \_jM´µrK\_UXU]\#�;: ÀZ��>�UY@&� WZU-WZqEU9sEUXWZ{Euna#^£z#¤Ba�¤�lnuvu&�Ea�a�~DgsEUXWHhSa�rXr}WZUire\_�|~®m]\�¢&aKB D�molv^`aer�moa#strpz¾¤�j�l�h]jbl�r�hSuvay\_Uoun��q��t\Zh#hpa#sEm]\�{Euva4°ìr}ln�thSa�¤Ba�h#\��£\[hkjElna#�&amoj�aerX\_^ba�mXlv^ba/WZ�`\¼qE�ElnsEUoWHhpa�ror�WZUS¸i§9³K�&a#�*mojEa�~=a#unm]\emoUi\_�trì� WZUX^7\_mXlvWZ��sEUXWZstW&r�a�~�{H��À�lvsEmXWZ�`\_�t~À�WZs�Uoa�r�mol : ÀMÀW>Z��@M�Hlva�u�~Er9WZ�Eun�buvW[Y&\_UXlvmXjE^bl�h�lv^`sEUoW��&a#^�a#�HmKlv��r}s|\ZhSa�\_�|~®moln^ba&§�*�E�Fz " � x � r p x w � �yt±� q � q � � � ¨BjEl�rBs|\_sta#U�Uoa#sEUXa�r}a��=mirB\�r}moa�s®ln��\_�7a#�&WZunqEmolnWZ�t\�Uo�7~Ha#�&a#uvW[sE¦^ba#�Hm W_�MW[qEU9Uoa�r�qEuvmirS§9¨BjEa�^­\_lv��~HlíhSqEuvm���lv�*W[{Em]\�lv�Eln�EY*\�r��Er�moWZunl�hB¢H�t\_s|ro\Zh]¢�\_UXU]\#��\_UXl�r�a�rR� UoWZ^moj�a*UoqE�E¦ moln^ba�~=a#sta#�t~Ha#�thS�&zE¤�j�l�h]j£¤BWZq�u�~@r�a#a#^ÊmoW`Uoa �&qElvUXa�qE�H{tWZqE�|~=a�~@^ba#^`WZUo��lv�£ay\Zh]j£T9³�§

��å�ݱè¬é

Page 10: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� N¨BjEaB¶tUir}m9r�WZunqEmolnWZ�*¤�lvmXj*hSW[�tr}mi\_�HmK^ba#^`WZUo��¤�\[rRsEUXWZstW&r�a�~�{H��fg�t~=W[�EW���zªfguva#¢�ro\��t~=UXW_�Éz[\_�t~�TBa#¦�t\�lv�ElP: f(T���?Hztfef(T��=c4@9°±a�\[hkj7sEUXWHhSa�rXr}WZU�jt\Zrga��E\[hSmoun�¢¡3¤BW[U]~Er�W_�9^ba�^bWZUX�¾¸i§K¨BjEa�hSUXqthSl�\�uMl�~=ay\l�r�\�m]\�YZYZln�EY£rXhkj�a#^ba�¤�jEl�h]j@a��tr}qEUXa�rgsEUXWZsta#U�~E\�m]\7r}�H�th]jEUoW[�Elv·�\�molnWZ�M§�¨BjEa�\�UoUi\y�£l«r¡a��=mXa#�tr}ln{Euva¤�§ U�§ m�§,B£z,De\��t~k�h�y����zH{EqEm�jt\Zr�\�UoqE���Elv�EY�moln^ba�W_�P��°B;D C �F��¡K¸9WZ�(\�UXlv�EY*W��#�*T9³�´õrpzE¤�jEl�h]jbl«rqE�t\[h#hSa#s�m]\_{�uva*° mojEa�r}a �&qEa#�Hmol«\_utlv^`sEuva#^�a#�Hm]\�molvW[��mi\_¢&a�rPB D�r}mXa#str]¸]§9f m�¤BW4~=lv^`a#�tr}lnWZ�t\�uE�&a#Uir}lvW[�¤�\[rsEUXWZstW&r�a�~�{H��fg�t~=W[�EW���\_�t~;LgUXqt\_q : f(Le�Hc-@t{EqEm9lnmB\�u�r�W�jt\[rstW&WZU/s¾a�U}� WZUX^7\_�|hSa&§Kf��t~=WZ��W_�\_�|~ �gq�lv�HmoWZ��u�\�moa#U�sEUXa�r}a��=mXa�~@\*uvln�Ea�\_U�\�UoUi\y� : f(���Z��@ìzt¤�jEa#UXa¼mXjEa�UXqE�E�Eln�EYbmXlv^ba�¤�\[rg{EUoW[qEYZjHm~=W�¤��@mXW ��°B D��F�&¸]§-¨BjEa#�7qtr}a�\�hSWZ^`sEuvl«h#\_mXa�~�hpWZ�HmoUoW[uM^ba�h]jt\_��l�r}^©mXW�ln^bsEuna#^�ap�HmKmojEa�m]\�YZYZln�EYroh]jEa#^`ae¤�jEl�h]j@UXa �&qElvUXa�r¡ay\Zh]j@sEUXWHhSa�ror�WZU�moW`s¾a�U}� WZUX^%\b~Hlv�Hl�r}lnWZ��^bWH~=qEunWb\���\_Uo{�lvmoUi\_UX�@lv�Hmoa�YZa#U°±��Wbu�\�UoYZa�Uemojt\����h�y���p¸]§�¨BjEl«rgUoa#�|~=a#U]r�lvm�lv^bsEUi\ZhSmXl�h#\�u \_�t~£\�u�r�W@rX\ZhSUXlöÉhpa�r¡a��=mXa#�tr}ln{Elvunlvm���¤�§ U#§ m#§�h�y����§�¯@W&r}m�W_�9mXjEa�sEUXa#�HlvWZq|r¡UXa�r}qEunm]r�jt\#�&a*\�sEsta�\_UXa�~@lv�(hSWZ�=� a�Uoa#�thpa�rBWZU�\[rgmoayhkjE��l�h#\�uMUoa#stWZUXm]rp§¨BjEl«rBst\_sta#U�l�rBmXjEae¶tU]r�m#zthSW[^bsEuva�moa��&a#U]r�lvWZ��r�qE{E^blnmomoay~�mXWb\��£\_Uihkj�lv�[\_uH��WZqEUX�t\_ux§

� ��� +-�K�b ���� � ���(� ��!� _���(� ��$ �9�£� ) �(�*�,+-���/. �����e!£'/'B�������

T�\Zr�a�~ÆW[� mXjEa�\_{tW��&a£hSW[�tr}l«~=a#U]\�molnWZ�trpzB¤Ba�r}j|\_uvu�~Ha�r}lnYZ� W[qEU`\_UoUi\#�Æ{H��r�moqt~=�Hlv��Y¹mXjEa�r}sta�hSl¬¶Éhr}mXUoqthpmoqEUXaBW_�ÉW[qEURs�UoWZ{�uva#^;� WZUX^�q�u�\_mXlvW[��°x� ¸i§hR�qEUR¶t�|\_u�~=a�r}lnYZ�*ln^bsEUoW��&a�rtmojEa�fg�t~=W[�EW��=¦���qElv�HmoW[�: f(���Z��@ìzt¤�jEl«hkj�¤�\Zr�sEUoa�r�a#�Hmoa�~7lv�£\��£lv�HmoqElnmoln�&ae^7\_���Ea#U#§(R�qEU�~=a#UXlv�[\_mXlvWZ�£ln�@mXjEl�reÁ&a�hSmXlvW[�@l�r�\UolnYZW[UoWZq|r²s�UoW&W_�/W���hpWZUoUXa�hSmX�Ea�rorpz�\��t~£\_u«r}W�r}a�Uo�&a�r�\[r¼\�h#\[r}a�r}mXqt~=�7� WZU�r��Er�moWZunl�h�\_UoUi\#�@r��=�Hmoj�a�r}l«r� WZU�UoayhSqEUoUXa#�thSayr¤�lvmXj7UoqE�E¦ moln^ba�~=a#sta#�t~=a��thSlvayrS§

¨BjEa#UXa£\_UXa@m�¤BW hSUXqthSl�\�u�WZ{tr�a#Uo�[\�molvW[�tr7\_{tWZq�mbmojEa(~=a#sta#�t~Ha#�thSlna�r�W_�`°ì�&¸�mXjt\_m­\_uvunW�¤ qtr*moWr}�H�HmojEa�r�lv·#a \_�?\_UoUi\#�&z¼a��&a#� mXjEWZq�YZjO¤Ba�~HW �EW[m�hSWZ^bs�uva#mXa#uv��¢H�EW�¤%mojEa ~=a#sta#�t~Ha#�thS�ÄYZUi\_sEjr}mi\_mXl�h#\�uvuv�&d»mXjEa�~=�=�|\_^bl«hghSW[^bstWZ�Ea��=m/W_�9mXjEa�~=a#sta#�|~=a#�thSlna�rl«r $ � �#�Ft �&� v \_�|~kp xV|1r�| ���YpÄ°ìr�a#a½RlnY»c_¸i§©¨BjEa£¶tU]r�mbWZ{tr�a#Uo�[\�molvW[�;lv^`sEuvlna�r¼mXjt\_m7lÃ��¤/a�hkjEW&Wªr}a�mojEa�\�uvunWHh#\_mXlvWZ�»� qE�thpmolvW[�»moW�{taet°�&��('E¸�_ '|zB\�uvuBmXjEaf~olnUoUoa�YZqEu«\_Uolnm��,�7l�r�sEUXWZ��a�hSmXa�~¹lv�HmoW�mojEa7sEUXWHhSa�rXr}WZU`r}s|\ZhSa&§ ¨BjEa�T9³ ^�qtr}m^7\��t\_Y[a*\�hSa#Uomi\_ln�£\_^`WZqE�Hm�W_�9^`a#^bWZUX�7°±�EW[mB��qtr�me\�� a�¤ UXa#YZl«r}moa�U]rk¸iz¾{�qEmgmXjEa�ln�=mXa#U]hpWZ�E�EayhSmolnWZ�tr\_UXa*sEqEUXa#uv��r}��r}mXWZunl�hZ§�¨BjEa�r}ayhSWZ�t~@W[{tr}a�Uo�[\_mXlvWZ��lv^`sEuvlna�rmXjt\_m��p°�&��('�¸7_ &Ed '7l«re\b�Z\�uvl«~@uvlv��a�\_Uroh]jEa�~HqEuva&§

¨BjEl�rM�Hlva#u«~ErM\_��\�UoU]\#��¤�lvmXj�B T³�´µrSzZ¤�lnmoj��h�y��� ¤BW[U]~ErRW��t^ba#^`WZUo�ª§�¨BjEa�T9³¡´µrR\�Uoa/lv�Elnmol�\�uvln·#a�~¤�lvmXj�� 9 zÉ\_�t~�\_m�a�\[hkj�hS��hSunaemojEa��7hSWZ^`sEqEmoa70 °±lì§ a&§vzH^7\_�t¸Kq|r}lv��Y�W[�Ea��Z\�uvqEa�mXjt\_m�\_UXUolv�&ayr� UoWZ^moj�a¼unaS� m9�Ea#lnYZjH{¾W[U�\_�t~7WZ�Ea��[\_unqEag� UXWZ^ mXjEae^ba#^`WZUo���ZmXjEaeUoayr}qEunm�l�rBr�a#�Hm�moW*moj�aeUolnYZjHm��Ea#lvY[j={tW[U\_�|~�\_u«r}W�r�moW[Uoa�~�lv��mojEa/^ba#^bW[Uo��°±WZ��uv��mojEaK¶tUir}m�� 9 ^ba#^bW[Uo��uvWHh�\_molnWZ�tr-\_Uoa9qtr�a�~¾¸i§K¨BjEa/sEUoW[YZU]\�^a#�Ha�hSqEmXa�~�{H�bmoj�a 'ª¦±mXj@T9³ l«r�\ZrB� WZuvunW�¤�r-[

� W[U��S_1'�moW ' dfDe~=W: . ��� �o^ba#^�°�� � �� � � ¸C@ _ ' .���  lÃ���:) ' d � 9

0*°�.���  �o^ba#^`°�� � �� � � ¸Wd$� 9 ¸ WZmoj�a#Uo¤�l«r}a

¨BjEa*sEUXWZ{Euna#^ʤ�lvmoj�mojEl«rg\�UoUi\y�ªz�l�r�mojt\�memoj�a�^ba#^`WZUo�`r}ln·#a�W_�/a�\[hkj(T³»l�r��h�y����z¾¤�j�l�h]j@l�r�\sEUXWZ{Euna#^ st\�U]\�^ba#moa�U#§ ¨BjEa#UXaS� WZUXagmXjEa�r}W[uvqEmXlvWZ��l�rK�EW[m9moUoq�uv�*r��Er�moW[uvl�h[§R¿�ÀRÁH� lv^bsEuna#^�aS�Hm]\�molvW[�tr�W_�

êRêbå#£�û �Xþ)�

Page 11: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

> ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�moj�l�r�\_UXU]\#�bjt\#�&a&z&�Ea��&a#UomXjEa#uvayrorSz&{ta#a#��r�moqt~=lna�~b\��t~®mXjEaeuvln^blvmi\_mXlvWZ�|rVa��=stW&r�a�~{: ¯£fe�[�Y@x§K¨MWbr�WZuv�&amoj�l�rSzE¤/a�qtr}a�\�r}st\[hSa�mXlv^ba�^7\_s`YZlv�&a��®{H�bmXjEae� WZuvunW�¤�lv�EY�\�uvuvWHh�\_molnWZ�(\_�t~7molv^`lv�EYe� qE�thpmolvW[�tr�°C¡9zmoj�a¼^`a#^bWZUX�*r�lv·#a�W_�-a�\[hkj�T9³�zEl�r�\�hSWZ�tr�m]\��=m�dÄ\�~=a�r}lnYZ�7st\�U]\_^`a#moa#Up¸]§

et°�&��('�¸ _ �ì°�&�^`WH~�� 9 d»c�¸ �F¡��(d 9�� ,) !+*-, ���#! ��¡�� ° �=¸

�p°�&��('�¸ _ &+d��x°�&�^bWH~�� 9 d»c_¸ �F¡��(d 9�� ,)!+*0, ���#! ��¡�� °U ¸�¹a�¤�lnuvuM\�u�r�W��Ea�a�~7\_�£\�qE�Hlvuvl«\_UX��� qE�|hSmolnWZ�b� WZU�W[qEUgs�UoW&W_�VW_�/hSW[UoUXa�hSmo��a�ror4[�7°�&��('�¸h_��ì°5&�^bWH~1�:9 � , d»c�¸ �F¡��A6��x°�&�^bWH~��:9Sd c_¸ ��¡���d����:9��F¡�� °x� ¸

¨BjEl�r�r�st\ZhSa�¦±mXlv^ba�^7\_s£l«r²��WZm*\7r�lv^bsEuna�unlv�Ea�\�UemoUi\_�trì� WZUX^7\_mXlvWZ�ôzR\[r¼qtr�a�~£lv�£moj�a�unlvmoa�U]\_mXqEUoa:M����>Z�F@ì§*�ì�t~=a�a�~�z�¤�lnmoj�r}q|hkj�\b^7\�sEsElv��YEz�mXjEa#Uoa*l«rga#�&a#���EW7YZqt\�U]\��=mXa#a�mXjt\_m�mXjEa*moUi\_�trì� WZUo^`a�~\_unYZW[UolvmXjE^ l«r�r}��r}moW[uvl«hZzE\��t~®mXjEl�rB�Ea�a�~ErBmoW�{ta�sEUoW��&a�~�� WZUX^7\_unuv�&§

� �� � �����(.��, ��-�8�C�C�� �n�� -���� �Y�4�{3�I� �,����� . %&'��!�n�9%K�!��������4������ xWx w �e�¹a�r}j�W_¤ºmojt\�mB� WZU�\_�H�bm�¤BW*stWZln�=mirSzy: &�� '�@ \_�t~o: &��@�('�� @ìzElv�7mXjEa�lv�t~=a��br�st\ZhSaªzElÃ�

� et°�&��('�¸�p°�&��('�¸�� _ � et°�&�� �('��¬¸

�p°�&�� �('��¬¸��mXjEa#�,& _ & � \_�|~ '1_1' � §9¨BjEa�~=a#m]\�lvu«r�\_Uoa�ln�®mXjEa�fgsEsta#�t~Hlv�ɧ<gW�¤Ba#�&a�U#zK^ba#UXa#uv��sEUoW��Hlv�EY�moj|\_m*moj�a@^7\�sEsElv��Y@l�r�hSW[�=Åtl�hpmo¦�� Uoa#a&zKl«r��EWZm�a#�EW[qEYZjô§Æ��a£h#\��

Uoay\Z~=lnuv�`r}a#ae� UoW[^ moj�a�\�{tW_�&a�~=ap¶t�ElvmXlvW[�trSzEmXjt\_m

et°�&��(' d c_¸ 6fet°�&��('E¸#_��®°5&��('E¸ °�NZ¸¨BjHqtrSz mojEa`~=a#sta#�t~Ha#�thS� : &��('�@�� : &�� '�d;c4@l«re^7\_sEsta�~£moW7sEUXWHhSa�rXr}WZUir�mojt\�m�\_Uoa­r}a#st\�U]\�moa�~£{=��7°�&��('E¸i§gÁ&ln�thSa�mojEl«r¡l«r¡��WZm�\�hSW[�tr}mi\_�Hme�&a�hSmXWZU�z={EqEm²\4� qE�|hSmolnWZ�@W��9moj�a¼ln�t~=a#�7stWZln�=m�\_�|~¹°±^`WZUoalv^`s¾W[Uomi\_�Hmouv�t¸]zKW��K� 9 ¤�jEl«hkj�l«r��EW[m�¢H�EW�¤���r}mi\_mol«h#\_unuv�&z9WZq�Ub\�UoU]\#��~HW&a�r��EW[m�a#�&a��3jt\#�&a7uvWHh#\�ulv�Hmoa�U]hSW[�E�Ea�hSmXlvW[�tr���½EWZUXmoqE�t\�moa#un�&zM¤Ba�\�u�r}W(r}a#a�moj|\_m��®°5&��('E¸ _ �p°�&�� 'Edºc_¸ 6 �p°�&��('�¸]§1<ga#�thpa&zM\�[\_unqEa�s�UoWH~=qthpa�~¹{H��\_�H�£sEUoWHhSayror}W[U#z �Mz \_m�molv^`a&z �pzMl�reUoa �&qElnUoa�~£{=�£s�UoWHhSa�rXr}W[U!�¢d"�%\�m�moln^ba� d#�7§�fere\bUoa�r�qEuvm�z¾¤/a*^7\#�7~=a�r�lvY[��\®r��Er�moW[uvl�h�\_UXU]\#�@mXjt\_m�WZsta#Ui\_mXa�r�\Zr¡� W[uvuvW�¤�rp§�³9\Zh]j£�[\_unqEaW_� . hSW[^bsEqEmXa�~3lv��moj�a£\_UXU]\#��l�r;�C ��&�O��G®¤�lvmXj»\$���Z\�uvqEaª§»³K�&a#Uo� T9³ ^ba�Uoa#un�£moU]\��tr}^`lvm]r�lnm#z¤�jElnuva�~=ayhSUoa#^`a#�=mXl¬�EYemoj�aem]\�YE§PTB��mXjEaemoln^ba�moj�a¼�[\�uvqEa�\�UoUXlv�&a�r9\_m�mXjEa�~=ayr}moln�t\_mXlvW[�MzEmojEa�m]\_Y*j|\ZrUoay~=qthSa�~*moW`cZz�\_�t~�mXjEa�T³�~X¢=�EW�¤�r���mojt\�mBmoj�ae�[\_uvq�agl«r-� W[UBlnm#§K¨Bj�a�hSWH~=aea��=a�hpqEmoa�~�{H�*a�\[hkj`T9³

��å�ݱè¬é

Page 12: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� �

����������� ���������������� � ����� * ,������ � �� ��!"!�# � $# � � � �  &%� ��(' **) �$� � �� � � ,�+� ��-,.' *�� �� � �� �� +/1032547698;: � # � �9< ��=�?> �@ )BA��C  C! �D�E� �� GF�%

H ) �$�JI � �DKL��M F @ � �� , A ' * > �����N���� F @ � ���, A ' * �y����� > �$�PO F @ � ��-, A �JQ%

RTSUWV3/1X381Y9X � # � �9< ��=�[Z �@ )BA[%

H F @ � ��-, A > > �$� �DKL��M Z�\E]�^_' * Z �����N���� Z�\E]`^T' *(aDbc)R +�  � �1d �-� �DegfihTj ! � d �k!ml �n<< �� do > �@ )BA=% � � \E]�^ ' *qp � r �ts � pvu�w`wDx r �ts � p @ ) �$� � �� �Ty&z-{

| � ,�A r �ts +) \E]�^}' *~) �$� +> \E]�^ ' *�F @ � ���, A�

� �����G� ,���� � � \E]�^ ' * � �B��� � ,�+81Y1V��G�g2��E8 ) \E]�^ ' *~) �$� +>D\E]�^}' * > ��� +Z�\E]`^�' * Z �$� +

���MP� �`������MP� ����g����

½RlvY[qEUoa��O[/¨BjEa�hSWH~=a�a#�Ha�hSq�moa�~�{H�ba�\[hkj�T9³ÆW��9moj�a�f��t~=WZ��W_�H¦��gq�lv�HmoWZ��\�UoU]\#�l�r�r}j�W_¤���lv��½RlnYb�7°±lnm�lv�thSunqt~=a�rBmXjEa�{tW&W[¢=¦ ¢&a#a#sEln�EY�Uoa �&qElvUXa�~�� W[UgmXjEa�{t\[hk¢HmoUi\Zh]¢=ln�EY*st\�Uom�W_�9mXjEa\_unYZW[UolvmXjE^@¸i§

�ì�£WZU]~Ha#UemoW`sEUoW��&a�mXjt\_m�mXjEl�r�r}mXU]\_mXa#YZ�£¤/WZUX¢ErehpWZUoUXa�hSmXuv�7¤Ba�^�qtr�mer�jEW�¤Omojt\�m¼¤�j�a#��\b~E\�m]\�[\_unqEa*l�re{ta#lv��YbsEUoW[st\_Yª\_mXa�~¹lv�£mXjEl�re^7\��E�Ea#U�z¾mXjEa`T³�´µrgmojt\�m�lvmest\[ror�a�r¼mXjEUoW[qEYZj \_UXa��EW[m�{Eqtr}�¤�lvmXj�mojEa#lnU*W�¤�� hpWZ^bsEq�m]\_mXlvW[� ° WZmXjEa#Uo¤�l«r}a7moj�a#Uoa7¤�lvunuB{ta�\¹hpWZ�=Åtl«hSm�� WZU*mXjEa7lv�Hmoa#UihSWZ���Ea�hSmXlvWZ�¤�lvUXa�rSz�\_�t~�\_u«r}W*� WZU�mojEa�feÀ �;moW�~Ha�hSUoa�^ba#�HmmXjEa�m]\�Y=¸]§��� ��x � � � ����� � ���������¢.4�C'� ��9�}� I� .��!��� ����-��%&'��!� ���� xWx w �*°ìr}a�a�fgsEsta#�t~Hlv�t¸K¨Bj�a¼^­\_lv��l�~Ha�\¼l«rmoj|\_mB� WZU/m�¤BW*~Hl�r}mXlv�thpmBstWZln�=mirSzW: &��('�@ô\_�t~{: &��@�('���@xz\��t~­� W[U�\_�H� � [�?,) �/)"�®°5&��('E¸� et°�&��('�¸Wd �

�p°�&��('�¸Wd � � _ � e¾°5&�� �(' �v¸�S°5&�� �(' �v¸ �

una�\Z~�rBmoW`\�hSW[�=mXU]\[~=l�hSmXlvW[�M§

fg��lv�HmoqElnmolv�&a�a#�HsEu«\_�t\�molvW[�¹W���mXjEa�W[sta#U]\�molvW[�3W_��mojEa�\�UoUi\y�£l«r�\Zr²� W[uvunW_¤�rp§�¨úW7sta#U}� W[Uo^%mXjEahSW[^bsEqEmi\_molnWZ�`\ZrXr}WHhSl«\_moay~�¤�lvmXj�mXjEa 'ª¦±mXj7hSWZunqE^b�*W�� mojEa�~=a#sta#�t~Ha#�thS�*Y[U]\_s�jMz=¤/ag^�qtr}mVr}moW[Uoa � 9êRêbå#£�û �Xþ)�

Page 13: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

c�? ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�~E\�m]\b�[\_uvq�a�rSzt{EqEme¤/a*jt\#�&a�W[�Euv��¡Æ¤/WZUi~EreW_�/^ba#^bW[Uo�*W[�¹a�\[hkj(T9³¡§ <ga#�thSaªzE¤Ba*\�uvunWHh#\_mXa � � �� �T9³9rV� WZU9mXjEa��W[{MzHr}W�mojt\�mB{ta#m�¤Ba#a��*mojEa#^(z_mXjEa#�*jt\#�&a�r}qHÂ7hSlna#�HmK^ba#^bW[Uo�&§X<gW�¤Ba��&a#U#zZmXjEl�r-h#\_qtr�a�rm�¤BW7hpWZ^bsEunl�h#\�molnWZ�tr4[Blvm�h#\_q|r}a�remoj�a;:=?.�#c-@V~=a#sta#�t~=a��thS��°±¤�jEl«hkj£l«r¡q��ElÃ� W[Uo^@¸/moWb{ta�\�uvuvWHh�\_moay~@moWsEUXWHhSa�ror�WZUirRmojt\�m9\_UXaB�EW�uvWZ��YZa#U-\Z~_�X\[hSa#�Hm��Z^`WZUoa�W_�&a�U#zSmXjEaB�HqE^�{ta#U�W��MT9³9rMUoa �&qElvUXa�~g� WZU9\�hSW[uvqE^b�°±¤�j�l�h]j®l«rg\�u�r�WbmojEa4~=l�r�m]\��thSa�mojt\�m�\�~E\_mi\��[\_uvq�a�jt\[rgmoW�moUi\y�&a�uMlv�@W[U]~=a�UgmXWbUoa�\[hkj7mXjEa*T9³ moj|\_m�Ea#ay~Erglvmp¸�l�r��EWZm�¢H�EW�¤���r}m]\�mol«h#\_unuv�&zt{EqEm�~=a#sta#�|~EreWZ�£moj�a*sEUoW[{Euva#^ lv�tr�m]\��thSa&§�¨BjEa�r}W[uvqEmXlvW[�¹l«rmoW`h]jEW&W&r�a*mojEa�moln^blv��Y¼� qE�thpmolvW[�@ln�£r}q|hkj�\�^7\��E�Ea#U/mojt\�m�\*m]\_Y[YZln�EY7roh]jEa#^`a�h#\_��{ta*~=a#�&a�uvWZsta�~moW`hSW[�=mXUoWZuMmXjEa�~E\_mi\�s�UoWZs|\_Y&\�molnWZ�M§�½EW[UB� qEUomXjEa#U�~=a#mi\_lnu�rSzHmojEa�UXa�\Z~=a�U�l�rBUoap� a#UoUXa�~�moW�: f(���Z�F@ì§� � ��� � 6�� � �£�� ��� � ������� �� � �� ��' � � ���e��ì�£WZqEU4~=a#�&a#unWZsE^`a#�=m�r}W7�x\_U#zM¤/a*jt\#�&a*�EWZm�r}sta�hplöta�~@mXjEa��Z\�uvqEa*W���mXjEabT9³ ^`a#^bWZUX�&z,¡9zRW[mojEa�Umoj|\_��rX\y�Hlv��Y®mXjt\_m�lvm�l�r�hSW[�tr}mi\_�Hm#z lv�t~=a�s¾a��t~=a#�HmeW_��mXjEa�sEUoW[{Euva#^ st\_Ui\_^ba�moa#UirS§¢<�a#�thSa*¤/abh#\��moUXa�\_m�lvm�\[rb\�~=a�r}lnYZ��st\_Ui\_^ba#mXa#U#§���a@�EW�¤Êr�jEW�¤ jEW�¤Êlvm�h#\�� {ta£h]jEW&r�a#� W[sEmoln^7\_unuv�&§ Áªlv�thSa:=D �!B¢@Kl«rgmojEa�u�\[r}m�stWZln�=m�moW7{ta`hSWZ^bs�qEmoa�~Éz�mojEa�Uoq��E�Elv��Y®mXlv^ba�W_�¡\_U]h]jElnmoa�hSmXqEUoa�l�reWZ{�m]\_ln�Ea�~£{=�r}q�{tr}mXlvmoq�molv��Y�mXjEl�rBln�¹°U ¸/\[r�� W[uvuvW�¤�r4[

�p°CD �!B@¸ _ D� �) !+*-, � �#!¡ d Dhdf�7d c °> ¸

��a�uva�m���°C���8¡V¸P_ D� �) !+*0, ���#! ��¡��HzM¤�jEl«hkj�l�r�mojEa4~=WZ^`lv�t\��=m�moa#UX^ lv� °C>&¸]§�¨BjEa�sEUoW[{Euva#^ÊmXjt\_me¤/a^�qtr}m�r}WZun�&a&zEh�\_�7{ta¼� WZUX^�q�u�\_mXa�~�\ZrB� WZuvunW�¤�rS§ ��' ��� �Y�4��'�� .&��"�' �-� ��� �.&$�M��!���a �'��� �� � � �H��!�j�� �I\3-��"�.F��G �4$�����4'� Y.�� �4����'4I ��'; Y.0���� . � � �H �� �& ��J" ��.1�9%�¡u ��,G��;����,�����F� �)���K��3 �F���-�C �F�h%&"��,�-����� ����°C�.�!¡V¸�� � ������$%��)�����!����� �� �4�O��.�� ! �'���"��, %&��'4�E�JI�G� .4�'-�3�"�����G ��;�)������O���4'6�� ��y:=� �W��  �!� �y��� @ ���)������!�����-����G¢�C�� �K�9%���°C�.�!¡K¸� .(� �Y�4�{3�I

�°!��°���!¡K¸o¸y_ D4B���#" �h�y��� df�h�W��  6»c¡ d c%$ °x� ¸

��� xWx w ��Á&a#a�fgsEsta#�t~Hlv�¥gW�¤�zS��~=a#sta#�t~�r�W[�a¡9z�r�lv�thSa`mojEa7�HqE^�{ta#U�W���T9³�´õr*mojt\�m*¤Ba�h#\��Æln^bsEuna#^�a��=meW[��\¹h]jElvs

~=a#sta#�|~Er�hSUoq|hSl�\�uvuv��WZ�7jEW�¤Ä^�qth]j*^ba#^`WZUo��mojEa���jt\#�&a&§-À�a#m�e.,{ta�mojEa*°x\_UXa�\ ¸/hSWªr}m�W��KmXjEa�Ç/T �dÊhpWZ�HmoUoW[u7d �8R�z-\_�t~�uva#mme C {ta7mojEa�°x\_Uoay\ ¸�hSWªr}m*W_��moj�a®^`a#^bWZUX�@sta#U*qE��lvm7°±¤/WZUi~¾¸]§o<ga#�thSamoj�a�hSW&r�meW_��\bT9³»¤�lvmoj{¡�¤BW[U]~EreW_�/^ba�^bWZUX��l«r7e.,hdie C ¡9§�¨BjEa��£mojEa�Uoa�rXr}WZq�U]hSa*UXa�r}mXUol�hpmolvW[�@l«ra#�HsEUoayror}ay~®\[r¡mXjEa��EWZ��¦±unlv�Ea�\�U�hSWZ�|r}moUi\_ln�=m

��å�ݱè¬é

Page 14: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� cZc

�H°Ce.,�dfe C ¡K¸#1 �¤�jEl«hkj7l�rBa � qEln�[\_uva��=m9moW

�Q¡ 1 � 6f� e0�¤�jEa#UXa � _ � �Fe C \��t~ e _�e , ��e C §SR�qEU�sEUXWZ{Euna#^ l�rBUoay~=qthSa�~�moW�¶t�t~Hlv�EY*mXjEae�[\_unqEa�rBW_� ¡3\��t~;�¤�jEl«hkj7^bln�Elv^�lv·pa �° ��°C�.�!¡V¸X¸9\��t~@rX\_mol«rÑ� �bmXjEa�Uoa�r�WZqEUihSa�hSWZ�|r}moUi\_ln�=m�zElì§ aª§

^blv��lv^bl¬·#a � ����� �O� �V� � � ,�� d ,�r}qE{E��ayhSmBmXW �Q¡ 1 � 6o� e

c 1�¡ 1�� �y�9� �;lv�Hmoa#Y[a#Uc 1���� lv�Hmoa#Y[a#U

°oc&? ¸

�ì�tr}mXa�\Z~�W��MsEUXWZ{Euna#^Ê°oc&? ¸-¤Ba�¤�lvuvuE¶t�|~�mXjEaea#��\ZhSm/r�WZuvq�molvW[��W�� lvmir\�sEsEUXW_�Hlv^­\_molnWZ�Mz&lx§ a&§�W_� mXjEasEUXWZ{Euna#^1Y[lv�&a#��{ta#uvW�¤�§9fgu«r}W*�EW[moaemXjt\_m�mXjEaesEUXWZ{Euna#^7r�°oc�?&¸/\_�t~£°XcZc_¸/\�Uoa�a �&qElv�[\�uva#�HmK¤�jEa#�7mXjEaUoa � qElnUoa#^`a#�=mM� WZU�ln�=mXa#YZUi\_u ��\_�|~ ¡�l�rUXa#u�\��=ay~�zEr�lv�thSa�lv�bmXjEl�r/h#\Zr�a¼mXjEa�r�WZuvq�molvW[��\_uv¤�\#�Er/ro\_mXl�rì¶ta�rmoj�a¼a � qt\�uvlnm}� ��¡\_ � 6o� eE§

^blv��lv^bl¬·#a � ����� �O� �V� � � ,� � � u d ,�r}qE{E��ayhSmBmXW �Q¡ 1 � 6o� e

c 1�¡ 1��h�y�9� �;lv�Hmoa#Y[a#Uc 1���� lv�Hmoa#Y[a#U

°oc[c_¸

��� ��x � � ��� �8�R°� B �8¡ B ¸ 3-�7�����2.&���J"��C����;�9%������('!�!�J ����G��Y�4' .&���� ��� � � � ���4�¢�)����'!����"O�'!�4� �4�O��9%K��O���}��'� ���.&���J"V�����\ .m'��!�M ����G�� �9% ���� � � �8�2 .�� �Y�4�{3�I¡ B _ e.,S°C�h�y���#df�h�W��  6»c�¸e C °oc�� ¸

��,G� B _ � e., e C °C�h�y��� df�h�W��  6»c_¸ydfe., °oc�� ¸

�X' ���&�GO��G ���H �� e ,e C 1 � C�y����h�y��� d �h�W��  6»c � �S�����4'6� .F�?�¡ B _��h�y��� ��,G � B _ �e C �h�y��� dfe.,

êRêbå#£�û �Xþ)�

Page 15: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

c#� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�� ���5�2�����(.&���J"V�����£°C� ��O� �!¡ ��O� ¸K�9% ���� � .m���l���9%�°�����B��.����¡2B��&¸?� � ���8B �.��� � �p �=s 6fe., � �Fe C�� � ���' � � �u � � u p � s � � ��¡2B�� �

��� xWx w ��Á&a#a�fgsEsta#�t~Hlv� x � xlv}v �E��s � �����K�-���C��� ��y ��Y��' ��O� ��� � .m -���X' � �Y��� ��9�!�MI �°!��°��B �!¡2BS¸o¸ �� �Y�4�{3�I

�°!��°� B �!¡ B ¸o¸#_������ �����D4B� ����� e�,�d e C °C�h�y��� d �h�W��  6»c_¸�� C lÃ� u �u 1 � ������������ ��� �V� � � ,D4B£°ì��� �y��� df� �W��  6»c�¸

� � " e C d e ,�h�y�9� $ WZmXjEa#Uo¤�l«r}a°ocp�=¸

��� xWx w � TB�br�qE{tr}mXlvmXqEmoln�EY¢¡2B�\_�t~���BBlv��°x� ¸�\_�t~�r}lv^`sEuvl¬� �=ln�EYE§� � � 6 �¹'/���b��� � �­�­�K'B�b � �4���(�����_+9

��ab�EW�¤Ê\Z~�~=Uoa�rXr�mojEa`sEUoW[{Euva#^ W_��sEj=��r}l«h#\_u9ln^bsEuva�^�a#�Hm]\�molnWZ�M§\R�{tr}a#UX�&a�� UXWZ^ °XcS�H¸�mojt\�m�W[�EaW_�/mXjEa�^bWªr}m�lv^bstW[Uom]\��=m��x\ZhpmoWZUire\yÈÉa�hpmolv��YbmojEa�a#�Hs¾ayhSmoa�~7UoqE���Elv�EY�moln^ba�W_�/moj�a*\_UXU]\#�@l«r7e.,gmXjEa~}¶|�=a�~�hSW&r�m!�£W_��mXjEa�T9³ °ì\_unu�mojEa7W[mojEa#U�moa�Uo^7r�lv�H�&WZuv�&a`st\_Ui\_^ba#mXa#U]r�W_��mXjEa7sEUoW[{Euva�^ \_�t~ �#WZUmoj�a�jt\�U]~=¤�\_Uoa*mXa�h]jE�EWZunWZY[�¾¸izM\_�t~@¤/a�jt\#�&a�^�qth]jbmXWbY&\�lv�£{H�@r�lv^bs�uvlÃ� �Hlv��Y�moj�a�T³Ä~=a�r�lvY[�M§g��ar}a�a®� UoW[^ ½RlnY3�¹mXjt\_m�moj�a@^7\�lv�3st\�UombW���moj�a£hSW[^bsEqEmi\_molnWZ�Ä°±mXjEa@unlv�Eayr�¤�lvmoj�lv��mojEa�{tW_�Ha�r]¸�l«r�x\_lnUoun��r}lv^`sEuva&§��ìm*h�\_�3{tabln^bsEuva�^�ap�=mXa�~®¤�lnmoj \@hSW[qEsEunabW_��hSW[^bst\�U]\_mXWZUir�\_�|~3\_��\[~E~=a#U�zKsEuvq|r\�� a#¤O^�q�uvmolnsEuv�HapU]rS§�<gW�¤Ba#�&a�U#ztmojEa*mi\_Y7{t\Zr�a�~�hSWZ�HmoUXWZuKl«rer}lnYZ�El¬¶Éh#\_�Hmoun�@^bW[Uoa�a#�=sta#�|r}lv�&aªz�r�lv�thSalvm�Uoa �&qElnUoa�rem�¤BW(~=lv�Hl�r�lvWZ�|r¼^bWH~=q�uvW\¡9zKWZ��ab^bWH~=qEunW\� 9 \��t~3WZ�Ea`^bWH~=qEunW\� 9 � ,#§¹¨Bj�l�r¼l«r¼mXjEasEUXlv�thSlnst\_uÉ~=Ui\#¤�{t\Zh]¢bW_�-moj�a�\_UXU]\#�&z=¤�j�l�h]jbUoa#�|~=a#U]r9lvm/qE�t\Zh�hSa#sEmi\_{Eunag� WZU�¿�ÀRÁ �Vln^bsEuna#^�a��=mi\_molnWZ�M§��a¤�lnuvuªr}jEW�¤3jEW�¤3mXjEa/hSWZ�HmoUXWZu�h#\_��{ta�\[hkj�lva#�&a�~�¤�lvmXj�m�¤BW�r�lv^bs�uva-hSWZqE�Hmoa�U]rM\_�|~�\B� a#¤ Å|lvsE¦�ÅtWZs|rS§

fer�¤Ba�jt\#�&a�r}a#a#�ôzEmojEae� qE�thpmolvW[� �7°�&��('�¸9l�r�hSUXqthSl�\�u�� WZU�mojEa�mi\_YZY[lv�EY­roh]jEa#^ba&§9Ç9WZ�tr�l�~=a�UgmXjEaT9³�z�et°�&��('�¸B¤�jEl«hkj7jt\[rgmoW­hSWZ^bs�qEmoa7.R°5&��('E¸iz�\��t~@uva#m��k_�� 9�� ,!+*0, ���#! ��¡�� zM\_�t~ �k_ � )�� �� � � � ,� � §¥gW[moaemXjt\_m ? )�� 1 ��� 9 ��¡�� §9�Ñ�Hmoq�lvmoln�&a#uv�ªz_mXjEa�T9³�´õr^­\y��{ta¼�Hlva�¤Ba�~*\[rB{¾a�lv�EY�st\_UXmolvmXlvW[�Ea�~�ln�=mXW���'!�C"� ��,�X' �F�-� .!.&��' .pzZW[�Ea¼� W[U�a�\Zh]j7hSW[uvqE^b�ô§K¨BjEae¶tUir}m���T³�´µr�hSWZ�tr�molnmoqEmXa¼¿²T¡°Xc_¸�§#§�§}¿�T�°' 6�c_¸ �\_�|~@¿�T�° 'E¸�hpWZ�tr�l�r}mirgW_�/mXjEa�T9³¡´µr#� dÄc[§#§#§ ��d � � 9 ��¡��H§K<ga#�|hSa�mojEa*stWZln�=mirgmoj|\_m�\_UXa�^7\�sEsta�~moW£W[qEU�T9³�z5� d ��\_UXa�\_uvu9� UoW[^�mojEa/'&¦±mXj�hSWZunqE^b�M§£¨Bj�a@r�^7\_unuva�r�m &3\_^`WZ�EY£mXjEa�r}a`s¾W[lv�Hm]r�l«r° �,6»c_¸ ¡ _ &���°xro\#�t¸]§

½EWZU�r�lv^bsEunl�hSlnmì�&zH¤Ba�W[�Euv��hSW[�tr}l«~=a#UemXjEa*h�\Zr}a*¤�j�a#�@mXjEa1�#!ì´µrg\�Uoa*^�qEuvmXlvsEuna�rKW_� ¡§��ìm�l�rgay\Zr}�°±{�qEmBmXa�~=lvW[qtrk¸ mXW¼� WZUX^7\_unuv��sEUoW��&a�moj|\_mBmXjEa�r�moU]\�moa#Y[�*¤BW[Uo¢�rlv��moj�agY[a#�Ea#Ui\_uMh�\Zr}aª§hR�{tr}a�Uo�&a�� UoWZ^moj�a¼� WZunuvW�¤�lv��Ybuvl«r}m#ztmoj|\_memXjEa &7�[\_uvq�a�rgW_�/mXjEa*r�a#meW_�/stWZln�=mire\_unuvWHh#\�moa�~@mXWbmoj�a*T9³�z0� d#�Mz�j|\y�&amoj�a²� W[Uo^£z�&��hd���� 9 d ��[

��å�ݱè¬é

Page 16: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� c#�

&�� &��#d»c §#§#§ &��#d � §�§#§ &��hd ¡>6»c&��hd � 9 &��#df� 9 d c §#§#§ &��#df� 9 d � §�§#§ &��hd � 9 df¡ 6»c&��hd,��� 9 &��#d���� 9 d»c §#§#§ &��#d���� 9 d � §�§#§ &��hd,��� 9 df¡/6»c

§§§&��hd���� 9 &��#d ��� 9 d»c §#§#§ &��#d ��� 9 d � §�§#§ &��hd���� 9 df¡/6»c

§§§

�ì�®Y[a#�Ea#Ui\_uxzEmojEa�r}a�m�W_�-lv�t~=a��bstWZlv�Hm]r�hpWZ^bsEq�moa�~�{H�bmXjEa�° ��d ��¸ì¦ moj�T9³Æl«r

e � , ° �Ed ��¸h_ 2�: &��('�@ [��¢_ 9�� ,) !+*-, ���#! �F¡��.��& _?° �*6»c_¸ ¡�d���� 9 d � �B� WZU�?�1 � )a¡ <<ga#UXa&z��7l�r{tW[qE�t~=a�~�� UXWZ^ \_{tW��&ae{H�1D���� 9 §9¨Bj�aemoln^baBln�tr}mi\_�Hm]rB\�mB¤�jEl«hkj�moj�l�rBT9³3l�r9\[hSmoln�&aeh#\��{ta�WZ{Emi\_lv��a�~�ztr}ln^bsEun��{H�br�qE{tr�molvmXqEmoln�EY�mojEl«rBlv��°CU&¸/\_�t~�r}WZ^`a�r}ln^bsEuvl¬¶Éh#\�molvW[�MzH\Zr

��° �Ed �ô¸�_?2 � d �Ed»° �,6»c_¸ ¡�d���� 9 d �¢[�? 1�e �#? 1 �C)j¡ < °oc&U ¸¨Bj=q|r¡¤/a�r�a#a�mojt\�mgay\Zh]j@T9³»r�m]\_UXm]r�lvmir�\ZhSmXlv�Hlvm��b\�m ��2_���d ��d»° �,6»c_¸ ¡�d���� 9 d �|zt\_�t~

\y� mXa#UemXjt\_melnm�r}mi\#�Ere\[hSmoln�&ae� WZU�mojEa��Ea#�Hm ¡ r�moa#s|rSzM\��t~ mXjEl�r�st\_mXmoa#UX�£Uoa#sta�\�m]rg¤�lnmoj�\�sta#UXlvWH~@W_�� 9 §#T�\Zr}ay~®WZ�7mXjEl�rpzE¤Ba�jt\#�&aemoj�a²� W[uvunW_¤�ln�EYE§��� xlq#x ��t��Ft xlr � ����� �!�����C'����W�9%��� ���� 0 �u�� �I�3-�K��7��� �4� �4�O����G � $�)� � � � �!��"O�O���4' . � ���l� �)�H ���!��"��O�).m���FG�"��J�E¡� ��HG¢���l�K�)�H ��P�!��"��O�).m���FG�"��J�E� 9 �

½RlvY`�*YZlv�&ayrBmojEa4hSWH~=a�a��=a�hpqEmoa�~b{H�ba�\[hkj(T³ ¤�lnmoj�mojEa�lv^`sEUoW��&a�~bhpWZ�HmoUoW[uì§ � �b��� ����� �hSW[UoUoayr}stWZ�t~�r¼moW7mXjEa�s�UoWZs|\_Y&\�molnWZ��W_�¡~E\_mi\=z �� ��� � �zústa#U�� WZUX^7rgmoj�a�^7\�lv��hSW[^bsEqEmi\_mXlvWZ�°Í� W[Uo¤�\_U]~3sEj|\Zr}a­\_�t~�\_u«r}W£{t\[hk¢HmoUi\Zh]¢=ln�EY=¸�\��t~ ��� ! ��� ���� ��� l«r�~=W[�Eab¤�jEa�� & ) � 9 z¤�jEa#��mXjEa7~E\�m]\@lv��mXjEab^ba#^`WZUo��l�r�\Zror�qE^ba�~�moW£{ta 6 @ħ�¨BjEl�r�st\_UXm*l�r�mXjEa7ro\�^ba7\[r�lv�3mXjEafg�t~HWZ�EW��H¦9��qEln�=mXWZ�»\�UoUi\y�Ä° a#�Ehpa#sEm�� WZU­r}WZ^`a®UXa#WZUXY&\��Elv·�\�molnWZ� ���EWZmXa@moj|\_m�� � hSWZUXUoa�r�stWZ�t~Er�moW\Z~�~=U ��zH\��t~�� � hSWZUXUoa�r�s¾W[�t~Er9moW*\[~E~=Up¸]zH\_�t~�h#\���{ta�u�\_l«~�W[qEm9lv��\e�x\_lvUXuv��r}mi\_�t~�\_U]~�^7\_�E��a#U#§-¨BjEahSW[�=mXUoWZutst\�Uom/qtr}a�rKmXjEUoa#a�ÅtlnsE¦ÍÅ|WZstr�°ìfeÇ/¨ez&¯£³9¯3z=\��t~b½K���eÁH¨g¸-\_�t~*moj�agm�¤BW4hSWZq��=mXa#U]rpz|Ç��­\_�t~Ç � §�¨BjEa*� WZUX^ba#U�l�r�\�sEUoW[YZUi\_^b^7\�{Euva4hSWZq��=mXa#Ue\��t~£lvm]r�qEsEsta#U�unlv^blnmBl�r�hSWZ�HmoUXWZuvuna�~®{H��� 9 z�{Eq�mmoj�a¼u«\_mXmoa#U�hSW[qE�Hm]rB^bWH~=q�uvW1¡ � < zt\¼¶|�=a�~7hSW[�tr}mi\_�Hm#§����� �����! #"%$��'&)(+*��-,�./$�&10

½EWZU�hSW[UoUoayhSmBW[s¾a�U]\_mXlvW[�Mz¾ay\Zh]j7T9³Æ^�qtr}m9¢H�EW�¤�� 9 z8� 9 zHWZ{E� 9 \��t~@½-�}�eÁH¨ 9 §K�¹a��EW�¤O~=l�rXhSqtrXrjEW�¤ mXjEa�r�a��Z\�uvqEayrh�\_�*{tagapÂ7hSlna#�Hmouv��uvW&\[~=a�~*lv�HmoWemXjEa�\_UXU]\#�&§BÁ&ln�thSa/mojEa�jEW&r�m9¢=�EW�¤�rKmoj�a��#!ì´õrR� W[Umoj�a*st\_UXmol�hpqEu�\�UgsEUXWZ{Euna#^Êlv�tr�m]\��thSa&z�mXjEa#UXa�l�r�\br}ln^bsEuva�sEUXa#sEUXWHhSa�ror�lv�EY­r}moa�s£moW7~=a�moa#UX^blv�Ea�mojEa�r�a�[\_unqEa�r�° jEW�¤ ^7\��=��r}q|h#hSa�rXr}lv�&a�T9³�´õrejt\#�&a�mXjEa�ro\�^ba�hSW&aS­hSlna#�=mirSzta#m]h[§Ã¸�\_�|~ mXjEa�\_sEs�UoWZs�Uol�\�moa

êRêbå#£�û �Xþ)�

Page 17: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

cS� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�������������� ����� ���� æìÜpïgÛ�Ú�Þìé]Þ èõÜSå��� ü�� ð���� � ��������� � � '�� �"!#��� $&%('*),+.-�/0-1%3204��5768� � ü�� ð9�:� � ��������� � � � � �"!#��� ;<%=-�> ?A@ /��5768� @2,',BDCE-GFH@I0J� æìÜpå#ޱݠÜ��&ÛZé]Ý ÞK�� ü�� ð���� � ����� ð&L3�NMPO � ����� ðRQ�S�GTUO � � �H!#���

� ð��WV ' J ð&LXV ' J ��� � V � J�Y.Z\[�]KZ\^`_�a V ���5768� � ü�� ð9�:� � ����� ðRQb�NTUO ��� �"!#���

� ð��WV ' J ð&L*V ' J ���� V ���5768� � ü ü YcZ\[�]KZ�dfe � � � � � ühgikj�l �N� � ����� ð Q �NTUO ���&� �H!#���

� ð��WV � J ð L V ' J ��� � V ���5768� ð L V ü ð L�m � �=ï�Ü�à MI0Jð Q V ü ð QAm � �|ï�Ü�à T J����� �����������

½RlnYZqEUXa��O[/¨BjEa�hSWH~=a�a#�Ha�hSqEmXa�~�{H�bmojEa�T9³ lv�7mXjEa�lv^bsEUXW��&a�~�¿�ÀRÁH�/\_UoUi\#�

r}a � qEa��thSa�W_�úhSW&aS­hSlva��=mirKh#\_�`{¾a�YZa��Ea#U]\�moa�~*W_Èɦ uvln�Ea&§KfÄr}mi\_�t~�\_U]~bunW&\Z~Hlv�EY�^ba#mXjEWH~�l�rKmXW*r}ln^bsEun�sElns¾a�uvlv��amXjEa�r�aB�[\_unqEa�rRln�=mXWgmXjEa�\�UoU]\#��� UoWZ^OmXjEa�uvaS� m9° mojEa�hpW&aSÂ7hplva#�Hm]r�W���mXjEaBu«\Zr�mKT9³�\_Uoa�a��=mXa#Uoa�~¶tUir}mS¸izt\_�t~bmXW*l�ror�qEa�\�{EUoWª\Z~Eh�\Zr}m�\_m�mXjEaK�_¦ moj�r}mXa#s£° mojEa#UXa�\_UoaK��T³�´µrBlv�bmXjEa�\_UoUi\#�¾¸i§#<gW�¤Ba#�&a#U�z� WZU/YZW&WH~7mojEUXWZqEY[jEsEqEm�W[�Eag¤/WZqEu«~�uvln¢&a�moW4~=W�mXjEl�r9¤�jElvunae\��EWZmXjEa#UBs�UoWZ{�uva#^Ê° WZU�\�sEUoa��=lnWZqtr9st\ZrXrk¸l�r�{ta#ln�EY r}WZun�&a�~3lv��moj�a£\_UXU]\#�&§»Á&WEz/qE�=mXlvu�mXjEa7{EUoWª\Z~Eh#\[r}mbl«r�l�rXr}qEa�~Ä°±lx§ a&§nzKqE�=mXlvu/lvm�l�r�moln^ba�moWhSW[^b^ba#�thpa�moj�a®��a#�=m�sEUoW[{Euva�^ �#st\[ror]¸]zKmoj�a@T9³O^�qtr�m�ro\#�&abmoj�a®��a#¤©�[\_uvq�a�rSz9{EqEm�hSW[�=mXlv�HqEa�moWqtr�a¼mXjEaeW[u�~=a#U��[\�uvqEa�rp§9¨BjEl�rB��a�hSa�rXr}lvmi\_mXa�rB\*r�a#mBW�� ~]r�jt\Z~=W�¤;UXa#YZl«r}mXa#U]r��*\_�t~7\*hSW[�=mXUoWZuôr}lnYZ�t\�uMmoWlv�|~=l�h#\�moaemXjEa�r}mi\_Uom�W_�\��Ea#¤;st\[rorp§

Ç9WZ�tr�l�~=a�U�\_�EW[mojEa#U4\_unmoa#UX�t\_mXlv�&a&§7�¹a`uvW&\[~¹moj�a7hSW&aS­hSlva��=mir²ln�3moj�abUoa#�&a�U]r}a*W[U]~=a�U7°±moj�abhSW[¦aS­hSlva��=mir¡W��BmXjEa*¶tU]r�m�T9³Ä\_UXa�mXjEa�¶tU]r�m�lv�£moj�a�r}a �&qEa#�thpaZ¸]§��¹a�jt\#�&a*\7hSW[�=mXUoW[u9r}lnYZ�t\�umXjt\_m�l«rsEUXWZst\�Y&\_mXa�~@¤�lvmXj@m�¤�l�hpaemojEa4~=a#u«\y�`\Zr�mojEa�hSW&aS­hSlna#�=mirg° WZ�Ea�a#�=mXU]\*u�\�m]h]j®ln�7mojEa�hSW[�=mXUoWZu st\�moj�¸iz¤�jEl«hkj�l�rK\�uvlvY[�Ea�~�¤�lnmoj�mXjEaB¶tUir}m9~E\�m]\e�[\_unqEa&§ <�a#�thSa&z�moj�l�r hSWZ�HmoUXWZuE{ElnmK^ba#a�m]r�moj�a �±¦ moj�~E\�m]\e�[\_unqEa\_m/mojEa;�±¦ moj`T9³¡zH\��t~bh#\��b{tagln�=mXa#UosEUXa#moay~*\ZrB\;~]À�R�f�Z(��hSW[^b^7\��t~�§M¨BjEa�WZ��uv�*sEUXWZ{Euna#^©l�rKmoj|\_mmoj�l�r¼j|\_sEsta#�tr�\_m � _ �8�o§7¨BjEa7r�WZuvq�molvW[�3l�r�r�lv^bsEuna&§���a�UoqE�3mXjEl�r�uvWª\Z~=ln�EY£hSlnU]hSq�lvmoUX�£\�m�m�¤�l�hSamoj�a�hpuvWHh]¢*U]\_mXa�\ZrBmoj�a¼^­\_lv�`hSlnU]hSqElnmoUX�&§K¨BjEl«rl«r� a�\Zr�lv{Eunaelv�bmXa#Uo^­rVW��/r}sta#ay~�z={ta�h#\�qtr}a�mXjEa�\Z~E~=a�U\_�|~Æmoj�a7hSWZ^`st\_Ui\_moW[U*lv��moj�a®^­\_lv� ~E\�m]\£st\_mXj»~=a#mXa#Uo^`lv�Ea*mXjEa�hSUolnmol�h�\_u/~=a#u«\y�ª§3½EqEUomXjEa#UX^bWZUXa&zmoj�a#Uoa�l�r9�EW��Ea#a�~�� WZU�r�jt\Z~HW_¤ºUoa#Y[l�r}mXa#U]rpzt\_�t~bmXjEa�À�R�f(ZOr}lnYZ�t\�u h#\_�(\_u�r�W*{ta�qtr�a�~bmoW�r}mi\_UXmgmXjEahSW[^bsEqEmi\_molnWZ��W_��mXjEa*�Ea#�Hm�st\ZrXrS§*½RlnY&rg�­\_�t~{Ubr}j�W_¤ mojEa�~�\_m]\bst\�moj�\��t~ mXjEa�hSW[�=mXUoWZu � WZUemXjEa¶t�t\�u ~=a�r�lvYZ�

��å�ݱè¬é

Page 18: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� c�U

A>

BA

B

+

Dt.Wr

Dt.Rd

Ad.Wr

Ad.Rd

ME

MO

RY

Act

0

1

0

1

1

0

1

0

Act

WEQ1

Mem

u.in

k.local

p.local

f.in

C.alpha

f.out

u.out

½RlnYZqEUXa¼�H[#Ze\_mi\�st\�moj7W_�9mXjEae¶t�t\�u \_U]h]jElnmoa�hSmXqEUoa����� � ����� ���� ,-&1"!�� � ( $��#,%( $�� &

��a*�EW�¤©\_s�sEuv�£mXjEa*Uoa�r�qEuvmirgW_��Á&a�hZ§É�®mXWbmoj�a�¿�ÀRÁ �g~=ayr}lvY[�3\�{tW_�&aªz�moW7a�r�molv^­\_moa�mojEa*ln^bsEUXW_�&a�¦^ba#�Hm�moj|\_me¤/a�h#\_�£W[{Em]\�lv�M§��¹a�¤�lvunuKhSW[^bst\�Uoa�mXjEa*a#�Hsta�hSmoay~­UXqE�E�Eln�EY7moln^baeW_��WZqEU�WZsEmXlv^bln·#a�~\_Uihkj�lvmoayhSmoqEUXa�mXW7\_� \_UXU]\#�£mojt\�m�~=W&a�re�EWZm�qEmXlvunlv·#a�moj�a*Uoa�r�qEuvmirgW_��Á&a�hZ§t�E§*¨MW7{ta��x\�lvU#zɤBa�\_unuvW�¤moj�a��EW[�EWZs�molv^`lv·#a�~�\_UXU]\#�£moW�qtr}a`\_unumXjEa�jt\_Ui~=¤�\�Uoa�lv^bsEUXW��&a#^�a��=mirBsEUoa�r�a#�Hmoa�~£r�W®�x\_U�zR�t\�^ba#un�moj�a�lv^`sEUoW��&a�~bhpWZ�HmoUoW[uR^`a�hkj|\_�El«r}^ \_�|~£hSW&aS­hSlva#�Hm�uvWª\Z~=ln�EY�^ba#moj�WH~�§�¨Bj=qtr�¤Ba�^ba�\[r}qEUXa¼W[�Euv�moj�a¼ln^bsEUXW_�&a�^�a#�&m/~=q�a¼mXW*WZqEU�WZs�molv^`lv·�\�molvW[�bUoayr}qEunm#§

�¹a²\Zror�qE^ba�c��¹Ç/¯ R�Á�moa�h]jE�EW[uvWZY[�&zE\��t~�mXjt\_m����b� ,�� r}mi\_mol«h¡UXa#YZl«r}mXa#U]r�°oc#��¦±{�lvmS¸Vh#\_�`{¾a�u�\_l«~WZq�m�WZ� \¹c�hS^ C ¿�ÀRÁH��hkjElns�°±mXjEab\[hSmoq|\_u9�[\_uvq�a�l«r²��WZm�ln^bstWZUXm]\_�Hm�r�lv�thSa�lvm²h#\_�thpa#u�reWZq�m�u�\�moa#Up¸]§��ab\�u�r}W(\ZrXr}qE^ba*mXjt\_mm�h�y����l�r*c&?�?�?�°ì\7m}�HsEl«h#\_uK�[\�uvqEa�qtr}ay~ ln�3r�m]\_�|~E\_Ui~¹moa#�Hm]r1: ¯£¨���?Y@ ¸�\_�t~�h�W��  _ºcZ§

�ì�3WZqEU4~=a�r�lvYZ�ôzKmojEab^­\_lv� ~E\�m]\@st\�moj¹� W[U�moj�a7hSWZ^`sEqEm]\�molnWZ�3W�� .Æl�re�x\_lnUouv��r�m]\��t~E\_Ui~�z/\_�t~m]\�¢&a�rRqEs`\_�­\_Uoay\¼hpWZ^bst\�U]\�{Euva/moWbc&UeUoa#Y[l�r}mXa#U]rp§K¨BjEa�hSW[�=mXUoWZu�st\_UXmBm]\�¢&a�rRqEs`\_{tW[qEmec��¼Uoa�YZl�r�moa#UirSz\_�|~�mojHqtrSz&moj�aBa#�HmolnUoa�T9³�h#\_�*{ta�u«\_l�~�WZqEm-lv���VN�Uoa#Y[l�r}mXa#U]rp§R��a�hkj�W&W&r}a�mXWeqtr�a�\(Ze��fe¯ {¾ayh#\_qtr�a¤Ba`¢=�EW�¤©mXjt\_m*a#�&a�Uo�£^ba#^`WZUo�7unWHh#\_mXlvWZ�Ä° W_��lv�Hmoa�Uoa�r�mS¸�¤�lvunu{ta�\Zh�hSa�ror�a�~¹sta#UXlvWH~=l«h#\_unuv�&zM¤�lvmXj�\sta#UolnWH~ÆW��ea#��\Zhpmouv�o� 9 z/\_�t~�jEa#�thpabUoaS� UXa�r}j�hSlnU]hSq�lvmoUX�£l�r*�EWZm*��a#a�~=a�~»° lv�3�x\ZhSm�zmXjEa7^blv��lv^*qE^

êRêbå#£�û �Xþ)�

Page 19: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

c#� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�

k.localfirst w.localp.local

incr incr

C.w

eq alpha?

Act

equal?

Clr.A Clr.W

ADone WDone

WEQ1

k.out

T.out

Init.outInit.in

T.in

k.in

w.in

p.in

w.out

p.out

Start.out

MemS

R

S

R

C.alpha

½RlnYZqEUXaKUO[�Ç9WZ�HmoUoW[uvuna#U� W[UgmXjEae¶t�t\_u \�U]h]jElvmXa�hSmXqEUoar}sta#ay~®Uoa � qElnUoa�~�moW`\y�&W[l�~bmoj�a¼UXaS� Uoayr}j7l�r�WZ�Eun�;?��µ��U�¯\<g·Z¸i§B½EWZU�mXjEabc �,Ç/¯ R�Á�moayhkjE��WZuvW[YZ�&zE¤/a\ZrXr}qE^`a�mXjt\_m�a�\Zh]j¹^`a#^bWZUX��hSa#uvu-m]\_¢&ayr¼qEs�\�{tWZqEm*jt\�uÃ��mXjEab\�Uoa�\7W_��\�r}m]\�mol«h�Uoa#Y[l�r�moa#U�§;<ga#�thSae C _ ,C z�\_�t~�e�,S_Ä��N&§

�er}ln�EY£moj�l�r�~�\_m]\Hz¤/a�¶tUir}m�r}a�abmojt\�m u �u 1 � �O������O������� �V� � � , l�r�mXUoqEaªz9r}W£moj�abWZsEmXlv^7\�u/r}WZunqEmolnWZ�l�r*YZln�&a#��{=� °oc#�&¸�\_�|~ °oc�� ¸izg\��t~ÆmXjEa@��a�\_UXa�r}m�lv�Hmoa#Y[a#U*�[\_unqEa�r�¤�jEl«hkj�^blv�Eln^�ln·Sa�moj�a®UXqE�E�Eln�EYmoln^ba�\_UXa*¤�lvmoj�c&U7T³�´µrSzMa�\Zh]j£¤�lvmXj��=c��­¤/WZUi~EreW_�/^ba#^bW[Uo�&§eÁ&q�{tr}mXlvmoq�molv��Y®mXjEa�r�a*lv�HmoW�°ì� ¸�mXjEaa#�Hsta�hSmoay~�UoqE���Elv�EY�moln^ba�W_�-mojEa�WZs�molv^­\_uM\�UoUi\y�7l«r2?��vc&>�UQU�B;D_§

R��®mXjEaeW[mojEa#U�j|\_�t~�zEmXjEaeqE��WZsEmXlv^bl«r}a�~�\_UXU]\#��UXa �&qElvUXa�rgc&?�?�?*¤BW[U]~ErBW��K^`a#^bWZUX��¤�jEl«hkj�m]\�¢&aqEs�\��b\�Uoa�\ehpWZ^bst\�U]\�{Euva/moW UQ?�?�r}mi\_mol«hBUoa#Y[l�r�moa#UirS§K¨Bj�l�rK\�UoU]\#�4~=W&a�rK�EWZm-�Ea#a�~�moW�qtr}a�\��=��m]\�YZYZln�EYroh]jEa#^`a&zEr�W®lnm]reÇ/T � d hSWZ�HmoUXWZuSd � R l�r�WZ�Eun�£�_�`Uoa#Y[l�r}mXa#U]rpz¾a��t\_{Eunlv�EY`�7T9³¡´µrgmoW`{¾a�r � q�a#a#·#a�~WZ� \¹h]jElnsM§f<gW�¤Ba#�&a�U#zKmoj�a®�|\_lv�&a�~=ayr}lvY[�� ��+�� �I�.4\_uvunWHh#\_mXa�r*WZ�Ea�sEUoWHhSayror}W[Ubsta#U�hSW[uvqE^b�ôz9\_�t~

��å�ݱè¬é

Page 20: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� cYNmoj�a7~=WZ^`lv�t\��=m�moa�Uo^%lv� mojEabUXqE�E�Eln�EY@mXlv^ba*l«r B;D� _ ?��µ��UQB D7°±W[{Em]\�lv�Eay~ � UoW[^ °C>&¸e{H�¹una#momXlv�EY¡ _�� �y��� ¸ �H¤Ba�moj�a#�7jt\#�&a¼¤/a�jt\#�&aemojEae� W[uvuvW�¤�ln�EYE§� � �� v � � ������� �4����'4I �-���C�����& ������;'���G�"��-� . ���!�����-����G1'-"��,�,�������� ��3�I�� � �����(� $���H��"V�# ��HI �'��� (���4�, ����I �

R�{tr}a#UX�&a�mXjt\_m*mXjEa7h]jEWZl«hSa�W_�n�h�y�9�¢_ c&?�?�?£l�r�\_��\_UX{ElvmXU]\�Uo��WZ�Ea&zR�x\#�&W[U]\_{�uvabmXW£mojEab�|\_lv�&a~=a�r�lvY[�M§3�ì�t~=a�a�~¹lÃ���h�y�����1� ?�?�?HzBmoj�ab�t\_ln�&a7~=a�r�lvY[� h�\_�E�EW[m*a#�&a#�¹¶|m*WZ��\£r}ln�EYZuna7hkj�lvsM§�R��moj�a*WZmoj�a#U�jt\_�t~ÉzRWZq�U¼^`WH~=qEu�\�U�~=a�r�lvY[�3h#\��¹ay\Zr}lnuv�(\Z~E\�sEm�moW7u�\�UoYZa�U¼�[\�uvqEa�reW���¤Ba�lvYZjHm]rpzM\_m�mXjEaa#�Hsta#�tr}a�W��9lv�thpUoa�\[r}a�~bUoq��E�Elv��Y�mXlv^ba&§-¨BjEl�r�lvunuvqtr�moUi\_moayrBmojEa�lv^`s¾W[Uomi\_�thSa�W��/~=a�r�lvYZ��lv�EY*^bWH~HqEu�\�U\_�|~®a#�Hmoa#�|r}lv{�uva�°±lì§ a&§vz&sEq�Uoa#un�7r}��r}mXWZuvl«h_¸9\�U]h]jElvmXa�hSmXqEUoa�rp§

� � �b���e �!¹+9���­��+ ��� � ¹!£�9!£'/� � ��'B.

��agjt\#�&a�sEUoayr}a#�Hmoa�~*\�hSWZ^`sEuva#mXa�~=a�Uolv�[\�molvW[��W�� \��bWZsEmXlv^7\�uE¿�ÀRÁH�-~=a�r}lnYZ�*� WZU/mojEa�YZa#��a#U]\�u¾¢H�t\�sE¦ro\[hk¢�sEUXWZ{Euna#^£§OÁ&lv�thpa®lnmb{ta#uvW[�EY&r�moW3mXjEa�hSu�\[ror�W��4¥eTK¦!�!���7���$�8�9�*sEUXWZ{Euna#^7r*lvmir4�x\[r}m7st\_Ui\_unuva#ulv^`sEuva#^�a#�Hm]\�mol¬WZ�£l«r¼lv�Hmoa�Uoa�r�molv��Y@lv� lvm]r�W�¤��ÆUXlvY[j=m�§\TBa�h#\�qtr}a�mojEa�\�uvYZW[UolnmojE^%� WZU�mojEa�~=�H�t\_^`l�hsEUXWZYZUi\_^b^`lv�EY�r}W[uvqEmXlvW[�ÆW��emXjEl�r�s�UoWZ{�uva#^ jt\Zr�UXqE�E¦ moln^bab~Ha#sta#�t~=a#�|hSlva�rpzRlnm�l�r*\�u�r�W£lv�Hmoa#UXa�r}mXlv�EY� UoW[^ moj�a¼�Hlva�¤ W��9~=ayr}lvY[�7^ba#moj�WH~=WZunWZYZ�ª§

�ì�»~=a#UXlv�Hlv�EY�moj�a£r}��r}mXWZunl�h@\�UoUi\y�ªz¡¤/a@qtr�a�~ moj�a@a�r�m]\_{�uvl�r�jEa�~�r}�H�=mXjEa�r}l«r�r�moUi\_moa�YZ�»\[r��x\_U­\ZrstW&rXr}lv{�uvaSd ~=a#moa�Uo^bln�Ea�\,mXlv^bln�EY@� qE�thpmolvW[�;\��t~Ä\_�º\_uvunWHh#\_mXlvW[� � qE�|hSmolnWZ�Mz�r}j�W_¤ mojt\�m7mojEa#� ~=W�EW[m*h#\�qtr}a�\@rXhkj�a�~=qEunlv�EY�hSW[�=Åtl�hpm#zK\��t~3qtr}a`mojEa#^%mXW�~=a#mXa#Uo^bln�Ea�mXjEabln�=mXa#U]hSW[�E�Ea�hpmolvW[�treW_��mXjEa\_UXU]\#�&§;<gW�¤/a#�&a#U#zÉ{¾ayh#\_qtr�abW_��mXjEa�sEUoa�r�a#�thSa*W���mojEa`UoqE�E¦ moln^ba*~Ha#sta#�t~=a#�|hS�&zM¤Ba`hSWZq�u�~¹�EW[m�qtr�amoj�a�hSWZ�H�&a#�HmolnWZ�t\�u¾unlv�Eay\_U�°±W[U�a#�&a#� � qt\[r}ln¦±unlv�Ea�\�US¸ � qE�thSmXlvWZ�|rV� WZU�¤�j�l�h]j�mXjEae^ba#mXjEWH~=W[uvWZY[��l«r¤/a#uvua�r�m]\_{�uvl�r�jEa�~�z�\_�t~b¤/aejt\Z~bmXW*sEUoW��&ae�EW[��hSWZ�=Å|l�hSm/{=��jt\_�|~�§K�¹a²\_u�r�WbrX\#¤ mXjt\_m/¤Bae¤/a#Uoa�\�{Euva�moWh]jEW&W&r�a�\_��\_unuvWHh#\�molnWZ�@� qE�thpmolvW[�@mXjt\_meunWHh#\_unlv·#ay~®moj�a*~=�H�t\_^`l�hest\_UXmeW_�VmojEa�~=a�s¾a��t~=a#�thp�&zE{EqEmeln�WZUi~=a#U9moW�~=a�Uolv�&a�\��b\�UoUi\y�*¤�lnmoj�WZ�Eun��¶t�Elnmoa�^ba#^`WZUo�ªz#mojEa�qE�El¬� WZUo^ ~=a#sta#�t~Ha#�thS�*¤�\ZrK^7\_s�s¾ay~�moW�EW[�£\Z~��X\ZhSa#�Hm�sEUoWHhSayror}W[U]rp§e½Rln�t\_unuv�&zH¤Ba�ro\#¤Omojt\�mg{H�7\�s�UoWZsta#U�h]jEWZl«hSa�W_�9mXjEa�molv^`lv�EY�� qE�thSmXlvWZ�ôzmoj�l�r9hSWZq�u�~�{taehpWZ�HmoUoW[uvuna�~�¤�lvmXj�\²mi\_Y[YZlv��Y*roh]jEa#^`a&§���aehSW[�Z��a�hSmXqEUoa�mXjt\_m/r�qthkj�hpWZ�HmoUoW[uE� qE�thSmXlvWZ�|r¤�lvunut{¾a²\_�7a�ror�a#�Hmol�\�uE� a�\_mXqEUoaeW��-r}��r}mXWZuvl«he\_UXU]\#��rV� WZU/sEUoW[{Euva�^7rK¤�lvmoj`UoqE�E¦ moln^ba�~=a#sta#�|~=a#�thSlna�rS§-fr}�H�HmojEa�r�l�r9^ba#moj�WH~�hSW[qEu�~b{tae{t\[r}a�~bW[�@h]jEW&Wªr}lv��Y�\_uvunWHh#\_mXlvW[�@\��t~bmoln^blv�EY�� qE�thSmXlvWZ�|rBmoW*WZ{�m]\_ln�7\r}s|\ZhSa#¦ moln^ba9^7\_s�W_�Émoj�aBsEUXWZ{Euna#^©~=W[^7\_ln�Mz[\_�t~�mXjEa#�*qtr�lv�EYes�UoWZsta#UXmolna�rRW_�ÉmXjEa�r�st\ZhSa�¦±mXlv^ba9lv^­\_YZaW_�VmojEa4~=a#sta#�t~=a��thSlvayrBmoWbY[a#�Ea#Ui\_moa4hSWZ�HmoUXWZuM� qE�thSmXlvW[�tr¼°x\Zrg¤/a�~=l�~7¤�lvmoj �®°5&��('E¸/lv��mojEl«r¡st\�sta#US¸i§Zga#�&a�uvWZs�lv�EY4\�Y[a#�Ea#Ui\_uM^ba#mXjEWH~=W[uvWZY[��� WZU�mXjEl�r�sEUXWHhSa�rorBl«r�\_��lv�Hmoa#UXa�r}mXlv�EY�WZsta#�@s�UoWZ{�uva#^£§

�¹ae� W[Uo^�qEu�\�moa�~*mojEa�sEUXWZ{Euna#^ W_�VhkjEW&Wªr}ln�EY�mXjEae^ba�^bWZUX�*r}ln·#a�\[rg\��EW[�7uvlv��a�\_U�W[sEmoln^blv·�\�molnWZ�sEUXWZ{Euna#^£z�¤�jEl�h]j»¤Ba�r�WZun�&a�~ \��t\_un�=mXl�h#\�uvun�&§ ¨Bj�l�r7\_sEs�UoW&\[hkj?h#\_�Ä{ta¹qtr�a�~ � WZU7^7\_�H��Uoa#u«\_mXa�~sEUXWZ{Euna#^7rS§M��a�jt\#�&a�Uoa�hpa#�=mXuv��qtr�a�~�lnmKmoW�~=a�moa#UX^blv�Ea9mXjEa�WZsEmXlv^7\�uEr�lv·#aB� W[U9lvmoa�U]\_mXlvW[��r}st\[hSagmXlvunlv�EY°±a � qEln�[\_uva��=mXuv�&zHmojEa*sEUXWZ{Euna#^ÊW_��h]jEW&W&r�lv�EY7moj�a*st\_Ui\_^ba#mXa#U]r� W[U�\_� ÀRÁ,L�T st\�UomXlvmolnWZ�Eln�EY�¤�jEa#��\r}��r}mXWZunl�h�\�uvY[WZUolnmojE^ l�rgln^bsEuna#^bap�=mXa�~�WZ��\�¶t�Ha�~£r�lv·#a�~�\_UXU]\#�¾¸i§��ìm�hSWZq�u�~@{ta*qtr}ay~(� W[U�r}a#una�hSmXlv�EY

êRêbå#£�û �Xþ)�

Page 21: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

c�> ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�moj�a£~=lnYZlvm`r}ln·#a7¤�jEa#� ~=a#Uoln�=ln�EY ~=lvY[lvmo¦ {t\[r}a�~�\_UolnmojE^`a#mol«hbhSlvUihSqElnm]r¼� UoW[^ {ElvmX¦ìr�a#Uol«\_u�~=a#sta#�|~=a#�thS�YZUi\_sEj|rSzÉ\_�t~7Uoa#u«\_moay~�sEUoW[{Euva�^7rS§

½Rlv�|\_uvun�&z#¤Ba/jt\#�&a/~=a#�&a#unWZsta�~ehSlnU]hSq�lvmMuva��&a#uZW[sEmoln^blv·�\�molnWZ�trtmoW�^7\_¢&aKmXjEa¶|�t\_uHlv^bs�uva#^�a#�&m]\�molnWZ�sEUi\ZhSmXl�h#\�u � W[UK¿�ÀRÁH�]§[¨BjEaBln^bsEUoW��&a�~�hSWZ�HmoUXWZu&� qE�thSmXlvWZ��h�\_�*{taB�Hlva#¤/a�~�\Zr9\er��Er�moWZunl�h9lv^bsEuna#^�aS�Hm]\�¦molnWZ�bmXjt\_m�hSWZ^`sEqEmoayrRmojEa�� qE�thSmXlvWZ� �7°�&��('E¸�°ì\[hSmoqt\�uvun�&z&\_�`a � q�lv�[\_una#�=mK� qE�|hSmolnWZ��¤�jEl�h]jbhpWZ^bsEq�moa�rmoj�as�Uoa�~=l«h#\_mXa��®°5&��('E¸#_;c�¸]§-�Ñm ¤BW[qEu�~e{taBln�=mXa#Uoayr}moln�EYBmXWe~Ha#Uoln�&aKmojEl«rô� W[Uo^7\�uvun�g{H�g¶tUir}m uvWHh#\�uvlv·�lv�EYmoj�a²� q��thSmolnWZ� �7°�&��('E¸izt\_�t~bmXjEa#�£~Ha#moa#UX^blv��lv�EY�\��£\�sEsEUoW[sEUol«\_mXa*r}s|\ZhSa#¦ moln^bae^7\�sEsEln�EYE§

�¹a�jt\#�&a� W[uvunW_¤/a�~�moj�ae~=ayr}lvY[�*moUi\_��a�hSmXWZUo��\�uvuEmXjEa�¤�\#��� UXWZ^ mXjEa�uva#�&a#u&W�� \�uvYZW[UolnmojE^©mXjEUoW[qEYZj\_Uihkj�lvmoayhSmoqEUXa7\_�|~,¶t�t\�uvun�3moW hSlvUihSqElnm#§3f�m�ay\Zh]jÆmXlv^ba`¤Ba7jt\#�&abqtr�a�~ \�sEsEUoW[sEUol«\_mXa@moj�a#WZUXa#mol«h#\_umoW&W[u�r�� WZU�\��t\_un�Er�l�r�W_��moj�absta#U}� W[Uo^7\��thSa&§�f�m�moj�a�¶t�t\�u�hSlvUihSqElvm�uva#�&a�uìzMmojEa�Uoabl«r*r}molnuvu/rohpWZsta®� W[Ulv^`sEUoW��&a#^�a#�&m#§ ZglÃÈÉa#UXa#�=m-^ba#^bW[Uo��moa�h]jE�EW[uvWZY[lva�r ^7\#�¼{ta�moUXlva�~�WZqEm�zE~=l¬È�a�Uoa#�HmKhpuvWHh]¢=ln�EY�roh]jEa#^`a�r^7\#��{¾a/a#�HsEuvW[Uoa�~�z�\��t~�r�WeWZ�ô§hR�qEU Uoa�r�qEuvmirMr}jEW�¤3jEW�¤3lnmMl�rMlv^bstW[Uom]\��=mMmXWehpWZ^�{Elv�Ea ^7\��=��~=lv�&a�U]r}a\_UXa�\Zrìd»W[sEmoln^7\_ues|\_U]\�uvuna#u�\_uvY[WZUXlvmoj�^7rSz�¿�ÀRÁH�b~=ayr}lvY[�MzeWZsta#Ui\_mXlvWZ�|r®Uoayr}a�\�U]h]j;\��t~;~=a#sta#�|~=a#�thSa\_�|\_uv��r}l«rúmXWe\[hkj�lva#�&a jElvY[j�sta#U�� WZUo^­\_�thSa������������ �������������*a#��YZlv��a#a#Uoln�EY� W[UK\�sEsEunl�h#\�molvW[��r}sta�hSl¬¶Éh\_UXU]\#�bsEUXWHhSa�rXr}lv��Y�B�§

R��Ea£~=Ui\#¤�{t\Zh]¢�W_��WZqEU�¶t�t\_u�\_UXU]\#� l«r�mXjt\_m`mojEa#W[Uoa#mXl�h#\�uvun�&zKmojEa�T9³©~=ayr}lvY[�»l�r*�EWZm`sEqEUoa�uv�r}��r}mXWZunl�hZztr�lv�thSa�¤/a��Ea#ay~®\`hSWZqE�Hmoa�U�^bWH~=qEunW¢� �y��� zt¤�jEl«hkj7l�r�\*sEUoW[{Euva#^Êst\�U]\�^ba#moa�U#§P<gW�¤Ba#�&a#U�zmoj�l�r�l�rB�EW[me\*sEU]\[hSmol«h#\_uMunlv^blnm]\�molvW[�MzHr}ln�thSa�mojEl«rBl�r�WZ�Eun�bUoa�u�\_mXa�~bmoW�mojEa4r}ln·#a�W_�/\�r}ln�EYZuna¼UXa#YZl«r}mXa#U#§�ì�t~=a#ay~�z¾{H�7mojEa4ro\�^ba�mXWZ¢&a#�Mztmoj�a*\_UXU]\#�@l«r¡��WZmea#�Hmoa��tr}ln{Euva�¤�§ U�§ m�§�D¼{ta�h#\�qtr}a*W��9mojEa*stWªror}ln{Elvunlvm��W_�-\�UolnmojE^ba�mol�hBW��&a#U�ÅtW�¤�§K¥ga��&a#UomXjEa#uvayrorSz[¤Ba�jt\#�&agUXa�hSa#�Hmoun�*~=a#�&a�uvWZsta�~�\_��WZmoj�a#U�lv^bs�uva#^�a#�&m]\�molnWZ�{t\[r}a�~7WZ�7sEUoW[YZUi\_^b^7\�{Euva²r}jEl¬� m�Uoa#Y[l�r}mXa#U]rB¤�j�l�h]jbl�rBmXUoqEun�7r}��r}mXWZuvl«h1: f(�e�M�Ä�Z��@x§�b�Fz ryxV|1v � p " �Or ��� ¨BjEa�\_qEmXjEWZUir¡¤/WZqEu«~buvlv¢&a�moW�moj|\_�E¢7�Z¦x�E§�TBa#unu�\_��YZa#U�z=f�§�TBa#�t\_ln�El °±a�r�sta#¦hSl«\_uvun��� W[U�a�\_UXuv�bln�tr}lnYZjHm]r]¸PZ�§tÀM\#�&a#�Elva�U�\_�|~kZ�§E�»lnu�~=ag� W[Ugj�a#uvs=� q�uM~=l«rohSqtrXr}lnWZ�trp§

����$&��'B��������+

: f�f(T��=c4@ ��§ fg�t~=W[�EW���z ¿*§ fguva�¢ErX\_�t~=UXW���z \_�|~3f�§WTBa#�|\_lv��lì§ � �#��l�� �'��lI�.4����J�� ��'4' �I %&��'������*K�, -�,.& ���/�0 ' ��3-�$����§7¨úa�h]jE�El«h#\_uV�¡a#stW[Uom#z9Ç9a#�Hmoa#U�W_��Ç9W[^bsEqEmXa#U�ÁHhplva#�thpa�\_�t~¨Ma�h]jE�EW[uvWZY[�&ztfeh#\[~�§lL�§�TBW[�thkj�a#�®Áªm#§vzE{�uì§E�QUZ\HzúÁ&W�¶É\7cZcZc��=zWTBq�uvY&\�Uol«\=z�c��Z�HcZ§

: f�T���?Y@ ��§&fg�|~=WZ�EW��4\_�t~�f�§�TBa#�|\_lv��lì§ � � ��l�� �' �XI�.4�C���M�� ��'-'� �I %&��'���� �(*K�, -�,.& ��!/+0 '���3-�� �4��§9¨úayhkjE��l�h#\�ut�¡a�s¾W[Uom/��?�¦oc��=ztÀM��TK¦ì��¯£f(L�z&³9hSWZunae¥gW[Uo^7\�uva�Á&qEsta#Uolna#qEUXae~=a�À��&WZ�ôzc��Z�Q?=§

� ��ÞMë ã_ÜpÚ �¬à�áZß/æ �õßXékÝMá#â�å�Ü�9ò#Þ±ã[é]Þ������ �"!$#�%'&)(�!*&)+�,-# �.���/�0����Ý èõÞ ã_ï m é]Ýxæ±ã�è���#�%'&)(���Þ Ú�Ý±ß m æìèõÝ �$&)+�,-#

��å�ݱè¬é

Page 22: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� c#�

: f(L��=c4@ ��§9fg�t~HWZ�EW���\��t~ ½B§SL�UXqt\_qM§�fÊ��Z moW[UoW[l�~E\�uer��Er�moWZunl�h7\_UXU]\#�¹� W[U�mXjEa7¢=�t\�stro\[hk¢s�UoWZ{�uva#^£§ �ì�\��������'4$�)�H�+.+ ��,G 0 �' �� �$�!��� � � ����' �!�H$�9���-�"�'�� . ��� �9°CTBW[�t\Zrpzt½|Ui\_�thpaZ¸]z�Zq��Ea�c#�Z�HcZ§

: f(���Z�F@ ��§Éfg�t~=W[�EW��£\_�|~£TR§���qEln�=mXWZ�M§�³-­hSlna#�=m�unlv�Eay\_U�r}��r}moW[uvl«h�\_UXU]\#�®� W[Uemoj�a*¢=�t\�stro\[hk¢s�UoWZ{�uva#^£§��ì�� 2� ��0��=� � � ��� � ���-�"O'!� � ����� . �� #���7�X"��9�4' �X�� �4�,�-����� ���²°ìÀ��&WZ�ôz½EUi\_�thSa[¸]z¾Áªa#sEmoa�^�{ta#U�c#�Z�[�=§

: f(���ú�Ä�[�Y@���§Éfg�t~=W[�EW���zÉTR§W��qElv�HmoW[�MzúÁ|§���\_��WZs|\Z~=jH�&a&zÉ\_�t~\Z�§É�»lvu�~Ha&§�f r�jElÃ� mX¦±UXa#YZl«r}mXa#Ugln^b¦s�uva#^ba��=mi\_molnWZ�*W��9\��®W[sEmoln^7\_uÉr��Er�moWZunl�h�hSlvUihSqElnmV� W[U�mojEa�YZa#�Ea�U]\_uÉ¢=�|\_strX\Zh]¢bsEUoW[{Euva�^£§¥�W_�(c#�Z�[�=§/r}qE{�^blvmXmoa�~�mXWbT-\_U]hpa#uvu«\��_��§

: f��7�e�[�Y@ ��§tfg�t~HWZ�EW��ÉzE½B§t��\_ln^�{t\�qEuvm�z&\_�|~@TR§���qEln�=mXWZ�M§��+I��, �����(02'��!��' ���������E0 �' �� �$�!����7���$�4� �4���C ������n%&��'S�����2*K�, -�,.& ���/ 0 ' ��3-� �4��§K�ì�Hmoa#UX�t\_ut��a#stWZUXm2N#��?HzE�����iÁ f�zZ�Zq��Eac��Z�[�=§�r�qE{E^blnmomoay~�mXWb�&T#Z¼Ç�§

: f�ÁH�Z�F@ ¿4§tfguva#¢�ro\��t~=UXW_�­\_�t~£½Rl«~E\_��W_�[\bÁt§(R��@moj�a�a#�Hsta�hSmoay~­a��=a�hpqEmolnWZ�7moln^bag� WZU�\bhSu«\ZrXrW����EWZ��¦±qE��lÃ� WZUX^�UoayhSqEUoUXa#�thSa�a �&qt\_mXlvW[�tr¼^7\�sEsta�~¹W[�=mXW3c�Z UXa#YZqEu«\_U4\_UoUi\#�Erp§ � �9%0 �'� ��$�$�!�W��������'4$���H�+.K ��,G �S�����M��! ��C����V.pzt�H°oc�¸]z c#�Z�[�=§

:=TBa�u�UVN&@ ��§XTBa#uvun^7\_�M§��KIQ�, �����m0 '���� ' ���������Z§�TVUXlv�thpa#moW[� �g�Eln�&a#U]r�lvm��`TVUXa�rorpzMTKUoln�thSa#mXWZ�Mz¥��Ez�c#�QUVNª§

:=T < >Q>Y@ ½/§OTBlnmo·�\��t~¢<�§H¨e§.<eqE�EYE§9T-\_moj�sEu«\_�E�Eln�EY�W[�bmoj�ag¤�\_Uos­hSWZ^bs�qEmoa#U&[Mqtr}ln�EY*\�uvlv��a�\_Ur��Er�moW[uvl�h�\_UoUi\#�®ln��~=�=�|\_^bl«h¡sEUXWZY[U]\_^`^blv�EY�§ ���O���� �# #���7�X"��9��'� ��)� �¬z���U�[vcYNy���|c�>�>Hzc���>Q>=§

: Ç�Ç/�&�Q?Y@ L�§ <�§RÇ9jEa#�ôzR¯3§¬Át§RÇ9jEa�Uo�Mz \_�|~3�E§�<�§É�&\_��YE§bTKlns¾a�uvlv��a�\_U]h]jElnmoa�hSmXqEUoayr�� W[U*~=�H�t\_^`l�hs�UoWZY[U]\�^b^blv��Y*\_unYZW[UolvmXjE^7rp§h0 �' �� �$�!�P #���7�X"V�����ZzMc��O[vc[cZc��tcZcFN&z9c#�[��?H§

: ÇP<��7>Q>Y@ Ç9¦�Át§�Ç9jHqE�EY�zt¯3§¾Át§�<gq��EYEzt\��t~b�O§�R�§��¡W[^£§Kf;jt\�U]~b¢H�t\_strX\Zh]¢bsEUXWZ{Euna#^£§ �n ��� ����� .F�� �' �!� � ��� .4�C���.pz���U�[�>�U��H�Q>=zKc���>�>H§: Ç9jH�H>�?Y@ ¿4§Ç9jH�Z\�m]\�uì§�<�\_U]~3¢H�t\_s|ro\Zh]¢3sEUXWZ{Euna#^7rp§j�����4' ������V.��(� .F�� �'����HzK�Q>O[ncS��?[���|cS�Ec&c[z

c���>Q?=§: Ç/�&�[�Y@ L�§ <�§�Ç9jEa#�(\_�t~��E§�<�§t�&\��EYE§�fg�7lv^`sEUoW��&a�~�s|\_U]\�uvuna#u \_unYZWZUXlvmXjE^ � WZU�?�&c�¢=�t\�stro\[hk¢

s�UoWZ{�uva#^£§#0 �' ��$� �!�# #���7�X"V�����Zz c�>�[�>HcZc��V>Z�HcZzKc��Z�Z�H§:ML�a#Ui�=c4@ ¨e§[³�§OL�a#U]\[roh]jM§ f st\_Ui\_unuva#uH\�sEsEUoW��Hlv^7\�molnWZ�*\�uvY[WZUolnmojE^;� W[U#?�ªc¡¢H�t\�stro\[hk¢É§K�ì� 0 '��Y� ����O���4'-�H ��C����, ��P #����%F�4'!�4�,�-�K��� 0 �' �� �$�!��0 ' �F�-� .!.&��Q�ZzEst\_Y[a�r���?Z���H�Q?Z�=z-c#�Z�HcZ§:ML��ONy�Y@ ¯3§2L�\_UXa#��\_�t~jZ�§��ZWZjE�tr�WZ�M§ #���7�X"����4'8.� ��,G ���O�C'� ��-� �3�$�J$�I��i ���"O�GO�;����)�����������'4I��9% �70P�! #���7��� �!�9���l� .!.p§�½EUoa�a#^7\_�ôz|Á \_�£½EUi\_�thSl«rohSW�z�c��VN��H§êRêbå#£�û �Xþ)�

Page 23: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

��? ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV�:ML;<�¨7N��F@ ÀK§yLgq�lv{t\[rSzW<�§É¨e§5<eqE�EY�zM\_�|~,Ç9u«\_Uo¢�Z�§ô¨BjEWZ^bs|r}WZ�ô§ ZglvUXa�hSm�¿�ÀRÁH��lv^bsEuna#^�aS�Hm]\�¦

mXlvW[�3W_��hSW[^�{�lv�t\�moWZUXl�\�uB\�uvY[WZUolnmojE^­rS§7�ì�a0 ' �F� �� #����%F��'��4�,�-� ��� �l�4'4I �y �' �����X�! ��$����O���}��' ������ �\��' ���H$�����-�"O'!�?� �m� .&����� ��,G W �3&'-��! ������=zBst\�YZa�r U�?Z����U[��U=z��&\_�Hqt\_UX�c��VNy�=§

:ML�¥+Ny�Y@ ��§�Le\�U}¶t��¢&a#ut\_�|~ L�§&¥ga�^bjt\_q|r}a#U�§ �4�O���}�O�4'S0 ' �!��'� ���������Z§M�ZW[jE���»lnuva#��\��t~�Á&WZ�|rSzc��VNy�=§

:ML��=<��=c-@ T §ÃÁt§WL�WZst\�u�\�¢=UXl�r}j��t\_�Mz-�]§ ¿*§t��\_^7\�¢=UXl�r�jE�t\_�ôzM\_�t~£ÀK§µ¥�§5<�\_�|\_uì§�fgsEs�UoW��=ln^7\_mXa�\_uv¦Y[WZUXlvmoj�^7r¡� WZU�mXjEa�¢H�t\�stro\[hk¢£sEUXWZ{Euna#^�W[�¹s|\_U]\�uvuna#u9hSW[^bsEqEmXa#U]rp§ �4��%&��'4�� ������� ��,G #���7�X"�� ��C����=zt�Hc�[nc�U�U��tcFN&cZz9c��Z�=c[§

:=<�q�>Z�F@ ¨e§MÇ�§X<gqM§� #����3���H ��C��'4� �� ��� ����'-$���H�+.p§�fe~E~=l«r}W[�E¦±��a�r�uva#�7TKqE{�uvl�r�jElv��Y®Ç9W[^bst\_�H�&zc���>[�=§

: �&½�>�>Y@ �E§µ¯3§��&\_�|r}a#�º\_�t~ĽB§µ¯3§ÃÁ&l �Xr}moa�Uo^7\��trS§OTK\�U]\�uvuva�ug{EUi\_�th]jE¦x\_�t~H¦±{tWZq��t~O\_uvY[WZUXlvmoj�^7rS§ "��C"�'�� �(�4�l�4'� ��C����� #���7�X"��9��';�lI�.4���4�+.pz¾�H[õ��N&c�� �VNy�=zKc���>�>H§: ÀMÀW>[�Y@ ��§H�E§EÀ�lnsEmoW[�@\��t~¢Z�§�À�WZsEUXa�r}mXlì§#Zga�uvm]\�moUi\_�trì� WZUo^­\_molnWZ�bmXW*r��=^bs�uvlÃ� ��¿�ÀRÁ �Vs�UoWHhSa�r�¦

r�WZU9\�UoUi\y��rR� WZU9r�a#Uol«\_u�~=�H�t\_^bl«hKsEUoW[YZU]\�^b^bln�EYE§ �ì� 0 ' �F� � ���O�9��'-�, ������, ��y #����%F�4'!�4�,�-���� 0 �'� ��$�$�!��0 '��Y�-��.!.&����ZzEst\�YZa�r��=cFN �H�[��?HzKc#�Q>Z�=§: ÀRÁV>_��@ ¨Ma#�EY[¦C<�¤�\_��Y7ÀM\_l9\��t~3ÁH\_UXm]\_��ÁH\�jE�Elì§�fg�EW[^7\_unlva�rBln�@st\�U]\_unuva#u {EUi\_�th]jE¦x\_�t~=¦ {tWZqE�|~

\�uvY[WZUolnmojE^­rS§( ��K (zt�VNª°ì� ¸izMc#�Q>_�E§: ÀRÁ �=c-@ �E§HÀ�ln�b\��t~��E§Hf�§HÁ&moW[Uoa#U�§KTKUoWHhSayror}W[Uo¦ aS­hSlva#�HmKjH�=sta#UihSqE{ta�\_uvY[WZUXlvmoj�^ � WZU/mojEa�¢H�t\�sE¦

rX\Zh]¢bsEUXWZ{Euna#^£§� � �9%+0 �'� ��$�$�!�y ��HG �+ .4�C'4�3�"��9��Gk #���7�X"������Zz c#�O[µ�Z�[���H�[�VNªzc��Z�HcZ§: ÀRÁ�Á�>�>F@ �E§�À�a#a&z�³�§gÁ&jEUi\_YZW�¤�lnmo·&z�\_�t~;Át§gÁH\�jE�Elx§ f�jH�=sta#UihSqE{ta�\_unYZW[UolvmXjE^ � W[U7mojEa{?�&c

¢H�t\�stro\[hk¢»sEUXWZ{Euna#^7rp§ � �9%�02 �'� ��$�$�8� ��,G �K .4�'-�3&"V����G #���7�X"��C��Q�Zz UO[ �&��>��&� UZ�=zc���>Q>=§

: ÀZ��>QUY@ L�§ À�l/\_�t~{Te§��O§M� \_jM§bÁ&��r}mXWZuvl«h�s�UoWHhSa�rXr}ln�EYb� WZU�~=�H�t\_^bl«h�sEUoW[YZUi\_^b^bln�EY�sEUoW[{E¦una#^7rp§��ì�a0 '��Y� � �4���9�4'4�, ������, ��( #���!%F�4'��4�H�-�;��� 0 �' �� �$�!�#02'��F�-� .!.&����Zz st\_Y[a�r¼�ª�_� ��[�Ec[zRc���>�UH§

: ¯£f��Z�Y@ �O§�TR§�¯£\_Uo�|\_�Ea�\��t~O�¼§�fg�t~=W[�EW���§ ��������'4$�)�H� � ������l�!�4'4����� ��,G � �2� �����!�.&�� �=§9�ì�=mXa#Uo�t\�ut��a#stWZUom2N���>=z����g�oÁHf�z&Ç/\_^`sEqtr9~=a�TBa�\_qEunlva#qôzZ�QU�?_�ª�*�¡a��E�Ea�rBÇ9a�~=a���z½EUi\_�thSaªzE�ZqEun�£c#�[�Z�=§

: ¯@a�Y&�Z�F@ L�§-¯3§K¯@a#Yªr}WZ�ô§£¯£\_sEs�lv�EY�\�hSu�\[ror�W_��UXqE�E¦ moln^bab~Ha#sta#�t~=a#�|hSlva�reW[�=mXW£Uoa#Y[qEu�\�U*\_UX¦Ui\#�Erp§b�ì� ���O���4'-�H ��C����, �� 0 �' �� �$�!� 0 ' �F�-� .!.&���� �XI��7�H�Y.&�"���z�st\_Y[a�r���N �|c�?VNªzB��³9³9³�z¥�a#¤�stWZUom�TBay\Zh]jMz¾Ç/f�ztf�sEUolnuKc#�[�Z�H§

: ¯£¨��Q?Y@ Á|§�¯£\_UXmoa#unuvW�\��t~;TR§�¨úW[mojM§ *K�, -�,.& ��!/ 0 '���3-�$�4�+. �f��������'4$�)�H�+. ��,G� #���7�X"��9�4'���7���$�4� �4���C ������=§��ZW[jE�@�»lnuva#�`\_�t~@Á&W[�trSz c#�[��?H§��å�ݱè¬é

Page 24: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� �=c

: ¯@�&Wª�=c4@ �E§µ½B§M¯@�&W[qEstWE§*f � qEunuv��sElvsta#unlv�Ea�~�r}W[uvqEmXlvWZ�|r¼hpWZ�tr�moUoq|hSmoW[U²� W[U�~=�=�|\_^bl«h¼sEUXWZYZUi\_^b¦^`lv�EY£sEUXWZ{Euna#^7rp§ �ì����G��� ��,�-��.{��� #���7�X"��C���� � �F 2 � � � ���E0 ' �F� � ���O���4' �m #����% � #���7�X"���� �4��%&��'4� �¬z¾ÁªsEUoln�EYZa#UX¦±¿9a#UXu�\�YEz�c��Z�HcZ§/À�a�hSmoq�Uoa�¥gW[moa�rBln�@Ç9WZ^`sEqEmoa�UgÁHhSlna#�thSa�ª�VNª§

:M����>Z�F@ T §���qElv�HmoW[�@\��t~��4§E��WZ{ta#Uom�§S��������'4$�)�H� ��. �8�2 �' �!�H$�9���-�"�'�� .(.&I�.4�C���M ��" ��.p§B¯£\[ror}W[�Mzc���>[�=§/³V��YZuvl«r}jbmXU]\��tr}u«\_molnWZ�7{H�bTKUoa��=mXl�hSa�<e\�uvuxz �lI�.4����J��n����� ��'-$���H�+.K ��,G ��'����H$�����-��"�'�� .pz�Á&a�sEm#§Éc#�Z�HcZ§

: ��½K�Q?Y@ Á|§B¿*§/�g\_��W[st\Z~Hj=�&a�\��t~»�¼§�¯3§B½EqZ��ln^bWZmXWE§ Áª�=�HmojEayr}lv·�lv�EY r}��r}mXWZuvl«h@\�UoU]\#��r�� UoWZ^UXa�hSqEUXUoa#�|hSaea �&qt\_mXlvW[�trS§S0 �' �� �$�!�P #���7�X"V�����ZzMcp�,[nc#�Z���tc&>Z�=z �ZqE��a�c��Z�Q?=§

: �M¿ >���@ �]§&¿*§&��\_^­\_¢HUol�r�jE�t\��b\��t~bTR§H�E§&¿/\_UX^7\_�M§yZg�H�t\�^bl�hBsEUXWZY[U]\_^`^blv�EY²\_�t~�mXU]\��tr}lnmolv�&ahpuvW&r�qEUoa�WZ��uvln�Ea�\_U�sElns¾a�uvlv��a�rS§��ì� �4�O���4'4�, ������, ��2 #����%F�4'!�4�,�-�m��� 0 �' �� �$�!��0 ' �F�-� .!.4���Q�ZzúÁªm#§¾Ç9j|\_Uouna�rSzt�ìuxzEfgqEY[qtr}m�c#�Q>_��§

: ¨Ma#�t�Q?Y@ Á|§R¨Ma#�EY�§@f�~E\_sEmXlv�&a*st\�U]\�uvuva�uB\�uvY[WZUolnmojE^�� W[U�ln�=mXa#YZUi\_u9¢=�|\_strX\Zh]¢£sEUoW[{Euva#^­rS§ �P�9%0 �'� ��$�$�!�� ��,G �+ .4�C'4�3�"��9��G\ #���7�X"��C����[z�>O[ � ?�?��&��?[�=z9c#�[��?H§� �����4� �����

��� xWx w�x,w � Æ� � ��½RlnU]r}m�zM�EWZmXa£°Í� UXWZ^ �Z¦U ¸emXjt\_m �p°�&��('E¸ _ &�djet°�&��('�¸]§7À�a#mme¾°5&��('E¸ _et°�& � �(' � ¸�\��t~ �p°5&��('E¸(_ �p°�& � � ' � ¸]§4¨Bj=qtr:&�djet°�&�� 'E¸(_ & � djet°�& � �(' � ¸iz \_�t~£jEa#�thpa&z�&\_?& � §Áªlv�thSane¾°5&��('E¸#_�et°�&��(' � ¸�°±¤/a�\Zror�qE^ba&zH¤�§ ux§ WE§ YE§nz=moj|\_m ' � ' � ¸iz

�ì°�&�^bWH~�� 9 d»c�¸ ��¡���d 9�� ,) !/*0, ���#! �F¡���_ �x°�&�^bWH~1� 9 , d»c�¸ �F¡��(d 9 , � ,) !+*0, � �#! �F¡��WZU

9�� ,)!+* 9 , ���#! ��¡��K_ �ì°5&�^bWH~�� 9 , d»c_¸ �F¡��A6��ì°5&�^bWH~�� 9 d c_¸ �F¡��r}W ��� 9 , ��¡���d 9�� ,)!+* 9 , � , ���#! �F¡���_ �ì°5&�^bWH~�� 9 , d»c�¸ �F¡��76 �x°�&�^bWH~1� 9 d c_¸ ��¡��

Áªlv�thSa�mojEae¶tUir}m�moa#UX^1W[�@moj�a���<¼Á��EW�u�\�UoYZa�U�mojt\��@moj�a²¶|U]r}m�mXa#Uo^ WZ�@mXjEa�ÀW<¼Átz9�� ,)!+* 9 , � , ���#! ��¡���1 6��ì°5&�^bWH~�� 9 d»c�¸ �F¡��

TBq�mBa�\[hkjbmXa#Uo^ lv�`mojEa�r�qE^b^7\�molnWZ��WZ�7mojEa�uvaS� m9l�r�\�hSa#lnuvlv��YEzH\_�t~7\�uvu�mXjEa �#!x´õr�\_UXa�r}mXUol«hSmoun�stWªr}lvmXlv�&a&§�<ga#�thpa&z=mXjEl�rBuna�\Z~ErBmXWb\�hSW[�=mXU]\Z~Hl�hSmXlvWZ�ô§êRêbå#£�û �Xþ)�

Page 25: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

�Z� ��"O� �4� ���HG����,�������X ����& �I�� �&�-�H �GY�HIV���� xWx w�x,w ��� �Ox � � � ��½EUXWZ^ °ì� ¸iz=UXa#sta�\_mXa�~�{ta#uvW�¤ � W[U�hSW[�=�&a#��lva#�thpa&zZ¤Ba²r}a#a�mojt\�m �®°5&��('E¸l«r�r}moUXl�hSmXuv�£stW&r�lvmXlv�&a7°±mXjEabmXjEUoa#a�moa�Uo^7re\�Uoa`\_unuBhpa#lvunlv�EYªrSz \_�t~�mojEa�u�\[r}m�mXa#Uo^%l«r�\_�3qEs�s¾a�U{tW[qE�t~®W[�@mXjEa�r}a�hSW[�t~®mXa#Uo^�¸]§

�®°5&��('E¸#_ �x°�&�^bWH~1� 9 � , d c_¸ ��¡�� 6��ì°�&�^bWH~�� 9 d»c_¸ �F¡��(d ��� 9 ��¡��¨Bj�l�rB^ba�\��trmXjt\_m�mXjEa#UXae¤�lvunu��Ea#�&a�UB{ta�\_�H���Ea�a�~bmoW*sEUXWZst\�Y&\_mXa��[\_unqEa�rBmXW*mojEa�uvap� m#§K½EUXWZ^mXjEl�rK�x\ZhSm�zE\��t~£°9NZ¸izElvm9� WZuvunW�¤�rmoj|\_m�moj�a�\_unuvWHh#\�molvW[�b� qE�thSmXlvWZ�`l�r^`WZ�EW[moWZ��l�h#\�uvuv�*ln�thSUXa�\Zr�lv�EY¤�lnmoj 't§�½EUoWZ^ ° �Z¦U ¸�¤Ba�jt\#�&a&z �p°�&��('�¸(_?&�die¾°5&��('E¸]z r�W �p°�&��('�¸ d"��_ & d e¾°5&��('E¸ d#�M§À�a�m#zKlÃ��stWªror}ln{Euvaªzú� WZU�r�WZ^ba �j[ ?+)��-)��®°5&��('E¸ � et°�&��('E¸Wd ��p°�&��('E¸Wd � � _ � et°�&�� � '��v¸

�p°�&�� � '��v¸ � §�Á&WEz�p°5&��('E¸ d#��_ �p°5& �@�('��n¸(_1&���djet°�&��@�('��v¸(_ &��Od e¾°5&��('E¸yd"� ¨Bj=qtrpz & _ &��v§bÁ&ln�thSa*{H�@WZq�UjH�Hs¾W[mojEayr}l�rpz,et°�&��('�¸Od � _ et°�&�� �('��¬¸]zH\��t~ � �j?Hz=¤/ag^�qtr}m-jt\#�&a�{=�*^bW[�EWZmXWZ�El«hSlvm��&z '�� � 't§Áªlv�thSa �>)"�7z=¤Ba�r�qE{tr}mXlvmXqEmoae� UoW[^%°±�H¸�\��t~¹°x� ¸izt\_�t~�r}lv^`sEuvl¬� ��moW�WZ{�m]\_ln�

�ì°�&�^`WH~��:9 , d»c�¸ ��¡�� 6 9 , � ,)!+* 9 � , ��� ! �F¡��*) �x°�&�^bWH~��:9 � , d c_¸ ��¡��¥�W_¤Ä¤Ba�jt\#�&aem�¤/W�h#\Zr�a�rS§9�±� ' � _1' d»cemXjEa�r}qE^b^­\_molnWZ��WZ��mojEa�ÀW<¼Á�l�r2?Hzt\_�t~7mojEa�¶tU]r�mmXa#Uo^ WZ��mojEa�ÀW<¼Á�l«rBl�~=a#�Hmol«h#\_utmXW�mXjEa��7<¼Á|zEr}W�¤Ba�jt\#�&a�\�hpWZ�HmoU]\[~=l�hpmolvW[�M§SR��7mojEa�WZmXjEa#Uj|\_�t~�zEl¬� ' � � ' d»cZzEmXjEa#�7moj�a²¶|U]r}m�mXa#Uo^ lv�bmXjEa�r}qE^b^­\_molnWZ��l�rBmXjEa�{¾W[qE�t~@W[�®mXjEa�ÀW<¼Átz\��t~®¤/a�\_Y&\�lv��jt\#�&a�\�hpWZ�HmoU]\[~=l�hpmolvW[�M§

��� xWx w�x,w � Æ� �É��Á&ln�thSa&z#mXjEa/hSW&aS­hSlva#�Hm]r��#!H\�UoaBq��ElÃ� W[Uo^bun��~=l�r�moUoln{EqEmXa�~glv��mXjEa9lv�Hmoa#UX�Z\�u: �h�W�� 8�!�h�y���!@ìzH¤Ba�jt\#�&a ���#! �F¡���_��#! ��¡ d�� !xzE¤�jEa#UXa�� ! \_UXa�qE�El¬� WZUX^buv��~=l«r}mXUolv{�qEmoa�~�lv�7mojEaln�=mXa#Uo�[\�u#:=?.� � � ,� @ì§ �er}ln�EY�a�uva#^ba��=mX\_UX��r}mi\_mol«r}mXl�h#\�u \_�t\�uv��r}l�rpz �°!��°C�.�!¡K¸o¸ _ D� � �)!+*0, ���#! �F¡���� _ D� �)!+*0, 3° ���#! ��¡��&¸

_ D� �)!+*0, ° �°C� ! ��¡V¸Wd �°�� ! ¸o¸ _ D� �)!+*0, " �h�y���#df�h�W�� �Q¡ d ¡>6»c

��¡ $_ D-B

��� " �h�y�9�#df�h�W��  6»c¡ d»c $��a��EW[moa�mojt\�m9\�r}lv^`lvu�\�UMUoa�r�qEuvm-jt\ZrK{ta#a#�*W[{Em]\�lv�Ea�~*{H��f�uva#��\_�t~HUoW��*\��t~*½Rl�~�\_�EW��[\1: f¼ÁH�[�Y@q|r}lv��Yb\*hSW[^bsEuna#moa#un��~=lÃÈÉa#UXa#�Hm�\_s�sEUoWª\Zh]jM§

��� xWx w�x,w ��� �Ox � � ����¨Bj�a¼W[{E��a�hSmXlv�&a�� qE�thSmXlvWZ�7ln�¹°XcZc�¸Bl«r

.R°C�.�!¡K¸h_ �h�y���hd �h�W��  6»c� 6f� e d c� °Xc#�&¸

�ìmir¶tU]r�me\��t~7r}a�hSW[�t~@~Ha#Uoln�Z\�moln�&a�r¤�UXm��*\_Uoa�UXa�r}sta�hSmXlv�&a#un���å�ݱè¬é

Page 26: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

������������ ����������������������! #"�$��%&��'(�)���(*+�, -�,.& ���/102'���3-�$�4� �Z�

� .� � _ °�h�y���hd �h�W��  6»c_¸ e

° � 6f� e=¸ C 6 c� C °XcYN[¸\��t~

� C .� � C _ �H°C� �y��� df� �W��  6»c�¸ e C

° � 6f� e=¸ � d �� � °Xc�>&¸Áªlv�thSa � 6�� e�4�cbmXjEa#��� >

� � � ?=§�R��3moj�a®W[mojEa�U�jt\��t~ .K°C���8¡V¸²~=W&a�r��EW[m�~=a#sta#�t~¹W[�¡�\_�t~@mXjEa#UXaS� WZUXa .K°C�.�!¡K¸Bl«rg\bhpWZ�H�&a#�b� qE�thSmXlvWZ��lv��mojEa�~=W[^7\_ln�@W��� ay\Zr}ln{Euva�r�WZuvq�molvW[�tr¡� W[U°XcZc�¸]§1<ga#�thpa&z�moWb¶t�|~ mXjEa�ln�=mXa#YZa�Uer�WZuvq�molvW[�¹W���°XcZc_¸�lvmel«r�r}q=­hSlva��=m�moW�r}W[uv�&a*lnm]reUoa#u«\_�Ha�~�&a�U]r}lnWZ��\_�|~­mXW�ln�=�&ayr}molnY&\�moaemXjEa#�7mojEa��Eay\_Uoayr}m�lv�Hmoa�YZa#U/s¾W[lv�Hm]r�moW�mojEl«r�r}W[uvqEmXlvWZ�ô§Áªa#momXlv�EY*mXjEae¶tU]r�me~=a�Uolv�[\�molv�&a�°ocFNZ¸/moW�·#a#UXW*¤Ba�YZa#m

� B _ � e�,!e C °�h�y�9�#df�h�W��  6»c_¸ydfe., �

½EUXWZ^ ��¡\_ � 6o� e ¤Ba�WZ{Emi\_ln�

¡ B _ e.,S°�h�y���hd �h�W��  6»c_¸e C �

êRêbå#£�û �Xþ)�

Page 27: An Optimal Algo-Tech-Cuit for the Knapsack Problem - HAL

Unite de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,615 rue de Jardin Botanique, BP 101, 54600 VILLERS LES NANCY

Unite de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES CedexUnite de recherche INRIA Rhone-Alpes, 46 avenue Felix Viallet, 38031 GRENOBLE Cedex 1

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

Editeur

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

ISSN 0249-6399