1 Séminaire interne 14 avril 20081 Sur les traces des joueurs de sudoku… Pierre Deransart INRIA-Rocquencourt Sur la route de Rocquencourt par Pissaro.

Slides:



Advertisements
Présentations similaires
PowerPoint. A guide to the use of ICT in the MFL classroom by Dean Horne Prudhoe Community High School.
Advertisements

Objectif Trouver les facteurs dun nombre. Objective Find the factors of a number.
Les pronoms compléments
Aire d’un parallélogramme
OBJECTIF: Arrondir un grand nombre. Objective: Round-Off numbers.
Table des matières En famille Part 1 Ma famille Subject pronouns
Questions about people Use Qui - either as subject or object. Qui est allé au cinéma? Avec qui est Jacques allé au cinéma? Qui is the subject of the verb.
Comment former des questions
Les expressions de quantité
07/20081 Comment le Nucleus Change la Chambre dAffaires.
#TrustMetrics « Expédition confiance » BarCampBankSF3 Saturday, May 08, 2010 | Sunday, May 09, 2010 Jean-Christophe Capelli, CEO, FriendsClear Draft en.
Échanger connaissances et techniques sur les routes et le transport routier 1 The PIARC Website.
Notes for the teacher: This PowerPoint is designed to accompany the sound file Touchez un crayon which has instructions to either touch or show 8 classroom.
Talking about your House How to say where things are, what they are like, and to whom they belong.
Revenir aux basiques !. 1 Revenir aux basiques Processus Nécessité daméliorer la Maîtrise les Offres et Projets: lanalyse des causes racines montre un.
Talking about yourself
Le comparatif des adjectifs Comparing people and things.
Questions WHAT????. Quick review: we know how to make a sentence negative: Je vais ----> Je ne vais pas Personne ne va Rien ne va (theoretically)
Tout All you need to know. Weve learned possessive adjectives My in french is __________? Your in french is ___________? His/her/its in french is ________?
les fournitures scolaires masculin! féminin! un crayon un stylo
Les adjectifs au pluriel
Catching up with the New Curriculum Steph Hopkins AST in MFL Regional Subject Adviser, London
Have you always wondered how to tell people what to do in French? Do you have a bossy streak? Would you like to know how to give instructions in French?
Le Superlatif des Adjectifs
MES MATIERES.
Starter: Use your vocab sheets and resources in your book to continue this word-chain using French words.
50Hz Literature 2007 Literature Plan. 50 Hz Literature With new Product Introductions … –Applications Manual (part of product catalog) –Submittal Data.
I want to achieve … Level 5 Writing. Level 5 is considered the gold standard at the end of Key Stage 3 … if you can get a Level 5 you are in a strong.
un crayon un ordinateur un stylo un taille-crayon.
FCSE Français Leisure Khadijah 9F1. Le weekend past Le weekend dernier je suis allée au cinema avec ma copine. Après le cinema on a mangé au fast food.
The interrogative structure indicates that the speaker is searching for information In other words, we use the interrogative to ask questions.
Les pluriels Sometimes you cant just take one!. Les articles… There are « DEUX » articles that can show that something is plural. Les = the Les ciseaux,
Electronic Portfolio/ Portfolio électronique QPAT
Les matières WALT: Talk about school subjects in French Give our opinion about subjects and say why.
Chapitre 8 Au marché. Le partitif (to indicate part of something) du, de la, de l, des = some du (de + le) = some of masculine item Je veux du lait. de.
Chap. 4. page 107. What are they? Ce qui and Ce que both mean WHAT However: They mean WHAT When making a statement NOT when asking a question.
DELF Le 12 au 15 avril POURQUOI DELF? Official French language diplomas (DELF-DALF) - Why take the DELF and the DALF ? The Diplôme dEtudes en Langue.
How to solve biological problems with math Mars 2012.
Quels objectives pédagogiques pour lélève acteur Which educational objectives for the student actor? Eugenia Lodini Università di Bologna Italy.
Pour faire une recherche documentaire quelques conseils
Seite 1 Présentation Guinée Réunion Task Force CQ/SQI, Eschborn CONCOURS QUALITE IN GUINEA Context and perennity Dr Mohamed Lamine.
Les Objectifs: To be able to discuss the consequences of low standards of personal hygiene and medical care All: will be able to explain the reasons for.
L’ensemble microcanonique
Learning objectives Learn how to cancel and re-arrange meetings
WALT: REVISE THE TOPIC OF FOOD FOR TALKING ABOUT A HEALTHY LIFESTYLE. WILF: A GOOD KNOWLEDGE OF VOCABULARY, GRAMMAR RULES AND TENSES FOR LEVEL 6.
JE dois écrire une légende??? MAIS COMMENT??? QUOI???
La pratique factuelle Années 90 un concept médical visant à optimiser les décisions cliniques face aux soins des patients Aujourdhui un concept évolutif,
Qu’est-ce qui te plaît? Chapitre 2.
ETL et Data Mining Présenté par : Marc Catudal-Gosselin Université de Sherbrooke automne 2004 automne 2004.
Les lycées. Sixth form is compulsory in France so it is really important to choose the right one. Look carefully at the information about colleges and.
CLS algorithm Step 1: If all instances in C are positive, then create YES node and halt. If all instances in C are negative, create a NO node and halt.
To be able to say what I think about different jobs for level 3.
Quality management. Benchmarking. PAF paradigm. Activity-based costing
Les sujets I am certain that you will learn a lot today, and that we will understand the subject pronouns en français.
Key words for today: je suis Je ne suis pas beau/belle branché(e)
La prononciation française
Le comparatif et le superlatif des irréguliers
LE PASSÉ COMPOSÉ (The Perfect Tense) GET IT “PERFECT” FOR LEVEL 2
Pour commencer … Read the statements below and put them into three columns depending on whether they are written in the past, present or future tense.
WALT: Understand phrases in the past, present and future. WILF: To be able to recognise 3 different tenses = level 6!!
Unité 4 La grammaire d’Unité 4. Avoir - to have j‘ai nous avons tu as vous avez il a elles ont o Quel âge as-tu? – How old are you? o avoir… ans – to.
Orbitales “s” Figure:
MONS Promotion de la santé cardiovasculaire : une démarche spécifique diffusée auprès des médecins généralistes V. Hubens 1, J. Laperche 1-2, P.
CHORES WITH FAIRE! Brainstorm: which expressions have we already learned with the verb “faire”??
Transition Unit Personal Information Lesson 1
WALT: GIVE OPINIONS ABOUT MY TOWN
Today we are learning how to ask for and give opinions about food By the end of the period you will be able to discuss some of your opinions about food.
THE VERB ETRE TO BE An IRREGULAR VERB.
Mon enfance Quand tu étais petit, tu étais comment?
Transcription de la présentation:

