evosynth 0.1.0

data/lib/evosynth/evolvers/local_search/acceptance_record_to_record.rb

@@ -0,0 +1,69 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+module EvoSynth
+	module Evolvers
+
+		class LocalSearch
+
+			# AKZEPTANZ-RR (Weicker Page 158)
+
+			class RecordToRecordTravelAcceptance
+				attr_accessor :delta, :alpha
+
+				DEFAULT_START_DELTA = Float::MAX
+				DEFAULT_ALPHA = 0.9
+
+				def initialize(start_delta = DEFAULT_START_DELTA, alpha = DEFAULT_ALPHA)
+					@delta = start_delta
+					@alpha = alpha
+					@best = nil
+				end
+
+				def accepts(parent, child, generation)
+					@best = parent if @best.nil?
+					accepted = false
+
+					if child > @best
+						@best = child
+						accepted = true
+					else
+						threshold = Math.sqrt( (child.fitness - @best.fitness)**2 )
+						accepted = threshold < @delta
+					end
+
+					@delta *= @alpha
+					accepted
+				end
+
+				def to_s
+					"Record-to-Record-Travel Acceptance"
+				end
+
+			end
+
+		end
+
+	end
+end

data/lib/evosynth/evolvers/local_search/acceptance_simulated_annealing.rb

@@ -0,0 +1,59 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+module EvoSynth
+	module Evolvers
+
+		class LocalSearch
+
+			# AKZEPTANZ-SA (Weicker Page 156)
+
+			class SimulatedAnnealingAcceptance
+				attr_accessor :temperature, :alpha
+
+				DEFAULT_START_TEMP = Float::MAX
+				DEFAULT_ALPHA = 0.9
+
+				def initialize(start_temp = DEFAULT_START_TEMP, alpha = DEFAULT_ALPHA)
+					@temperature = start_temp
+					@alpha = alpha
+				end
+
+				def accepts(parent, child, generation)
+					threshold = Math.exp( -1 * Math.sqrt( (child.fitness - parent.fitness)**2 ) / @temperature)
+					@temperature *= @alpha
+
+					child > parent || EvoSynth.rand <= threshold
+				end
+
+				def to_s
+					"Simulated Annealing Acceptance"
+				end
+
+			end
+
+		end
+
+	end
+end

data/lib/evosynth/evolvers/local_search/acceptance_threshold.rb

@@ -0,0 +1,60 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+module EvoSynth
+	module Evolvers
+
+		class LocalSearch
+
+			# AKZEPTANZ-TA (Weicker Page 157)
+
+			class ThresholdAcceptance
+				attr_accessor :temperature, :alpha
+
+				DEFAULT_START_TEMP = Float::MAX
+				DEFAULT_ALPHA = 0.9
+
+				def initialize(start_temp = DEFAULT_START_TEMP, alpha = DEFAULT_ALPHA)
+					@temperature = start_temp
+					@alpha = alpha
+				end
+
+				def accepts(parent, child, generation)
+					threshold = Math.sqrt( (child.fitness - parent.fitness)**2 )
+					accepted = child > parent || threshold <= @temperature
+					@temperature *= @alpha
+
+					accepted
+				end
+
+				def to_s
+					"Threshold Acceptance"
+				end
+
+			end
+
+		end
+
+	end
+end

data/lib/evosynth/evolvers/local_search/local_search.rb

@@ -0,0 +1,74 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+require 'evosynth/evolvers/local_search/acceptance_hillclimber'
+require 'evosynth/evolvers/local_search/acceptance_simulated_annealing'
+require 'evosynth/evolvers/local_search/acceptance_threshold'
+require 'evosynth/evolvers/local_search/acceptance_great_deluge'
+require 'evosynth/evolvers/local_search/acceptance_record_to_record'
+
+
+module EvoSynth
+	module Evolvers
+
+		# LOKALE-SUCHE (Weicker Page 155)
+
+		class LocalSearch
+			include EvoSynth::Evolvers::Evolver
+
+			DEFAULT_ACCEPTANCE = HillclimberAcceptance.new
+
+			def initialize(profile)
+				init_profile :individual, :mutation, :evaluator, :acceptance => DEFAULT_ACCEPTANCE
+
+				use_profile profile
+
+				@evaluator.calculate_and_set_initial_fitness(@individual)
+			end
+
+			def to_s
+				"local search <mutation: #{@mutation}, individual: #{@individual}>"
+			end
+
+			def best_solution
+				@individual
+			end
+
+			def worst_solution
+				@individual
+			end
+
+			def return_result
+				@individual
+			end
+
+			def next_generation
+				child = @mutation.mutate(@individual)
+				@evaluator.calculate_and_set_fitness(child)
+				@individual = child if @acceptance.accepts(@individual, child, @generations_computed)
+			end
+		end
+
+	end
+end

