¸Õ¸ÕдÁËÒ»¸öС³ÌÐò£¬¼ÆËã2άÍâ͹¶àÃæÌåµÄÍâΧÖܳ¤ºÍÃæ»ý¡£
ÏÂÃæµÄͼÏßÊÇËùËã³öµÄÖÜΧ³¤¶ÈºÍÄÚ²¿Ãæ»ýËæ×Åbeta ²ÎÊýµÄ±ä»¯¡£
ÕâÀï¸ø³ö²»Í¬beta²ÎÊýÏÂËùËã³öµÄÖܳ¤ºÍÃæ»ý£¬Ö»ÊÇΪÁËÏÔʾËùËãµÄ¾«¶È£¬Êµ¼Ê¼ÆËãÖУ¬Ö»ÐèÒª¼ÆËãÁ½´Î¾Í¿ÉÒÔ£¬¼È¿ÉÒÔ¸ø³öÄ¿±êÖµ£¬»¹¿ÉÒÔ¸ø³öÎó²î¡£
ÃÉÌØ¿¨ÂåËã·¨Ò»°ãÒ²½ÐRandmization method.
ÃÉÌØ¿¨ÂåËã·¨µÄÿһ´ÎÑ¡ÔñÑù±¾µã¶¼ÒªÑéËãËùÓеIJ»µÈʽÏÞÖÆÌõ¼þ£¬Complexity ÊÇm*n,
¼ÙÉèËùÑ¡µÄ³¤·½ÐÎÃæ»ýÊÇA,ËùÒª¼ÆËãµÄ¶àÃæÌåµÄÃæ»ýÊÇB, Èç¹ûËùÒªÇóµÄ¾«¶ÈÊÇp£¬ËùÒªÇóµÄÑù±¾ÊýÖÁÉÙÊÇN > A/(B*p). ͨ³£A/BÖÁÉÙÉÏǧ¡£ÓÚÊÇ£¬´ïµ½10λÊýµÄ¾«¶È£¬×ܵÄComplexity ´óÖÂÊÇN=10^13 *m*n
ÎÒÕâÀï¸ø³öµÄËã·¨Ó¦¸ÃÊÇ1000*m*n. 1000 ÊǶÔÔ²ÖÜ»ý·Öʱ¶Ô2¡Ápi ½Ç¶Èϸ·ÖµÄÊýÄ¿¡£
¶ÔÓÚÈκÎÓÉһϵÁÐÁ¬ÐøµÄ·ÇÏßÐÔº¯ÊýËù¸ø³öµÄÍâÍ¹ÇøÓò£¬¶¼¿ÉÒÔÓÃÕâÖÖ·½·¨À´Çó³ö±í̾̾»ýºÍÌå»ý¡£Äǽ«ÊÇÁíÍâµÄÒ»¸ö¿ÎÌâ¡£
ÁíÍ⣬ÃÉÌØ¿¨Âå·½·¨ÔںܶàÇé¿öϲ¢²»ÊÊÓᣱÈÈç¶ÔÏÂÃæµÄÎÊÌ⣺
x+y <= 0.00001
-x-y <= 0.00001
x-y <= 10^8
-x+y <= 10^8
ÕâÊÇÒ»¸öϸ³¤·½Ìå¡£ÄãҪѡÔñµÄ³¤·½ÐÎAµÄÃæ»ýÖÁÉÙÒª10^17, ¶øB¡«10^3,¼´±ãÊÇN=10^14 ¼ÆË㾫¶ÈÒ²Ö»ÄÜÊÇ0.1.

ÏÂÃæµÄͼÐÎÊÇÒÔ£¨1£¬0£©ÎªÑ¡¶¨µÄ¼«×ø±êµã»³öµÄÇúÏß¡£

ÏÂÃæµÄͼÏßÊÇËùËã³öµÄÖÜΧ³¤¶ÈºÍÄÚ²¿Ãæ»ýËæ×Åbeta ²ÎÊýµÄ±ä»¯¡£
ÕâÀï¸ø³ö²»Í¬beta²ÎÊýÏÂËùËã³öµÄÖܳ¤ºÍÃæ»ý£¬Ö»ÊÇΪÁËÏÔʾËùËãµÄ¾«¶È£¬Êµ¼Ê¼ÆËãÖУ¬Ö»ÐèÒª¼ÆËãÁ½´Î¾Í¿ÉÒÔ£¬¼È¿ÉÒÔ¸ø³öÄ¿±êÖµ£¬»¹¿ÉÒÔ¸ø³öÎó²î¡£
ÃÉÌØ¿¨ÂåËã·¨Ò»°ãÒ²½ÐRandmization method.
ÃÉÌØ¿¨ÂåËã·¨µÄÿһ´ÎÑ¡ÔñÑù±¾µã¶¼ÒªÑéËãËùÓеIJ»µÈʽÏÞÖÆÌõ¼þ£¬Complexity ÊÇm*n,
¼ÙÉèËùÑ¡µÄ³¤·½ÐÎÃæ»ýÊÇA,ËùÒª¼ÆËãµÄ¶àÃæÌåµÄÃæ»ýÊÇB, Èç¹ûËùÒªÇóµÄ¾«¶ÈÊÇp£¬ËùÒªÇóµÄÑù±¾ÊýÖÁÉÙÊÇN > A/(B*p). ͨ³£A/BÖÁÉÙÉÏǧ¡£ÓÚÊÇ£¬´ïµ½10λÊýµÄ¾«¶È£¬×ܵÄComplexity ´óÖÂÊÇN=10^13 *m*n
ÎÒÕâÀï¸ø³öµÄËã·¨Ó¦¸ÃÊÇ1000*m*n. 1000 ÊǶÔÔ²ÖÜ»ý·Öʱ¶Ô2¡Ápi ½Ç¶Èϸ·ÖµÄÊýÄ¿¡£
¶ÔÓÚÈκÎÓÉһϵÁÐÁ¬ÐøµÄ·ÇÏßÐÔº¯ÊýËù¸ø³öµÄÍâÍ¹ÇøÓò£¬¶¼¿ÉÒÔÓÃÕâÖÖ·½·¨À´Çó³ö±í̾̾»ýºÍÌå»ý¡£Äǽ«ÊÇÁíÍâµÄÒ»¸ö¿ÎÌâ¡£
ÁíÍ⣬ÃÉÌØ¿¨Âå·½·¨ÔںܶàÇé¿öϲ¢²»ÊÊÓᣱÈÈç¶ÔÏÂÃæµÄÎÊÌ⣺
x+y <= 0.00001
-x-y <= 0.00001
x-y <= 10^8
-x+y <= 10^8
ÕâÊÇÒ»¸öϸ³¤·½Ìå¡£ÄãҪѡÔñµÄ³¤·½ÐÎAµÄÃæ»ýÖÁÉÙÒª10^17, ¶øB¡«10^3,¼´±ãÊÇN=10^14 ¼ÆË㾫¶ÈÒ²Ö»ÄÜÊÇ0.1.

ÏÂÃæµÄͼÐÎÊÇÒÔ£¨1£¬0£©ÎªÑ¡¶¨µÄ¼«×ø±êµã»³öµÄÇúÏß¡£

���à¼Ê±ï¿½ï¿½: 2023-04-10 17:18:34



