A partial order or poset P=(X, on a (finite) base set X?determines the set L(P)?of linear extensions of P. The problem of computing, for a poset P, the cardinality of L(P)?is #P-complete. A set {P1,P2,...,Pk}?of poset...
We propose the usage of formal languages for expressing instances of NP-complete problems for their application in polynomial transformations. The proposed approach, which consists of using formal language theory for ...
supported by the National Natural Science Foundation of China-Key Program under Grant No. 61032001;the National Natural Science Foundation of China under Grant No.60828006
This paper studies the sensor selection problem for random field estimation in wireless sensor networks. The authors first prove that selecting a set of I sensors that minimize the estimation error under the D-optimal...
The problem of perfectly secure communication has enjoyed considerable theoretical treatment over the last decades. Results in this area include the identification of multipath transmission as a necessary ingredient, ...
supported by the National Natural Science Foundation of China-Key Program (No. 61032001),the National Natural Science Foundation of China (No. 60828006)
We consider the random field estimation problem with parametric trend in wireless sensor networks where the field can be described by unknown parameters to be estimated. Due to the limited resources, the network selec...
The theory of parameterized computation and complexity is a recentlydeveloped subarea in theoretical computer science. The theory is aimed at practically solving alarge number of computational problems that are theore...
This note settles the complexity of the single genotype resolution problemshowing it is NP-complete. This solves an open problem raised by P. Bonizzoni, G.D. Vedova, R.Dondi, and J. Li. The same proof also gives an al...
Consistency checking is a fundamental computational problem in genetics.Given a pedigree and information on the genotypes (of some) of the individuals in it, the aim ofconsistency checking is to determine whether thes...
Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a ...