main.cc 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161
  1. #include <cstdio>
  2. #include <cstdlib>
  3. #include <queue>
  4. using std::priority_queue;
  5. #define ABS(x) ((x) < 0 ? -(x) : (x))
  6. const int dst = 123456780;
  7. const int S = 362880;
  8. const int frac[9] = {1, 1, 2, 6, 24, 120, 720, 5040, 40320};
  9. int perm2no(int p) {
  10. if (p < 0) return -1;
  11. char perm[10];
  12. sprintf(perm, "%09d", p);
  13. bool used[9] = {};
  14. int n = 0;
  15. for (int i = 0; i < 9; i++) {
  16. for (int j = perm[i] - '1'; 0 <= j; j--) {
  17. if (used[j]) continue;
  18. n += frac[8 - i];
  19. }
  20. used[perm[i] - '0'] = true;
  21. }
  22. return n;
  23. }
  24. int no2perm(int n) {
  25. char perm[10];
  26. bool used[9] = {};
  27. for (int i = 0; i < 9; i++) {
  28. int j = n / frac[8 - i];
  29. n %= frac[8 - i];
  30. for (int k = 0; k < 9; k++) {
  31. if (used[k]) continue;
  32. if (j-- == 0) {
  33. used[k] = true;
  34. perm[i] = k + '0';
  35. break;
  36. }
  37. }
  38. }
  39. return atoi(perm);
  40. }
  41. int next_state(int p, char m) {
  42. char perm[10];
  43. sprintf(perm, "%09d", p);
  44. int i = 0;
  45. while (perm[i] != '0') i++;
  46. switch (m) {
  47. case 'u':
  48. if (i < 3) return -1;
  49. perm[i] = perm[i - 3];
  50. perm[i - 3] = '0';
  51. return atoi(perm);
  52. case 'd':
  53. if (8 < i + 3) return -1;
  54. perm[i] = perm[i + 3];
  55. perm[i + 3] = '0';
  56. return atoi(perm);
  57. case 'l':
  58. if (i % 3 == 0) return -1;
  59. perm[i] = perm[i - 1];
  60. perm[i - 1] = '0';
  61. return atoi(perm);
  62. case 'r':
  63. if (i % 3 == 2) return -1;
  64. perm[i] = perm[i + 1];
  65. perm[i + 1] = '0';
  66. return atoi(perm);
  67. }
  68. return -1;
  69. }
  70. bool even_perm(int s) {
  71. char perm[10];
  72. sprintf(perm, "%09d", s);
  73. int cnt = 0; // 0 is not included
  74. for (int i = 1; i < 9; i++) {
  75. if (perm[i] == '0') continue;
  76. for (int j = 0; j < i; j++)
  77. if (perm[i] < perm[j]) cnt++;
  78. }
  79. return cnt % 2 == 0;
  80. }
  81. struct Node {
  82. int s;
  83. int p;
  84. int f;
  85. int g;
  86. char m;
  87. Node(int s = 0, int p = 0, int f = 0, int g = 0, char m = 0)
  88. : s(s), p(p), f(f), g(g), m(m) {}
  89. bool operator<(const Node &that) const { return that.f < this->f; }
  90. } close[S];
  91. char moves[] = "udlr";
  92. char res[S + 1];
  93. int eval_h(int s) {
  94. int res = 0;
  95. for (int i = 8; 0 <= i; i--) {
  96. int c = s % 10;
  97. if (c != 0) {
  98. int x = (c - 1) / 3;
  99. int y = (c - 1) % 3;
  100. int cx = i / 3;
  101. int cy = i % 3;
  102. res += ABS(cx - x) + ABS(cy - y);
  103. }
  104. s /= 10;
  105. }
  106. return res;
  107. }
  108. bool a_star(int s) {
  109. if (!even_perm(s)) return false;
  110. int no = perm2no(s);
  111. close[no] = Node(s, -1);
  112. priority_queue<Node> pq;
  113. pq.push(close[no]);
  114. while (!pq.empty()) {
  115. Node cur = pq.top();
  116. pq.pop();
  117. if (cur.s == dst) return true;
  118. for (int i = 0; i < 4; i++) {
  119. char m = moves[i];
  120. int nxt = next_state(cur.s, m);
  121. no = perm2no(nxt);
  122. if (no == -1 || close[no].s != 0) continue;
  123. int h = eval_h(nxt);
  124. close[no] = Node(nxt, cur.s, cur.g + 1 + h, cur.g + 1, m);
  125. pq.push(close[no]);
  126. }
  127. }
  128. return false;
  129. }
  130. int main() {
  131. char perm[10];
  132. for (int i = 0; i < 9; i++) {
  133. scanf("%s", &perm[i]);
  134. if (perm[i] == 'x') perm[i] = '0';
  135. }
  136. int src = atoi(perm);
  137. if (a_star(src)) {
  138. int pos = perm2no(dst), i = 0;
  139. do {
  140. res[i++] = close[pos].m;
  141. pos = perm2no(close[pos].p);
  142. } while (pos != -1); // The (i-1)th char is 0! So i - 2
  143. for (int j = i - 2; 0 <= j; j--) printf("%c", res[j]);
  144. printf("\n");
  145. } else {
  146. printf("unsolvable\n");
  147. }
  148. return 0;
  149. }