checkFullConvexityTheorems.cpp File Reference

#include <iostream>
#include <queue>
#include "DGtal/base/Common.h"
#include "DGtal/helpers/StdDefs.h"
#include "DGtal/geometry/volumes/DigitalConvexity.h"

Include dependency graph for checkFullConvexityTheorems.cpp:

Go to the source code of this file.

Functions
template<typename Point>
void	makeRandom (Point &p, int width)
template<typename Point>
void	makeRandomRange (std::vector< Point > &X, int nb, int width)
template<typename ProjectedPoint, typename Point>
void	project (ProjectedPoint &pp, const Point &p, Dimension a)
template<typename ProjectedPoint, typename Point>
void	projectRange (std::vector< ProjectedPoint > &pp, const std::vector< Point > &p, Dimension a)
template<typename Space>
bool	checkSkelStarCvxHFullConvexity (int width)
template<typename Space>
bool	checkCvxHPlusHypercubeFullConvexity (int width)
template<typename Space>
bool	checkProjectionFullConvexity (int width)
template<typename Point>
void	displayPointRange2D (const std::vector< Point > &X)
template<typename Space>
bool	checkFullConvexityCharacterization (int width)
int	main ()

Detailed Description

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.

Author

Jacques-Olivier Lachaud (jacqu.nosp@m.es-o.nosp@m.livie.nosp@m.r.la.nosp@m.chaud.nosp@m.@uni.nosp@m.v-sav.nosp@m.oie..nosp@m.fr ) Laboratory of Mathematics (CNRS, UMR 5127), University of Savoie, France

Date

2021/06/20

An example file named checkFullConvexityTheorems

This file is part of the DGtal library.

Definition in file checkFullConvexityTheorems.cpp.

Function Documentation

checkCvxHPlusHypercubeFullConvexity()

template<typename Space>

bool checkCvxHPlusHypercubeFullConvexity

(

int

width

)

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 134 of file checkFullConvexityTheorems.cpp.

{
  typedef typename Space::Integer Integer;
  typedef DGtal::KhalimskySpaceND< Space::dimension, Integer > KSpace;
  typedef DGtal::DigitalConvexity< KSpace > DConvexity;
  typedef typename KSpace::Point  Point;
  // typedef std::vector<Point>      PointRange;
 
  // Generate a random polytope in the specified domain
  Point lo = Point::zero;
  Point hi = Point::diagonal( width );
  DConvexity dconv( lo, hi );
  std::vector< Point > X, XpH, Y;
  int   nb = Space::dimension + rand() % 7;
  makeRandomRange( X, nb, width );
  std::sort( X.begin(), X.end() );
  XpH = X;
  for ( Dimension k = 0;  k < Space::dimension; k++ )
    XpH = dconv.U( k, XpH );
  auto  P  = dconv.makePolytope( XpH );
  P.getPoints( Y );
  auto  E  = dconv.envelope( X );
  bool  ok1 = dconv.isFullyConvex( E );
  if ( ! ok1 )
    trace.warning() << "FC*(X) is not fully convex !" << std::endl;
  bool  ok2 = dconv.isFullyConvex( Y );
  if ( ! ok2 )
    {
      trace.warning() << "CvxH(X+H) cap Z^d is not fully convex !" << std::endl;
      for ( auto p : Y ) std::cout << " " << p;
      trace.warning() << std::endl;
    }
  bool ok3 = std::includes( Y.cbegin(), Y.cend(), E.cbegin(), E.cend() );
  trace.info() << "#X=" << X.size()
               << " #CvxH(X+H) cap Z^d=" << Y.size()
               << ( ok2 ? "/FC" : "/ERROR" )
               << " #FC*(X)=" << E.size() << ( ok1 ? "/FC" : "/ERROR" )
               << ( ok3 ? " FC*(X) subset CvxH(X+H) cap Z^d"
                    : " FC*(X) not subset CvxH(X+H) cap Z^d" )
               << std::endl;
  return ok1 && ok2;
}

References DGtal::SpaceND< 3, Integer >::dimension, makeRandomRange(), and DGtal::trace.

Referenced by main().

checkFullConvexityCharacterization()

template<typename Space>

bool checkFullConvexityCharacterization

(

int

width

)

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 243 of file checkFullConvexityTheorems.cpp.

