Abstract
The maximum satisfiability problem MAXSAT asks whether a set of Boolean clauses C 1,..., C m contains a satisfiable subset of cardinality ≥k. Trivially, there exists a Turing machine Μ recognizing MAXSAT in nondeterministic polynomial time: in fact, the problem is NP-complete, [Garey and Johnson, 1979]. Furthermore, there is a Turing machine Τ working in deterministic polynomial time, such that, for any input instance (C 1,..., C m , k) of MAXSAT, Τ outputs a Boolean formula D = D(C 1,..., C m , k) which is satisfiable iff (C 1,..., C m , k) ∈ MAXSAT. In its actual form, as given by Cook’s theorem, D is only vaguely reminiscent of the input clauses C j : most of the variables in D take care of the description of an accepting computation of (C 1,..., C m , k) by Μ. Incorporation of the numerical parameter k into the Boolean formula D takes its toll.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. C. Chang. Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc., 88, 467 – 490, 1958.
C. C. Chang. A new proof of the completeness of the Lukasiewicz axioms. nuns. Amer. Math. Soc., 93, 74 – 80, 1959.
R. Cignoli, I. M. L. D’Ottaviano and D. Mundici. Algebras of Lukasiewicz Logics, (in Portuguese). Collection CLE, Vol. 12, Center of Logic, Epistemology and History of Science, State University of Campinas, UNICAMP, SP, Brazil, Second Edition, 1995. Expanded edition in English, in preparation.
A. Di Nola. MV-Algebras in the Treatment of Uncertainty. In Proceedings of the International IFSA Congress, Bruxelles 1991. P. Löwen and E. Roubens, eds. pp. 123 – 131. Kluwer, Dordrecht, 1993.
M. R. Garey and D. S. Johnson. Computers and Intractability, A Guide to the Theory of NP-completeness. W. H. Freeman and Company, San Francisco, 1979.
D. Mundici. Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, Journal of Functional Analysis, 65, 15 – 63, 1986.
D. Mundici. Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52, 145 – 153, 1987.
D. Mundici. Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C*-al ebras, Advances in Math., 68, 23 – 39, 1988.
D. Mundici. The logic of Ulam’s game with lies. In Knowledge, Belief and Strategic Interaction, C. Bicchieri and M. L. Dalla Chiara, eds. pp. 275 – 284. Cambridge Studies in Probability, Induction and Decision Theory, Cambridge University Press, 1992.
D. Mundici. Logic of infinite quantum systems. International J. of Theoretical Physics, 32, 1941 – 1955, 1993.
D. Mundici. Lukasiewicz normal forms and toric desingularizations, In From Foundations to Applications. Proceedings Logic Colloquium ‘93, W. Hodges et al., eds. pp. 401 – 423. Oxford University Press, 1996.
D. Mundici. Uncertainty measures in MV-algebras, and states of AF C*-algebras. Special issue of Notas de la Sociedad de Matemdtica de Chile, in memoriam Rolando Chuaqui, 15, 42 – 54, 1996.
A. Tarski and J. Lukasiewicz. Investigations into the Sentential Calculus. In Logic, Semantics, Metamathematics, pp. 38–59. Oxford University Press, 1956. Reprinted by Hackett Publishing Company, Indianapolis, 1983.
S. M. Ulam. Adventures of a Mathematician, Scribner’s, New York, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mundici, D. (1999). Ulam Game, the Logic of Maxsat, and Many-Valued Partitions. In: Dubois, D., Prade, H., Klement, E.P. (eds) Fuzzy Sets, Logics and Reasoning about Knowledge. Applied Logic Series, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1652-9_8
Download citation
DOI: https://doi.org/10.1007/978-94-017-1652-9_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5324-4
Online ISBN: 978-94-017-1652-9
eBook Packages: Springer Book Archive