The complexity of binary matrix completion under diameter constraints

We thoroughly study a novel but basic combinatorial matrix completion problem: Given a binary incomplete matrix, fill in the missing entries so that every pair of rows in the resulting matrix has a Hamming distance within a specified range. We obtain an almost complete picture of the complexity land...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer and system sciences Jg. 132; S. 45 - 67
Hauptverfasser: Koana, Tomohiro, Froese, Vincent, Niedermeier, Rolf
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.03.2023
Schlagworte:
ISSN:0022-0000, 1090-2724
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract We thoroughly study a novel but basic combinatorial matrix completion problem: Given a binary incomplete matrix, fill in the missing entries so that every pair of rows in the resulting matrix has a Hamming distance within a specified range. We obtain an almost complete picture of the complexity landscape regarding the distance constraints and the maximum number of missing entries in any row. We develop polynomial-time algorithms for maximum diameter three based on Deza's theorem (1973) [11] from extremal set theory. We also prove NP-hardness for diameter at least four. For the number of missing entries per row, we show polynomial-time solvability when there is only one and NP-hardness when there can be at least two. In many of our algorithms, we heavily rely on Deza's theorem to identify sunflower structures. This paves the way towards polynomial-time algorithms which are based on finding graph factors and solving 2-SAT instances.
AbstractList We thoroughly study a novel but basic combinatorial matrix completion problem: Given a binary incomplete matrix, fill in the missing entries so that every pair of rows in the resulting matrix has a Hamming distance within a specified range. We obtain an almost complete picture of the complexity landscape regarding the distance constraints and the maximum number of missing entries in any row. We develop polynomial-time algorithms for maximum diameter three based on Deza's theorem (1973) [11] from extremal set theory. We also prove NP-hardness for diameter at least four. For the number of missing entries per row, we show polynomial-time solvability when there is only one and NP-hardness when there can be at least two. In many of our algorithms, we heavily rely on Deza's theorem to identify sunflower structures. This paves the way towards polynomial-time algorithms which are based on finding graph factors and solving 2-SAT instances.
Author Niedermeier, Rolf
Koana, Tomohiro
Froese, Vincent
Author_xml – sequence: 1
  givenname: Tomohiro
  orcidid: 0000-0002-8684-0611
  surname: Koana
  fullname: Koana, Tomohiro
  email: tomohiro.koana@tu-berlin.de
– sequence: 2
  givenname: Vincent
  surname: Froese
  fullname: Froese, Vincent
  email: vincent.froese@tu-berlin.de
– sequence: 3
  givenname: Rolf
  surname: Niedermeier
  fullname: Niedermeier, Rolf
