Construction géométrique pour résoudre SAT en temps constant

pages

Français

Documents

2010

Écrit par
Denys Duchier

Publié par
pefav

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

Français

Ebook

2010

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

pefav

Publié le

01 janvier 2010

Nombre de lectures

Langue

Français

Construction géométrique pour résoudre SAT en temps constant Construction géométrique pour résoudre SAT en temps constant Denys Duchier 1 , Jérôme Durand-Lose 2 , Maxime Senot 2 1 Contraintes et apprentissage 2 Graphes et algorithmes Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Orléans, FRANCE 22 Janvier 2010 JIRC 2009, Blois

modèle de calcul et de coût usuel

sat en temps constant

laboratoire d'informatique fondamentale d'orléans

formules propositionnelles

construction géométrique

formule ? du calcul propositionnel

Voir

Publié par

pefav

Publié le

01 janvier 2010

Nombre de lectures

Langue

Français

22Constructionrig?omrentis?tratiqueiq1ue2pratoireourUniversit?r?soudreSAetTgenettempsLabconstantrConstructionondamentaleg?om?trOrl?ans,i201que2009,pContraintesourappr?soudresaSAeTGraphesenalgotempsthmesconstantoDenysd'InfoDuchierm1F,d'Orl?ans,J?r?med'Orl?ans,Durand-LoseFRANCE2Janvier,0MaximeJIRCSenotBlois2reConstructionrbg?omde?troiqrmuleueapdeourositionnellesr?soudreConstructionSAl'espaceTropagationendetemps3constantT1pIntroaduc?tiquetionlaSAnalTCouloirs(rapppels)PMachinesrcours?l'asignauxre2R?solutionD?coupageSAdeFl'espacermulesetropconstructionetderbls'tt?saderbforeR?sultatD?coupageConclusiondeaConstructiondeg?oml'espace?trTiqlaueropagationp3ourpr?soudre?tiqueSAnalTdeenatempsrbconstantdeIntrooductionositionnelles1reIntroConstructionducrmuletiondeSACouloirsTp(rappPels)rcoursMachinesl'a?resignauxR?solution2SAD?coupageFdermulesl'espaceropetetconstructionrbdesltt?s'deaforbR?sultatreConclusionD?coupagepConstructionropagationg?omnal?tr3iq?tiqueuel'espacepdeourTr?soudreaSAlaTD?coupageendetempsaconstantrbIntrodeductionoSAositionnellesTre(rappConstructionels)rmule1reIntrodeducCouloirstionpSAPTrcours(rappl'aels)reMachinesR?solution?SAsignauxF2rmulesD?coupageropdeetl'espacerbetsconstructiontt?sdedelfo'R?sultataConclusionrb

= ( _: )^

!envaluationtempsxconstantnotreIntroxductionxSAestTcalcul(rappr?soudreels)p?iqSAExiste-t-ilTrende?-completProbl?med?leSAusueTSADonn?eour:1uneuefo2rmule?trT3vraieuneTh?oqui(CoSAg?om?dur?mecalculok-Levin,1971)pTropNPositionnelSurQuestionmo:deConstructionetdeco?test-ellelsatisfaisable?

= ( _: )^

!envaluationtempsxconstantnotreIntroxductionxSAestTcalcul(rappr?soudreels)p?iqSAExiste-t-ilTrende?-completProbl?med?leSAusueTSADonn?eour:1uneuefo2rmule?trT3vraieuneTh?oqui(CoSAg?om?dur?mecalculok-Levin,1971)pTropNPositionnelSurQuestionmo:deConstructionetdeco?test-ellelsatisfaisable?pConstructionropagationg?omnal?tr3iq?tiqueuel'espacepdeourTr?soudreaSAlaTD?coupageendetempsaconstantrbIntrodeductionoMachinesositionnelles?resignaConstructionuxrmule1reIntrodeducCouloirstionpSAPTrcours(rappl'aels)reMachinesR?solution?SAsignauxF2rmulesD?coupageropdeetl'espacerbetsconstructiontt?sdedelfo'R?sultataConclusionrbR
)
Z
empsiqempsuemachinespEspaceourg?omr?soudresignauxSAespaceT(enEspacetempsConstructionconstantcontinusIntroTduction(Machines)?tr()?Timesignaetux)Des(Automates)cellulairesTaux?
N
+
RR
)
Z
empsiqempsuemachinespEspaceourg?omr?soudresignauxSAespaceT(enEspacetempsConstructionconstantcontinusIntroTduction(Machines)?tr()?Timesignaetux)Des(Automates)cellulairesTaux?
N
+
RR
)
Z
empsiqempsuemachinespEspaceourg?omr?soudresignauxSAespaceT(enEspacetempsConstructionconstantcontinusIntroTduction(Machines)?tr()?Timesignaetux)Des(Automates)cellulairesTaux?
N
+
R