Project

General

Profile

Download (8.31 KB) Statistics
| Branch: | Tag: | Revision:

magiccube / src / main / java / org / distorted / solvers / SolverMain.java @ 8678dd48

1 f0336037 Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
2
// Copyright 2020 Leszek Koltunski                                                               //
3
//                                                                                               //
4
// This file is part of Magic Cube.                                                              //
5
//                                                                                               //
6
// Magic Cube is free software: you can redistribute it and/or modify                            //
7
// it under the terms of the GNU General Public License as published by                          //
8
// the Free Software Foundation, either version 2 of the License, or                             //
9
// (at your option) any later version.                                                           //
10
//                                                                                               //
11
// Magic Cube is distributed in the hope that it will be useful,                                 //
12
// but WITHOUT ANY WARRANTY; without even the implied warranty of                                //
13
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the                                 //
14
// GNU General Public License for more details.                                                  //
15
//                                                                                               //
16
// You should have received a copy of the GNU General Public License                             //
17
// along with Magic Cube.  If not, see <http://www.gnu.org/licenses/>.                           //
18
///////////////////////////////////////////////////////////////////////////////////////////////////
19
20
package org.distorted.solvers;
21
22
import android.content.res.Resources;
23
24 d433b50e Leszek Koltunski
import org.distorted.objectlib.main.ObjectConstants;
25 3f7a4363 Leszek Koltunski
import org.distorted.objectlib.main.TwistyObject;
26
27 f0336037 Leszek Koltunski
import org.distorted.main.R;
28 fcd5b990 Leszek Koltunski
import org.distorted.screens.ScreenList;
29
import org.distorted.screens.RubikScreenSolver;
30 f0336037 Leszek Koltunski
31
///////////////////////////////////////////////////////////////////////////////////////////////////
32
33 a304ee64 Leszek Koltunski
public class SolverMain implements Runnable
34 f0336037 Leszek Koltunski
{
35 c494476f Leszek Koltunski
  private final Resources mRes;
36 ecf3f149 Leszek Koltunski
  private final TwistyObject mObject;
37 d433b50e Leszek Koltunski
  private final int mOrdinal;
38 f0336037 Leszek Koltunski
39
///////////////////////////////////////////////////////////////////////////////////////////////////
40
41 ecf3f149 Leszek Koltunski
  public SolverMain(Resources res, TwistyObject object)
42 f0336037 Leszek Koltunski
    {
43 ecf3f149 Leszek Koltunski
    mRes   = res;
44
    mObject= object;
45 d433b50e Leszek Koltunski
    mOrdinal = object.getObjectType().ordinal();
46 f0336037 Leszek Koltunski
    }
47
48
///////////////////////////////////////////////////////////////////////////////////////////////////
49 46a961fd Leszek Koltunski
// certain objects have certain cubits locked - for example, the Cube3's centers of
50
// sides always have the same color.
51
// If a certain cubit is locked, return the color (index into it's FACE_COLORS array) it
52
// must have. Otherwise return -1.
53
54 d433b50e Leszek Koltunski
  public static int cubitIsLocked(int object, int cubit)
55 46a961fd Leszek Koltunski
    {
56 d433b50e Leszek Koltunski
    if( object == ObjectConstants.CUBE_3 )
57 46a961fd Leszek Koltunski
      {
58 09b2bd31 Leszek Koltunski
      if( cubit==20 ) return 0; // center of the right  face
59
      if( cubit==21 ) return 1; // center of the left   face
60
      if( cubit==22 ) return 2; // center of the up     face
61
      if( cubit==23 ) return 3; // center of the bottom face
62
      if( cubit==24 ) return 4; // center of the front  face
63
      if( cubit==25 ) return 5; // center of the back   face
64 46a961fd Leszek Koltunski
      }
65
66
    return -1;
67
    }
68
69
///////////////////////////////////////////////////////////////////////////////////////////////////
70 f0336037 Leszek Koltunski
71 fcd5b990 Leszek Koltunski
  private void solveCube3(RubikScreenSolver solver)
72 f0336037 Leszek Koltunski
    {
73 373fa45f Leszek Koltunski
    String result;
74
75
    if( !org.distorted.solvers.cube3.Search.prepare(mRes) )
76
      result= "Error 9";
77
    else
78 ecf3f149 Leszek Koltunski
      {
79
      String objectPosition = prepareCube3position();
80
      result = org.distorted.solvers.cube3.Search.solution(objectPosition, 24, 20);
81
      }
82 373fa45f Leszek Koltunski
83
    if (result.contains("Error"))
84
      {
85
      switch (result.charAt(result.length() - 1))
86
        {
87
        case '1': result = mRes.getString(R.string.solver_cube3_error1); break;
88
        case '2': result = mRes.getString(R.string.solver_cube3_error2); break;
89
        case '3': result = mRes.getString(R.string.solver_cube3_error3); break;
90
        case '4': result = mRes.getString(R.string.solver_cube3_error4); break;
91
        case '5': result = mRes.getString(R.string.solver_cube3_error5); break;
92
        case '6': result = mRes.getString(R.string.solver_cube3_error6); break;
93
        case '7': result = mRes.getString(R.string.solver_cube3_error7); break;
94
        case '8': result = mRes.getString(R.string.solver_cube3_error8); break;
95
        case '9': result = mRes.getString(R.string.solver_cube3_error9); break;
96
        }
97
98
      solver.displayErrorDialog(result);
99
      }
100
    else
101
      {
102
      solver.setSolved(result);
103
      }
104 f0336037 Leszek Koltunski
    }
105
106 d8862934 Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
107
108
  private int mapCubitToFace(int cubit, int face)
109
    {
110
    if( cubit<8 ) return face;
111
    if( cubit>19) return 4;
112
113
    switch(face)
114
      {
115
      case 0: return cubit==15 || cubit==18 ? 3 : 5;
116
      case 1: return cubit==13 || cubit==16 ? 3 : 5;
117
      case 2: return cubit==10              ? 5 : 3;
118
      case 3: return cubit== 8              ? 3 : 5;
119
      case 4: return cubit== 9              ? 3 : 5;
120
      case 5: return cubit== 8              ? 5 : 3;
121
      }
122
123
    return -1;
124
    }
125
126 ecf3f149 Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
127
// order: Up --> Right --> Front --> Down --> Left --> Back
128
// (because the first implemented Solver - the two-phase Cube3 one - expects such order)
129
//
130
// Solved 3x3x3 Cube maps to "UUUUUUUUURRRRRRRRRFFFFFFFFFDDDDDDDDDLLLLLLLLLBBBBBBBBB"
131
132
  private String prepareCube3position()
133
    {
134
    StringBuilder objectString = new StringBuilder();
135
136 fbffa02a Leszek Koltunski
    final int R = 0;
137
    final int L = 1;
138
    final int U = 2;
139
    final int D = 3;
140
    final int F = 4;
141
    final int B = 5;
142 ecf3f149 Leszek Koltunski
143
    // 'I' - interior, theoretically can happen
144
    final char[] FACE_NAMES = { 'R', 'L', 'U', 'D', 'F', 'B', 'I'};
145
146 fbffa02a Leszek Koltunski
    final int[] U_INDEX = { 2,10, 6,17,22,19, 3,11, 7};
147
    final int[] R_INDEX = { 7,19, 6,15,20,14, 5,18, 4};
148
    final int[] F_INDEX = { 3,11, 7,13,24,15, 1, 9, 5};
149
    final int[] D_INDEX = { 1, 9, 5,16,23,18, 0, 8, 4};
150
    final int[] L_INDEX = { 2,17, 3,12,21,13, 0,16, 1};
151
    final int[] B_INDEX = { 6,10, 2,14,25,12, 4, 8, 0};
152 ecf3f149 Leszek Koltunski
153 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
154 ecf3f149 Leszek Koltunski
      {
155 d8862934 Leszek Koltunski
      int face = mapCubitToFace(U_INDEX[i],U);
156
      int color = mObject.getCubitFaceColorIndex(U_INDEX[i], face);
157 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
158
      }
159 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
160 ecf3f149 Leszek Koltunski
      {
161 d8862934 Leszek Koltunski
      int face = mapCubitToFace(R_INDEX[i],R);
162
      int color = mObject.getCubitFaceColorIndex(R_INDEX[i], face);
163 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
164
      }
165 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
166 ecf3f149 Leszek Koltunski
      {
167 d8862934 Leszek Koltunski
      int face = mapCubitToFace(F_INDEX[i],F);
168
      int color = mObject.getCubitFaceColorIndex(F_INDEX[i], face);
169 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
170
      }
171 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
172 ecf3f149 Leszek Koltunski
      {
173 d8862934 Leszek Koltunski
      int face = mapCubitToFace(D_INDEX[i],D);
174
      int color = mObject.getCubitFaceColorIndex(D_INDEX[i], face);
175 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
176
      }
177 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
178 ecf3f149 Leszek Koltunski
      {
179 d8862934 Leszek Koltunski
      int face = mapCubitToFace(L_INDEX[i],L);
180
      int color = mObject.getCubitFaceColorIndex(L_INDEX[i], face);
181 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
182
      }
183 fbffa02a Leszek Koltunski
    for(int i=0; i<9; i++)
184 ecf3f149 Leszek Koltunski
      {
185 d8862934 Leszek Koltunski
      int face = mapCubitToFace(B_INDEX[i],B);
186
      int color = mObject.getCubitFaceColorIndex(B_INDEX[i], face);
187 ecf3f149 Leszek Koltunski
      objectString.append(FACE_NAMES[color]);
188
      }
189
190
    return objectString.toString();
191
    }
192
193 f0336037 Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
194
195 373fa45f Leszek Koltunski
  private void interruptCube3()
196 f0336037 Leszek Koltunski
    {
197
    org.distorted.solvers.cube3.Search.interrupt();
198
    }
199
200 373fa45f Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
201
202
  public void start()
203
    {
204
    Thread thr = new Thread(this);
205
    thr.start();
206
    }
207
208 f0336037 Leszek Koltunski
///////////////////////////////////////////////////////////////////////////////////////////////////
209
210
  public void run()
211
    {
212 f5da732a Leszek Koltunski
    RubikScreenSolver solver = (RubikScreenSolver) ScreenList.SVER.getScreenClass();
213 f0336037 Leszek Koltunski
214 d433b50e Leszek Koltunski
    if( mOrdinal==ObjectConstants.CUBE_3 )
215 f0336037 Leszek Koltunski
      {
216 373fa45f Leszek Koltunski
      solveCube3(solver);
217 f0336037 Leszek Koltunski
      }
218
    else
219
      {
220 373fa45f Leszek Koltunski
      solver.displayErrorDialog(mRes.getString(R.string.solver_generic_error1));
221 f0336037 Leszek Koltunski
      }
222
    }
223
}