{
  typedef typename Space::Integer    Integer;
  typedef DGtal::KhalimskySpaceND< Space::dimension, Integer > KSpace;
  typedef DGtal::DigitalConvexity< KSpace > DConvexity;
  typedef typename KSpace::Point     Point;
  // typedef std::vector<Point>         PointRange;
  typedef DGtal::KhalimskySpaceND< Space::dimension-1, Integer > ProjKSpace;
  typedef DGtal::DigitalConvexity< ProjKSpace > ProjDConvexity;
  typedef typename ProjKSpace::Point ProjPoint;
  // typedef std::vector<ProjPoint>     ProjPointRange;
 
  // Generate a random polytope in the specified domain
  Point lo = Point::zero;
  Point hi = Point::diagonal( width );
  DConvexity dconv( lo, hi );
  std::vector< Point > X, Y;
  int   n = Space::dimension + rand() % 17;
  makeRandomRange( X, n, width );
  auto  P  = dconv.makePolytope( X );
  P.getPoints( Y );  
  const bool cvx = dconv.is0Convex( Y );
  const bool fc = dconv.isFullyConvex( Y );
  bool  proj_fc = true;
  std::cout << "#X=" << Y.size()
            << " " << ( cvx ? "X C" : "X NC" )
            << "/" << ( fc ? "X FC" : "X NFC" );
  for ( Dimension a = 0; a < Space::dimension; a++ )
    {
      ProjPoint plo, phi;
      project( plo, lo, a ); 
      project( phi, hi, a ); 
      ProjDConvexity pdconv( plo, phi );
      std::vector< ProjPoint > PE;
      projectRange( PE, Y, a );
      if ( Space::dimension == 3 )
        {
          std::cout << std::endl;
          displayPointRange2D( PE );
        }
      bool ok  = pdconv.isFullyConvex( PE );
      bool ok0 = pdconv.is0Convex( PE );
      std::cout << "/" << a << ( ok0 ? ( ok ? "FC" : "NFC" ) : "NC" );
      proj_fc = proj_fc && ok;
      if ( fc && !ok )
        trace.warning() << "Projection is not fully convex !" << std::endl;
    }
  if ( fc != proj_fc )
    trace.warning() << "X is " << ( fc ? "FCvx" : "not FCvx" )
                    << "proj(X) " << ( proj_fc ? "FCvx" : "not FCvx" )
                    << std::endl;
  else std::cout << ( fc ? " => FC ok" : " => Not FC ok" ) << std::endl;
  return fc == proj_fc;
}

References DGtal::SpaceND< 3, Integer >::dimension, displayPointRange2D(), makeRandomRange(), phi(), project(), projectRange(), and DGtal::trace.

Referenced by main().

checkProjectionFullConvexity()

template<typename Space>

bool checkProjectionFullConvexity

(

int

width

)

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 180 of file checkFullConvexityTheorems.cpp.

{
  typedef typename Space::Integer    Integer;
  typedef DGtal::KhalimskySpaceND< Space::dimension, Integer > KSpace;
  typedef DGtal::DigitalConvexity< KSpace > DConvexity;
  typedef typename KSpace::Point     Point;
  // typedef std::vector<Point>         PointRange;
  typedef DGtal::KhalimskySpaceND< Space::dimension-1, Integer > ProjKSpace;
  typedef DGtal::DigitalConvexity< ProjKSpace > ProjDConvexity;
  typedef typename ProjKSpace::Point ProjPoint;
  // typedef std::vector<ProjPoint>     ProjPointRange;
 
  // Generate a random polytope in the specified domain
  Point lo = Point::zero;
  Point hi = Point::diagonal( width );
  DConvexity dconv( lo, hi );
  std::vector< Point > X;
  int   n = Space::dimension + rand() % 7;
  makeRandomRange( X, n, width );
  auto  E  = dconv.envelope( X );
  unsigned int nb    = 0;
  unsigned int nb_ok = 0;
  for ( Dimension a = 0; a < Space::dimension; a++ )
    {
      ProjPoint plo, phi;
      project( plo, lo, a ); 
      project( phi, hi, a ); 
      ProjDConvexity pdconv( plo, phi );
      std::vector< ProjPoint > PE;
      projectRange( PE, E, a );
      bool ok = pdconv.isFullyConvex( PE );
      if ( !ok )
        trace.warning() << "Projection is not fully convex !" << std::endl;
      nb_ok  += ok ? 1 : 0;
      nb     += 1;
      std::cout << "#E=" << E.size() << " #Proj(E)=" << PE.size()
                << (ok ? "/FC" : "/ERROR" ) << std::endl;
    }
  return nb_ok == nb;
}