1 Séminaire interne 14 avril Sur les traces des joueurs de sudoku… Pierre Deransart INRIA-Rocquencourt Sur la route de Rocquencourt par Pissaro

2 Séminaire interne 14 avril Visualization is a full job, even in bioinformatics What is needed is good traces….

3 Séminaire interne 14 avril PLAN 1.Beaucoup defforts pour apprécier la difficulté des Sudoku… 2.Un exemple infernal ! 3.Est-il vraiment difficile? 4.Des outils pour lanalyse (demo INFOVIS) 5.Quest-ce qui rend intéressant un sudoku? Quest-ce quune connaissances? What is a know-how?

4 Séminaire interne 14 avril About the level of difficulty of the Sudokus Large literature about Sudoku (may be scientific) Précis de Sudoku, Narendra Jussien Evaluer la difficulté dune grille de sudoku à laide dun modèle de contraintes, Laburthe, Rochart, Jussien, JFPC 2006 Sudoku as a Constraint problem, Helmut Simonis, combination of three processes: scanning, marking up, and analyzing

5 Séminaire interne 14 avril Scanning, making up Les règles où et quoi: permettent de décider une valeur où : position unique dans une région quoi: candidat unique dans une case Valeurs déterminées par la seule application des contraintes directes (quoi) et duales (où)

6 Séminaire interne 14 avril Méthodes Jussien et al. Mon texte Jkjl hjk

7 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk

8 Séminaire interne 14 avril All other rules are for values elimination There is a hierachy of rules: Candidate line/column Double pair Multiple line Naked tuples (exa) Hidden tuples X-Wing/Swordfish Forcing chain …

9 Séminaire interne 14 avril Example: naked triple

