Korl tkiel g t si probl m k
This presentation is the property of its rightful owner.
Sponsored Links
1 / 27

Korlátkielégítési problémák PowerPoint PPT Presentation


  • 78 Views
  • Uploaded on
  • Presentation posted in: General

Korlátkielégítési problémák. Autonóm és hibatűrő információs rendszerek Kocsis Imre ikocsis @ mit.bme.hu 2013.09.30. Minimum set cover. legyen: minimalizáljuk: és legyen igaz szintén: minden. Kényszerek. D iagnosztika. OK/hibás Single fault assumption?. Kényszerek.

Download Presentation

Korlátkielégítési problémák

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Korl tkiel g t si probl m k

Korlátkielégítési problémák

Autonóm és hibatűrő információs rendszerek

Kocsis Imre

[email protected]

2013.09.30.


Minimum set cover

Minimum set cover

  • legyen:

  • minimalizáljuk:

  • és legyen igaz szintén:

    minden

Kényszerek


D iagnosztika

Diagnosztika

  • OK/hibás

  • Single fault assumption?

  • Kényszerek


    Diagnosztika mint korl tkiel g t s

    Diagnosztika, mint korlátkielégítés

    • ConstraintSatisfactionProblems

    • A diagnosztika egyik klasszikus mérnöki eszköze

    • Probléma-definíció és hatékony (keresés-alapú) megoldás szétcsatolása

      • Kész, hatékony kereskedelmi és nyílt/ingyenes eszközök


    Korl tkiel g t si probl m k

    CSP

    • A CSP(X) séma:

      • X adattartományésazonértelmezett

      • korlátok (relációk) X-en

    • PéldákX-re

      • X = Q vagy R

        • lineárisegyenlőségek/egyenlőtlenségek

        • következtetés:Gausseliminációésszimplexmódszer

      • X = FD

        • korlátok = aritmetikaiéskombinatorikusrelációk

        • következtetés: MI CSP–módszerek

      • X = B

        • korlátok = ítéletkalkulusbelirelációk

        • Következetés: SAT-solving

    (a BME Nagyhatékonyságú Logikai Programozás kurzusának jegyzete alapján)


    Csp fd

    CSP(FD)

    • Formálisan:

      • CSP = < X,D,C >

      • X változók halmaza

      • D értékek doménje

      • C korlátok halmaza

      • Korlát: <t, R>, ahol t változó n-es és R egy |t| szignatúrájú reláció

      • Változók egy lekötése: v: X  D

      • Egy lekötés kielégít egy <(x1, …, xn), R> korlátot, ha(v(x1), …, v(xn)) R

      • Egy megoldás egy olyan lekötés, mely minden korlátot kielégít

      • FD: D végeshalmaz


    8 queens

    8-queens

    • Cél: 8 királynő, egyik se támadja valamely másikat

    • Változók: királynő pozíciója a sorokban vagy oszlopokban

    • Domainek: 1…8

    • Korlátok?

      • xi != xj

      • xi – xj!= i-j

      • xj – xi!= i-j


    K nyszert pusok

    Kényszertípusok

    • Unáris kényszerek

      • Megfigyelés:

    • Bináris kényszerek

    • Globális kényszerek: „kényszerekkonjunkciójából képezett kényszerek”

      • Struktúra; hatékony filterek


    Egy p lda

    Egy példa

    • Forráskód


    Choco 3 int korl tok

    Choco 3: Int korlátok

    • Eclipse


    Csp fd k nyszerek br zol sa

    CSP(FD): kényszerek ábrázolása

    • Explicit reláció

    • Algebrai kifejezések

    • Propozicionális formulák

    • Kényszer-gráf

      • Bináris esetben egyszerű gráf („trükkök” nélkül)

    • A reláció-algebra operációi egyszerűen adódnak!


    Csp megold s

    CSP megoldás

    • visszalépésesiteratívkeresés (backtracking)

      • „trashing” veszélye!

      • Vezérlés?

    • korlát-terjesztés (constraint propagation)

      • „tightening”

      • kényszerhez kötött szűrésen keresztül (filtering)

      • minél jobb, annál költségesebb

    • lokáliskeresés (local search)

    • a gyakorlatbanezekegyüttműködése

    • Általánosságban: NP-teljesprobléma


    Csp megold s visszal p ses iterat v keres s

    CSP megoldás - visszalépéses iteratív keresés

    • Változó kiválasztása

    • Döntési pont: változó lehetséges értékei

      • Mélységi keresés

    • Lekötés, konzisztenciaellenőrzés

    • Fail: backtracking

    • Több változat

      • Változó-sorrendezés

      • Keresési stratégiák


    Visszal p ses keres s p lda

    Visszalépéses keresés - példa

    • Webreq = WebPing OR WebS

    • WebPing = R OR WebHW

    • 1 >= R + WebHW

    • Webreq = 1


    Visszal p ses keres s p lda1

    Visszalépéses keresés - példa


    Hogyan tegy k ezt hat konyabb

    Hogyan tegyük ezt hatékonyabbá?

    • Keresés előtt

      • Konzisztencia-algoritmusok (N.B. Nem csak előtte)

      • Alkalmas (fix) változósorrendezés

    • Keresés közben

      • „Előrenéző” megoldások

        • Értékrendezés („legkevésbé megszorító” érték választása)

        • Változórendezés (a „legjobban megszorító” változó választása)

      • „Hátranéző” megoldások

        • ...


    Csp megold s konzisztencia

    CSP-megoldás - konzisztencia

    • Változók/korlátok egy csoportja valamilyen konzisztenciájának fenntartása

      • Cél: keresési tér szűkítése

    • Csomópont (node): unáris korlát teljesül az érintett változó doménjén

      • X < 23

    • Él (arc): egy változó élkonzisztens egy másikkal, ha minden megengedett értékéhez létezik a másiknak megengedett értéke


    Konzisztencia

    Konzisztencia

    • i-konzisztencia: i-1 változó konzisztens egy i-edikkel, ha az i-1 minden konzisztens lekötése az i-edikben konzisztensen kiterjeszthető

      • i-ben exponenciálisan bonyolult

      • Erős i-konzisztencia: minden j <= i-re j-konzisztencia

    • Terjesztés: (informálisan) a konzisztencia kikényszerítésének szükségessége változóról változóra „terjed”

      • Lehet „előre”...

      • ... vagy minden keresési lépés előtt


    Korl tkiel g t si probl m k

    c sémája (vált. sorozat)

    Probléma-domén

    n-es


    Korl t logikai programoz s kitekint s

    Korlát-logikaiprogramozás (kitekintés)

    • LP: Prolog rezolúció + visszalépés

    • általánosmodell

    • CSP: korlát-tár

      • újkorlátfelvétele: predikátumhívás

      • "osztott" változók

      • közösvisszalépés

        • Prolog meghiúsulás: a tár is visszalép

        • tárinkonzisztensséválása: visszalépés a legutolsó Prolog choicepoint-ig

      • tár-konzisztencia: automatikus

      • keresés: speciálispredikátumok (pl. „labeling”)


    Clp fd prolog ban kitekint s

    CLP(FD) Prolog-ban (kitekintés)

    • Domének: egészszámokvégeshalmazai

    • beépítettkorlátok

      • Aritmetikai, domén/tagsági, propozicionális, kombinatorikai

      • felhasználóikiterjesztések

        • indexikálisok

        • globáliskorlátok

    • monotonkövetkeztetés

    • belsőmegvalósítás


    R vid p lda diagnosztika tmr modell felett

    Rövid példa: diagnosztika TMR modell felett

    • Rövid GNU Prologdemo

    • + az eredeti példánk CLP(FD)-ben


    Csp alkalmaz sa p ld k

    CSP alkalmazása - példák

    • Önálló

      • Pl. IBM ILOG CP

    • Imperatív nyelvbe ágyazva

      • Java: Choco, Koalog, Jacop, …

      • C++: Mistral, Minion, GeCode…

      • Googleor-tools

    • Deklaratív nyelvbe ágyazva

      • Sicstus és GNU Prolog, ...


    Jsr331 constraint programming api

    JSR331: ConstraintProgramming API


    Global constraint catalog

    „Global ConstraintCatalog”

    • http://www.emn.fr/z-info/sdemasse/gccat/

    • Példa: atleast_nvalue


    Minizinc

    MiniZinc


    Hivatkoz sok

    Hivatkozások

    • [1] Rossi, F., Beek, P. Van, & Walsh, T. (Eds.). (2006). Handbook of Constraint Programming (Vol. 2). Elsevier.

    • [2] A Choco CSP solverhonalpja: http://www.emn.fr/z-info/choco-solver/

    • [3] A MiniZinc és FlatZinc leírónyelvek honlapja: http://www.minizinc.org/


  • Login