BookMark eNp9kM9qwzAMxs3oYG23F9gpL5DMchKnhV1G6f5AYZfubGxHYQ6JXWxvtG8_h_a0Q3WRkPQT-r4FmVlnkZBHoAVQ4E990esQCkYZS42CUrghc6BrmrOGVTMyp2mS0xR3ZBFCnxag5uWcbPffmGk3HgY8mnjKXJcpY6U_ZaOM3hwvs2iczX5siz5rjRwxpkI7G6KXxsZwT247OQR8uOQl-Xrd7jfv-e7z7WPzsss1gzrmlVQgSw6KauDrUncMJVBWVWVH65WsSl3xumGwQsUVyqZVmjZdDVohV2tg5ZKw813tXQgeO3HwZkzfCqBiMkL0YjJCTEZMvaQzQat_kDZRToqm74fr6PMZxSTq16AXQRu0GlvjUUfROnMN_wNk-nyZ
CitedBy_id crossref_primary_10_1016_j_artint_2024_104241
Cites_doi 10.1016/j.tcs.2004.12.017
10.1007/s00454-001-0047-6
10.1016/0020-0190(79)90002-4
10.1007/s00453-019-00647-9
10.1145/3110290
10.1109/TCBB.2014.2304294
10.1137/19M1255781
10.1007/s00453-003-1028-3
10.1016/j.tcs.2018.03.024
10.1016/0095-8956(74)90059-8
10.1007/BF02679443
10.1016/j.tcs.2005.09.023
10.1016/S1570-8667(03)00079-0
10.1016/j.jcss.2015.11.011
10.1145/1868237.1868246
10.1016/0012-365X(73)90065-4
10.1007/s00454-008-9107-5
10.1016/j.tcs.2015.06.043
10.1093/bib/3.1.23
10.1112/jlms/s1-35.1.85
ContentType Journal Article
Copyright 2022 Elsevier Inc.
Copyright_xml – notice: 2022 Elsevier Inc.
DBID AAYXX
CITATION
DOI 10.1016/j.jcss.2022.10.001
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISSN 1090-2724
EndPage 67
ExternalDocumentID 10_1016_j_jcss_2022_10_001
S002200002200071X
GrantInformation_xml – fundername: DFG
  grantid: 369/16
  funderid: https://doi.org/10.13039/501100001659
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1OL
1~.
1~5
29K
4.4
457
4G.
5GY
5VS
6I.
6TJ
7-5
71M
8P~
9JN
AACTN
AAEDT
AAEDW
AAFTH
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
AAYJJ
ABBOA
ABEFU
ABJNI
ABMAC
ABTAH
ABVKL
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADFGL
ADMUD
AEBSH
AEKER
AENEX
AETEA
AEXQZ
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CAG
COF
CS3
D-I
DM4
DU5
EBS
EFBJH
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBLVA
GBOLZ
HVGLF
HZ~
IHE
IXB
J1W
KOM
LG5
LG9
LY7
M41
MO0
MVM
N9A
NCXOZ
O-L
O9-
OAUVE
OHT
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
RNS
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SPCBC
SSV
SSZ
T5K
TN5
TWZ
UPT
WH7
WUQ
XJT
XOL
XPP
YQT
ZCG
ZMT
ZU3
ZY4
~G-
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
ADVLN
AEIPS
AEUPX
AFJKZ
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
CITATION
EFKBS
~HD
ID FETCH-LOGICAL-c215t-4ab1a361b0c1693cf2ea102443f058a43c4657218eb6bea7dbc07f51cbe6b9123
ISSN 0022-0000
IngestDate Sat Nov 29 04:16:30 EST 2025
Tue Nov 18 20:54:14 EST 2025
Fri Feb 23 02:39:28 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Stringology
Complexity dichotomy
Combinatorial algorithms
Hamming distance
NP-hard problems
Consensus problems
Graph factors
2-SAT
Sunflowers
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c215t-4ab1a361b0c1693cf2ea102443f058a43c4657218eb6bea7dbc07f51cbe6b9123
ORCID 0000-0002-8684-0611
PageCount 23
ParticipantIDs crossref_primary_10_1016_j_jcss_2022_10_001
crossref_citationtrail_10_1016_j_jcss_2022_10_001
elsevier_sciencedirect_doi_10_1016_j_jcss_2022_10_001
PublicationCentury 2000
PublicationDate March 2023
2023-03-00
PublicationDateYYYYMMDD 2023-03-01
PublicationDate_xml – month: 03
  year: 2023
  text: March 2023