data/lib/evosynth/evolvers/profile_using_evolver.rb

@@ -0,0 +1,77 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+module EvoSynth
+	module Evolvers
+
+		# This module provides the ability to use the Profile class in a evolver.
+
+		module ProfileUsingEvolver
+
+			def init_profile(*properties)
+				@properties = properties
+				@properties.each do |property|
+					if property.is_a?(Symbol)
+						self.class.send(:attr_accessor, property)
+					elsif property.is_a?(Hash)
+						property.keys.each { |key| self.class.send(:attr_accessor, key) }
+					else
+						raise ArgumentError, "argument type not supported"
+					end
+				end
+			end
+
+			def use_profile(profile)
+				@profile = profile
+				@properties.each do |property|
+					if property.is_a? Symbol
+							use_property(profile, property)
+					elsif property.is_a? Hash
+							use_property_hash(profile, property)
+					end
+				end
+			end
+
+			private
+
+			def use_property(profile, property)
+				accessor_symbol = "#{property.id2name}=".to_sym
+				value = profile.send(property.to_sym) rescue value = nil
+				raise "evolver profile is missing '#{property.id2name}' field" if value.nil?
+				self.send(accessor_symbol, value)
+			end
+
+			def use_property_hash(profile, property_hash)
+				property_hash.each_pair do |key, default_value|
+					accessor_symbol = "#{key.id2name}=".to_sym
+					value = profile.send(key.to_sym) rescue value = nil
+					value = default_value if value.nil?
+					self.send(accessor_symbol, value)
+				end
+			end
+
+		end
+
+	end
+end

data/lib/evosynth/evolvers/runnable_evolver.rb

@@ -0,0 +1,89 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+require 'observer'
+
+
+module EvoSynth
+	module Evolvers
+
+		# This module provides different termination strategies for evolvers as well
+		# as the observable property (observers will get notified each generation)
+
+		module RunnableEvolver
+			include Observable
+
+			attr_reader :generations_computed
+
+			def run_until(&condition) # :yields: generations computed, best solution
+				@generations_computed = 0
+				changed
+				notify_observers self, @generations_computed
+
+				case condition.arity
+					when 0
+						loop_condition = condition
+					when 1
+						loop_condition = lambda { !yield @generations_computed }
+					when 2
+						loop_condition = lambda { !yield @generations_computed, best_solution }
+				else
+					raise ArgumentError, "please provide a block with the arity of 0, 1 or 2"
+				end
+
+				while loop_condition.call
+					next_generation
+					@generations_computed += 1
+					changed
+					notify_observers self, @generations_computed
+				end
+
+				return_result
+			end
+
+			def run_until_generations_reached(max_generations)
+				run_until { |gen| gen == max_generations }
+			end
+
+			def run_until_fitness_reached(fitness)
+				goal = Goal.new(fitness)
+				run_until { |gen, best| best >= goal }
+			end
+
+			private
+
+			class Goal
+				def initialize(goal)
+					@goal = goal
+				end
+
+				def fitness
+					@goal
+				end
+			end
+
+		end
+
+	end
+end

data/lib/evosynth/operators.rb

@@ -0,0 +1,30 @@
+#	Copyright (c) 2009, 2010 Yves Adler <yves.adler@googlemail.com>
+#
+#	Permission is hereby granted, free of charge, to any person
+#	obtaining a copy of this software and associated documentation
+#	files (the "Software"), to deal in the Software without
+#	restriction, including without limitation the rights to use,
+#	copy, modify, merge, publish, distribute, sublicense, and/or sell
+#	copies of the Software, and to permit persons to whom the
+#	Software is furnished to do so, subject to the following
+#	conditions:
+#
+#	The above copyright notice and this permission notice shall be
+#	included in all copies or substantial portions of the Software.
+#
+#	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+#	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+#	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+#	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+#	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+#	OTHER DEALINGS IN THE SOFTWARE.
+
+
+require 'evosynth/operators/selections'
+require 'evosynth/operators/mutations'
+require 'evosynth/operators/recombinations'
+require 'evosynth/operators/global_recombinations'
+require 'evosynth/operators/adjustments'
+require 'evosynth/operators/meta_operators'