/********************************* * * 数字マスを設置する * * 引数 * num_dict : 盤面全ての数字マスとその値 * * *******************************/ private static void setNumBoxInBoard(Dictionary <Coordinates, int> num_dict) { foreach (KeyValuePair <Coordinates, int> pair in num_dict) { Box b = Tapa.box[pair.Key.x][pair.Key.y]; b.hasNum = true; // 数字を持ってるフラグをオンにする b.boxNum = pair.Value; // 選択した座標に数字を格納 b.id_list = PatternAroundNumBox.getPatternAroundNumBoxList(pair.Value); // 数字に対応したidを格納 Tapa.numbox_coord_list.Add(new Coordinates(pair.Key)); // 数字マスリストに追加 Tapa.not_deployedbox_coord_list.Remove(pair.Key); // 未定マスリストから除外 } }
/********************************* * * 数字マスを追加して問題生成する。 * 引数: * boxnumber_in_whitebox_coord_dict : 数字マスの座標と数字の対応 * * *******************************/ private void generateTapaProblemInAddNumBox(Dictionary <Coordinates, int> boxnumber_in_whitebox_coord_dict) { do { // 時間計測開始 System.Diagnostics.Stopwatch sw = System.Diagnostics.Stopwatch.StartNew(); // 埋める数字マスをランダムに選択 Coordinates adopting_boxnumber_coord = Problem.can_be_number_whitebox_list[ Problem.getRandomInt(0, Problem.can_be_number_whitebox_list.Count)]; Box tmp_box = Tapa.box[adopting_boxnumber_coord.x][adopting_boxnumber_coord.y]; // 選択した座標が既に配色済みの場合 if (tmp_box.Color != Box.NOCOLOR) { Problem.can_be_number_whitebox_list.Remove(adopting_boxnumber_coord); // 数字マスを格納できる座標リストから除外 // boxnumber_in_whitebox_coord_dict.Remove(adopting_boxnumber_coord); // ハッシュから除外 continue; } Box.during_make_inputbord = true; tmp_box.hasNum = true; // 数字を持ってるフラグをオンにする tmp_box.boxNum = boxnumber_in_whitebox_coord_dict[adopting_boxnumber_coord]; // 選択した座標に数字を格納 Tapa.numbox_coord_list.Add(new Coordinates(adopting_boxnumber_coord)); // 数字マスリストに追加 Tapa.not_deployedbox_coord_list.Remove(adopting_boxnumber_coord); // 未定マスリストから除外 tmp_box.id_list = PatternAroundNumBox.getPatternAroundNumBoxList(tmp_box.boxNum); // 数字に対応したidを格納 Problem.can_be_number_whitebox_list.Remove(adopting_boxnumber_coord); // 数字マスを格納できる座標リストから除外 boxnumber_in_whitebox_coord_dict.Remove(adopting_boxnumber_coord); // ハッシュから除外 Box.during_make_inputbord = false; Tapa.solveTapa(); //時間計測終了 sw.Stop(); adopting_boxnumber_coord.printCoordinates(); Console.WriteLine("の追加にかかった時間 >> " + sw.Elapsed + "(" + Problem.can_be_number_whitebox_list.Count + ")"); } while (Problem.can_be_number_whitebox_list.Count > 0); Console.WriteLine("数字マスランダム配置後"); Tapa.printBoard(); while (Tapa.not_deployedbox_coord_list.Count > 0) { Console.WriteLine("未定マスが存在!!!!"); // 白マス周りにある未定マスの数を格納 Dictionary <Coordinates, int> count_whitebox_dict = new Dictionary <Coordinates, int>(); foreach (Coordinates tmp_co in Tapa.not_deployedbox_coord_list) { List <Coordinates> whitebox_around_notdeployedbox_list = Box.getWhiteBoxCoordAround8(tmp_co); foreach (Coordinates tmp_whitebox_co in whitebox_around_notdeployedbox_list) { if (!count_whitebox_dict.ContainsKey(tmp_whitebox_co)) { count_whitebox_dict[tmp_whitebox_co] = 1; } else { count_whitebox_dict[tmp_whitebox_co]++; } } } int max = 0; Coordinates white2numbox = new Coordinates(); // 未定マスが最も多く周囲にある白マス foreach (KeyValuePair <Coordinates, int> pair in count_whitebox_dict) { if (pair.Value > max) { white2numbox = new Coordinates(pair.Key); } } Box.during_make_inputbord = true; Box tmp_box = Tapa.box[white2numbox.x][white2numbox.y]; tmp_box.hasNum = true; tmp_box.boxNum = boxnumber_in_whitebox_coord_dict[white2numbox]; // 数字を格納 Tapa.numbox_coord_list.Add(new Coordinates(white2numbox)); // 数字マスリストに追加 tmp_box.id_list = PatternAroundNumBox.getPatternAroundNumBoxList(tmp_box.boxNum); // 数字に対応したidを格納 Box.during_make_inputbord = false; Tapa.solveTapa(); if (Tapa.DEBUG) { Console.WriteLine("未定マス修正"); Tapa.printBoard(); } } // 数字ごとのidを元に戻す(回答中にid_listは減少) PatternAroundNumBox.preparePatternArroundNumBox(); // 盤面にある数字マス以外のマスを未定マスにする Tapa.numbox_coord_list.Clear(); // 数字マスの座標リスト Tapa.not_deployedbox_coord_list.Clear(); // 未定マスの座標リスト Tapa.isolation_notdeployedboxes_group_list.Clear(); // 一繋がりの未定マス群の座標リスト Tapa.edge_blackbox_coord_list.Clear(); // 伸び代のある黒マスの座標リスト Tapa.isolation_blackboxes_group_list.Clear(); // 一繋がりの黒マス群の座標リスト for (int i = 1; i <= Tapa.MAX_BOARD_ROW; i++) { for (int j = 1; j <= Tapa.MAX_BOARD_COL; j++) { Box tmp = Tapa.box[i][j]; if (!tmp.hasNum) { tmp.revision_color = Box.NOCOLOR; Tapa.not_deployedbox_coord_list.Add(new Coordinates(tmp.coord)); } else { Tapa.numbox_coord_list.Add(new Coordinates(tmp.coord)); } } } }