problemreductions/models/
mod.rs

1//! Problem model implementations.
2//!
3//! Each sub-module groups related problem types by input structure.
4
5pub mod algebraic;
6pub mod decision;
7pub mod formula;
8pub mod graph;
9pub mod misc;
10pub mod set;
11
12// Re-export commonly used types
13pub use algebraic::{
14    AlgebraicEquationsOverGF2, ClosestVectorProblem, ConsecutiveBlockMinimization,
15    ConsecutiveOnesMatrixAugmentation, ConsecutiveOnesSubmatrix, EquilibriumPoint,
16    FeasibleBasisExtension, MinimumMatrixCover, MinimumMatrixDomination, MinimumWeightDecoding,
17    MinimumWeightSolutionToLinearEquations, QuadraticAssignment, QuadraticCongruences,
18    QuadraticDiophantineEquations, SimultaneousIncongruences, SparseMatrixCompression, BMF, ILP,
19    QUBO,
20};
21pub use decision::Decision;
22pub use formula::{
23    CNFClause, CircuitSAT, KSatisfiability, Maximum2Satisfiability, NAESatisfiability,
24    NonTautology, OneInThreeSatisfiability, Planar3Satisfiability, QuantifiedBooleanFormulas,
25    Quantifier, Satisfiability,
26};
27pub use graph::{
28    AcyclicPartition, BalancedCompleteBipartiteSubgraph, BicliqueCover, BiconnectivityAugmentation,
29    BottleneckTravelingSalesman, BoundedComponentSpanningForest, BoundedDiameterSpanningTree,
30    DegreeConstrainedSpanningTree, DirectedHamiltonianPath, DirectedTwoCommodityIntegralFlow,
31    DisjointConnectingPaths, GeneralizedHex, GraphPartitioning, HamiltonianCircuit,
32    HamiltonianPath, HamiltonianPathBetweenTwoVertices, IntegralFlowBundles,
33    IntegralFlowHomologousArcs, IntegralFlowWithMultipliers, IsomorphicSpanningTree, KClique,
34    KColoring, Kernel, KthBestSpanningTree, LengthBoundedDisjointPaths, LongestCircuit,
35    LongestPath, MaxCut, MaximalIS, MaximumAchromaticNumber, MaximumClique, MaximumDomaticNumber,
36    MaximumIndependentSet, MaximumLeafSpanningTree, MaximumMatching, MinMaxMulticenter,
37    MinimumCoveringByCliques, MinimumCutIntoBoundedSets, MinimumDominatingSet,
38    MinimumDummyActivitiesPert, MinimumEdgeCostFlow, MinimumFeedbackArcSet,
39    MinimumFeedbackVertexSet, MinimumGeometricConnectedDominatingSet, MinimumGraphBandwidth,
40    MinimumIntersectionGraphBasis, MinimumMaximalMatching, MinimumMultiwayCut,
41    MinimumSumMulticenter, MinimumVertexCover, MixedChinesePostman, MonochromaticTriangle,
42    MultipleChoiceBranching, MultipleCopyFileAllocation, OptimalLinearArrangement,
43    PartialFeedbackEdgeSet, PartitionIntoCliques, PartitionIntoForests,
44    PartitionIntoPathsOfLength2, PartitionIntoPerfectMatchings, PartitionIntoTriangles,
45    PathConstrainedNetworkFlow, RootedTreeArrangement, RuralPostman, ShortestWeightConstrainedPath,
46    SpinGlass, SteinerTree, StrongConnectivityAugmentation, SubgraphIsomorphism, TravelingSalesman,
47    UndirectedFlowLowerBounds, UndirectedTwoCommodityIntegralFlow,
48};
49pub use misc::PartiallyOrderedKnapsack;
50pub use misc::{
51    AdditionalKey, Betweenness, BinPacking, CapacityAssignment, CbqRelation, Clustering,
52    ConjunctiveBooleanQuery, ConjunctiveQueryFoldability, ConsistencyOfDatabaseFrequencyTables,
53    CosineProductIntegration, CyclicOrdering, DynamicStorageAllocation, EnsembleComputation,
54    ExpectedRetrievalCost, Factoring, FeasibleRegisterAssignment, FlowShopScheduling,
55    GroupingBySwapping, IntExpr, IntegerExpressionMembership, JobShopScheduling, Knapsack,
56    KthLargestMTuple, LongestCommonSubsequence, MaximumLikelihoodRanking, MinimumAxiomSet,
57    MinimumCodeGenerationOneRegister, MinimumCodeGenerationParallelAssignments,
58    MinimumCodeGenerationUnlimitedRegisters, MinimumDecisionTree, MinimumDisjunctiveNormalForm,
59    MinimumExternalMacroDataCompression, MinimumFaultDetectionTestSet,
60    MinimumInternalMacroDataCompression, MinimumRegisterSufficiencyForLoops,
61    MinimumTardinessSequencing, MinimumWeightAndOrGraph, MultiprocessorScheduling,
62    NonLivenessFreePetriNet, Numerical3DimensionalMatching, NumericalMatchingWithTargetSums,
63    OpenShopScheduling, OptimumCommunicationSpanningTree, PaintShop, Partition,
64    PrecedenceConstrainedScheduling, PreemptiveScheduling, ProductionPlanning, QueryArg,
65    RectilinearPictureCompression, RegisterSufficiency, ResourceConstrainedScheduling,
66    SchedulingToMinimizeWeightedCompletionTime, SchedulingWithIndividualDeadlines,
67    SequencingToMinimizeMaximumCumulativeCost, SequencingToMinimizeTardyTaskWeight,
68    SequencingToMinimizeWeightedCompletionTime, SequencingToMinimizeWeightedTardiness,
69    SequencingWithDeadlinesAndSetUpTimes, SequencingWithReleaseTimesAndDeadlines,
70    SequencingWithinIntervals, ShortestCommonSupersequence, ShortestCommonSuperstring,
71    SquareTiling, StackerCrane, StaffScheduling, StringToStringCorrection, SubsetProduct,
72    SubsetSum, SumOfSquaresPartition, Term, ThreePartition, TimetableDesign,
73};
74pub use set::{
75    ComparativeContainment, ConsecutiveSets, ExactCoverBy3Sets, IntegerKnapsack, MaximumSetPacking,
76    MinimumCardinalityKey, MinimumHittingSet, MinimumSetCovering, PrimeAttributeName,
77    RootedTreeStorageAssignment, SetBasis, SetSplitting, ThreeDimensionalMatching,
78    TwoDimensionalConsecutiveSets,
79};
problemreductions/models/mod.rs

problemreductions/models/
mod.rs
