Computational Complexity

Authors and titles for cs.CC in Mar 2018, skipping first 20

[21]  arXiv:1803.06878 [pdf, other]

Title: Parameterized Complexity of Fair Vertex Evaluation Problems

Authors: Dušan Knop, Tomáš Masařík, Tomáš Toufar

Comments: 25 pages, 5 figures, presented at MFCS 2019

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[22]  arXiv:1803.07376 [pdf]

Title: Sub-exponential Upper Bound for #XSAT of some CNF Classes

Authors: Bernd Schuh

Subjects: Computational Complexity (cs.CC)

[23]  arXiv:1803.07465 [pdf, other]

Title: A modification of the CSP algorithm for infinite languages

Authors: Dmitriy Zhuk

Comments: arXiv admin note: substantial text overlap with arXiv:1704.01914

Subjects: Computational Complexity (cs.CC)

[24]  arXiv:1803.09717 [pdf, ps, other]

Title: Parameterized Intractability of Even Set and Shortest Vector Problem from Gap-ETH

Authors: Arnab Bhattacharyya, Suprovat Ghoshal, Karthik C. S., Pasin Manurangsi

Subjects: Computational Complexity (cs.CC)

[25]  arXiv:1803.09963 [pdf, ps, other]

Title: An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem

Authors: Wenxia Guo, Jin Wang, Majun He, Xiaoqin Ren, Wenhong Tian, Qingxian Wang

Subjects: Computational Complexity (cs.CC)

[26]  arXiv:1803.10267 [pdf, ps, other]

Title: Real-Time Computability of Real Numbers by Chemical Reaction Networks

Authors: Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz

Subjects: Computational Complexity (cs.CC); Emerging Technologies (cs.ET)

[27]  arXiv:1803.10574 [pdf, ps, other]

Title: Non-Interlaced SAT is in P

Authors: Dr Serge Burckel

Comments: 3 pages

Subjects: Computational Complexity (cs.CC)

[28]  arXiv:1803.11134 [pdf, other]

Title: Capturing Polynomial Time using Modular Decomposition

Authors: Berit Grußien

Comments: 38 pages, 10 Figures. A preliminary version of this article appeared in the Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17)

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019) lmcs:5256

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

[29]  arXiv:1803.02409 (cross-list from cs.GT) [pdf, ps, other]

Title: On the parameterized complexity of manipulating Top Trading Cycles

Authors: William Phan, Christopher Purcell

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

[30]  arXiv:1803.03239 (cross-list from cs.LG) [pdf, ps, other]

Title: Fairness Through Computationally-Bounded Awareness

Authors: Michael P. Kim, Omer Reingold, Guy N. Rothblum

Comments: Appears at NeurIPS 2018

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)