10 Séminaire interne 14 avril Level of dificulty (Jussien) où/quoi très facile/facile Candidate line/column Double pair Multiple lineMoyen Naked tuples (exa) Hidden tuplesDifficile (tuples <=3) X-Wing/SwordfishTrès difficile Forcing chainExpert Raisonnement par labsurde?? scanning, marking up, and analyzing

11 Séminaire interne 14 avril Laburthe, Rochart, Jussien tentent dapprocher les niveaux de difficulté avec des modèles de contraintes de plus en plus complexes Ainsi les contraintes dinégalité simples (AC) couvrent les règles quoi/où Avec alldiff au lieu des inégalités on atteint un niveau de difficulté supérieur QUESTION: mais que, ou qui, teste-t-on? La difficulté dun humain ou celle dune machine? Ce qui est difficile pour une machine, lest-il nécessairement pour un humain?

12 Séminaire interne 14 avril An Infernal Example Le Monde de l'Intellligence, num 11 janv-fev-mars 08 Sudoku infernal p 60 (par Bernard Gervais)

13 Séminaire interne 14 avril

14 Séminaire interne 14 avril À ce stade (atteint par application des seules règles quoi/où) lune des affectations suivantes C3 = 1(V20 = 1), B8 = 5 (V64 = 5), I8 = 2 (V71 = 2)ou H9 = 4 (V79 = 3) permet de terminer avec les seules règles quoi/où….

15 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk

16 Séminaire interne 14 avril

17 Séminaire interne 14 avril Demo [[1,_,_,4], [_,4,_,_], [_,_,_,_], [3,_,_,1]]. [ [_,_,_,7,6,_,_,_,8], [_,3,_,_,_,_,_,_,_], [_,_,_,_,5,8,_,9,_], [6,_,_,9,_,3,_,_,_], [4,_,3,_,_,1,6,_,_], [_,_,7,5,8,_,_,3,_], [_,_,_,_,2,_,7,6,_], [_,_,6,_,_,7,1,_,_], [8,_,_,_,_,_,_,_,_]]. Infernal :

18 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk

19 Séminaire interne 14 avril DEMO Mon texte Jkjl hjk

20 Séminaire interne 14 avril Analysing Cet exemple est-il si infernal que ça? Utilisation de la trace OADymPPaC de lutilisation des règles quoi/où décrites par contraintes (X1#\=#X2 et fd_element_var(LL1,L,1)) Codeine avec CLPGUI permet de produire deux types de traces: -résolution complète avec choix densemble de contraintes à appliquer à la demande sur linterface CLPGUI) -résolution humaine assistée: quoi/où assimilé à du pur calcul Idée: analyser les situations critiques,I.e. celles où les règles quoi/où ne sappliquent plus. Lhypothèse à tester est que la nécessité dutiliser une règle complexe nest pas forcément une marque de difficulté pour un humain.

21 Séminaire interne 14 avril Vers une conclusion La bonne question à poser nest pas: Pourquoi un sudoku est-il difficile ? Mais Pourquoi résoudre un sudoku peut-il être intéresssant ? La réponse nest sans doute pas dans une hiérarchisation de règles de plus en plus complexes à appliquer et qui de toutes façons ne seront pas toujours suffisantes (avec les règles on ne fait que renforcer laspect calcul, i.e. laspect purement technique dun jeu sans surprise).

22 Séminaire interne 14 avril La réponse est sans doute plutôt dans la possibilité de découvrir de nouvelles configurations pouvant déboucher sur linvention de nouvelles règles (en loccurrence règles ad hoc dans le cas dune seule partie). Les règles répertoriées dans les ouvrages figent la connaissance (du jeu) en le transformant en un pur calcul (équivalence du modèle basé sur les règles et du modèle basé sur les contraintes correspondant). Deux conclusions possibles Aspect nécessairement évolutif de la connaissance (non calculatoire) Limites à lautomatisation des tâches humaines

23 Séminaire interne 14 avril Relationships with European projects: Rewerse (terminated): limits of web services (just boring or limited) NetWMS: Need for senarii try to maintain a non automatisable part of the packing or wharehouse management tasks (where non computable initiative is needed), to keep work interesting for human workers.

24 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk

25 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk Sudoku infernal: recherche du niveau

26 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk

27 Séminaire interne 14 avril TITRE Mon texte Jkjl hjk