Revision f079bf77
Added by Leszek Koltunski about 1 year ago
| src/main/java/org/distorted/objectlib/tablebases/TablebasesCube2.java | ||
|---|---|---|
| 18 | 18 |
|
| 19 | 19 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 20 | 20 |
|
| 21 |
public class TablebasesCube2 extends TablebasesMITM
|
|
| 21 |
public class TablebasesCube2 extends TablebasesPruning
|
|
| 22 | 22 |
{
|
| 23 | 23 |
private static final int[][] P = |
| 24 | 24 |
{
|
| ... | ... | |
| 73 | 73 |
|
| 74 | 74 |
public TablebasesCube2(Resources res) |
| 75 | 75 |
{
|
| 76 |
super(res, new int[] {R.raw.cube_2_pruning5,R.raw.cube_2_pruning11} );
|
|
| 76 |
super(res, new int[] {R.raw.cube_2_pruning5}, new int[] {R.raw.cube_2_pruning11} );
|
|
| 77 | 77 |
} |
| 78 | 78 |
|
| 79 | 79 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| ... | ... | |
| 146 | 146 |
|
| 147 | 147 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 148 | 148 |
|
| 149 |
int[] getPruningLevels() |
|
| 149 |
int[] getMidPruningLevels()
|
|
| 150 | 150 |
{
|
| 151 |
return new int[] {5,11};
|
|
| 151 |
return new int[] {4,5};
|
|
| 152 |
} |
|
| 153 |
|
|
| 154 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 155 |
|
|
| 156 |
int[] getHighPruningLevels() |
|
| 157 |
{
|
|
| 158 |
return null;//new int[] {11};
|
|
| 159 |
} |
|
| 160 |
|
|
| 161 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 162 |
|
|
| 163 |
int getGodsNumber() |
|
| 164 |
{
|
|
| 165 |
return 11; |
|
| 152 | 166 |
} |
| 153 | 167 |
|
| 154 | 168 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
Also available in: Unified diff
PruningTables now support numBits=20,24.
Progress with TablebasesPruning.