References DGtal::SpaceND< 3, Integer >::dimension, makeRandomRange(), phi(), project(), projectRange(), and DGtal::trace.

Referenced by main().

checkSkelStarCvxHFullConvexity()

template<typename Space>

bool checkSkelStarCvxHFullConvexity

(

int

width

)

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 94 of file checkFullConvexityTheorems.cpp.

{
  typedef typename Space::Integer Integer;
  typedef DGtal::KhalimskySpaceND< Space::dimension, Integer > KSpace;
  typedef DGtal::DigitalConvexity< KSpace > DConvexity;
  typedef typename KSpace::Point  Point;
  
  // Generate a random polytope in the specified domain
  Point lo = Point::zero;
  Point hi = Point::diagonal( width );
  DConvexity dconv( lo, hi );
  std::vector< Point > X;
  int   nb = Space::dimension + rand() % 7;
  makeRandomRange( X, nb, width );
  auto  C  = dconv.StarCvxH( X );
  auto  E  = dconv.envelope( X );
  auto  Y  = C.extremaOfCells();
  bool  ok1 = dconv.isFullyConvex( E );
  if ( ! ok1 )
    trace.warning() << "FC*(X) is not fully convex !" << std::endl;
  bool  ok2 = dconv.isFullyConvex( Y );
  if ( ! ok2 )
    {
      trace.warning() << "Extr(Star(CvxH(X))) is not fully convex !" << std::endl;
      for ( auto p : Y ) std::cout << " " << p;
      trace.warning() << std::endl;
    }
  bool ok3 = std::includes( Y.cbegin(), Y.cend(), E.cbegin(), E.cend() );
  trace.info() << "#X=" << X.size()
               << " #FC*(X)=" << E.size() << ( ok1 ? "/FC" : "/ERROR" )
               << " #Extr(Star(CvxH(X)))=" << Y.size()
               << ( ok2 ? "/FC" : "/ERROR" )
               << ( ok3 ? " FC*(X) subset Extr(Star(CvxH(X)))" : " Inclusion ERROR" )
               << std::endl;
  return ok1 && ok2 && ok3;
}

References DGtal::SpaceND< 3, Integer >::dimension, makeRandomRange(), and DGtal::trace.

Referenced by main().

displayPointRange2D()

template<typename Point>

void displayPointRange2D

(

const std::vector< Point > &

X

)

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 222 of file checkFullConvexityTheorems.cpp.

{
  if ( X.empty() ) return;
  Point lo  = X[ 0 ];
  Point hi  = X[ 0 ];
  for ( auto&& p : X ) { lo = lo.inf( p ); hi = hi.sup( p ); }
  auto w = hi[ 0 ] - lo[ 0 ] + 1;
  auto h = hi[ 1 ] - lo[ 1 ] + 1;
  for ( int y = 0; y < h; y++ )
    {
      for ( int x = 0; x < w; x++ )
        {
          Point q( lo[ 0 ] + x, lo[ 1 ] + y );
          std::cout << ( std::binary_search( X.cbegin(), X.cend(), q ) ? "*" : "." );
        }
      std::cout << std::endl;
    }
}

Referenced by checkFullConvexityCharacterization().

main()

int main

(

void

)

Definition at line 298 of file checkFullConvexityTheorems.cpp.