PublicationDecade 2020
PublicationTitle Journal of computer and system sciences
PublicationYear 2023
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
References Gao, Langberg, Schulman (br0220) 2008; 40
Koana, Froese, Niedermeier (br0290) 2020
Lippert, Schwartz, Lancia, Istrail (br0310) 2002; 3
Eiben, Ganian, Kanj, Ordyniak, Szeider (br0380) 2022
Bafna, Istrail, Lancia, Rizzi (br0020) 2005; 335
Bulteau, Froese, Niedermeier (br0070) 2020; 34
Bulteau, Schmid (br0090) 2020; 82
Lo, Kakaradov, Lokshtanov, SeeSite (br0320) 2014; 11
Ganian, Kanj, Ordyniak, Szeider (br0210) 2018; vol. 80
Aspvall, Plass, Tarjan (br0010) 1979; 8
Berman, Karpinski, Scott (br0040) 2003; TR03–049
Basavaraju, Panolan, Rai, Ramanujan, Saurabh (br0030) 2018; 730
Eiben, Fomin, Golovach, Lochet, Panolan, Simonov (br0130) 2021
Lee, Schulman (br0300) 2013
Cygan, Lokshtanov, Pilipczuk, Pilipczuk, Saurabh (br0100) 2016
Ganian, Kanj, Ordyniak, Szeider (br0200) 2020
Bulteau, Hüffner, Komusiewicz, Niedermeier (br0080) 2014; 114
Gao, Langberg, Schulman (br0230) 2010; 7
Marom, Feldman (br0330) 2019
Hermelin, Rozenberg (br0260) 2015; 600
Boucher, Lo, Lokshantov (br0050) 2015
Flum, Grohe (br0160) 2006
Gramm, Niedermeier, Rossmanith (br0250) 2003; 37
Schmid (br0350) 2017; 9
Froese, van Bevern, Niedermeier, Sorge (br0180) 2016; 82
Gąsieniec, Jansson, Lingas (br0240) 2004; 2
Erdős, Rado (br0150) 1960; 1
Bringmann, Künnemann (br0060) 2018
Gabow (br0190) 1983
Williams (br0370) 2005; 348
Eiben, Ganian, Kanj, Ordyniak, Szeider (br0140) 2021
Jukna (br0280) 2011
Frances, Litman (br0170) 1997; 30
Moore, Robson (br0340) 2001; 26
Deza (br0120) 1974; 16
Johnson (br0270) 1990; vol. 40
Wang, Li, Ma (br0360) 2016
Deza (br0110) 1973; 6
Johnson (10.1016/j.jcss.2022.10.001_br0270) 1990; vol. 40
Lippert (10.1016/j.jcss.2022.10.001_br0310) 2002; 3
Bulteau (10.1016/j.jcss.2022.10.001_br0080) 2014; 114
Bulteau (10.1016/j.jcss.2022.10.001_br0070) 2020; 34
Frances (10.1016/j.jcss.2022.10.001_br0170) 1997; 30
Bulteau (10.1016/j.jcss.2022.10.001_br0090) 2020; 82
Gąsieniec (10.1016/j.jcss.2022.10.001_br0240) 2004; 2
Basavaraju (10.1016/j.jcss.2022.10.001_br0030) 2018; 730
Aspvall (10.1016/j.jcss.2022.10.001_br0010) 1979; 8
Gao (10.1016/j.jcss.2022.10.001_br0220) 2008; 40
Froese (10.1016/j.jcss.2022.10.001_br0180) 2016; 82
Koana (10.1016/j.jcss.2022.10.001_br0290) 2020
Wang (10.1016/j.jcss.2022.10.001_br0360) 2016
Gramm (10.1016/j.jcss.2022.10.001_br0250) 2003; 37
Lee (10.1016/j.jcss.2022.10.001_br0300) 2013
Bafna (10.1016/j.jcss.2022.10.001_br0020) 2005; 335
Deza (10.1016/j.jcss.2022.10.001_br0110) 1973; 6
Gao (10.1016/j.jcss.2022.10.001_br0230) 2010; 7
Moore (10.1016/j.jcss.2022.10.001_br0340) 2001; 26
Bringmann (10.1016/j.jcss.2022.10.001_br0060) 2018
Marom (10.1016/j.jcss.2022.10.001_br0330) 2019
Flum (10.1016/j.jcss.2022.10.001_br0160) 2006
Jukna (10.1016/j.jcss.2022.10.001_br0280) 2011
Deza (10.1016/j.jcss.2022.10.001_br0120) 1974; 16
Williams (10.1016/j.jcss.2022.10.001_br0370) 2005; 348
Eiben (10.1016/j.jcss.2022.10.001_br0380) 2022
Lo (10.1016/j.jcss.2022.10.001_br0320) 2014; 11
Erdős (10.1016/j.jcss.2022.10.001_br0150) 1960; 1
Berman (10.1016/j.jcss.2022.10.001_br0040) 2003; TR03–049
Hermelin (10.1016/j.jcss.2022.10.001_br0260) 2015; 600
Cygan (10.1016/j.jcss.2022.10.001_br0100) 2016
Eiben (10.1016/j.jcss.2022.10.001_br0130) 2021
Schmid (10.1016/j.jcss.2022.10.001_br0350) 2017; 9
Eiben (10.1016/j.jcss.2022.10.001_br0140) 2021
Ganian (10.1016/j.jcss.2022.10.001_br0200) 2020
Ganian (10.1016/j.jcss.2022.10.001_br0210) 2018; vol. 80
Boucher (10.1016/j.jcss.2022.10.001_br0050) 2015
Gabow (10.1016/j.jcss.2022.10.001_br0190) 1983
References_xml – volume: 730
  start-page: 21
  year: 2018
  end-page: 31
  ident: br0030
  article-title: On the kernelization complexity of string problems
  publication-title: Theor. Comput. Sci.
