public void SampleMessageIsDecoded()
{
var sampleMsgSet = new[]
{
"eedadn", "drvtee", "eandsr", "raavrd", "atevrs", "tsrnev", "sdttsa", "rasrtv", "nssdts", "ntnada",
"svetve", "tesnvt", "vntsnd", "vrdear", "dvrsen", "enarar"
};
var cleaner = new RepeatedMessageCleaner(RepeatedMessageCleaner.Protocol.Simple);
Assert.Equal("easter", cleaner.CleanMessage(sampleMsgSet));
var modified = new RepeatedMessageCleaner(RepeatedMessageCleaner.Protocol.Modified);
Assert.Equal("advent", modified.CleanMessage(sampleMsgSet));
}
public Property CleanMessageContainsLeastFrequentWhenUsingModifiedProtocol()
{
var msgSetGen = LengthGen.SelectMany(len => CountGen, (len, count) => new { len, count })
.SelectMany(x => AlphaStringSetGen(x.len, x.count).Select(messages => new { x.len, messages }));
var cleaner = new RepeatedMessageCleaner(RepeatedMessageCleaner.Protocol.Modified);
return(Prop.ForAll(msgSetGen.ToArbitrary(),
msgset =>
cleaner.CleanMessage(msgset.messages)
.Select(
(c, i) =>
msgset.messages.Select(msg => msg[i]).GroupBy(ch => ch).Min(g => g.Count()) ==
msgset.messages.Select(msg => msg[i]).Count(ch => ch == c))
.All(mostFrequent => mostFrequent)));
}
public Property CleanMessageHasProperLength()
{
var msgSetGen = LengthGen.SelectMany(len => CountGen, (len, count) => new { len, count })
.SelectMany(
x =>
Gen.ArrayOf(x.count, Gen.ArrayOf(x.len, Arb.Generate <char>()).Select(msg => new string(msg)))
.Select(messages => new { x.len, messages }));
// alternative way to write it
var msgSetGen2 = from len in LengthGen
from count in CountGen
from messages in
Gen.ArrayOf(count, Gen.ArrayOf(len, Arb.Generate <char>()).Select(msg => new string(msg)))
select new { len, messages };
var cleaner = new RepeatedMessageCleaner(RepeatedMessageCleaner.Protocol.Simple);
var modified = new RepeatedMessageCleaner(RepeatedMessageCleaner.Protocol.Modified);
return(Prop.ForAll(msgSetGen.ToArbitrary(),
msgset =>
cleaner.CleanMessage(msgset.messages).Length == msgset.len &&
modified.CleanMessage(msgset.messages).Length == msgset.len));
}
public string Solve(string[] input)
{
var cleaner = new RepeatedMessageCleaner(this.Protocol);
return(cleaner.CleanMessage(input));
}
