²é¿´: 1380  |  »Ø¸´: 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 µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] ²ÄÁÏÓ뻯¹¤¿¼Ñе÷¼Á +4 ‹üÈA 2026-03-22 4/200 2026-03-23 16:13 by Ò»ÐݸçFU
[¿¼ÑÐ] 08¹¤Ñ§µ÷¼Á +7 Óû§573181 2026-03-20 11/550 2026-03-23 15:47 by ÎÒ°®Ñ§Ï°Ñ§Ï°Ê¹Î
[¿¼ÑÐ] 284Çóµ÷¼Á +6 Zhao anqi 2026-03-22 6/300 2026-03-23 09:23 by king123£¡
[¿¼ÑÐ] 289²ÄÁÏÓ뻯¹¤£¨085600£©BÇøÇóµ÷¼Á +3 ÕâôÃû×ÖÕ¦Ñù 2026-03-22 4/200 2026-03-22 17:56 by ÔÆÃñ´óÀîÀÏʦ
[¿¼ÑÐ] 287Çóµ÷¼Á +8 ³¿»èÏßÓëÐǺ£ 2026-03-19 9/450 2026-03-22 17:01 by i_cooler
[¿¼ÑÐ] ѰÕÒµ÷¼Á +4 ¾óǿâ? 2026-03-21 4/200 2026-03-22 16:14 by ľÍÐζ¶
[¿¼ÑÐ] 275Çóµ÷¼Á +6 shansx 2026-03-22 8/400 2026-03-22 15:27 by barlinike
[¿¼ÑÐ] Çóµ÷¼ÁԺУÐÅÏ¢ +6 CX 330 2026-03-21 6/300 2026-03-22 15:25 by ÎÞи¿É»÷111
[¿¼ÑÐ] 303Çóµ÷¼Á +5 °²ÒäÁé 2026-03-22 6/300 2026-03-22 12:46 by ËØÑÕÇã³Ç1988
[¿¼ÑÐ] 286·ÖÈ˹¤ÖÇÄÜרҵÇëÇóµ÷¼ÁÔ¸Òâ¿ç¿¼£¡ +4 lemonzzn 2026-03-17 8/400 2026-03-21 22:49 by lemonzzn
[¿¼ÑÐ] ²ÄÁϹ¤³Ìר˶ 348·ÖÇóµ÷¼Á +3 ¶¬´Ç. 2026-03-17 5/250 2026-03-21 18:47 by ѧԱ8dgXkO
[¿¼ÑÐ] 297Çóµ÷¼Á +3 ϲ»¶»¹ÊDz»¸ÊÐÄ 2026-03-20 3/150 2026-03-21 18:33 by ѧԱ8dgXkO
[¿¼ÑÐ] ÇóÖú +5 ÃÎÀïµÄÎÞÑÔ 2026-03-21 6/300 2026-03-21 17:51 by ѧԱ8dgXkO
[¿¼ÑÐ] 302Çóµ÷¼Á +12 ºôºôºô¡£¡£¡£¡£ 2026-03-17 12/600 2026-03-21 17:29 by ColorlessPI
[¿¼ÑÐ] ²ÄÁÏÓ뻯¹¤£¨0856£©304Çó BÇø µ÷¼Á +3 Çñgl 2026-03-21 3/150 2026-03-21 13:47 by lature00
[¿¼ÑÐ] 332Çóµ÷¼Á +3 ·ï»ËÔº¶¡Õæ 2026-03-20 3/150 2026-03-21 10:27 by luoyongfeng
[¿¼ÑÐ] 324·Ö 085600²ÄÁÏ»¯¹¤Çóµ÷¼Á +4 llllkkkhh 2026-03-18 4/200 2026-03-21 01:24 by JourneyLucky
[¿¼ÑÐ] 308Çóµ÷¼Á +3 °¢½ã°¢½ã¼Ò°¡ 2026-03-18 3/150 2026-03-20 23:24 by JourneyLucky
[¿¼ÑÐ] Çóµ÷¼Á +3 eation27 2026-03-20 3/150 2026-03-20 19:32 by JourneyLucky
[¿¼ÑÐ] 288Çóµ÷¼Á£¬Ò»Ö¾Ô¸»ªÄÏÀí¹¤´óѧ071005 +5 ioodiiij 2026-03-17 5/250 2026-03-19 18:22 by zcl123
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û