Quantum redactiones paginae "Sudoku" differant

Content deleted Content added
m +Ex en, ut fortasse > 16K (10K)
→‎Ars solvendi: begin subdividing, and explain about "look-ahead" methods
Linea 90:
Possumus etiam cellulos invenire ubi duo digiti stare possunt. Si duos cellulos in eodem quadrato invenimus in quibus iidem duo numeri stare possunt, scimus ergo hi numeri in nullis aliis quadrati cellulis stare possunt, id quod potest digitos in aliis cellulis dare. Exempli gratia, in quadrato nono, 4 et 9 in ultimo columna stare debent. Non licet igitur eos in aliis cellulis, in octavo ordine, mittere. Digiti in o8c7 and o8c8 sunt ergo 3 et 6. Et scimus 6 in o8c8 esse non potest (quia 6 iam in c8 est); ergo 6 in o8c7, 3 in o8c8 mittimus. Nunc septem digitos in ordine octavo habemus; scimus 2 et 7 in o8c1 et o8c3 stare debere. Candidatus est numerus qui potest in cellulo quodam stare; utile est digitos candidatos designare, praecipue si 2 vel 3 tantum sunt. [[Mos]] est numeros parvos in medio celluli scribere, si sunt soli numeri qui hoc in cellulo esse possunt, et numeros parvos in angulo celluli scribere, si numeri in nullo quadrati cellulo nisi hoc esse possunt; auctor sudoko Thomas Snyder hanc regulam invenit.
 
=== Alae et pisces ===
Si scimus digitum quendam in duobus ordinibus in iisdem columnis esse, necesse est ergo in his columnis hunc digitum in his cellulis esse, et in nullis aliis. (Et si in duobus columnis numerus est in duobus cellulis in iisdem ordinibus, necesse est hunc digitum in his ordinibus in his cellulis esse.) Exempli gratia, si 9 in primo ordine est aut in o1c1 aut in o1c4, et in secundo ordine est vel o2c1 vel o2c4, certe scimus 9 in primo columne aut o1c2 aut in o2c1 stare; non potest in aliis cellulis huius columnis esse. Quod celluli X litterae formam habent, talis configuratio ''x-wing'' Anglice dicitur ("alae quae formam X litterae habent"). In exemplo, scimus 9 in o7c9 vel o9c9 stare. Si etiam possimus dicere 9 tantum in o7c1 et o9c1 esse, x-wing habemus, ex quo scimus 9 nusquam in o7 et o9 stare nisi in huius cellulis. Nomen ''x-wing'' habet quia configuratio cellulorum [[navis spatialis|navi spatiali]] militai ''x-wing fighter'' in [[Star Wars]] similis est.
 
Plus generaliter, si digitus est in N cellulis in iisdem columnis in N ordinibus, vel in iisdem ordinibus in N columnis, scimus hos esse locos huius digiti: in aliis cellulis nec in his columnis nec in his ordinibus esse potest. Hac configuratio [[xiphias gladius]] dicitur, si N est 3 (sunt qui dicunt cellulos imaginem [[piscis]] formare). Si N > 3, configuratio est ''N-wing'' aut ''N-fish'' (fortasse 'ala N-plex' vel 'piscis N-plex').
 
=== Consecutiones vel bifurcatio ===
Priusquam digitum in cellulo scribimus, bene est videre quae sequuntur. Si 8 in o1c7 ponimus, id quod licet quia nullus alius 8 digitus hoc in ordine, hac in columna, hoc in quadrato nunc est, nullus locus erit in quadrato secundo ubi 8 ponere posimus. Hoc est, consecutio digiti 8 in o1c7 scribendi est mala, est impossibilitas. In tertio quadrato, igitur, 8 in secondo ordine esse debet (o2c7 aut o2c9).
 
Si duo digiti in eodem cellulo stare possunt, et nescimus decernere quis rectus sit, consecutiones inspicere possumus. Vide quid accidet si primum digitum in cellulo scribis; si mala consecutio sequitur, scis hunc digitum ibi non stare. Si autem nullam malam consecutionem vides, fortasse hic digitus in hoc cellulo recte mittendus est, sed necesse est consecutiones alius digiti in cellulo scribendi etiam inspicere. Quia deductio quasi duas furcas habet, modus solvendi "bifurcatio" nominatur. Sunt qui bifurcationem quam minime elegantem censent, etiamsi modus logicus sit.
 
==Certamina==