C# (CSharp) TestApp Cover.Search Examples

Example #1

File: Program.cs Project: ktp-forked-repos/Mara

        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();
        }

Example #2

File: Program.cs Project: nofear/Mara

        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();
        }