Логическое пограмирование. Поиск в глубину

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Text;
using System.Windows.Forms;
using System.Collections;
 
namespace lab2_elesar
{
    public partial class Form1 : Form
    {
        int[] initial_mas = new int[15];
        ArrayList All_Moves_Monets = new ArrayList();
        ArrayList Result_Moves = new ArrayList();
 
        public Form1()
        {
            InitializeComponent();
            Set_Mass();
            All_Moves_Monets.Clear();
            All_Moves_Monets.Add(initial_mas);
        }
 
        public void Set_Mass()
        {
            for (int i = 0; i < 15; i++)
                initial_mas[i] = 1;
        }
 
        public void Copy_Mass(int[] mas_out, int[] mas_in)
        {
            for (int index = 0; index < mas_out.Length; index++)
                mas_in[index] = mas_out[index];
        }
 
        public int[] Move_Monet(int[] work_mas, int from, int to)
        {
            work_mas[from]--;
            work_mas[to]++;
            return work_mas;
        }
 
        public bool Check_Mas_In_Array(ArrayList Array, int[] mas)
        {
            for (int i_Array = 0; i_Array < Array.Count; i_Array++)
                if (Mass_Equality((int[])Array[i_Array], mas)) return false;
            return true;
        }
 
        public bool Mass_Equality(int[] mas1, int[] mas2)
        {
            for (int i_mas1 = 0; i_mas1 < mas1.Length; i_mas1++)
                if (mas1[i_mas1] != mas2[i_mas1]) return false;
            return true;
        }
 
        public bool Check_Result(int[] work_mas)
        {
            int count = 0;
            for (int i = 0; i < 15; i++)
                if (work_mas[i] == 3) count++;
            if (count == 5) return true;
            else return false;
        }
 
        public int[] Seek_Moves(int[] work_mas, int index)
        {
            int[] ret_mas = new int[2];
            int monets1 = 0;
            int monets2 = 0;
            ret_mas[0] = -1;
            ret_mas[1] = -1;
            for (int i_work_mas = index + 1; i_work_mas < 15; i_work_mas++)
            {
                monets1 += work_mas[i_work_mas];
                if ((monets1 == 3) && (i_work_mas < 14))
                {
                    ret_mas[0] = i_work_mas + 1;
                    break;
                }
                if (monets1 > 3) break;
            }
            for (int i_work_mas = index - 1; i_work_mas > -1; i_work_mas--)
            {
                monets2 += work_mas[i_work_mas];
                if ((monets2 == 3) && (i_work_mas > 0))
                {
                    ret_mas[1] = i_work_mas - 1;
                    break;
                }
                if (monets1 > 3) break;
            }
            return ret_mas;
        }
 
        public void Seek_Result()
        {
            int[] work_mas;
            int[] work_mas_temp, work_mas_temp1;
            int[] possible_moves = new int[2];
            for (int i_All_Moves_Monets = 0; i_All_Moves_Monets < All_Moves_Monets.Count; i_All_Moves_Monets++)
            {
                if (Result_Moves.Count > 0) break;
                work_mas = new int[15];
                work_mas = (int[])All_Moves_Monets[i_All_Moves_Monets];
                for (int i_work_mas = 0; i_work_mas < 15; i_work_mas++)
                {
                    if (work_mas[i_work_mas] > 0)
                    {
                        possible_moves = Seek_Moves(work_mas, i_work_mas);
                        if (possible_moves[0] > -1)
                        {
                            work_mas_temp = new int[15];
                            work_mas_temp1 = new int[15];
                            Copy_Mass(work_mas, work_mas_temp1);
                            work_mas_temp = Move_Monet(work_mas_temp1, i_work_mas, possible_moves[0]);
                            if (Check_Mas_In_Array(All_Moves_Monets, work_mas_temp)) All_Moves_Monets.Add(work_mas_temp);
                        }
                        if (possible_moves[1] > -1)
                        {
                            work_mas_temp = new int[15];
                            work_mas_temp1 = new int[15];
                            Copy_Mass(work_mas, work_mas_temp1);
                            work_mas_temp = Move_Monet(work_mas_temp1, i_work_mas, possible_moves[1]);
                            if (Check_Mas_In_Array(All_Moves_Monets, work_mas_temp)) All_Moves_Monets.Add(work_mas_temp);
                        }
                    }
                }
                for (int i_AllMoves_Moners_2 = 0; i_AllMoves_Moners_2 < All_Moves_Monets.Count; i_AllMoves_Moners_2++)
                {
                    if (Check_Result((int[])All_Moves_Monets[i_AllMoves_Moners_2])) Result_Moves.Add(i_AllMoves_Moners_2);
                }
            }
            for (int i_Result_Moves = 0; i_Result_Moves < Result_Moves.Count; i_Result_Moves++)
            {
                string res = "";
                work_mas = (int[])All_Moves_Monets[(int)Result_Moves[i_Result_Moves]];
                for (int i_work_mas = 0; i_work_mas < work_mas.Length; i_work_mas++)
                    res += Convert.ToString(work_mas[i_work_mas]);
                MessageBox.Show(res);
            }
        }
 
        private void button1_Click(object sender, EventArgs e)
        {
            Seek_Result();
        }
    }
}