import { AnalyzerGraph } from './types';
/**
 * Compute Hamiltonian property using exhaustive search with pruning.
 * NP-complete, so this is expensive for larger graphs.
 * @param g
 */
export declare const computeHamiltonian: (g: AnalyzerGraph) => {
    kind: "hamiltonian";
} | {
    kind: "non_hamiltonian";
} | {
    kind: "unconstrained";
};
/**
 * Compute traceable property (has Hamiltonian path).
 * @param g
 */
export declare const computeTraceable: (g: AnalyzerGraph) => {
    kind: "traceable";
} | {
    kind: "non_traceable";
} | {
    kind: "unconstrained";
};
//# sourceMappingURL=path-props.d.ts.map