Aleph::Planarity_Test_Options Struct Reference

Configuration for planarity test optional outputs. More...

#include <Planarity_Test.H>

Collaboration diagram for Aleph::Planarity_Test_Options:

Public Attributes
bool	compute_embedding = false
	If true and graph is planar, tries to compute combinatorial embedding.
bool	embedding_prefer_lr_linear = true
	Try LR-first embedding construction (with bounded LR-local repair) before any exhaustive fallback.
bool	embedding_allow_bruteforce_fallback = true
	Allow exact embedding fallback if LR-constructive embedding fails validation.
bool	embedding_validate_with_euler = true
	Validate candidate rotation system with Euler face check.
bool	compute_nonplanar_certificate = false
	If true and graph is non-planar, tries to extract witness.
size_t	embedding_max_combinations = 300000
	Max evaluations in embedding repair/search phases.
size_t	certificate_max_edges = 180
	Skip witness extraction when simplified graph has more than this many edges.
size_t	certificate_max_branch_nodes_search = 24
	Skip exact Kuratowski pattern search when branch-core exceeds this size.
size_t	certificate_max_reduction_passes = std::numeric_limits<size_t>::max()
	Max global passes in witness edge-reduction loop.

Detailed Description

Configuration for planarity test optional outputs.

Definition at line 145 of file Planarity_Test.H.

Member Data Documentation

certificate_max_branch_nodes_search

size_t Aleph::Planarity_Test_Options::certificate_max_branch_nodes_search = 24

Skip exact Kuratowski pattern search when branch-core exceeds this size.

Definition at line 184 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_nonplanar_certificate().

certificate_max_edges

size_t Aleph::Planarity_Test_Options::certificate_max_edges = 180

Skip witness extraction when simplified graph has more than this many edges.

Definition at line 181 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_nonplanar_certificate().

certificate_max_reduction_passes

size_t Aleph::Planarity_Test_Options::certificate_max_reduction_passes = std::numeric_limits<size_t>::max()

Max global passes in witness edge-reduction loop.

Definition at line 187 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_nonplanar_certificate().

compute_embedding

bool Aleph::Planarity_Test_Options::compute_embedding = false

If true and graph is planar, tries to compute combinatorial embedding.

This may be expensive. Search is bounded by embedding_max_combinations.

Definition at line 151 of file Planarity_Test.H.

Referenced by main(), Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::run(), Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::simple_edges_are_planar(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), and TEST().

compute_nonplanar_certificate

bool Aleph::Planarity_Test_Options::compute_nonplanar_certificate = false

If true and graph is non-planar, tries to extract witness.

Definition at line 169 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::run(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), TEST(), and TEST().

embedding_allow_bruteforce_fallback

bool Aleph::Planarity_Test_Options::embedding_allow_bruteforce_fallback = true

Allow exact embedding fallback if LR-constructive embedding fails validation.

If false, embedding construction remains bounded and may be truncated even when is_planar == true.

Definition at line 163 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_combinatorial_embedding(), main(), TEST(), and TEST().

embedding_max_combinations

size_t Aleph::Planarity_Test_Options::embedding_max_combinations = 300000

Max evaluations in embedding repair/search phases.

• LR-first mode: max local repair evaluations.
• Exact fallback mode: max product of rotation options.

Increase this when you need stronger embedding completeness guarantees.

Definition at line 178 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_combinatorial_embedding_bruteforce(), and Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_combinatorial_embedding_linear_lr().

embedding_prefer_lr_linear

bool Aleph::Planarity_Test_Options::embedding_prefer_lr_linear = true

Try LR-first embedding construction (with bounded LR-local repair) before any exhaustive fallback.

Definition at line 156 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_combinatorial_embedding().

embedding_validate_with_euler

bool Aleph::Planarity_Test_Options::embedding_validate_with_euler = true

Validate candidate rotation system with Euler face check.

Definition at line 166 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::build_combinatorial_embedding_linear_lr(), and Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::compute_faces_from_rotation().

---

The documentation for this struct was generated from the following file:

• Planarity_Test.H