skip to main content
10.1145/1127716.1127767acmotherconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
Article
Free access

On the complexity of sign-nonsingularity and equal unions of sets

Published: 07 April 2000 Publication History

Abstract

A family of nonempty sets has the equal union property (EUP) if and only if there exist two nonempty disjoint subfamilies having the same union. If, in addition, every set in the family is used, we have the full equal union property (FEUP). A family with more sets than points always has the equal union property. On the other hand, if there are more points than sets, recognizing both the EUP and FEUP is NP-complete. A recent striking and difficult result by Robertson, Seymour, Thomas, and independently, McCuaig, implies that for square families (the same number of sets as points) recognition of the EUP is polynomial-time. In contrast to this, we give a simple argument below to show that FEUP is NP-complete in the square case.

References

[1]
E. J. Cockayne, R. M. Dawes and S. T. Hedetniemi, Total domination in graphs, Networks 10 (1980) 211--219.
[2]
M. R. Garey and D. S. Johnson, Computers and Intractability, A Guide to the Theory of NP-Completeness, Freeman, New York, 1979.
[3]
B. Green, D. Olesky, and P. van den Driessche, Classes of sign nonsingular matrices with a specified number of zero elements, Linear Algebra and Its Applications 248 (1996) 253--275.
[4]
D. P. Jacobs and R. E. Jamison, A note on equal unions in families of sets, Discrete Mathematics, special issue in honour of Helge Tverberg, to appear.
[5]
D. P. Jacobs and R. E. Jamison, Complexity of Recognizing Equal Unions in Families of Sets, submitted.
[6]
V. Klee, R. Ladner, and R. Manber, Signsolvability revisited, Linear Algebra and Its Applications, 59 (1984), 131--157.
[7]
B. Lindström, A theorem on families of sets, J. of Combinatorial Theory (A) 13 (1972), 274--277.
[8]
T. J. Lundy, J. Maybee, and J. Van Buskirk, On maximal sign-nonsingular matrices, Linear Algebra and Its Applications, 247 (1996), 55--81.
[9]
J. Maybee and J. Quirk, Qualitative problems in matrix theory, SIAM Review 11 (1969), 30--51.
[10]
W. McCuaig, Pólya's permanent problem, manuscript (93 pages), June, 1997, submitted to Electronic J. of Comb.
[11]
W. McCuaig, N. Robertson, P. D. Seymour, and R. Thomas, Permanents, Pfaffian orientations, and even directed circuits (Extended abstract), Proc. 1997 Symposium on the Theory of Computing (STOC).
[12]
N. Robertson, P. D. Seymour, and R. Thomas, Permanents, Pfaffian orientations, and even directed circuits, Annals of Math. (to appear).
[13]
C. Thomassen, Sign-nonsingular matrices and even cycles in directed graphs, Linear Algebra and Its Applications, 75 (1986), 27--41.
[14]
H. Tverberg, On equal unions of sets, in Studies in Pure Mathematics, edited by L. Mirsky, Academic Press, London, 1971, 249--250.

Cited By

View all
  • (2006)Polynomial recognition of equal unions in hypergraphs with few vertices of large degreeJournal of Discrete Algorithms10.1016/j.jda.2005.03.0014:2(201-208)Online publication date: 1-Jun-2006
  • (2000)Complexity of Recognizing Equal Unions in Families of SetsJournal of Algorithms10.1006/jagm.2000.112137:2(495-504)Online publication date: 1-Nov-2000

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ACMSE '00: Proceedings of the 38th annual ACM Southeast Conference
April 2000
263 pages
ISBN:1581132506
DOI:10.1145/1127716
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 April 2000

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

ACM-SE00

Acceptance Rates

ACMSE '00 Paper Acceptance Rate 46 of 46 submissions, 100%;
Overall Acceptance Rate 502 of 1,023 submissions, 49%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)37
  • Downloads (Last 6 weeks)8
Reflects downloads up to 08 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2006)Polynomial recognition of equal unions in hypergraphs with few vertices of large degreeJournal of Discrete Algorithms10.1016/j.jda.2005.03.0014:2(201-208)Online publication date: 1-Jun-2006
  • (2000)Complexity of Recognizing Equal Unions in Families of SetsJournal of Algorithms10.1006/jagm.2000.112137:2(495-504)Online publication date: 1-Nov-2000

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media