Proceedings of the 2001 international symposium on Symbolic and algebraic computation
SIGACT news complexity theory column 34
ACM SIGACT News
Exploiting structure in quantified formulas
Journal of Algorithms
Deterministic versus nondeterministic time and lower bound problems
Journal of the ACM (JACM)
Towards a Predictive Computational Complexity Theory
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Budgeted Maximum Graph Coverage
WG '02 Revised Papers from the 28th International Workshop on Graph-Theoretic Concepts in Computer Science
Exact Bayesian Structure Discovery in Bayesian Networks
The Journal of Machine Learning Research
Computational aspects of Bayesian partition models
ICML '05 Proceedings of the 22nd international conference on Machine learning
Optimal 2-constraint satisfaction via sum-product algorithms
Information Processing Letters
Optimal 2-constraint satisfaction via sum--product algorithms
Information Processing Letters
Hi-index | 0.00 |
A new algebraic model, called the generalized satisfiability problem (GSP) model, is introduced for representing and solving combinatorial problems. The GSP model is an alternative to the common method in the literature of representing such problems as language-recognition problems. In the GSP model, a problem instance is represented by a set of variables together with a set of terms, and the computational objective is to find a certain sum of products of terms over a commutative semiring. The model is general enough to express all the standard problems about sets of clauses and generalized clauses, all nonserial optimization problems, and all $\{0,1\}$-linear programming problems. The model can also describe many graph problems, often in a very direct structure-preserving way. Two important properties of the model are the following: \begin{enumerate} \item In the GSP model, one can naturally discuss the structure of individual problem instances. The structure of a GSP instance is displayed in a "structure tree." The smaller the "weighted depth" or "channelwidth" of the structure tree for a GSP instance, the faster the instance can be solved by any one of several generic algorithms. \item The GSP model extends easily so as to apply to hierarchically specified problems and enables solutions to instances of such problems to be found directly from the specification rather than from the (often exponentially) larger specified object.