sudoku.rs 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377
  1. pub mod group;
  2. use group::*;
  3. // use crate::group::*;
  4. // use super::group::*;
  5. // use crate::group::*;
  6. use std::collections::HashSet;
  7. /// Width of the sudoku board.
  8. const WIDTH: u8 = 9;
  9. /// Size (width * height) of the board.
  10. const MAX_SIZE: u8 = 81;
  11. #[derive(Debug)]
  12. pub struct Sudoku {
  13. pub board: [u8; MAX_SIZE as usize],
  14. pub possible: [HashSet<u8>; MAX_SIZE as usize],
  15. }
  16. /// Translate x,y to position in board.
  17. pub const fn pos(x: u8, y: u8) -> u8 {
  18. x + (y * WIDTH as u8)
  19. }
  20. /// Translate x,y (with starting index of 1) to position in board.
  21. pub const fn pos1(x: u8, y: u8) -> u8 {
  22. (x - 1) + ((y - 1) * WIDTH as u8)
  23. }
  24. /// Translate post to x,y in board.
  25. pub const fn xy(pos: u8) -> (u8, u8) {
  26. ((pos % WIDTH), (pos / WIDTH))
  27. }
  28. /*
  29. (0 .. 10)
  30. .map(|_| HashSet::<usize>::new())
  31. .collect();
  32. let arr: [Vec<u32>; 10] = [(); 10].map(|_| Vec::with_capacity(100));
  33. */
  34. impl Sudoku {
  35. pub fn new() -> Self {
  36. // let b : HashSet<u8> = HashSet::from_iter(1..=9);
  37. let s = Sudoku {
  38. board: [0; MAX_SIZE as usize],
  39. possible: [(); MAX_SIZE as usize].map(|_| HashSet::from_iter(1..=9)),
  40. // possible: [HashSet::from_iter(1..=9); MAX_SIZE as usize],
  41. // possible: [[0; SIZE as usize]; MAX_SIZE as usize],
  42. // possible: [(0..MAX_SIZE).map( |_| (1..=9).collect())],
  43. // possible: [(1..=9).map(|_| HashSet::new()).collect(); MAX_SIZE as usize],
  44. };
  45. s
  46. }
  47. pub fn clear(&mut self) {
  48. for x in 0..MAX_SIZE {
  49. self.board[x as usize] = 0;
  50. self.possible = [(); MAX_SIZE as usize].map(|_| HashSet::from_iter(1..=9));
  51. /*
  52. self.possible[x as usize].clear();
  53. for i in 1..=9 {
  54. self.possible[x as usize].insert(i);
  55. }
  56. */
  57. // self.possible[x as usize] = [1, 2, 3, 4, 5, 6, 7, 8, 9];
  58. }
  59. }
  60. pub fn load_xsudoku(&mut self, s: &str) {
  61. self.clear();
  62. let mut x: u8 = 0;
  63. let mut y: u8 = 0;
  64. for ch in s.chars() {
  65. if ch >= 'b' {
  66. self.set(x, y, ch as u8 - 'a' as u8);
  67. // self.board[pos(x, y) as usize] = ch as u8 - 'a' as u8;
  68. };
  69. y += 1;
  70. if y >= WIDTH {
  71. y = 0;
  72. x += 1;
  73. }
  74. }
  75. }
  76. pub fn set(&mut self, x: u8, y: u8, value: u8) {
  77. self.board[pos(x, y) as usize] = value;
  78. // Ok, update the possible
  79. let mut g = for_row(y);
  80. // g.for_row(x, y);
  81. for g in g.items {
  82. // remove value from these sets.
  83. self.possible[g as usize].take(&value);
  84. }
  85. g = for_column(x);
  86. // g.for_column(x, y);
  87. for g in g.items {
  88. // remove value from these sets.
  89. self.possible[g as usize].take(&value);
  90. }
  91. g = for_cell(which_cell(x,y));
  92. // g.for_block(x, y);
  93. for g in g.items {
  94. // remove value from these sets.
  95. self.possible[g as usize].take(&value);
  96. }
  97. self.possible[pos(x, y) as usize].clear();
  98. }
  99. pub fn set2(&mut self, x: u8, y: u8, value: u8) {
  100. self.board[pos(x, y) as usize] = value;
  101. // Ok, update the possible
  102. let mut g = Group::new();
  103. g.for_row(x, y);
  104. for g in g.items {
  105. // remove value from these sets.
  106. self.possible[g as usize].take(&value);
  107. }
  108. g.for_column(x, y);
  109. for g in g.items {
  110. // remove value from these sets.
  111. self.possible[g as usize].take(&value);
  112. }
  113. g.for_block(x, y);
  114. for g in g.items {
  115. // remove value from these sets.
  116. self.possible[g as usize].take(&value);
  117. }
  118. self.possible[pos(x, y) as usize].clear();
  119. }
  120. pub fn display(&self) {
  121. println!("╔═══╦═══╦═══╗");
  122. for y in 0..WIDTH {
  123. print!("║");
  124. for x in 0..WIDTH {
  125. let item = self.board[pos(x as u8, y as u8) as usize];
  126. if item == 0 {
  127. print!(" ");
  128. } else if (item >= 1) && (item <= 9) {
  129. print!("{}", item);
  130. }
  131. if x % 3 == 2 {
  132. print!("║");
  133. }
  134. }
  135. println!("");
  136. if y % 3 == 2 {
  137. if y + 1 == WIDTH {
  138. println!("╚═══╩═══╩═══╝");
  139. } else {
  140. println!("╠═══╬═══╬═══╣");
  141. }
  142. }
  143. }
  144. }
  145. pub fn display_possible(&self) {
  146. for y in 0..WIDTH {
  147. for x in 0..WIDTH {
  148. let mut possible = String::new();
  149. for p in self.possible[pos(x, y) as usize].iter() {
  150. possible += format!("{}", p).as_str();
  151. }
  152. // for i in 0..SIZE {
  153. // let &pos = self.possible[pos(x, y) as usize];
  154. print!("({},{}):", x, y);
  155. // print!("{:20}", format!("{:?}", self.possible[pos(x, y) as usize]));
  156. print!("{:9}", possible);
  157. /*
  158. if pos == 0 {
  159. print!(" ");
  160. } else {
  161. print!("{}", pos);
  162. }
  163. */
  164. // }
  165. // print!(" ");
  166. }
  167. println!("");
  168. }
  169. }
  170. pub fn solve(&mut self) -> bool {
  171. // Pass 1: Look for singles in the possible sets.
  172. let mut found_something = false;
  173. for i in 0..MAX_SIZE {
  174. if self.possible[i as usize].len() == 1 {
  175. // Get the value
  176. let value = self.possible[i as usize].iter().next().cloned().unwrap();
  177. // Found one!
  178. println!("Set1 {:?} to {}", xy(i), value);
  179. self.set(xy(i).0, xy(i).1, value);
  180. found_something = true;
  181. }
  182. }
  183. let mut g = Group::new();
  184. let mut values: HashSet<u8> = HashSet::new();
  185. let mut group_process = |this: &mut Self, grp: &Group| {
  186. // Collect all the possible values within the group.
  187. values.clear();
  188. for gidx in 0..WIDTH {
  189. // println!("possible: {:?}", this.possible[grp.items[gidx as usize] as usize]);
  190. values.extend(&this.possible[grp.items[gidx as usize] as usize]);
  191. // println!("now : {:?}", this.possible[grp.items[gidx as usize] as usize]);
  192. }
  193. // println!("values {:?}", values);
  194. // Now, check for singles.
  195. for v in values.iter() {
  196. let mut count = 0;
  197. let mut pos = 0;
  198. for gidx in 0..WIDTH {
  199. if this.possible[grp.items[gidx as usize] as usize].contains(&v) {
  200. count += 1;
  201. pos = grp.items[gidx as usize];
  202. if count > 1 {
  203. break;
  204. }
  205. }
  206. }
  207. if count == 1 {
  208. // don't need this, it was v!
  209. // let value = this.possible[pos as usize].iter().next().cloned().unwrap();
  210. println!("Set2 {:?} to {}", xy(pos), v);
  211. this.set(xy(pos).0, xy(pos).1, *v);
  212. found_something = true;
  213. }
  214. }
  215. };
  216. // Change to 0..SIZE ... Keep it simple.
  217. for i in 0..WIDTH {
  218. let mut g = for_column(i);
  219. // g.for_column(i, 1);
  220. group_process(self, &g);
  221. g = for_row(i);
  222. // g.for_row(1, i);
  223. group_process(self, &g);
  224. g = for_cell(i);
  225. // g.for_iter(i);
  226. group_process(self, &g);
  227. }
  228. println!("Looking for pairs...");
  229. // PAIR processing.
  230. for i in 0..WIDTH {
  231. g.for_iter(i);
  232. for gidx in 0..WIDTH - 1 {
  233. let gpos = g.items[gidx as usize];
  234. if self.possible[gpos as usize].len() == 2 {
  235. // Found a pair
  236. for fidx in gidx + 1..WIDTH {
  237. let fpos = g.items[fidx as usize];
  238. if self.possible[fpos as usize].len() == 2 {
  239. // Ok, there's another pair
  240. if self.possible[gpos as usize].is_subset(&self.possible[fpos as usize])
  241. {
  242. // Ok, they have the same values!
  243. // Ok, remove the items in the pair from the cell.
  244. // Don't touch the gpos/fpos records. Keep those!
  245. let mut values: [u8; 2] = [0, 0];
  246. let mut vpos = 0;
  247. for z in self.possible[gpos as usize].iter() {
  248. values[vpos] = *z;
  249. vpos += 1;
  250. }
  251. let mut pair_removed = false;
  252. for remove in 0..WIDTH {
  253. if (gidx == remove) || (fidx == remove) {
  254. continue;
  255. }
  256. // Ok, these aren't the ones to save, so:
  257. let rpos = g.items[remove as usize];
  258. if self.possible[rpos as usize].take(&values[0]).is_some() {
  259. found_something = true;
  260. pair_removed = true;
  261. };
  262. if self.possible[rpos as usize].take(&values[1]).is_some() {
  263. found_something = true;
  264. pair_removed = true;
  265. };
  266. }
  267. if pair_removed {
  268. println!(
  269. "Pair found! {} {}: {} {:?} and {} {:?} !",
  270. gidx,
  271. fidx,
  272. gpos,
  273. xy(gpos),
  274. fpos,
  275. xy(fpos)
  276. );
  277. }
  278. // Check the x's and y's to see if we can also process a row/column too.
  279. if xy(gpos).0 == xy(fpos).0 {
  280. // Matching X - process column
  281. let column = xy(gpos).0;
  282. vpos = 0;
  283. for z in self.possible[gpos as usize].iter() {
  284. values[vpos] = *z;
  285. vpos += 1;
  286. }
  287. for remove in 0..WIDTH {
  288. if (remove == xy(gpos).1) || (remove == xy(fpos).1) {
  289. continue;
  290. }
  291. if self.possible[pos(column, remove) as usize]
  292. .take(&values[0])
  293. .is_some()
  294. {
  295. found_something = true;
  296. };
  297. if self.possible[pos(column, remove) as usize]
  298. .take(&values[1])
  299. .is_some()
  300. {
  301. found_something = true;
  302. };
  303. }
  304. }
  305. if xy(gpos).1 == xy(fpos).1 {
  306. // Matching Y - process row
  307. let row = xy(gpos).1;
  308. vpos = 0;
  309. for z in self.possible[gpos as usize].iter() {
  310. values[vpos] = *z;
  311. vpos += 1;
  312. }
  313. for remove in 0..WIDTH {
  314. if (remove == xy(gpos).0) || (remove == xy(fpos).0) {
  315. continue;
  316. }
  317. if self.possible[pos(remove, row) as usize]
  318. .take(&values[0])
  319. .is_some()
  320. {
  321. found_something = true;
  322. };
  323. if self.possible[pos(remove, row) as usize]
  324. .take(&values[1])
  325. .is_some()
  326. {
  327. found_something = true;
  328. };
  329. }
  330. }
  331. }
  332. }
  333. }
  334. }
  335. }
  336. }
  337. found_something
  338. }
  339. }