²é¿´: 1379  |  »Ø¸´: 0

ysp24

Ìú¸Ëľ³æ (СÓÐÃûÆø)

[ÇóÖú] C# µ÷ÓÃCPlex ¹ØÓÚ³åÍ»¼ì²âRefineConflictµÄÎÊÌ⣿¼±ËÀÁË£¡

ÈçÌ⣬ÔÚÍøÉϲ鵽µÄ´úÂëÈçÏÂ(Óû§ÊÖ²áÖÐÄÚÈÝÓë´Ë²î²»¶à)£º
if (cplex.RefineConflict(constraints,prefs))
  {
      Cplex.ConflictStatus[] conflicts = cplex.GetConflict(constraints);
      for (int i = 0; i < conflicts.Length;i++ )
      {
          if (conflicts==Cplex.ConflictStatus.Member)
          System.Console.WriteLine(" Proved : " + constraints);
          else if (conflicts==Cplex.ConflictStatus.PossibleMember)
          System.Console.WriteLine(" Possible : " + constraints);
     }
}

ÉÏÊö´úÂëÖеÄconstraints,prefsÔõô¶¨Ò壬ÒÔ¼°ÆäÖµÊÇʲô£¬ÎÒûŪÃ÷°×¡£²Î¿¼ÉÏÊö´úÂ룬ÎÒ×Ô¼ºÐ´µÄ³åÍ»¼ì²â´úÂëÒ»Ö±ÓÐÎó£¬Êä³ö½á¹ûÈ«²¿ÊÇPossibleµÄÀàÐÍ¡£¾ßÌå´úÂëÈçÏ£¬Çë´ó¼Ò°ï棺

INumVar[][] var = new INumVar[1][];//ÓÃÓÚÇó½âºóµ÷Óûò²é¿´½á¹û
IRange[][] rng = new IRange[1][];//ÓÃÓÚÇó½âºóµ÷Óûò²é¿´Ëɳڳ̶È
private string[] xt;
INumVar[] x;

½¨Á¢ÓÅ»¯Ä¿±ê£º
xt = new string[i_Dvar];
var[0] = new INumVar[i_Dvar];
for (int i = 0; i < xt.Length; i++)
     {
          xt = NumVarType.Float.ToString();
      }

x = cplex.NumVarArray(i_Dvar, intArr_Object_Lower, intArr_Object_Upper, xt);//Ìí¼Ó¾ö²ß±äÁ¿

var[0] = x;//¼ÓÒýÓÃ(Ö¸Õë±ä»¯)£¬Á½¸ö¿ÉÒÔµÈͬ
cplex.AddMinimize(cplex.ScalProd(x, intArr_Object));//Ìí¼ÓÓÅ»¯Ä¿±ê

½¨Á¢Ô¼Êø£º
rng[0] = new IRange[i_Num_le_eq];//i_Num_le_eqÎªÔ¼Êø×ÜÊý
for (int j = 0; j < A1_le.Length; j++)//²»µÈÊ½Ô¼Êø
   {
           rng[0][j] = (cplex.AddLe(cplex.ScalProd(x, A1_le[j]), b1_le[j]));
    }
......

³åÍ»¼ì²â£º
IConstraint[] constraints = new IConstraint[rng[0].Length];
double[] prefs = new double[constraints.Length]; //Ò»Ö±²»Çå³þprefs ×öʲôÓõÄ
constraints = rng[0];
            
if (cplex.RefineConflict(constraints,prefs))
      {
                 Cplex.ConflictStatus[] conflicts = cplex.GetConflict(constraints);
                 for (int i = 0; i < conflicts.Length; i++)
                {
                    if (conflicts == Cplex.ConflictStatus.Member)
                    {
                        System.Console.WriteLine(" Proved : " + constraints);
                    }
                    else if (conflicts == Cplex.ConflictStatus.PossibleMember)
                    {
                        System.Console.WriteLine(" Possible : " + constraints);
                    }
                }
     }