– start-page: 20:1
  year: 2020
  end-page: 20:14
  ident: br0290
  article-title: Parameterized algorithms for matrix completion with radius constraints
  publication-title: Proceedings of the 31st Annual Symposium on Combinatorial Pattern Matching (CPM '20)
– volume: 348
  start-page: 357
  year: 2005
  end-page: 365
  ident: br0370
  article-title: A new algorithm for optimal 2-constraint satisfaction and its implications
  publication-title: Theor. Comput. Sci.
– year: 2006
  ident: br0160
  article-title: Parameterized Complexity Theory
  publication-title: Texts in Theoretical Computer Science. An EATCS Series
– volume: 37
  start-page: 25
  year: 2003
  end-page: 42
  ident: br0250
  article-title: Fixed-parameter algorithms for closest string and related problems
  publication-title: Algorithmica
– volume: 3
  start-page: 23
  year: 2002
  end-page: 31
  ident: br0310
  article-title: Algorithmic strategies for the single nucleotide polymorphism haplotype assembly problem
  publication-title: Brief. Bioinform.
– volume: 2
  start-page: 289
  year: 2004
  end-page: 301
  ident: br0240
  article-title: Approximation algorithms for Hamming clustering problems
  publication-title: J. Discret. Algorithms
– volume: 82
  start-page: 521
  year: 2016
  end-page: 535
  ident: br0180
  article-title: Exploiting hidden structure in selecting dimensions that distinguish vectors
  publication-title: J. Comput. Syst. Sci.
– start-page: 12797
  year: 2019
  end-page: 12806
  ident: br0330
  article-title: k-Means clustering of lines for big data
  publication-title: Proceedings of the 33rd Annual Conference on Neural Information Processing Systems 2019 (NeurIPS '19)
– volume: 335
  start-page: 109
  year: 2005
  end-page: 125
  ident: br0020
  article-title: Polynomial and APX-hard cases of the individual haplotyping problem
  publication-title: Theor. Comput. Sci.
– volume: 16
  start-page: 166
  year: 1974
  end-page: 167
  ident: br0120
  article-title: Solution d'un problème de Erdős-Lovász
  publication-title: J. Comb. Theory, Ser. B
– volume: 9
  start-page: 13:1
  year: 2017
  end-page: 13:18
  ident: br0350
  article-title: Finding consensus strings with small length difference between input and solution strings
  publication-title: ACM Trans. Comput. Theory
– volume: 8
  start-page: 121
  year: 1979
  end-page: 123
  ident: br0010
  article-title: A linear-time algorithm for testing the truth of certain quantified Boolean formulas
  publication-title: Inf. Process. Lett.
– volume: 30
  start-page: 113
  year: 1997
  end-page: 119
  ident: br0170
  article-title: On covering problems of codes
  publication-title: Theory Comput. Syst.
– start-page: 448
  year: 1983
  end-page: 456
  ident: br0190
  article-title: An efficient reduction technique for degree-constrained subgraph and bidirected network flow problems
  publication-title: 15th Annual ACM Symposium on Theory of Computing (STOC '83)
– start-page: 239
  year: 2015
  end-page: 250
  ident: br0050
  article-title: Consensus patterns (probably) has no EPTAS
  publication-title: Proceedings of the 23rd Annual European Symposium on Algorithms (ESA '15)
– start-page: 1216
  year: 2018
  end-page: 1235
  ident: br0060
  article-title: Multivariate fine-grained complexity of longest common subsequence
  publication-title: 29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '18)
– volume: TR03–049
  year: 2003
  ident: br0040
  article-title: Approximation hardness of short symmetric instances of MAX-3SAT
  publication-title: Electron. Colloq. Comput. Complex.
– volume: 1
  start-page: 85
  year: 1960
  end-page: 90
  ident: br0150
  article-title: Intersection theorems for systems of sets
  publication-title: J. Lond. Math. Soc.
– volume: 26
  start-page: 573
  year: 2001
  end-page: 590
  ident: br0340
  article-title: Hard tiling problems with simple tiles
  publication-title: Discrete Comput. Geom.
– volume: 600
  start-page: 11
  year: 2015
  end-page: 18
  ident: br0260
  article-title: Parameterized complexity analysis for the closest string with wildcards problem
  publication-title: Theor. Comput. Sci.
– start-page: 2649
  year: 2021
  end-page: 2659
  ident: br0130
  article-title: EPTAS for k-means clustering of affine subspaces
  publication-title: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA '21)
– volume: vol. 80
  start-page: 1642
  year: 2018
  end-page: 1651
  ident: br0210
  article-title: Parameterized algorithms for the matrix completion problem
  publication-title: 35th International Conference on Machine Learning (ICML '18)
– volume: 40
  start-page: 537
  year: 2008
  end-page: 560
  ident: br0220
  article-title: Analysis of incomplete data and an intrinsic-dimension Helly theorem
  publication-title: Discrete Comput. Geom.
– volume: vol. 40
  start-page: 171
  year: 1990
  end-page: 198
  ident: br0270
  article-title: Matrix completion problems: a survey
  publication-title: Matrix Theory and Applications
– start-page: 3906
  year: 2020
  end-page: 3913
  ident: br0200
  article-title: On the parameterized complexity of clustering incomplete data into subspaces of small rank
  publication-title: The 34th AAAI Conference on Artificial Intelligence (AAAI '20)
– volume: 114
  year: 2014
  ident: br0080
  article-title: Multivariate algorithmics for NP-hard string problems
  publication-title: Bull. Eur. Assoc. Theor. Comput. Sci.
– volume: 11
  start-page: 648
  year: 2014
  end-page: 656
  ident: br0320
  article-title: Characterizing relationships between splice junctions and splicing enhancers
  publication-title: IEEE/ACM Trans. Comput. Biol. Bioinform.
– start-page: 810
  year: 2013
  end-page: 827
  ident: br0300
  article-title: Clustering affine subspaces: hardness and algorithms
  publication-title: Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '13)
– volume: 82
  start-page: 1378
  year: 2020
  end-page: 1409
  ident: br0090
  article-title: Consensus strings with small maximum distance and small distance sum
  publication-title: Algorithmica
– start-page: 12:1
  year: 2016
  end-page: 12:10
  ident: br0100
  article-title: Lower bounds for approximation schemes for closest string
  publication-title: Proceedings of the 15th Scandinavian Symposium and Workshops on Algorithm Theory
– start-page: 7296
  year: 2021
  end-page: 7304
  ident: br0140
  article-title: The parameterized complexity of clustering incomplete data
  publication-title: The 35th AAAI Conference on Artificial Intelligence (AAAI '21)
– start-page: 47:1
  year: 2022
  end-page: 47:14
  ident: br0380
  article-title: Finding a cluster in incomplete data
  publication-title: Proceedings of the 30th Annual European Symposium on Algorithms (ESA '22)
– year: 2011
  ident: br0280
  article-title: Extremal Combinatorics: With Applications in Computer Science
– volume: 7
  start-page: 8:1
  year: 2010
  end-page: 8:26
  ident: br0230
  article-title: Clustering lines in high-dimensional space: classification of incomplete data
  publication-title: ACM Trans. Algorithms
– volume: 34
  start-page: 1854
  year: 2020
  end-page: 1883
  ident: br0070
  article-title: Tight hardness results for consensus problems on circular strings and time series
  publication-title: SIAM J. Discrete Math.
– volume: 6
  start-page: 343
  year: 1973
  end-page: 352
  ident: br0110
  article-title: Une propriété extrémale des plans projectifs finis dans une classe de codes équidistants
  publication-title: Discrete Math.
– start-page: 321
  year: 2016
  end-page: 324
  ident: br0360
  article-title: Closest string and substring problems
  publication-title: Encyclopedia of Algorithms
– volume: 335
  start-page: 109
  issue: 1
  year: 2005
  ident: 10.1016/j.jcss.2022.10.001_br0020
  article-title: Polynomial and APX-hard cases of the individual haplotyping problem
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2004.12.017
– start-page: 239
  year: 2015
  ident: 10.1016/j.jcss.2022.10.001_br0050
  article-title: Consensus patterns (probably) has no EPTAS
– volume: 26
  start-page: 573
  issue: 4
  year: 2001
  ident: 10.1016/j.jcss.2022.10.001_br0340
  article-title: Hard tiling problems with simple tiles
  publication-title: Discrete Comput. Geom.
  doi: 10.1007/s00454-001-0047-6
– volume: 8
  start-page: 121
  issue: 3
  year: 1979
  ident: 10.1016/j.jcss.2022.10.001_br0010
  article-title: A linear-time algorithm for testing the truth of certain quantified Boolean formulas
  publication-title: Inf. Process. Lett.
  doi: 10.1016/0020-0190(79)90002-4
– volume: TR03–049
  year: 2003
  ident: 10.1016/j.jcss.2022.10.001_br0040
  article-title: Approximation hardness of short symmetric instances of MAX-3SAT
  publication-title: Electron. Colloq. Comput. Complex.
– volume: 82
  start-page: 1378
  issue: 5
  year: 2020
  ident: 10.1016/j.jcss.2022.10.001_br0090
  article-title: Consensus strings with small maximum distance and small distance sum
  publication-title: Algorithmica
  doi: 10.1007/s00453-019-00647-9
– volume: 9
  start-page: 13:1
  issue: 3
  year: 2017
  ident: 10.1016/j.jcss.2022.10.001_br0350
  article-title: Finding consensus strings with small length difference between input and solution strings
  publication-title: ACM Trans. Comput. Theory
  doi: 10.1145/3110290
– year: 2011
  ident: 10.1016/j.jcss.2022.10.001_br0280
– volume: 11
  start-page: 648
  issue: 4
  year: 2014
  ident: 10.1016/j.jcss.2022.10.001_br0320
  article-title: Characterizing relationships between splice junctions and splicing enhancers
  publication-title: IEEE/ACM Trans. Comput. Biol. Bioinform.
  doi: 10.1109/TCBB.2014.2304294
– volume: 34
  start-page: 1854
  issue: 3
  year: 2020
  ident: 10.1016/j.jcss.2022.10.001_br0070
  article-title: Tight hardness results for consensus problems on circular strings and time series
  publication-title: SIAM J. Discrete Math.
  doi: 10.1137/19M1255781
– volume: 37
  start-page: 25
  issue: 1
  year: 2003
  ident: 10.1016/j.jcss.2022.10.001_br0250
  article-title: Fixed-parameter algorithms for closest string and related problems
  publication-title: Algorithmica
  doi: 10.1007/s00453-003-1028-3
– volume: 730
  start-page: 21
  year: 2018
  ident: 10.1016/j.jcss.2022.10.001_br0030
  article-title: On the kernelization complexity of string problems
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2018.03.024
– start-page: 321
  year: 2016
  ident: 10.1016/j.jcss.2022.10.001_br0360
  article-title: Closest string and substring problems
– start-page: 12:1
  year: 2016
  ident: 10.1016/j.jcss.2022.10.001_br0100
  article-title: Lower bounds for approximation schemes for closest string
– volume: vol. 40
  start-page: 171
  year: 1990
  ident: 10.1016/j.jcss.2022.10.001_br0270
  article-title: Matrix completion problems: a survey
– volume: 16
  start-page: 166
  issue: 4
  year: 1974
  ident: 10.1016/j.jcss.2022.10.001_br0120
  article-title: Solution d'un problème de Erdős-Lovász
  publication-title: J. Comb. Theory, Ser. B
  doi: 10.1016/0095-8956(74)90059-8
– volume: 30
  start-page: 113
  issue: 2
  year: 1997
  ident: 10.1016/j.jcss.2022.10.001_br0170
  article-title: On covering problems of codes
  publication-title: Theory Comput. Syst.
  doi: 10.1007/BF02679443
– volume: 348
  start-page: 357
  issue: 2–3
  year: 2005
  ident: 10.1016/j.jcss.2022.10.001_br0370
  article-title: A new algorithm for optimal 2-constraint satisfaction and its implications
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2005.09.023
– start-page: 7296
  year: 2021
  ident: 10.1016/j.jcss.2022.10.001_br0140
  article-title: The parameterized complexity of clustering incomplete data
– start-page: 47:1
  year: 2022
  ident: 10.1016/j.jcss.2022.10.001_br0380
  article-title: Finding a cluster in incomplete data
– volume: 2
  start-page: 289
  issue: 2
  year: 2004
  ident: 10.1016/j.jcss.2022.10.001_br0240
  article-title: Approximation algorithms for Hamming clustering problems
  publication-title: J. Discret. Algorithms
  doi: 10.1016/S1570-8667(03)00079-0
– volume: 82
  start-page: 521
  issue: 3
  year: 2016
  ident: 10.1016/j.jcss.2022.10.001_br0180
  article-title: Exploiting hidden structure in selecting dimensions that distinguish vectors
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/j.jcss.2015.11.011
– volume: 7
  start-page: 8:1
  issue: 1
  year: 2010
  ident: 10.1016/j.jcss.2022.10.001_br0230
  article-title: Clustering lines in high-dimensional space: classification of incomplete data
  publication-title: ACM Trans. Algorithms
  doi: 10.1145/1868237.1868246
– volume: 6
  start-page: 343
  issue: 4
  year: 1973
  ident: 10.1016/j.jcss.2022.10.001_br0110
  article-title: Une propriété extrémale des plans projectifs finis dans une classe de codes équidistants
  publication-title: Discrete Math.
  doi: 10.1016/0012-365X(73)90065-4
– volume: 40
  start-page: 537
  issue: 4
  year: 2008
  ident: 10.1016/j.jcss.2022.10.001_br0220
  article-title: Analysis of incomplete data and an intrinsic-dimension Helly theorem
  publication-title: Discrete Comput. Geom.
  doi: 10.1007/s00454-008-9107-5
– start-page: 2649
  year: 2021
  ident: 10.1016/j.jcss.2022.10.001_br0130
  article-title: EPTAS for k-means clustering of affine subspaces
– start-page: 810
  year: 2013
  ident: 10.1016/j.jcss.2022.10.001_br0300
  article-title: Clustering affine subspaces: hardness and algorithms
– start-page: 448
  year: 1983
  ident: 10.1016/j.jcss.2022.10.001_br0190
  article-title: An efficient reduction technique for degree-constrained subgraph and bidirected network flow problems
– volume: 600
  start-page: 11
  year: 2015
  ident: 10.1016/j.jcss.2022.10.001_br0260
  article-title: Parameterized complexity analysis for the closest string with wildcards problem
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2015.06.043
– start-page: 3906
  year: 2020
  ident: 10.1016/j.jcss.2022.10.001_br0200
  article-title: On the parameterized complexity of clustering incomplete data into subspaces of small rank
– start-page: 1216
  year: 2018
  ident: 10.1016/j.jcss.2022.10.001_br0060
  article-title: Multivariate fine-grained complexity of longest common subsequence
– start-page: 12797
  year: 2019
  ident: 10.1016/j.jcss.2022.10.001_br0330
  article-title: k-Means clustering of lines for big data
– volume: 114
  year: 2014
  ident: 10.1016/j.jcss.2022.10.001_br0080
  article-title: Multivariate algorithmics for NP-hard string problems
  publication-title: Bull. Eur. Assoc. Theor. Comput. Sci.
– volume: 3
  start-page: 23
  issue: 1
  year: 2002
  ident: 10.1016/j.jcss.2022.10.001_br0310
  article-title: Algorithmic strategies for the single nucleotide polymorphism haplotype assembly problem
  publication-title: Brief. Bioinform.
  doi: 10.1093/bib/3.1.23
– start-page: 20:1
  year: 2020
  ident: 10.1016/j.jcss.2022.10.001_br0290
  article-title: Parameterized algorithms for matrix completion with radius constraints
– volume: 1
  start-page: 85
  issue: 1
  year: 1960
  ident: 10.1016/j.jcss.2022.10.001_br0150
  article-title: Intersection theorems for systems of sets
  publication-title: J. Lond. Math. Soc.
  doi: 10.1112/jlms/s1-35.1.85
– year: 2006
  ident: 10.1016/j.jcss.2022.10.001_br0160
  article-title: Parameterized Complexity Theory
– volume: vol. 80
  start-page: 1642
  year: 2018
  ident: 10.1016/j.jcss.2022.10.001_br0210
  article-title: Parameterized algorithms for the matrix completion problem
SSID ssj0011563
Score 2.4041142
Snippet We thoroughly study a novel but basic combinatorial matrix completion problem: Given a binary incomplete matrix, fill in the missing entries so that every pair...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 45
SubjectTerms 2-SAT
Combinatorial algorithms
Complexity dichotomy
Consensus problems
Graph factors
Hamming distance
NP-hard problems
Stringology
Sunflowers
Title The complexity of binary matrix completion under diameter constraints
URI https://dx.doi.org/10.1016/j.jcss.2022.10.001
Volume 132
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: ScienceDirect Freedom Collection - Elsevier
  customDbUrl:
  eissn: 1090-2724
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0011563
  issn: 0022-0000
  databaseCode: AIEXJ
  dateStart: 20211213
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3JTsMwELXYDnBgR-zygRsKajYnOSJUBBwqDgX1FtmuI1LRpEoL6uczEzsLq-DAJarcZpJmnjwT-80bQs4ABzDucctJWMfy4AXD4r7yrCEPIxZIzqOhKJtNBL1eOBhE94YSNC3bCQRZFs7n0eRfXQ1j4Gwsnf2Du2ujMACfwelwBLfD8deOL4niam7oFkLX3I5RjX9uvivdjgVkBS6_jpEUgwz0adkyQqs7fZGzStMDotxy0CLQ5yaGNptCOdd1Zv18nD-lRV5DpMiVbuP4mGayRbjppahoMVap6cOcPyftxQjHbdhYreIAjIHvJlizgqmnSK0eaYKtbsXxaRrXKwqji5GcoqS641yUDDy7CVrVRv2HWFYzDCvy2ihGGzHagAFk8C2SZSfwI5jEly9vu4O7es8J3mTdSlse_4IpsdJswI938nUa00pN-ptk3fiHXmosbJEFlW2TjapfBzXT9zZZa4lP7pAuAIU2QKF5QjVQqAYKbYBCS6DQCii0BZRd8nDd7V_dWKaphiUhu5tZHhc2d5ktOhJ1eGTiKA5Jpue5SccPuedKj_kBJH5KMKF4MBSyEyS-LYViIoI8Z48sZXmm9glN7GHCwQZjIgSzkOqyyPdxa9_GPFAeELt6RrE0ivN4c8_x9945IOf1OROtt_Ljr_3q0ccG7ToTjAFJP5x3-KerHJHVBuvHZGlWvKgTsiJfZ-m0ODUwegN6to9V
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+complexity+of+binary+matrix+completion+under+diameter+constraints&rft.jtitle=Journal+of+computer+and+system+sciences&rft.au=Koana%2C+Tomohiro&rft.au=Froese%2C+Vincent&rft.au=Niedermeier%2C+Rolf&rft.date=2023-03-01&rft.issn=0022-0000&rft.volume=132&rft.spage=45&rft.epage=67&rft_id=info:doi/10.1016%2Fj.jcss.2022.10.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jcss_2022_10_001
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0022-0000&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0022-0000&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0022-0000&client=summon