import { TestGraph } from '../generation/generators/types';
/**
 * Validation result for a single property.
 */
export interface PropertyValidationResult {
    property: string;
    expected: string;
    actual: string;
    valid: boolean;
    message?: string;
}
/**
 * Validate k-vertex-connected property.
 * A graph is k-vertex-connected if it has at least k+1 vertices and
 * cannot be disconnected by removing fewer than k vertices.
 *
 * Note: Full validation requires checking all (n choose k) vertex subsets,
 * which is expensive. For our purposes, we verify:
 * 1. At least k+1 vertices
 * 2. Minimum degree ≥ k (necessary condition)
 * 3. Graph is connected
 * @param graph
 */
export declare const validateKVertexConnected: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate k-edge-connected property.
 * A graph is k-edge-connected if it has at least k+1 vertices and
 * cannot be disconnected by removing fewer than k edges.
 *
 * Note: Full validation requires checking all edge cut sets,
 * which is expensive. For our purposes, we verify:
 * 1. At least k+1 vertices
 * 2. Minimum degree ≥ k (necessary and sufficient for many graphs)
 * 3. Graph is connected
 * @param graph
 */
export declare const validateKEdgeConnected: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=connectivity-validators.d.ts.map