public ActionResult Answer(CheckCodeUnambiguityModel model)
{
List <int> codewordLengths = new List <int>();
foreach (var codeword in model.InputData.Code.ElementaryCodes.Values)
{
codewordLengths.Add(codeword.Length);
}
int correctAnswer = 0;
string comment = "";
if (CodeUnambiguityChecker.CheckMcmillanInequality(codewordLengths, model.InputData.CodeAlphabet.Length))
{
if (CodeUnambiguityChecker.CheckPrefixProperty(model.InputData.Code))
{
comment = "Код обладает свойством взаимной однозначности, " +
"так как он обладает свойством префикса.";
}
else if (CodeUnambiguityChecker.CheckMarkovTheorem(model.InputData.Code))
{
comment = "Код обладает свойством взаимной однозначности, " +
"так как он соответствует критерию Маркова.";
}
else
{
correctAnswer = 1;
comment = "Код не обладает свойством взаимной однозначности, " +
"так как он не соответствует критерию Маркова.";
}
}
else
{
correctAnswer = 1;
comment = "Код не обладает свойством взаимной однозначности, " +
"так как для него не выполняется неравенство Макмиллана.";
}
string checkMessage = "Верно. ";
if (model.SelectedAnswer != correctAnswer)
{
checkMessage = "Неверно. ";
}
model.Comment = checkMessage + comment;
return(View(model));
}
public ActionResult Answer(CheckUnambiguousCodeExistanceModel model)
{
int correctAnswer = 0;
string comment = String.Format("Данный набор чисел может быть набором длин кодовых слов однозначно декодируемого кода " +
"в алфавите длиной {0}, так как он удовлетворяет неравенству Макмиллана.", model.InputData.AlphabetLength);
if (!CodeUnambiguityChecker.CheckMcmillanInequality(model.InputData.CodewordLengths, model.InputData.AlphabetLength))
{
correctAnswer = 1;
comment = String.Format("Данный набор чисел не может быть набором длин кодовых слов однозначно декодируемого кода " +
"в алфавите длиной {0}, так как он не удовлетворяет неравенству Макмиллана.", model.InputData.AlphabetLength);
}
string checkMessage = "Верно. ";
if (model.SelectedAnswer != correctAnswer)
{
checkMessage = "Неверно. ";
}
model.Comment = checkMessage + comment;
return(View(model));
}
public ActionResult Upload(HttpPostedFileBase upload)
{
if (upload != null)
{
string format = Path.GetExtension(upload.FileName);
if (format == ".txt")
{
try
{
using (var reader = new StreamReader(upload.InputStream))
{
string alphabet = reader.ReadLine();
if (alphabet != null)
{
for (int i = 0; i < alphabet.Length - 1; i++)
{
for (int j = i + 1; j < alphabet.Length; j++)
{
if (alphabet[j] == alphabet[i])
{
ViewBag.ErrorMessage = "Все символы алфавита должны быть различны!";
return(View("Index"));
}
}
}
Dictionary <char, string> codewords = new Dictionary <char, string>();
char[] separator = { ' ' };
while (!reader.EndOfStream)
{
string[] symbolArgs = reader.ReadLine().Split(separator, StringSplitOptions.RemoveEmptyEntries);
if (symbolArgs.Length != 2)
{
ViewBag.ErrorMessage = "Пожалуйста, проверьте правильность введенных данных!";
return(View("Index"));
}
char symbol = Convert.ToChar(symbolArgs[0]);
string codeword = symbolArgs[1];
for (int i = 0; i < codeword.Length; i++)
{
if (alphabet.IndexOf(codeword[i]) == -1)
{
ViewBag.ErrorMessage = "Кодовые слова должны использовать только символы алфавита!";
return(View("Index"));
}
}
codewords.Add(symbol, codeword);
}
if (codewords.Count == 0)
{
ViewBag.ErrorMessage = "Пожалуйста, введите в файл данные для построения кода!";
}
else
{
ViewBag.ErrorMessage = "";
Code code = new Code(codewords);
List <int> codewordLengths = new List <int>();
foreach (var codeword in codewords.Values)
{
codewordLengths.Add(codeword.Length);
}
if (CodeUnambiguityChecker.CheckMcmillanInequality(codewordLengths, alphabet.Length))
{
if (CodeUnambiguityChecker.CheckPrefixProperty(code))
{
ViewBag.Answer = "Код обладает свойством взаимной однозначности, " +
"так как он обладает свойством префикса.";
}
else if (CodeUnambiguityChecker.CheckMarkovTheorem(code))
{
ViewBag.Answer = "Код обладает свойством взаимной однозначности, " +
"так как он соответствует критерию Маркова.";
}
else
{
ViewBag.Answer = "Код не обладает свойством взаимной однозначности, " +
"так как он не соответствует критерию Маркова.";
}
}
else
{
ViewBag.Answer = "Код не обладает свойством взаимной однозначности, " +
"так как для него не выполняется неравенство Макмиллана.";
}
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, введите в файл данные для построения кода!";
}
}
}
catch (FormatException)
{
ViewBag.ErrorMessage = "Пожалуйста, проверьте правильность введенных данных!";
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, загрузите файл в формате .txt!";
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, загрузите файл!";
}
return(View("Index"));
}
public ActionResult Upload(HttpPostedFileBase upload)
{
if (upload != null)
{
string format = Path.GetExtension(upload.FileName);
if (format == ".txt")
{
try
{
using (var reader = new StreamReader(upload.InputStream))
{
string alphabetLengthLine = reader.ReadLine();
string codewordLengthsLine = reader.ReadLine();
if (alphabetLengthLine != null && codewordLengthsLine != null)
{
char[] separator = { ' ' };
int alphabetLength = int.Parse(alphabetLengthLine);
if (alphabetLength <= 0)
{
ViewBag.ErrorMessage = "Длина алфавита должна быть больше 0!";
return(View("Index"));
}
List <int> codewordLengths = new List <int>();
string[] lines = codewordLengthsLine.Split(separator, StringSplitOptions.RemoveEmptyEntries);
foreach (var lengthLine in lines)
{
int length = int.Parse(lengthLine);
if (length > 0)
{
codewordLengths.Add(length);
}
else
{
ViewBag.ErrorMessage = "Длины слов должны быть больше 0!";
return(View("Index"));
}
}
if (codewordLengths.Count == 0)
{
ViewBag.ErrorMessage = "Пожалуйста, проверьте правильность введенных данных!";
}
else
{
ViewBag.ErrorMessage = "";
if (CodeUnambiguityChecker.CheckMcmillanInequality(codewordLengths, alphabetLength))
{
ViewBag.Answer = String.Format("Данный набор чисел может быть набором длин кодовых слов " +
"однозначно декодируемого кода в алфавите длиной {0}, так как он удовлетворяет " +
"неравенству Макмиллана.", alphabetLength);
}
else
{
ViewBag.Answer = String.Format("Данный набор чисел не может быть набором длин кодовых слов " +
"однозначно декодируемого кода в алфавите длиной {0}, так как он не удовлетворяет " +
"неравенству Макмиллана.", alphabetLength);
}
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, проверьте правильность введенных данных!";
}
}
}
catch (FormatException)
{
ViewBag.ErrorMessage = "Пожалуйста, проверьте правильность введенных данных!";
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, загрузите файл в формате .txt!";
}
}
else
{
ViewBag.ErrorMessage = "Пожалуйста, загрузите файл!";
}
return(View("Index"));
}
