The ARNN model relativises P =NP and P≠NP
In this paper we prove that the relations P=NP and P<>NP relativise to the deterministic/non-deterministic artificial recurrent neural net (ARNN) with real weights (informally considered as oracles in Martin Davis (2006) [10,11]). Although, in the ...
Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly
The Pattern self-Assembly Tile set Synthesis (PATS) problem asks to determine a set of coloured tiles which, left alone in the solution, would self-assemble to implement a given rectangular colour pattern. Ma and Lombardi (2009) introduce and study the ...
State complexity of star of union and square of union on k regular languages
In this paper, we investigate the state complexities of (@__ __"i"="1^kL"i)^@__ __ and (@__ __"i"="1^kL"i)^2, where L"i, 1= =2 are regular languages. We establish exact bounds for both of these general combined operations and show that they are much ...
Enumeration approach to computing chemical equilibria
This paper concerns the problem of computing equilibrium of a chemical reaction system in which molecules are interacting locally in various ways and hybridize to produce a large assembly. Such a system can generate tremendously many assemblies from a ...
Universality of sequential spiking neural P systems based on minimum spike number
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. Each neuron can have several spiking rules and forgetting rules and neurons work in ...
State succinctness of two-way finite automata with quantum and classical states
Two-way finite automata with quantum and classical states (2QCFA) were introduced by Ambainis and Watrous in 2002. In this paper we study state succinctness of 2QCFA. For any m@__ __Z^+ and any @e<1/2, we show that:1.there is a promise problem A^e^q(m) ...
A note on the ε-indicator subset selection
The @e-indicator subset selection selects a subset of a nondominated point set that is as close as possible to a reference point set with respect to the @e-indicator. This selection procedure is used by population-based heuristic approaches for ...
