{"version":3,"sources":["webpack:///./components/Example.less","webpack:///./components/OttimizzazioneLineare/Styles.less","webpack:///./components/OttimizzazioneLineare/Max.js","webpack:///./components/OttimizzazioneLineare/Finite.js","webpack:///./components/OttimizzazioneLineare/Empty.js","webpack:///./components/OttimizzazioneLineare/Unbounded.js","webpack:///./components/OttimizzazioneLineare/Min.js","webpack:///./routes/OttimizzazioneLineare.js","webpack:///./components/Example.js"],"names":["module","exports","props","class","style","max","title","children","finite","unfeasible","unbounded","min","r","String","raw","href","to","Provider","value","inline","example"],"mappings":"6EACAA,EAAOC,QAAU,CAAC,IAAM,aAAa,OAAS,gBAAgB,OAAS,gBAAgB,KAAO,cAAc,KAAO,cAAc,KAAO,cAAc,QAAU,iBAAiB,QAAU,mB,mBCA3LD,EAAOC,QAAU,CAAC,IAAM,aAAa,OAAS,gBAAgB,OAAS,gBAAgB,KAAO,cAAc,KAAO,cAAc,KAAO,cAAc,QAAU,iBAAiB,UAAY,mBAAmB,WAAa,oBAAoB,OAAS,gBAAgB,IAAM,aAAa,IAAM,e,mCCDnS,qCAEe,aAAUC,GACrB,OACI,UAAMC,MAAOC,IAAMC,IAAKC,MAAO,uDAAwDJ,EAAMK,SAAWL,EAAMK,SAAW,U,2DCJjI,qCAEe,aAAUL,GACrB,OACI,UAAMC,MAAOC,IAAMI,OAAQF,MAAO,qCAAsCJ,EAAMK,SAAWL,EAAMK,SAAW,a,2DCJlH,qCAEe,aAAUL,GACrB,OACI,UAAMC,MAAOC,IAAMK,WAAYH,MAAO,mCAAoCJ,EAAMK,SAAWL,EAAMK,SAAW,Y,2DCJpH,qCAEe,aAAUL,GACrB,OACI,UAAMC,MAAOC,IAAMM,UAAWJ,MAAO,uCAAwCJ,EAAMK,SAAWL,EAAMK,SAAW,iB,2DCJvH,qCAEe,aAAUL,GACrB,OACI,UAAMC,MAAOC,IAAMO,IAAKL,MAAO,sDAAuDJ,EAAMK,SAAWL,EAAMK,SAAW,U,+qUCK1HK,GAAIC,OAAOC,IAGF,qBACX,OACI,aACI,6CACA,EAAC,KAAD,CAASR,MAAO,gBACZ,EAAC,KAAD,CAAOA,MAAO,YACV,YACI,YAAI,OAAGS,KAAM,uCAAT,8BAGZ,EAAC,KAAD,CAAOT,MAAO,YACV,yBACe,oCADf,uBAC+D,WAAG,OAAGS,KAAM,4EAAT,uCADlE,OAKR,EAAC,KAAD,CAAST,MAAO,SACZ,EAAC,KAAD,CAAOA,MAAO,WACV,2CAGA,YACI,kDACA,2CACA,+BACI,YACI,oCACA,oCACA,uCAKhB,EAAC,KAAD,CAAOA,MAAO,WACV,YACI,YAAI,EAAC,KAAD,CAAOU,GAAI,gBACf,YAAI,EAAC,KAAD,CAAOA,GAAI,gBACf,YAAI,EAAC,KAAD,CAAOA,GAAI,mBAI3B,EAAC,KAAmBC,SAApB,CAA6BC,OAAO,GAChC,EAAC,KAAD,CAASZ,MAAO,aACZ,EAAC,KAAD,KACI,eACI,YACI,YAAI,UAAMA,MAAO,qBAAb,MACJ,YAAI,UAAMA,MAAO,oBAAb,MACJ,6BAGR,eACI,YACI,YAAI,EAAC,KAAD,KAAQM,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,0BAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,gCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,sDAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,yCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,yCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,sCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,QACJ,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,6CAEJ,YACI,aACA,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,6CAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,kCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,8EAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,iEAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,qCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,iFAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,aACA,sEAIZ,EAAC,KAAD,KACI,eACI,YACI,uBACA,6BAGR,eACI,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,uCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,0CAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,mCAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,6CAEJ,YACI,YAAI,EAAC,KAAD,KAAQA,GAAR,OACJ,iEAMpB,EAAC,KAAD,CAASN,MAAO,WACZ,EAAC,KAAD,CAAOA,MAAO,sBACV,+EAGA,WACI,EAAC,KAAD,KAAQM,GAAR,SAIZ,EAAC,KAAD,CAASN,MAAO,sCACZ,EAAC,KAAD,CAAOA,MAAO,cACV,gFACsE,EAAC,KAAD,oBADtE,IAC6F,EAAC,KAAD,qBAD7F,qBACsI,iCADtI,0CACsM,yBAAc,uBADpN,MAIJ,EAAC,KAAD,CAAOA,MAAO,sBACV,6BACmB,EAAC,KAAD,oBADnB,IAC0C,EAAC,KAAD,qBAD1C,KAGA,uDAC6C,EAAC,KAAD,KAAQM,GAAR,MAD7C,uCAC+G,EAAC,KAAD,KAAQA,GAAR,MAD/G,MAIJ,EAAC,KAAD,CAAON,MAAO,WACV,sHAGA,+DACqD,EAAC,KAAD,KAAQM,GAAR,MADrD,4CAC4H,EAAC,KAAD,KAAQA,GAAR,MAD5H,MAIJ,EAAC,KAAD,CAAON,MAAO,iBACV,iBACO,wBADP,4CACgE,EAAC,KAAD,KAAQM,GAAR,MADhE,KAGA,mEACyD,EAAC,KAAD,KAAQA,GAAR,MADzD,MAIJ,EAAC,KAAD,CAAON,MAAO,YACV,gBACM,sBADN,4BAC6C,oCAD7C,oBAGA,oDAC0C,sBAD1C,wBAC6E,6BAD7E,KAGA,yBACe,WAAG,EAAC,KAAD,OADlB,KACiC,WAAG,EAAC,KAAD,OADpC,WACwD,WAAG,EAAC,KAAD,OAD3D,MAIJ,EAAC,KAAD,CAAOA,MAAO,aACV,WACI,uBADJ,sFAGA,WACI,EAAC,KAAD,KAAQM,GAAR,OAEJ,EAAC,KAAD,mBACe,EAAC,KAAD,KAAQA,GAAR,MADf,2BAGA,EAAC,KAAD,mCAC+B,EAAC,KAAD,yBAD/B,wBACmF,EAAC,KAAD,KAAQA,GAAR,MADnF,OAKR,EAAC,KAAD,CAASN,MAAO,0CACZ,EAAC,KAAD,CAAOA,MAAO,kBACV,+BAGA,YACI,YAAI,wCACJ,YAAI,wCAER,EAAC,KAAD,KAASM,GAAT,OAEJ,EAAC,KAAD,CAAON,MAAO,kBACV,+BAGA,YACI,YAAI,iCACJ,YAAI,0DAER,EAAC,KAAD,KAASM,GAAT,OAEJ,EAAC,KAAD,CAAON,MAAO,kBACV,+BAGA,YACI,YAAI,8BACJ,YAAI,0DAER,EAAC,KAAD,KAASM,GAAT,QAGR,EAAC,KAAD,CAASN,MAAO,4BACZ,EAAC,KAAD,CAAOA,MAAO,uBACV,uEAGA,WACI,EAAC,KAAD,CAAOa,QAAQ,GAAQP,GAAvB,OAOJ,EAAC,KAAD,+EAEJ,EAAC,KAAD,CAAON,MAAO,uBACV,2BACiB,8BADjB,IACwC,EAAC,KAAD,KAAQM,GAAR,MADxC,IAC8D,4BAD9D,qCAGA,WACI,EAAC,KAAD,CAAOO,QAAQ,GAAQP,GAAvB,OAIJ,WACI,EAAC,KAAD,CAAOO,QAAQ,GAAQP,GAAvB,QAKR,EAAC,KAAD,CAAON,MAAO,uBACV,mGAGA,WACI,EAAC,KAAD,CAAOa,QAAQ,GAAQP,GAAvB,SAQZ,EAAC,KAAD,CAASN,MAAO,qBACZ,EAAC,KAAD,CAAOA,MAAO,WACV,mFACyE,2CADzE,iBAGA,EAAC,KAAD,mBACe,aAAK,aAChB,EAAC,KAAD,CAAOa,QAAQ,GAAQP,GAAvB,MAOU,aAAK,aATnB,sBAUuB,aAAK,aACxB,WAAOT,MAAO,SACV,eACI,YACI,YAAI,UAAMG,MAAO,gBAAb,OACJ,YAAI,EAAC,KAAD,aACJ,YAAI,EAAC,KAAD,aACJ,YAAI,EAAC,KAAD,aACJ,YAAI,EAAC,KAAD,eAGZ,eACI,YACI,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,cACJ,YAAI,EAAC,KAAD,cACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,YAER,YACI,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,YAER,YACI,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,YAER,YACI,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,WACJ,YAAI,EAAC,KAAD,gBAMxB,EAAC,KAAD,CAAOA,MAAO,wBACV,kCACwB,kCADxB,oCAGA,0CACgC,mCADhC,yCAKR,EAAC,KAAD,CAASA,MAAO,mBACZ,EAAC,KAAD,CAAOA,MAAO,UACV,+BACqB,EAAC,KAAD,oBADrB,IAC4C,EAAC,KAAD,qBAD5C,4BAC4F,4BAD5F,qEAGA,+CACqC,yCADrC,IACuE,aADvE,0IAIA,EAAC,KAAD,qCACiC,OAAGS,KAAM,qGAAT,OADjC,8CACiM,OAAGA,KAAM,4DAAT,OADjM,KAGA,EAAC,KAAD,CAAST,MAAO,WACZ,WACI,OAAGS,KAAM,mCAAT,UADJ,2DACkH,OAAGA,KAAM,mEAAmE,8BAD9L,OAKR,EAAC,KAAD,CAAOT,MAAO,WACV,YACI,uCAA4B,6BAA5B,KACA,qCAA0B,uCAA1B,2CAAiG,4BAAjG,KACA,yDAA8C,EAAC,KAAD,iBAA9C,IAAkE,EAAC,KAAD,iBAAlE,6BACI,YACI,YACI,qBADJ,mDACiE,EAAC,KAAD,iBADjE,IACqF,EAAC,KAAD,iBADrF,wCAC6I,iCAD7I,IACuK,aACnK,eAAO,8BAAP,iJAEJ,YACI,qBADJ,wDACsE,EAAC,KAAD,KAAQM,GAAR,MADtE,IAEI,wHAA6G,EAAC,KAAD,MAA7G,MAEJ,YAAI,oBAAJ,KAAkB,uBAAlB,yEAGR,6BAAkB,EAAC,KAAD,MAAlB,OAA+B,uCAA/B,yDAAoH,oDAApH,yBAEJ,EAAC,KAAD,iJAIJ,EAAC,KAAD,CAAON,MAAO,gCACV,+DACqD,EAAC,KAAD,UADrD,wBAC0F,iCAD1F,KAGA,oBACU,8BADV,wFAKR,EAAC,KAAD,CAASA,MAAO,yBACZ,EAAC,KAAD,CAAOA,MAAO,yBACV,kIAGA,2CACiC,kCADjC,iCACyF,0BADzF,KAGA,4EACkE,EAAC,KAAD,KAAQM,GAAR,MADlE,KAGA,EAAC,KAAD,qCACiC,OAAGG,KAAM,qGAAT,OADjC,MAIJ,EAAC,KAAD,CAAOT,MAAO,gBACV,YACI,sCAA2B,gDAA3B,2CACA,2EAAgE,iCAAhE,uCACA,YAAI,qBAAJ,KAAmB,sBAAnB,8CACA,2DAAgD,+CAAhD,0BAA8G,WAAG,EAAC,KAAD,OAAjH,KACA,uEAA4D,sBAA5D,kDAAyH,cACzH,yEAA8D,sCAA9D,sDACA,YAAI,qBAAJ,KAAmB,sBAAnB,0CAIZ,EAAC,KAAD,CAASA,MAAO,gBACZ,EAAC,KAAD,CAAOA,MAAO,UACV,sEAC4D,mCAD5D,2BAIJ,EAAC,KAAD,CAAOA,MAAO,4BACV,uDAC6C,kDAD7C,KAGA,0CACgC,2CADhC,gDAGA,qFAC2E,EAAC,KAAD,KAAQM,GAAR,MAD3E,KAGA,EAAC,KAAD,KACI,0BAGA,EAAC,KAAD,CAAOO,QAAQ,GAAQP,GAAvB,MASA,uBAGA,EAAC,KAAD,CAAOO,QAAQ,GAAQP,GAAvB,SAUZ,EAAC,KAAD,CAASN,MAAO,WACZ,EAAC,KAAD,CAAOA,MAAO,SACV,6BACmB,WAAG,EAAC,KAAD,mBAAH,IAAyB,EAAC,KAAD,kBAAzB,qCADnB,yBAC2H,sBAD3H,MAIJ,EAAC,KAAD,CAAOA,MAAO,yBACV,uBACa,wBADb,yCACmE,EAAC,KAAD,KAAQM,GAAR,MADnE,kBACyG,EAAC,KAAD,KAAQA,GAAR,MADzG,mCAGA,2GAIJ,EAAC,KAAD,CAAON,MAAO,yBACV,YACI,qCAA0B,+BAA1B,wCACA,gCAAqB,WAAG,EAAC,KAAD,OAAxB,sCAAuE,EAAC,KAAD,MAAvE,WAAuF,EAAC,KAAD,MAAvF,KACA,gCAAqB,WAAG,EAAC,KAAD,OAAxB,yCAA8E,EAAC,KAAD,MAA9E,QAIZ,EAAC,KAAD,CAASA,MAAO,oBACZ,EAAC,KAAD,CAAOA,MAAO,mBACV,yCAC+B,EAAC,KAAD,KAAQM,GAAR,MAD/B,qDACqI,EAAC,KAAD,MADrI,mCAC6K,EAAC,KAAD,KAAQA,GAAR,MAD7K,cAGA,EAAC,KAAD,KAASA,GAAT,MACA,EAAC,KAAD,KAASA,GAAT,MACA,WACI,EAAC,KAAD,sBAGR,EAAC,KAAD,CAAON,MAAO,iBACV,yEAGA,0GAGA,WACI,EAAC,KAAD,KAAQM,GAAR,OAEJ,WACI,EAAC,KAAD,yDAGR,EAAC,KAAD,CAAON,MAAO,kBACV,0HACgH,EAAC,KAAD,wBADhH,IAC2I,EAAC,KAAD,0BAD3I,8CAGA,WACI,EAAC,KAAD,6DAGR,EAAC,KAAD,CAAOA,MAAO,4BACV,0GACgG,EAAC,KAAD,sBAEhG,2DAGA,YACI,0CAA+B,EAAC,KAAD,KAAQM,GAAR,OAC/B,wCAA6B,EAAC,KAAD,KAAQA,GAAR,OAC7B,4CAAiC,EAAC,KAAD,KAAQA,GAAR,MAAjC,6BAEJ,kEAGA,EAAC,KAAD,KAASA,GAAT,MACA,EAAC,KAAD,KAASA,GAAT,QAGR,EAAC,KAAD,CAASN,MAAO,iBACZ,EAAC,KAAD,CAAOA,MAAO,UACV,8EAIJ,EAAC,KAAD,CAAOA,MAAO,kBACV,+HACqH,EAAC,KAAD,iBADrH,IACyI,EAAC,KAAD,iBADzI,0BAGA,EAAC,KAAD,8HAKR,EAAC,KAAD,CAASA,MAAO,0BACZ,EAAC,KAAD,CAAOA,MAAO,UACV,4CACkC,iCADlC,kCAC0F,EAAC,KAAD,KAAQM,GAAR,MAD1F,+CAC6J,EAAC,KAAD,KAAQA,GAAR,MAD7J,gCACiN,EAAC,KAAD,+B,2DC5kBrO,qCAEe,aAASV,GACpB,OACI,SAAKC,MAAOC,IAAMgB,SACblB,EAAMK,a","file":"route-OttimizzazioneLineare.chunk.0bb98.js","sourcesContent":["// extracted by mini-css-extract-plugin\nmodule.exports = {\"red\":\"red__2y1B_\",\"orange\":\"orange__dD2kx\",\"yellow\":\"yellow__OEpwl\",\"lime\":\"lime__CVe41\",\"cyan\":\"cyan__26ZAg\",\"blue\":\"blue__LO7Xm\",\"magenta\":\"magenta__1Akee\",\"example\":\"example__2PzAa\"};","// extracted by mini-css-extract-plugin\nmodule.exports = {\"red\":\"red__UmOgB\",\"orange\":\"orange__1FTS8\",\"yellow\":\"yellow__3dJAV\",\"lime\":\"lime__3kPc-\",\"cyan\":\"cyan__11RpC\",\"blue\":\"blue__320AC\",\"magenta\":\"magenta__VPUPe\",\"unbounded\":\"unbounded__25UN8\",\"unfeasible\":\"unfeasible__2MuIF\",\"finite\":\"finite__2EP_f\",\"min\":\"min__3lPpn\",\"max\":\"max__1hxKl\"};","import style from \"./Styles.less\";\n\nexport default function (props) {\n return (\n {props.children ? props.children : \"max\"}\n );\n}\n","import style from \"./Styles.less\";\n\nexport default function (props) {\n return (\n {props.children ? props.children : \"finito\"}\n );\n}\n","import style from \"./Styles.less\";\n\nexport default function (props) {\n return (\n {props.children ? props.children : \"vuoto\"}\n );\n}\n","import style from \"./Styles.less\";\n\nexport default function (props) {\n return (\n {props.children ? props.children : \"illimitato\"}\n );\n}\n","import style from \"./Styles.less\";\n\nexport default function (props) {\n return (\n {props.children ? props.children : \"min\"}\n );\n}\n","import {Section, Latex, Panel, Todo, Timer, PLatex, TablePanel, LatexDefaultInline} from \"bluelib\";\nimport Example from \"../components/Example\";\n\nimport Empty from \"../components/OttimizzazioneLineare/Empty\";\nimport Unbounded from \"../components/OttimizzazioneLineare/Unbounded\";\nimport Finite from \"../components/OttimizzazioneLineare/Finite\";\nimport Min from \"../components/OttimizzazioneLineare/Min\";\nimport Max from \"../components/OttimizzazioneLineare/Max\";\n\nconst r = String.raw;\n\n\nexport default function(props) {\n return (\n
\n

Ottimizzazione lineare intera

\n
\n \n \n \n \n

\n Se sei uno studente dell'Unimore, puoi accedere all'archivio del corso su Google Drive.\n

\n
\n
\n
\n \n

\n Uno scritto con tre domande:\n

\n
    \n
  • Progettazione concettuale e logica
  • \n
  • Formulazione interrogazione
  • \n
  • Una domanda tra:\n
      \n
    • Studio dato derivato
    • \n
    • Progettazione fisica
    • \n
    • Tecnologia database
    • \n
    \n
  • \n
\n
\n \n
    \n
  1. \n
  2. \n
  3. \n
\n
\n
\n \n
\n \n \n \n v\n s\n Significato\n \n \n \n \n {r`\\mathbf{x}`}\n {r`x_i`}\n Incognite\n \n \n {r`\\mathbf{s}`}\n {r`s_i`}\n Variabili slack\n \n \n {r`\\mathbf{c}`}\n {r`c_i`}\n Coefficienti della funzione obiettivo\n \n \n {r`\\mathbf{A}`}\n {r`a_{ij}`}\n Coefficienti dei vincoli\n \n \n {r`\\mathbf{b}`}\n {r`b_i`}\n Termini noti dei vincoli\n \n \n {r`\\mathbf{y}`}\n {r`y_i`}\n Incognite artificiali\n \n \n {r`\\mathbf{u}`}\n {r`u_i`}\n Coefficienti di rilassamento\n \n \n \n {r`c_0`}\n Valore ottimo di un problema\n \n \n {r`\\mathbf{x}_B`}\n \n Incognite in base\n \n \n {r`\\mathbf{c}_B`}\n \n Coefficienti della funzione obiettivo delle variabili in base\n \n \n {r`\\mathbf{B}`}\n \n Coefficienti dei vincoli delle variabili in base\n \n \n {r`\\mathbf{x}_F`}\n \n Incognite fuori base\n \n \n {r`\\mathbf{c}_F`}\n \n Coefficienti della funzione obiettivo delle variabili fuori base\n \n \n {r`\\mathbf{F}`}\n \n Coefficienti dei vincoli delle variabili fuori base\n \n \n \n \n \n \n Simboli\n Significato\n \n \n \n \n {r`\\mathbf{c}^T \\mathbf{x}`}\n Soluzione del problema\n \n \n {r`\\mathbf{A} \\mathbf{x} = \\mathbf{b}`}\n Vincoli in forma standard\n \n \n {r`z(\\dots)`}\n Funzione obiettivo\n \n \n {r`\\mathbf{u}^T \\mathbf{b}`}\n Soluzione del problema duale\n \n \n {r`\\mathbf{u}^T \\mathbf{A} = \\mathbf{c}^T`}\n Vincoli del problema duale in forma standard\n \n \n \n
\n
\n
\n \n

\n La funzione obiettivo è la funzione con valore noto sconosciuto:\n

\n

\n {r`z = C_1 \\cdot x_1 + C_2 \\cdot x_2 + C_n \\cdot x_n`}\n

\n
\n
\n
\n \n

\n I problemi di ottimizzazione lineare sono problemi che cercano di minimizzare/massimizzare il valore di una funzione obiettivo le cui incognite sono sottoposte a un sistema di vincoli.\n

\n
\n \n

\n La funzione da minimizzare/massimizzare.\n

\n

\n Il vettore dei suoi coefficienti è detto {r`\\mathbf{c}`}, mentre quello delle sue incognite {r`\\mathbf{x}`}.\n

\n
\n \n

\n Equazioni e disequazioni a cui devono sottostare le incognite perchè esse formino una soluzione valida.\n

\n

\n I loro coefficienti sono contenuti nella matrice {r`\\mathbf{A}`}, mentre i loro termini noti nel vettore {r`\\mathbf{b}`}.\n

\n
\n \n

\n La soluzione di un problema, ricavabile dal prodotto {r`\\mathbf{c}^T \\mathbf{x}`}.\n

\n

\n Spesso, la funzione obiettivo è indicata con il nome {r`z(\\dots)`}.\n

\n
\n \n

\n L'insieme che racchiunde tutte le soluzioni ammissibili di un problema.\n

\n

\n In particolare, il valore ottimo è un vertice del poliedro, detto vertice ottimo.\n

\n

\n Può essere , oppure .\n

\n
\n \n

\n Funzione della funzione obiettivo che restituisce la direzione del suo aumento più veloce.\n

\n

\n {r`\\nabla f = \\frac{\\delta f}{\\delta x_1} \\mathbf{I}_1 + \\frac{\\delta f}{\\delta x_2} \\mathbf{I}_2 + \\frac{\\delta f}{\\delta x_n} \\mathbf{I}_n`}\n

\n \n La matrice {r`\\mathbf{I}`} è la matrice identità.\n \n \n Se la funzione obiettivo è z = 2w + 3x + 4y, il suo gradiente è {r`\\nabla z = (2, 3, 4)`}.\n \n
\n
\n
\n \n

\n Un problema con:\n

\n
    \n
  • Equazioni e disequazioni
  • \n
  • Variabili non vincolate
  • \n
\n {r`min \\left\\{ \\mathbf{c}^T \\mathbf{x} : \\mathbf{A} \\mathbf{x} = b,\\quad \\mathbf{A'} \\mathbf{x} \\geq \\mathbf{b'} \\quad x_j \\geq 0,\\quad j = 1 \\dots n \\right\\}`}\n
\n \n

\n Un problema con:\n

\n
    \n
  • Solo disequazioni
  • \n
  • Vincoli di non-negatività sulle incognite
  • \n
\n {r`min \\left\\{ \\mathbf{c}^T \\mathbf{x} : \\mathbf{A} \\mathbf{x} \\geq b,\\quad x_j \\geq 0,\\quad j = 1 \\dots n \\right\\}`}\n
\n \n

\n Un problema con:\n

\n
    \n
  • Solo equazioni
  • \n
  • Vincoli di non-negatività sulle incognite
  • \n
\n {r`min \\left\\{ \\mathbf{c}^T \\mathbf{x} : \\mathbf{A} \\mathbf{x} = b,\\quad x_j \\geq 0,\\quad j = 1 \\dots n \\right\\}`}\n
\n
\n
\n \n

\n Applica questa conversione a ogni equazione nel sistema:\n

\n

\n {r`a = b \\Leftrightarrow\n \\begin{cases}\n a \\leq b\\\\\n a \\geq b\n \\end{cases}\n `}\n

\n Serve solo nella teoria per dimostrare che le forme sono equivalenti.\n
\n \n

\n Aggiungi una variabile slack {r`s`} non-vincolata a ogni disequazione nel sistema:\n

\n

\n {r`\n a \\leq b \\Leftrightarrow a + s = b\n `}\n

\n

\n {r`\n a \\geq b \\Leftrightarrow a - s = b\n `}\n

\n
\n \n

\n Sdoppia ogni variabile non-vincolata in due variabili con vincolo di non-negatività:\n

\n

\n {r`\\begin{cases}\n a = a^+ - a^-\\\\\n a^+ \\geq 0\\\\\n a^- \\geq 0\n \\end{cases}`}\n

\n
\n
\n
\n \n

\n Un modo per rappresentare sistemi in forma standard, anche noto come matrice equivalente completa del sistema.\n

\n \n Il sistema:

\n {r`\n \\begin{cases}\n 2000x_1 + 1000x_2 = z\\\\\n 1x_1 \\leq 3\\\\\n 1x_2 \\leq 3\\\\\n 2x_1 + 2x_2 \\leq 7\n \\end{cases}\n `}

\n Diventa il tableau:

\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n
TNx_1x_2s_1s_2
z2000100000
31010
30101
72200
\n
\n
\n \n

\n Variabili che hanno tutti 0 e un solo 1 nella loro colonna del tableau.\n

\n

\n La loro controparte sono le variabili fuori base, che hanno qualsiasi altro valore.\n

\n
\n
\n
\n \n

\n Un algoritmo per minimizzare/massimizzare trovare efficientemente valore ottimo di problemi di ottimizzazione lineare, derivato da Gauss-Jordan.\n

\n

\n Da esso si può anche ricavare un vertice ottimo ammissibile.
\n C'è la possibilità che ne esistano anche altri: quello ottenuto dipende da come è stata effettuata la scelta delle variabili entranti.\n

\n \n E' spiegato in modo semplice qui, e ci sono dei codici sorgenti di esempio qui.\n \n \n

\n Questa è la soluzione passo per passo del problema 3 del file Ex_LP_testo.\n

\n
\n
\n \n
    \n
  1. Trasforma il sistema in forma standard.
  2. \n
  3. Trova tante variabili linearmente indipendenti quante siano le righe: esse saranno la base iniziale.
  4. \n
  5. Finchè ci sono variabili con coefficienti positivi/negativi nella funzione obiettivo:\n
      \n
    1. \n Scegli la prima variabile fuori base con coefficiente positivo/negativo nella funzione obiettivo: essa è la variabile entrante.
      \n \n
    2. \n
    3. \n Scegli la variabile in base con il minor rapporto positivo {r`\\frac{termine\\ noto}{coeff.\\ variabile\\ entrante}`}.\n \n
    4. \n
    5. Pivot: riscrivi tutte le funzioni del sistema in termini della variabile entrante.
    6. \n
    \n
  6. \n
  7. Il poliedro è : i termini noti dei vincoli sono le coordinate del suo vertice ottimo, mentre il termine noto della funzione obiettivo è il valore ottimo.
  8. \n
\n \n È praticamente l'algoritmo di Gauss-Jordan applicato al tableau, con delle regole aggiuntive per la decisione delle variabili di pivot.\n \n
\n \n

\n Una soluzione con almeno una variabile di valore 0, dovuta a uno o più vincoli ridondanti.\n

\n

\n Senza Regola di Bland e in presenza di vincoli ridondanti si rischia di trovarsi a fare pivot infiniti.\n

\n
\n
\n
\n \n

\n Un estensione del Simplex per permettere la risoluzione di problemi la cui origine non è una soluzione ammissibile.\n

\n

\n Prevede l'introduzione di un problema ausiliario, le cui incognite sono dette artificiali.\n

\n

\n Il vettore delle incognite artificiali è solitamente chiamato {r`\\mathbf{y}`}.\n

\n \n E' spiegato in modo semplice qui.\n \n
\n \n
    \n
  1. Crea un nuovo tableau, aggiungendo variabili artificiali in modo da avere una base ammissibile.
  2. \n
  3. Sostituisci la vecchia funzione obiettivo con una nuova che minimizzi la somma di tutte le variabili artificiali.
  4. \n
  5. Fase 1: Risolvi il nuovo problema con il simplex primale.
  6. \n
  7. Se il Simplex termina quando ci sono ancora variabili artificiali nella base, allora il poliedro è .
  8. \n
  9. Una volta che le variabili artificiali sono fuori base, elimina le loro colonne e la nuova funzione obiettivo.
  10. \n
  11. Riporta il tableau in forma base compiendo operazioni per azzerare i coefficienti delle variabili di base nella funzione obiettivo.
  12. \n
  13. Fase 2: Risolvi il tableau con il simplex primale.
  14. \n
\n
\n
\n
\n \n

\n Una versione semplificata di un problema nella quale si ignora la violazione di uno o più vincoli.\n

\n
\n \n

\n Un rilassamento che permette di misurare di quanto i vincoli vengono violati.\n

\n

\n I vincoli, moltiplicati per coefficienti di rilassamento, vengono inseriti nella funzione obiettivo.\n

\n

\n Il vettore dei coefficienti di rilassamento solitamente è indicato con {r`\\mathbf{u}`}.\n

\n \n

\n Il sistema:\n

\n {r`\n \\begin{cases}\n z = 3 x_1 + 5 x_2\\\\\n 2 x_1 + 3 x_2 \\geq 12\\\\\n - x_1 + 3 x_2 \\geq 3\\\\\n x_1 \\geq 0\\\\\n x_2 \\geq 0\n \\end{cases}\n `}\n

\n diventa:\n

\n {r`\n \\begin{cases}\n z = 3 x_1 + 5 x_2 + u_1 ( 12 - 2 x_1 - 3 x_2 ) + u_2 ( 3 + x_1 - 3 x_2 )\\\\\n x_1 \\geq 0\\\\\n x_2 \\geq 0\n \\end{cases}\n `}\n
\n
\n
\n
\n \n

\n Il sistema che massimizza/minimizza i moltiplicatori di rilassamento di un problema detto primale.\n

\n
\n \n

\n Possiamo trasporre il tableau e sostituire le variabili {r`x_n`} con variabili {r`u_n`} per ottenere il sistema duale!\n

\n

\n I maggiori e minori dei vincoli diventeranno maggiori e minori delle variabili e viceversa.\n

\n
\n \n
    \n
  • Se un problema ha una soluzione finita, allora anche il suo duale la avrà.
  • \n
  • Se un problema è , allora il suo duale potrà essere oppure .
  • \n
  • Se un problema è , allora il suo duale sarà certamente .
  • \n
\n
\n
\n
\n \n

\n Una disuguaglianza lineare {r`c_0 \\leq \\mathbf{c}^T \\mathbf{x}`} è verificata da tutti i punti di un poliedro non- se e solo se esiste un vettore {r`u \\in \\mathfrak{R}^m`} tale che:\n

\n {r`\\mathbf{c}^T \\geq \\mathbf{u}^T \\mathbf{A}`}\n {r`c_0 \\leq \\mathbf{u}^T \\mathbf{b}`}\n

\n TODO: Cioè?\n

\n
\n \n

\n Il teorema che dimostra l'equivalenza tra primale e duale.\n

\n

\n Se uno dei due problemi è finito, la soluzione di uno coincide con la soluzione dell'altro.\n

\n

\n {r`\\mathbf{c}^T \\mathbf{x} = \\mathbf{u}^T \\mathbf{b}`}\n

\n

\n TODO: Anche qui c'è una lunga dimostrazione...\n

\n
\n \n

\n Il teorema che dimostra che il valore della funzione obiettivo del duale (di un qualsiasi tableau) è sempre minore o uguale/maggiore o uguale alla soluzione del corrispettivo primale.\n

\n

\n TODO: Dimostrazione cortina, ma sembra complicata.\n

\n
\n \n

\n Il teorema che ci permette di passare dalla soluzione del duale alla soluzione del primale. TODO: credo?\n

\n

\n Si deriva combinando le seguenti condizioni:\n

\n
    \n
  • Ammissibilità del primale: {r`\\mathbf{A} \\mathbf{X} \\geq \\mathbf{b}, \\quad \\mathbf{x} \\geq 0`}
  • \n
  • Ammissibilità del duale: {r`\\mathbf{u}^T \\mathbf{A} \\leq \\mathbf{c}^T, \\quad \\mathbf{u} \\geq 0`}
  • \n
  • Teorema della dualità forte: {r`\\mathbf{c}^T \\mathbf{x} = \\mathbf{u}^T \\mathbf{b}`} (alla soluzione ottima)
  • \n
\n

\n Ne risulta che una soluzione è ottima se e solo se:\n

\n {r`\\left( \\mathbf{c}^T - \\mathbf{u}^T \\mathbf{A} \\right) \\mathbf{x} = 0`}\n {r`\\mathbf{u}^T \\left( \\mathbf{A} \\mathbf{x} - \\mathbf{b} \\right) = 0`}\n
\n
\n
\n \n

\n Un'estensione al Simplex primale che opera sul problema duale.\n

\n
\n \n

\n Funziona esattamente come il Simplex primale, ma opera sulle righe invece che sulle colonne, cercando di rendere positivi/negativi tutti i termini noti.\n

\n \n Significa che si possono moltiplicare tutti i valori di una riga per lo stesso numero e il risultato non cambia...?\n \n
\n
\n
\n \n

\n Un procedimento che misura di quanto può variare il termine noto di un vincolo {r`b_i`} o il coefficiente della funzione obiettivo {r`c_i`} prima che la base degeneri. TODO: verificare\n

\n
\n
\n
\n )\n}\n","import style from \"./Example.less\";\r\n\r\nexport default function(props) {\r\n return (\r\n
\r\n {props.children}\r\n
\r\n );\r\n}\r\n"],"sourceRoot":""}