¤Ä¤®¤Î¤è¤¦¤ÊÈëÌ©Æþ»¥Êý¼° (¸Ä¡¹¤Î»²²Ã¼Ô¤Ï¤Û¤«¤Î»²²Ã¼Ô¤ÎÆþ»¥³Û¤¬Ê¬¤«¤é¤Ê¤¤Êý¼°) ¤Î¥Ø¥ó¤Ê¥ª¡¼¥¯¥·¥ç¥ó¤ò¹Í¤¨¤ë¡¥¤¿¤À¤·¡¤»²²Ã¼Ô¤Ï2¿Í¤È¤·¡¤»²²Ã¤Ï¶¯À©¤µ¤ì¤ë¤È¤¹¤ë (ȳ¥²¡¼¥à¤Î¤è¤¦¤Ê¤â¤Î)¡¥¥ª¡¼¥¯¥·¥ç¥ó¤ÎÂоݤȤʤë¾ÞÉʤϡ¤É¾²Á³Û¤Î¤¤¤Á¤Ð¤ó¹â¤¤Æþ»¥¼Ô (¤Î°ìÊý) ¤ËÅϤꡤ¤½¤Î¤Ò¤È (³ÍÆÀ¼Ô) ¤Ï¤¢¤ë¶â³Û z ¤òÇä¤ê¼ê¤Ëʧ¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡¥°ìÊý¡¤³ÍÆÀ¼Ô¤Ë¤Ê¤ì¤Ê¤«¤Ã¤¿»²²Ã¼Ô (ºÇ¹â³Û¤ò¤Ä¤±¤¿¤Ò¤È¤¬¤Ò¤È¤ê¤Î¤Ð¤¢¤¤¤Ïɾ²Á³Û¤¬Ä㤫¤Ã¤¿»²²Ã¼Ô¤Î¤³¤È) ¤Ï¡¤»²²ÃÈñ¤È¤·¤Æ³ÍÆÀ¼Ô¤ÎÆþ»¥³Û¤òÇä¤ê¼ê¤Ëʧ¤ï¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤ (¤³¤Î¤¤¤¸¤ï¤ë¤µ¤¬¤¬¤³¤ÎÊý¼°¤ÎÆÃ¤Ë¥Ø¥ó¤Ê¤È¤³¤í)¡¥¶¯À©»²²Ã¼Ô A, B ¤Î¡¤¾ÞÉʤˤ¿¤¤¤¹¤ëɾ²Á³Û¤ò¤½¤ì¤¾¤ì a, b ¤È¤·¡¤Æþ»¥³Û¤ò a', b' ¤È¤¹¤ë¤È¡¤°Ê²¼¤¬¤Ê¤ê¤¿¤Ä (ƱÅÀ¤Î¤È¤¤Ï A ¤¬¼õ¤±¼è¤ë¤È¤¹¤ë)¡¥¤¿¤À¤· u, v ¤Ï¤½¤ì¤¾¤ì¤ÎÍøÆÀ:
If a' ¡æ b' (¤Ä¤Þ¤ê a' ¤¬ b' °Ê¾å¤Î¤È¤; ʸ»ú²½¤±¤·¤Æ¤ë¤«¤â¤·¤ì¤Ê¤¤¤Î¤Ç), then
If a' < b', then
ÌäÂê¡¥³ÍÆÀ¼Ô¤Î»Ùʧ³Û zA ¤È zB ¤ò¤¦¤Þ¤¯Áª¤Ö¤³¤È¤Ë¤è¤ê¡¤¤½¤ì¤¾¤ì¤Î»²²Ã¼Ô¤Ë¤È¤Ã¤Æ¼«Ê¬¤Îɾ²Á³Û¤ò¤½¤Î¤Þ¤ÞÆþ»¥¤¹¤ë¤³¤È (a'=a, b'=b) ¤¬¾ï¤ËºÇŬ¤Ë¤Ê¤ë (¼å»ÙÇÛÀïά¤Ë¤Ê¤ë) ¤è¤¦¤Ë¤»¤è (¤½¤·¤Æ¡¤¤½¤Î¤³¤È¤ò¤·¤á¤»)¡¥¤Þ¤¿¡¤¤³¤ÎÊý¼°¤ò¤¸¤Ã¤µ¤¤¤ËÍѤ¤¤ë¤³¤È¤¬Ë¾¤Þ¤·¤½¤¦¤Ê¾õ¶·¤òµó¤²¤è¡¥
¥ª¡¼¥¯¥·¥ç¥óÍýÏÀ¤ò¾¯¤·¤«¤¸¤Ã¤¿·ÐºÑ³ØÅ̤ˤȤäƤϡ¤¤½¤ì¤Û¤É¤à¤º¤«¤·¤¯¤Ê¤¤¤È»×¤¦¡¥Àµ²ò¤Ï¤À¤ì¤«¤Î¥³¥á¥ó¥È¤Ç¤âÂԤȤ¦¤«¡¥