Discrete Mathematics

Authors and titles for February 2020

[51] arXiv:2002.04711 (cross-list from cs.AI) [pdf, other]

Title: Bi-objective Optimization of Biclustering with Binary Data

Fred Glover, Said Hanafi, Gintaras Palubeckis

Comments: 37 pages

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Optimization and Control (math.OC)

[52] arXiv:2002.05068 (cross-list from cs.DS) [pdf, other]

Title: The Complexity of Binary Matrix Completion Under Diameter Constraints

Tomohiro Koana, Vincent Froese, Rolf Niedermeier

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[53] arXiv:2002.05121 (cross-list from cs.DS) [pdf, other]

Title: An Optimal Decentralized $(Δ+ 1)$-Coloring Algorithm

Daniel Bertschinger, Johannes Lengler, Anders Martinsson, Robert Meier, Angelika Steger, Miloš Trujić, Emo Welzl

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[54] arXiv:2002.05238 (cross-list from math.RA) [pdf, other]

Title: The structure of multigranular rough sets

Jouni Järvinen, Sándor Radeleczki

Comments: Keywords: equivalence relation, multigranular approximation, definable set, rough set, coherence, tolerance relation, irredundant covering, atomistic Boolean lattice, completely distributive lattice, Dedekind-MacNeille completion

Journal-ref: Fundamenta Informaticae, vol. 176, no. 1, pp. 17-41, 2020

Subjects: Rings and Algebras (math.RA); Discrete Mathematics (cs.DM)

[55] arXiv:2002.05298 (cross-list from quant-ph) [pdf, other]

Title: Breaking limitation of quantum annealer in solving optimization problems under constraints

Masayuki Ohzeki

Comments: 16pages 10 figures

Subjects: Quantum Physics (quant-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Discrete Mathematics (cs.DM)

[56] arXiv:2002.05336 (cross-list from math.CO) [pdf, other]

Title: A generalization of the Kővári-Sós-Turán theorem

Jesse Geneson

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[57] arXiv:2002.05363 (cross-list from math.CO) [pdf, other]

Title: Notes on Tree- and Path-chromatic Number

Tony Huynh, Bruce Reed, David R. Wood, Liana Yepremyan

Comments: 11 pages, 0 figures

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[58] arXiv:2002.05421 (cross-list from cs.NE) [pdf, other]

Title: Genetic Algorithms for Redundancy in Interaction Testing

Ryan E. Dougherty

Comments: Submitted to Genetic and Evolutionary Computation Conference 2020 (GECCO '20)

Subjects: Neural and Evolutionary Computing (cs.NE); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[59] arXiv:2002.05443 (cross-list from q-bio.QM) [pdf, other]

Title: Tight Bounds for the Cover Times of Random Walks with Heterogeneous Step Lengths

Brieuc Guinard (IRIF, CNRS, UPD7), Amos Korman (IRIF, CNRS, UPD7)

Subjects: Quantitative Methods (q-bio.QM); Discrete Mathematics (cs.DM)

[60] arXiv:2002.05580 (cross-list from cs.DS) [pdf, other]

Title: Drawing Graphs as Spanners

Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin, Birgit Vogtenhuber

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[61] arXiv:2002.05998 (cross-list from math.CO) [pdf, other]

Title: On $k$-Bend and Monotonic $\ell$-Bend Edge Intersection Graphs of Paths on a Grid

Eranda Çela, Elisabeth Gaar

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[62] arXiv:2002.06004 (cross-list from math.CT) [pdf, other]

Title: Abstract rewriting internalized

Maxime Lucas

Comments: 14 pages

Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM)

[63] arXiv:2002.06005 (cross-list from cs.DC) [pdf, other]

Title: A Breezing Proof of the KMW Bound

Corinna Coupette, Christoph Lenzen

Comments: 20 pages, 6 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[64] arXiv:2002.06451 (cross-list from cs.CC) [pdf, html, other]

Title: Symmetric Arithmetic Circuits

Anuj Dawar, Gregory Wilsenach

Comments: 30 pages. Final version, to appear in Theory of Computing. A preliminary version of this work was presented at the International Colloquium on Automata, Languages and Programming (ICALP) 2020

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[65] arXiv:2002.06731 (cross-list from math.OC) [pdf, other]

Title: A two-stage algorithm for aircraft conflict resolution with trajectory recovery

Fernando H. C. Dias, Stephanie Rahme, David Rey

Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)

[66] arXiv:2002.06997 (cross-list from cs.DS) [pdf, other]

Title: Hypergraph Isomorphism for Groups with Restricted Composition Factors

Daniel Neuen

Comments: 50 pages, 5 figures, full version of a paper accepted at ICALP 2020; second version improves the presentation of the results

Journal-ref: ACM Trans. Algorithms 18(3): 27:1-27:50 (2022)

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[67] arXiv:2002.07095 (cross-list from math.NT) [pdf, other]

Title: Product Subset Problem : Applications to number theory and cryptography

K.A.Draziotis, V. Martidis, S. Tiganourias

Comments: 18 pages, 2 figures, LaTeX; references added, minor improvements

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM)

[68] arXiv:2002.07207 (cross-list from cs.DS) [pdf, other]

Title: Semi-dynamic Algorithms for Strongly Chordal Graphs

Md. Zamilur Rahman, Asish Mukhopadhyay

Comments: 12 pages and 13 figures

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[69] arXiv:2002.07211 (cross-list from cs.DS) [pdf, other]

Title: Spectrum preserving short cycle removal on regular graphs

Pedro Paredes

Comments: 21 pages

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[70] arXiv:2002.07411 (cross-list from math.PR) [pdf, other]

Title: Quasi-majority Functional Voting on Expander Graphs

Nobutaka Shimizu, Takeharu Shiraga

Subjects: Probability (math.PR); Discrete Mathematics (cs.DM)

[71] arXiv:2002.07574 (cross-list from math.GR) [pdf, other]

Title: The Post Correspondence Problem and equalisers for certain free group and monoid morphisms

Laura Ciobanu, Alan D. Logan

Comments: 16 pages, final version incorporating referees comments

Journal-ref: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), volume 168, pp. 120:1-120:16

Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[72] arXiv:2002.07723 (cross-list from cs.CG) [pdf, other]

Title: Discrete Line Fields on Surfaces

Tiago Novello, João Paixão, Carlos Tomei, Thomas Lewiner

Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

[73] arXiv:2002.07912 (cross-list from cs.DS) [pdf, other]

Title: Simplex based Steiner tree instances yield large integrality gaps for the bidirected cut relaxation

Robert Vicari

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[74] arXiv:2002.07925 (cross-list from math.CO) [pdf, other]

Title: On Tuza's conjecture for triangulations and graphs with small treewidth

Fábio Botler, Cristina G. Fernandes, Juan Gutiérrez

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[75] arXiv:2002.08181 (cross-list from cs.LO) [pdf, other]

Title: Interface Modeling for Quality and Resource Management

Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 2 (May 26, 2021) lmcs:6128

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Performance (cs.PF)