¼ì²âÊä³öµÄ½á¹ûÊÇËùÓеÄÔ¼ÊøÈ«²¿Êä³ö£¬ÇÒ¶¼ÊôÓÚPossible ¡£¿Ï¶¨ÊDz»¶ÔÁË¡£µ«×Ô¼ºµ÷ºÃ¾Ãһֱû³É¹¦£¬ºÜ׿±£¬Çë´ó¼Ò°ïæѽ£¡£¡£¡£¡£¡Ð»Ð»£¡£¡
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ ysp24 µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] 279·ÖÇóµ÷¼Á Ò»Ö¾Ô¸211 +15 chaojifeixia 2026-03-19 17/850 2026-03-23 18:30 by allen-yin
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖйúʯÓÍ´óѧ£¨»ª¶«£© ±¾¿ÆÆë³¹¤Òµ´óѧ +4 ʯÄÜΰ 2026-03-17 4/200 2026-03-23 17:51 by 17862566385
[¿¼ÑÐ] 303Çóµ÷¼Á +3 ԪϦԪ 2026-03-20 3/150 2026-03-23 13:29 by Iveryant
[¿¼ÑÐ] 263Çóµ÷¼Á +6 yqdszhdap£­ 2026-03-22 9/450 2026-03-23 12:57 by yqdszhdap£­
[¿¼ÑÐ] 070300£¬Ò»Ö¾Ô¸±±º½320Çóµ÷¼Á +3 Jerry0216 2026-03-22 5/250 2026-03-23 09:16 by ¡£¡£ÌÃÌÃ
[¿¼ÑÐ] 310Çóµ÷¼Á +4 baibai1314 2026-03-16 4/200 2026-03-22 20:19 by edmund7
[¿¼ÑÐ] ÉúÎïѧ071000 329·ÖÇóµ÷¼Á +5 ÎÒ°®ÉúÎïÉúÎﰮΠ2026-03-17 5/250 2026-03-22 16:42 by tcx007
[¿¼ÑÐ] Çóµ÷¼Á +5 Zhangbod 2026-03-21 7/350 2026-03-22 13:13 by Zhangbod
[¿¼ÑÐ] Çóµ÷¼Á +4 ÒªºÃºÃÎÞÁÄ 2026-03-21 4/200 2026-03-21 18:57 by ѧԱ8dgXkO
[¿¼ÑÐ] ²ÄÁÏ 271Çóµ÷¼Á +5 Õ¹ÐÅÔÃ_ 2026-03-21 5/250 2026-03-21 17:29 by ѧԱ8dgXkO
[¿¼ÑÐ] ²ÄÁÏѧѧ˶080502 337Çóµ÷¼Á-Ò»Ö¾Ô¸»ªÖпƼ¼´óѧ +4 ˳˳˳mr 2026-03-18 5/250 2026-03-21 10:22 by luoyongfeng
[¿¼ÑÐ] 085601µ÷¼Á 358·Ö +3 zzzzggh 2026-03-20 4/200 2026-03-21 10:21 by luoyongfeng
[¿¼ÑÐ] һ־Ըɽ´ó07»¯Ñ§ 332·Ö ËÄÁù¼¶Òѹý ±¾¿ÆÉ½¶«Ë«·Ç Çóµ÷¼Á£¡ +3 ²»ÏëÀíÄã 2026-03-16 3/150 2026-03-21 03:59 by JourneyLucky
[¿¼ÑÐ] ¶þ±¾¿ç¿¼Ö£´ó²ÄÁÏ306Ó¢Ò»Êý¶þ +3 z1z2z3879 2026-03-17 3/150 2026-03-21 02:29 by JourneyLucky
[¿¼ÑÐ] 332Çóµ÷¼Á +4 ydfyh 2026-03-17 4/200 2026-03-21 02:20 by JourneyLucky
[¿¼ÑÐ] Ò»Ö¾Ô¸ Î÷±±´óѧ £¬070300»¯Ñ§Ñ§Ë¶£¬×Ü·Ö287£¬Ë«·ÇÒ»±¾£¬Çóµ÷¼Á¡£ +3 ³¿»èÏßÓëÐǺ£ 2026-03-18 3/150 2026-03-21 00:46 by JourneyLucky
[¿¼ÑÐ] AÇøÏß²ÄÁÏѧµ÷¼Á +5 ÖÜÖÜÎÞ¼« 2026-03-20 5/250 2026-03-20 21:33 by laoshidan
[¿¼ÑÐ] 086500 325 Çóµ÷¼Á +3 Áì´øÐ¡ÐÜ 2026-03-19 3/150 2026-03-20 18:38 by ¾¡Ë´Ò¢1
[¿¼ÑÐ] ÉúÎïѧµ÷¼ÁÕÐÈË£¡£¡£¡ +3 ɽº£Ììá° 2026-03-17 4/200 2026-03-19 21:34 by ÔõôÊÍ»³
[¿¼ÑÐ] ±¾¿ÆÖ£ÖÝ´óѧÎïÀíѧԺ£¬Ò»Ö¾Ô¸»ª¿Æ070200ѧ˶£¬346Çóµ÷¼Á +4 ÎÒ²»ÊÇÒ»¸ù´Ð 2026-03-18 4/200 2026-03-19 09:11 by ¸¡ÔÆ166
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û