Ejemplo n.º 1
0
        static void Main(string[] args)
        {
            string  filename = Console.ReadLine();
            Dekoder instance = new Dekoder();

            instance.ReadFromFile(filename);
            Solver s = new Solver();
            Dictionary <char, string> solution = s.Solve(instance);

            if (solution != null)
            {
                string      solutionFile = filename.Replace(".SWE", ".SOL");
                List <char> gamma        = instance.RefereceR.Keys.ToList();
                using (System.IO.StreamWriter file = new System.IO.StreamWriter(solutionFile))
                {
                    foreach (char key in gamma)
                    {
                        string value = solution.ContainsKey(key) ? solution[key] : instance.RefereceR[key].First();
                        file.WriteLine("{0}:{1}", key, value);
                    }
                }
                Console.WriteLine("YES");
            }
            else
            {
                Console.WriteLine("NO");
            }
        }
Ejemplo n.º 2
0
        private bool IsValidSolution(Dekoder instance, Dictionary <char, string> variablesAssigned)
        {
            foreach (String t in instance.T)
            {
                String replacedT = String.Copy(t);
                foreach (char letter in replacedT)
                {
                    if (letter >= 'A' && letter <= 'Z' && variablesAssigned.ContainsKey(letter))
                    {
                        replacedT = replacedT.Replace(letter.ToString(), variablesAssigned[letter]);
                    }
                }

                if (!instance.S.Contains(replacedT))
                {
                    return(false);
                }
            }
            return(true);
        }
Ejemplo n.º 3
0
        private Dictionary <char, string> Solve(Dekoder instance, Dictionary <char, string> variablesAssigned)
        {
            foreach (string stringT in instance.T) // Check if all T string have length less that S
            {
                if (stringT.Length > instance.S.Length)
                {
                    return(null);
                }
            }

            if (variablesAssigned.Keys.Count == instance.GammaAlphabet.Count)
            {
                if (IsValidSolution(instance, variablesAssigned))
                {
                    return(variablesAssigned);
                }
            }
            else
            {
                char variable = instance.GammaAlphabet[variablesAssigned.Count];
                if (variablesAssigned.ContainsKey(variable))
                {
                    throw new Exception("Picked variable does already exists in the assignedVariables. This should never happen.");
                }
                foreach (string rItem in instance.R[variable])
                {
                    Dictionary <char, string> changedDictionary = new Dictionary <char, string>(variablesAssigned);
                    changedDictionary[variable] = rItem;
                    var solution = Solve(instance, changedDictionary);
                    if (solution != null)
                    {
                        return(solution);
                    }
                }
            }
            return(null);
        }
Ejemplo n.º 4
0
        public Dictionary <char, string> Solve(Dekoder instance)
        {
            Dictionary <char, string> solution = Solve(instance, new Dictionary <char, string>());

            return(solution);
        }