²é¿´: 1381  |  »Ø¸´: 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 µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] Ò»Ö¾Ô¸ÉÂʦ´óÉúÎïѧ071000£¬298·Ö£¬Çóµ÷¼Á +3 SYA£¡ 2026-03-23 3/150 2026-03-23 19:09 by macy2011
[¿¼ÑÐ] 306Çó0703µ÷¼ÁÒ»Ö¾Ô¸»ªÖÐʦ·¶ +6 Ö½Óãly 2026-03-21 7/350 2026-03-23 19:06 by macy2011
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖØÇì´óѧ085700×ÊÔ´Óë»·¾³£¬×Ü·Ö308Çóµ÷¼Á +6 īīĮ 2026-03-23 7/350 2026-03-23 16:09 by īīĮ
[¿¼ÑÐ] Ò»Ö¾Ô¸211 ³õÊÔ270·Ö Çóµ÷¼Á +3 ¹ÈÓêÉϰ¶ 2026-03-23 4/200 2026-03-23 15:53 by ACS Nano¡ª¡ª
[¿¼ÑÐ] ÕÐ08¿¼Êýѧ +6 laoshidan 2026-03-20 14/700 2026-03-23 14:37 by 15614359529
[¿¼ÑÐ] ÉúÎïѧ071000 329·ÖÇóµ÷¼Á +5 ÎÒ°®ÉúÎïÉúÎﰮΠ2026-03-17 5/250 2026-03-22 16:42 by tcx007
[¿¼ÑÐ] Ò»Ö¾Ô¸ Î÷±±´óѧ £¬070300»¯Ñ§Ñ§Ë¶£¬×Ü·Ö287£¬Ë«·ÇÒ»±¾£¬Çóµ÷¼Á¡£ +3 ³¿»èÏßÓëÐǺ£ 2026-03-20 3/150 2026-03-22 16:00 by ColorlessPI
[¿¼ÑÐ] 260Çóµ÷¼Á +3 ÖìÜÆÁÕ 2026-03-20 4/200 2026-03-22 15:12 by ÖìÜÆÁÕ
[¿¼ÑÐ] ²ÄÁÏѧ˶301·ÖÇóµ÷¼Á +7 Liyouyumairs 2026-03-21 7/350 2026-03-21 22:31 by peike
[¿¼ÑÐ] Ò»Ö¾Ô¸ÄÏ´ó£¬0703»¯Ñ§£¬·ÖÊý336£¬Çóµ÷¼Á +3 ÊÕµ½VS 2026-03-21 3/150 2026-03-21 18:42 by ѧԱ8dgXkO
[¿¼ÑÐ] 336Çóµ÷¼Á +5 rmc8866 2026-03-21 5/250 2026-03-21 17:24 by ѧԱ8dgXkO
[¿¼ÑÐ] Ò»Ö¾Ô¸ÖØÇì´óѧ085700×ÊÔ´Óë»·¾³×Ü·Ö308Çóµ÷¼Á +7 īīĮ 2026-03-20 7/350 2026-03-21 16:36 by barlinike
[¿¼ÑÐ] ²ÄÁÏѧѧ˶080502 337Çóµ÷¼Á-Ò»Ö¾Ô¸»ªÖпƼ¼´óѧ +4 ˳˳˳mr 2026-03-18 5/250 2026-03-21 10:22 by luoyongfeng
[¿¼ÑÐ] 085700×ÊÔ´Óë»·¾³308Çóµ÷¼Á +12 īīĮ 2026-03-18 13/650 2026-03-21 01:42 by JourneyLucky
[¿¼ÑÐ] 294Çóµ÷¼Á²ÄÁÏÓ뻯¹¤×¨Ë¶ +15 ݤÎÉ­ÁÖ 2026-03-18 15/750 2026-03-20 23:28 by JourneyLucky
[¿¼ÑÐ] 329Çóµ÷¼Á +9 ÏëÉÏѧ߹߹ 2026-03-19 9/450 2026-03-20 22:01 by luoyongfeng
[¿¼ÑÐ] 290Çóµ÷¼Á +7 ^O^Ø¿ 2026-03-19 7/350 2026-03-20 21:43 by JourneyLucky
[¿¼ÑÐ] Ò»Ö¾Ô¸Î÷°²½»Í¨´óѧ ѧ˶ 354Çóµ÷¼Á211»òÕß˫һÁ÷ +3 ÎÒÏëÒª¶ÁÑо¿Éú 2026-03-20 3/150 2026-03-20 20:13 by JourneyLucky
[¿¼ÑÐ] Çóµ÷¼Á +3 @taotao 2026-03-20 3/150 2026-03-20 19:35 by JourneyLucky
[¿¼²©] É격26Äê +3 °Ë6°Ë68 2026-03-19 3/150 2026-03-19 19:43 by nxgogo
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û