import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate Hamiltonian graph property.
 * Hamiltonian graphs contain a cycle visiting every vertex exactly once.
 * @param graph
 */
export declare const validateHamiltonian: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate traceable graph property.
 * Traceable graphs contain a Hamiltonian path (visiting all vertices exactly once).
 * @param graph
 */
export declare const validateTraceable: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate diameter property.
 * Diameter is the longest shortest path between any two vertices.
 * @param graph
 */
export declare const validateDiameter: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate radius property.
 * Radius is the minimum eccentricity among all vertices.
 * @param graph
 */
export declare const validateRadius: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate girth property.
 * Girth is the length of the shortest cycle.
 * @param graph
 */
export declare const validateGirth: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate circumference property.
 * Circumference is the length of the longest cycle.
 * @param graph
 */
export declare const validateCircumference: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=path-cycle.d.ts.map