Computing on binary strings

Many problems in Computer Science can be abstracted to the following question: given a set of objects and rules respectively, which new objects can be produced? In the paper, we consider a succinct version of the question: given a set of binary strings and several operations like conjunction and dis...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 562; pp. 122 - 128
Main Authors: Bu, Tian-Ming, Yuan, Chen, Zhang, Peng
Format: Journal Article
Language:English
Published: Elsevier B.V 2015
Subjects:
[formula omitted]-complete
[formula omitted]-hard
Algorithms
Approximation
Binary strings
Boolean operation
Combinatorial algorithm
Computation
Counting
Mathematical analysis
Operators
Strings
Binary strings
Boolean operation
NP-hard
P-complete
Combinatorial algorithm
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Many problems in Computer Science can be abstracted to the following question: given a set of objects and rules respectively, which new objects can be produced? In the paper, we consider a succinct version of the question: given a set of binary strings and several operations like conjunction and disjunction, which new binary strings can be generated? Although it is a fundamental problem, to the best of our knowledge, the problem hasn't been studied yet. In this paper, an O(m2n) algorithm is presented to determine whether a string s is representable by a set W, where n is the number of strings in W and each string has the same length m. However, looking for the minimum subset to represent a given string is shown to be NP-hard. Also, finding the smallest subset to represent each string in the original set is NP-hard. We establish tight inapproximability results and approximation algorithms for these NP-hard problems. In addition, we prove that counting the number of representable strings is #P-complete. We then explore how the problems change when the operator negation is available. For example, if the operator negation can be used, the counting problem is as simple as some power of 2. This difference may help us to better understand the problem.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2014.09.039