Almost all successful exact approaches to hard combinatorial optimization problems are firmly rooted in the theory of a single canonical model format—linear integer programming. Some heuristic or approximate strategies for hard combinatorial problems are also structured around linear programming, but many of the most effective, including greedy and local search schemes have no close ties to the linear format.
This paper introduces a new structure we call a paroid we believe has the potential to remedy these difficulties by providing a purely combinatorial canonical format in which discrete problems can be “naturally” modeled, and in which notions of combinatorial search can be studied and compared. A paroid is formed by a matroid and a partition of the underlying ground set into “all or nothing” parity sets. We offer as exemplars fairly natural paroid optimization formulations for seven classical combinatorial problems. Then a structural hierarchy of paroids is introduced and many of the seven models are seen to fall in the easiest class. We show that standard matroid theory can be extended with natural notions of paroid duals and minors, and investigate invariances over our classes. Finally, we briefly review the results in thecompanion Rardin and Sudit (1988) showing the power of a generic paroid search algorithm to unify a number of quite diverse combinatorial algorithms.
[1]
Francesco Maffioli,et al.
Heuristically guided algorithm for k-parity matroid problems
,
1978,
Discret. Math..
[2]
Fred W. Glover,et al.
Two algorithms for weighted matroid intersection
,
1986,
Math. Program..
[3]
Richard M. Karp,et al.
The Traveling-Salesman Problem and Minimum Spanning Trees
,
1970,
Oper. Res..
[4]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.
[5]
Eugene L. Lawler,et al.
Matroid intersection algorithms
,
1975,
Math. Program..
[6]
Harold N. Gabow,et al.
An Augmenting Path Algorithm for the Parity Problem on Linear Matroids
,
1984,
FOCS.
[7]
Mihalis Yannakakis,et al.
How easy is local search?
,
1985,
26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[8]
Brian W. Kernighan,et al.
An Effective Heuristic Algorithm for the Traveling-Salesman Problem
,
1973,
Oper. Res..
[9]
B. Korte,et al.
Worst case analysis of greedy type algorithms for independence systems
,
1980
.
[10]
David S. Johnson,et al.
Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran
,
1979
.
[11]
S.,et al.
An Efficient Heuristic Procedure for Partitioning Graphs
,
2022
.