Exemplo n.º 1
0
        public void Solve_MultipleResults()
        {
            ExactCover exactCover = new ExactCover();
            var        input      = new byte[, ] {
                { 1, 0, 1, 0 },
                { 1, 0, 1, 0 },
                { 1, 0, 0, 1 },
                { 1, 0, 0, 1 },
                { 0, 1, 1, 0 },
                { 0, 1, 1, 0 },
                { 0, 1, 0, 1 },
            };

            var results = exactCover.GetAllSolutions(input);

            Assert.AreEqual(2, results.Count);
            var result1 = results[0];

            Assert.AreEqual(2, result1.Count);
            Assert.True(result1.Contains(0));
            Assert.True(result1.Contains(1));
            var result2 = results[1];

            Assert.AreEqual(2, result2.Count);
            Assert.True(result2.Contains(2));
            Assert.True(result2.Contains(3));
        }
Exemplo n.º 2
0
        public void Solve_NoResults()//Because empty column cannot be satisfied
        {
            ExactCover exactCover = new ExactCover();
            var        input      = new byte[, ] {
                { 0, 0, 0, 0, 0, 0 },
                { 0, 0, 0, 0, 1, 1 },
                { 0, 0, 0, 1, 1, 0 },
                { 1, 1, 1, 0, 0, 0 },
                { 0, 0, 1, 1, 0, 0 },
                { 0, 0, 0, 1, 1, 0 },
                { 1, 0, 1, 0, 1, 1 },
            };

            var results = exactCover.GetAllSolutions(input);

            Assert.AreEqual(0, results.Count);
        }
Exemplo n.º 3
0
        public void CheckMultipleSolutions_False()
        {
            ExactCover exactCover = new ExactCover();
            var        input      = new byte[, ] {
                { 1, 0, 1, 0 },
                { 1, 0, 1, 0 },
                { 1, 0, 0, 1 },
                { 1, 0, 0, 1 },
                { 0, 1, 0, 0 },
                { 0, 1, 1, 0 },
                { 0, 1, 0, 1 },
            };

            var result = exactCover.MoreThanOneSolution(input);

            Assert.False(result);
        }
Exemplo n.º 4
0
        public void GetFirstSolution()
        {
            ExactCover exactCover = new ExactCover();
            var        input      = new byte[, ] {
                { 1, 0, 1, 0 },
                { 1, 0, 1, 0 },
                { 1, 0, 0, 1 },
                { 1, 0, 0, 1 },
                { 0, 1, 1, 0 },
                { 0, 1, 1, 0 },
                { 0, 1, 0, 1 },
            };

            var result = exactCover.GetFirstSolution(input);

            Assert.True(result.Contains(0));
            Assert.True(result.Contains(1));
        }
Exemplo n.º 5
0
        public void Solve_RowAllZero()
        {
            ExactCover exactCover = new ExactCover();
            var        input      = new byte[, ] {
                { 0, 1, 0, 0, 0, 0 },
                { 0, 0, 0, 0, 1, 1 },
                { 0, 0, 0, 1, 1, 0 },
                { 0, 1, 1, 0, 0, 0 },
                { 0, 0, 1, 1, 0, 0 },
                { 0, 0, 0, 1, 1, 0 },
                { 0, 0, 1, 0, 1, 1 },
            };

            var results = exactCover.GetAllSolutions(input);

            Assert.AreEqual(1, results.Count);
            var result = results[0];

            Assert.AreEqual(3, result.Count);
            Assert.True(result.Contains(1));
            Assert.True(result.Contains(3));
            Assert.True(result.Contains(5));
        }
Exemplo n.º 6
0
        private static void Cover1()
        {
            ExactCover ec = new ExactCover( 8 );
            ec.Add( new int[] { 1, 0, 0, 0, 0, 0, 0, 0 }, "0" );
            ec.Add( new int[] { 0, 1, 0, 0, 0, 0, 0, 0 }, "1" );
            ec.Add( new int[] { 0, 0, 1, 0, 0, 0, 0, 0 }, "2" );
            ec.Add( new int[] { 0, 0, 0, 1, 0, 0, 0, 0 }, "3" );
            ec.Add( new int[] { 0, 0, 0, 0, 1, 0, 0, 0 }, "4" );
            ec.Add( new int[] { 0, 0, 0, 0, 0, 1, 0, 0 }, "5" );
            ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 1, 0 }, "6" );
            ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 0, 1 }, "7" );

            ec.Add( new int[] { 1, 1, 0, 0, 0, 0, 0, 0 }, "8" );
            ec.Add( new int[] { 0, 1, 1, 0, 0, 0, 0, 0 }, "9" );
            ec.Add( new int[] { 0, 0, 1, 1, 0, 0, 0, 0 }, "10" );
            ec.Add( new int[] { 0, 0, 0, 1, 1, 0, 0, 0 }, "11" );
            ec.Add( new int[] { 0, 0, 0, 0, 1, 1, 0, 0 }, "12" );
            ec.Add( new int[] { 0, 0, 0, 0, 0, 1, 1, 0 }, "13" );
            ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 1, 1 }, "14" );

            ec.Add( new int[] { 1, 1, 1, 1, 0, 0, 0, 0 }, "15" );
            ec.Add( new int[] { 0, 0, 0, 0, 1, 1, 1, 1 }, "16" );

            Cover cover = new Cover( ec.Solver, 8, ec.List );
            Cover.Search goal = new Cover.Search( cover );

            ec.Solver.Solve( goal );
            ec.Solver.Out.WriteLine( cover.Index.Domain.Cardinality.ToString() + "\t" + cover.Index.ToString() );

            while( ec.Solver.Next() )
            {
                ec.Solver.Out.WriteLine( cover.Index.Domain.Cardinality.ToString() + "\t" + cover.Index.ToString() );
            }

            ec.Solver.PrintInformation();
        }