{
  int NB_TEST1 = 5;
  int NB_TEST2 = 5;
  int NB_TEST3 = 5;
  int NB_TEST4 = 25;
  {
    trace.beginBlock( "Check SkelStarCvxH(X) full convexity 2D" );
    typedef DGtal::SpaceND< 2, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST1; i++ )
      {
        nb_ok += checkSkelStarCvxHFullConvexity< Space >( 100 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check SkelStarCvxH(X) full convexity 3D" );
    typedef DGtal::SpaceND< 3, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST1; i++ )
      {
        nb_ok += checkSkelStarCvxHFullConvexity< Space >( 30 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check SkelStarCvxH(X) full convexity 4D" );
    typedef DGtal::SpaceND< 4, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST1; i++ )
      {
        nb_ok += checkSkelStarCvxHFullConvexity< Space >( 10 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check Projection full convexity 3D" );
    typedef DGtal::SpaceND< 3, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST2; i++ )
      {
        nb_ok += checkProjectionFullConvexity< Space >( 30 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check Projection full convexity 4D" );
    typedef DGtal::SpaceND< 4, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST2; i++ )
      {
        nb_ok += checkProjectionFullConvexity< Space >( 10 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check CvxH plus Hypercube full convexity 2D" );
    typedef DGtal::SpaceND< 2, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST3; i++ )
      {
        nb_ok += checkCvxHPlusHypercubeFullConvexity< Space >( 100 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check CvxH plus Hypercube full convexity 3D" );
    typedef DGtal::SpaceND< 3, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST3; i++ )
      {
        nb_ok += checkCvxHPlusHypercubeFullConvexity< Space >( 30 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check CvxH plus Hypercube full convexity 4D" );
    typedef DGtal::SpaceND< 4, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST3; i++ )
      {
        nb_ok += checkCvxHPlusHypercubeFullConvexity< Space >( 10 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check full convexity characterization 3D" );
    typedef DGtal::SpaceND< 3, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST4; i++ )
      {
        nb_ok += checkFullConvexityCharacterization< Space >( 10 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  {
    trace.beginBlock( "Check full convexity characterization 4D" );
    typedef DGtal::SpaceND< 4, int > Space;
    unsigned int nb    = 0;
    unsigned int nb_ok = 0;
    for ( int i = 0; i < NB_TEST4; i++ )
      {
        nb_ok += checkFullConvexityCharacterization< Space >( 10 ) ? 1 : 0;
        nb    += 1;
      }
    trace.info() << nb_ok << "/" << nb << " OK tests" << std::endl;
    trace.endBlock();
  }
  return 0;
}

References checkCvxHPlusHypercubeFullConvexity(), checkFullConvexityCharacterization(), checkProjectionFullConvexity(), checkSkelStarCvxHFullConvexity(), and DGtal::trace.

makeRandom()

template<typename Point>

void makeRandom	(	Point &	p,
		int	width )

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 56 of file checkFullConvexityTheorems.cpp.

{
  for ( Dimension i = 0; i < Point::dimension; i++ )
    p[ i ] = rand() % width;
}

Referenced by makeRandomRange().

makeRandomRange()

template<typename Point>

void makeRandomRange	(	std::vector< Point > &	X,
		int	nb,
		int	width )

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 63 of file checkFullConvexityTheorems.cpp.

{
  X.resize( nb );
  for ( int i = 0; i < nb; i++ )
    makeRandom( X[ i ], width );
}

References makeRandom().

Referenced by checkCvxHPlusHypercubeFullConvexity(), checkFullConvexityCharacterization(), checkProjectionFullConvexity(), and checkSkelStarCvxHFullConvexity().

project()

template<typename ProjectedPoint, typename Point>

void project	(	ProjectedPoint &	pp,
		const Point &	p,
		Dimension	a )

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 71 of file checkFullConvexityTheorems.cpp.

{
  Dimension j = 0;
  for ( Dimension i = 0; i < Point::dimension; i++ )
    if ( i != a ) pp[ j++ ] = p[ i ];
}

Referenced by checkFullConvexityCharacterization(), checkProjectionFullConvexity(), and projectRange().

projectRange()

template<typename ProjectedPoint, typename Point>

void projectRange	(	std::vector< ProjectedPoint > &	pp,
		const std::vector< Point > &	p,
		Dimension	a )

Examples

geometry/volumes/checkFullConvexityTheorems.cpp.

Definition at line 79 of file checkFullConvexityTheorems.cpp.

{
  pp.resize( p.size() );
  for ( auto i = 0; i < p.size(); i++ )
    project( pp[ i ], p[ i ], a );
  std::sort( pp.begin(), pp.end() );
  auto last = std::unique( pp.begin(), pp.end() );
  pp.erase( last, pp.end() );
}

References project().

Referenced by checkFullConvexityCharacterization(), and checkProjectionFullConvexity().