import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate cage graph classification.
 * Cage graphs have minimal vertices for given (girth, degree).
 * These are extremely rare - we check metadata rather than actual structure.
 * @param graph
 */
export declare const validateCage: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate Moore graph classification.
 * Moore graphs achieve maximum vertices for given (diameter, degree).
 * These are extremely rare - we check metadata rather than actual structure.
 * @param graph
 */
export declare const validateMooreGraph: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate Ramanujan graph classification.
 * Ramanujan graphs are optimal expanders with spectral gap property.
 * We check metadata and spectral properties.
 * @param graph
 */
export declare const validateRamanujan: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=extremal.d.ts.map