Invariance of Function Complexity under Primitive
Recursive Functions
J. Woodward. The 5th annual UK Workshop on Computational
Intelligence, page 281--288. London, (5-7 September 2005)
Abstract
Genetic Programming (GP) banzhaf:1997:book
often uses a tree form of a graph to represent
solutions in a search space. An extension to this
representation, Automatically Defined Functions (ADFs)
banzhaf:1997:book is to allow the ability to
express modules. In woodward:Modularity we
proved that the complexity of a function is independent
of the primitive set (function set and terminal set) if
the representation has the ability to express modules.
This is essentially due to the fact that if a
representation can express modules, then it can
effectively define its own primitives at a constant
cost. This is analogous to the to the result that the
complexity of a bit string is independent of the
Universal Turing Machine (UTM) (within an additive
constant) ming93introduction. The constant
depending on the UTM but not on the function.
The representations typically used in GP are not
capable of expressing recursion, however a few
researchers have introduced recursion into the
representation. These representations are then capable
of expressing the primitive recursive functions (PRFs)
which are a subclass of the partial recursive function
(which correspond to the computable functions). We
prove that given two representations which express the
PRFs, the complexity of a function with respect to
either of these representations is invariant within an
additive constant. This is in the same vein as the
proof of the invariants of Kolmogorov complexity
ming93introduction and the proof in
woodward:Modularity. We comment on the important
of the class of PRFs for learning.
%0 Conference Paper
%1 woodward:2005:UKCIb
%A Woodward, John R.
%B The 5th annual UK Workshop on Computational
Intelligence
%C London
%D 2005
%E Mirkin, Boris
%E Magoulas, George
%K ADF algorithms, genetic programming,
%P 281--288
%T Invariance of Function Complexity under Primitive
Recursive Functions
%U http://www.dcs.bbk.ac.uk/ukci05/ukci05proceedings.pdf
%X Genetic Programming (GP) banzhaf:1997:book
often uses a tree form of a graph to represent
solutions in a search space. An extension to this
representation, Automatically Defined Functions (ADFs)
banzhaf:1997:book is to allow the ability to
express modules. In woodward:Modularity we
proved that the complexity of a function is independent
of the primitive set (function set and terminal set) if
the representation has the ability to express modules.
This is essentially due to the fact that if a
representation can express modules, then it can
effectively define its own primitives at a constant
cost. This is analogous to the to the result that the
complexity of a bit string is independent of the
Universal Turing Machine (UTM) (within an additive
constant) ming93introduction. The constant
depending on the UTM but not on the function.
The representations typically used in GP are not
capable of expressing recursion, however a few
researchers have introduced recursion into the
representation. These representations are then capable
of expressing the primitive recursive functions (PRFs)
which are a subclass of the partial recursive function
(which correspond to the computable functions). We
prove that given two representations which express the
PRFs, the complexity of a function with respect to
either of these representations is invariant within an
additive constant. This is in the same vein as the
proof of the invariants of Kolmogorov complexity
ming93introduction and the proof in
woodward:Modularity. We comment on the important
of the class of PRFs for learning.
@inproceedings{woodward:2005:UKCIb,
abstract = {Genetic Programming (GP) \cite{banzhaf:1997:book}
often uses a tree form of a graph to represent
solutions in a search space. An extension to this
representation, Automatically Defined Functions (ADFs)
\cite{banzhaf:1997:book} is to allow the ability to
express modules. In \cite{woodward:Modularity} we
proved that the complexity of a function is independent
of the primitive set (function set and terminal set) if
the representation has the ability to express modules.
This is essentially due to the fact that if a
representation can express modules, then it can
effectively define its own primitives at a constant
cost. This is analogous to the to the result that the
complexity of a bit string is independent of the
Universal Turing Machine (UTM) (within an additive
constant) \cite{ming93introduction}. The constant
depending on the UTM but not on the function.
The representations typically used in GP are not
capable of expressing recursion, however a few
researchers have introduced recursion into the
representation. These representations are then capable
of expressing the primitive recursive functions (PRFs)
which are a subclass of the partial recursive function
(which correspond to the computable functions). We
prove that given two representations which express the
PRFs, the complexity of a function with respect to
either of these representations is invariant within an
additive constant. This is in the same vein as the
proof of the invariants of Kolmogorov complexity
\cite{ming93introduction} and the proof in
\cite{woodward:Modularity}. We comment on the important
of the class of PRFs for learning.},
added-at = {2008-06-19T17:35:00.000+0200},
address = {London},
author = {Woodward, John R.},
biburl = {https://www.bibsonomy.org/bibtex/29a7b40a0332e086f047b9daf7704706e/brazovayeye},
booktitle = {The 5th annual UK Workshop on Computational
Intelligence},
editor = {Mirkin, Boris and Magoulas, George},
email = {jrw@cs.bham.ac.uk},
interhash = {7a3cfc5682bfca190b03e00f8fd39783},
intrahash = {9a7b40a0332e086f047b9daf7704706e},
keywords = {ADF algorithms, genetic programming,},
month = {5-7 September},
notes = {UKCI 2005 http://www.dcs.bbk.ac.uk/ukci05/},
pages = {281--288},
size = {8 pages},
timestamp = {2008-06-19T17:54:30.000+0200},
title = {Invariance of Function Complexity under Primitive
Recursive Functions},
url = {http://www.dcs.bbk.ac.uk/ukci05/ukci05proceedings.pdf},
year = 2005
}