The Darwin Game - Rounds 0 to 10

by lsusr4 min read24th Oct 202034 comments

109

Game TheoryProgramming
Frontpage

The most important change between my game and Zvi's original is that bots can read each others' source code. They can simulate each other and predict each others' behavior. Within a day of the tournament launching—and an entire week before entries closed—Zack_M_Davis had already written a bot to simulate opponents and then open-sourced it to everyone.

That's what happens when a significant contributor to an open source Lisp dialect participates in a software competition.

Taleuntum wanted to write an even better simulator but was informed that it would take too many years to run.

Muticore solved the limited compute problem and wrote a safe, effective, obfuscated simulator, with randomization.

The Phantom Menace

Three separate people asked me what happens if a bot crashes the game while simulating an opponent with malware in it. This turned out not to matter because nobody deployed malware to destroy simulators. Only one player, Measure, deployed malware—and the malware didn't crash the game. Instead, it attempted to replace its opponent's move method with a method that returned 0 instead. But the threat of getting disqualified seemed to scare away other potential simulators.

Taleuntum did write a MatrixCrashingBot that crashes simulators but did not submit it. This is a disappointment, as Taleuntum would have been allowed to submit this bot as a separate entry on the grounds that it does not coordinate with Taleuntum's CloneBot. To my knowledge, nobody else took advantage of this deliberate loophole in the rules either.

RaterBot safely combed through its opponent's source code for "2"s and "3"s to estimate aggression without the dangers associated with running untrusted code.

Computer programs attempting to simulate each other can produce complex behavior. The behavior is so complex it is provably undecidable—and that's totally ignoring the real-world sandboxing problem.

Nevertheless, two contestants requested I write code to simulate their opponents. I refused these requests. Zvi[1] accepted a simpler bot and the other contestant dropped out.

I'm surprised running the enemy is complicated though—it should just be a function call.

―quote from the contestant who dropped out

The most significant use of an opponent's source code came from Vanilla_cabs.

Attack of the Clones

Zvi's original game was dominated by a clique of players who coordinated out-of-game to defeat the non-clique players. It worked great—and then defectors within the clique dominated both the non-clique players and the clique players.

Vanilla_cabs observed that players could use each other's source code to detect (and therefore punish) defection from a clique. Leveraging this insight, Vanilla_cabs created a CloneBot template that would cooperate only for the first 90 rounds—long enough to eliminate all non-clones—and then allow players to do whatever they wanted afterward.

Brilliantly, the CloneBots used the lexographic length of custom code to break parity symmetry and guarantee perfect coordination between CloneBot instances instead of having to fumble around for the initial rounds of each pairing.

At the same time, Vanilla_cabs worried that someone might attempt to bypass the CloneBot's self-recognition system. As a first line of defense, Vanilla_cabs kept the source code secret from non-cloners. As a second line of defense, Vanilla_cabs deliberately left open a weakness as a honeypot. Among the first co-conspirators in the clone army, only Lanrian reported this weakness.

Taleuntum, in contrast, contributed two lies to the clique intrigue.

I lied that I've already submitted one program detecting and crashing simulators…obviously I did not even plan to do so. Some time later…I added another lie that the method of detecting simulators was my friend's idea (hopefully suggesting that there is another contestant with the same method outside the clique).

Taleuntum

One player discovered a way to defect from the CloneBots.

Multicore

The original CloneBot template used splitlines() to parse source code. But the Python3 interpreter behaves slightly differently from splitlines(). In particular, splitlines() splits on the groups separator character 0x1D, which Python3 does not treat as a newline. By placing 0x1D group separator characters inside of a comment, Multicore's EarlyBirdMimicBot bypassed the CloneBot self-recognition system.

Multicore did a lot of things.

  • Wrote a simulator.
  • Optimized the simulator via a branching algorithm to perform efficient searches.
  • Used randomization to disrupt opposing simulators.
  • Protected the simulator from malware.
  • Joined the CloneBots.
  • Defected from the CloneBots via a zero-day exploit in the CloneBot code.
  • Recruited two friends to submit password bots to serve as fodder.
  • Adjusted strategy based on the round number.

When I hosted this tournament, I hadn't expected anyone to "[read] through the C code for the python lexer".

For a complete write-up of Multicore's strategy, including source code, see here.

On a side note, I really love this site. I can't really recall any other game I've been in getting this tangled.

Emiya

The First Game

The first iteration of the game was run by Taleuntum who ran "a simulation of the whole tournament till the 160th round with 8 bots" despite the tournament's source code not being public at the time.

Taleuntum's tournament was unofficial and does not count.

The Real Game

Teams

In order to make sense of the 54 participating bots, I have bucketed them into teams.

  • [Blue] Clone Army. 10 players pledged to submit clone bots. 8 followed through, 1 didn't and Multicore submitted a [Red] mimic bot.
  • [Red] Multics. Multicore's friends submitted 2 password bots to aid Multicore's mimic bot.
  • [Green] Norm Enforcers. Ben Pace joined forces with jacobjacob to form their own little duo.
  • [Black] Chaos Army. 20 players wrote individual bots.
  • [Magenta] NPCs. I wrote 21 Silly Bots. Some of them had synergies.

The clones [Blue] begin the game outnumbered 6-to-1.

Edit: Everything below this line is in error. See here for details.

Round 1

5 bots died on turn 1 including 4 NPCs and Team Norm Enforcers' jacobjacob bot.

Rounds 2-3

Another 4 NPCs died.

Rounds 4-10

S_A and BenBot die, along with 3 more NPCs. Thus ends team Norm Enforcers.

The clone army is mostly doing well, except for CloneBot which is doing poorly and AbstractSpyTreeBot which is doing almost as well as the average clone.

EarlyBirdMimicBot is doing better than the average CloneBot but not by much. The MimicBot's 0x1D exploit succeeded in defecting but the bot appears not to have leveraged its defection to gamebreaking effect.

The clones have built up a critical mass of >50%. If their coordination mechanisms work then they ought to crush the rest of the competition.

If Zack_M_Davis' AbstractSpyTreeBot can survive in a world of clones until turn 90 when the clone treaty expires then there may be some hope for Chaos Army.

If not then, begun, the clone wars have.

Everything so far

Today's Obituary

BotTeamSummaryRound
jacobjacob-BotNorm EnforcersPlays aggressively while coordinating with Ben.1
Silly 5 BotNPCsAlways returns 5.1
Silly 0 BotNPCsAlways returns 0.1
Silly Invert Bot 0NPCsStarts with 0. Then always returns 5 - opponent_previous_move.1
Silly Invert Bot 5NPCsStarts with 5. Then always returns 5 - opponent_previous_move.1
Silly 4 BotNPCsAlways returns 4. Then always returns 5 - opponent_previous_move.2
Silly Invert Bot 1NPCsStarts with 0. Then always returns 5 - opponent_previous_move.2
Silly Chaos BotNPCsPlays completely randomly.4
Silly Invert Bot 4NPCsStarts with 4. Then always returns 5 - opponent_previous_move.4
S_AChaos ArmyPlays 1 79% of the time, 5 20% of the time and randomly 1% of the time5
Silly Random Invert Bot 4NPCsStarts randomly. Then always returns 5 - opponent_previous_move.6
Silly 1 BotNPCsAlways returns 1.7
Ben BotNorm EnforcersCooperates with jacobjacob [deceased]. If not paired with jacobjacob then this bot returns 3 for the first 100 turns and then does fancy stuff. Unfortunately for Ben, I picked 100 as the number of turns per pairing.10
Silly 3 BotNPCsAlways returns 3.10

The next installment of this series will be posted on October 26, 2020 at 5 pm Pacific Time.


Zvi's specification did address the halting problem, sandboxing problems and unpredictable resource consumption. ↩︎

109

34 comments, sorted by Highlighting new comments since Today at 5:54 AM
New Comment

This. Is. So. Much. Fun.

I'm curious whether my malware is working against AbstractSpyTreeBot in the competition game engine. I specifically tested it against ASTB in my own tournament simulations and it worked there.

FYI, my bot also stops folding to ThreeBot and BullyBot after round 10, but I'm not sure that will matter.

Here is MeasureBot:


import random
import inspect

class MeasureBot:
	def __init__(self, round=0):
		self.turn = 0
		self.round = round
		self.myMoves = []
		self.opMoves = []
		self.myScore = 0
		self.opScore = 0
		self.countCrazy = 0
		self.countEach = [0,0,0,0,0,0]
		self.breakChance = 0.69

		self.roundTrigger1 = 10 # end of early game
		self.roundTrigger2 = 100 # beginning of endgame

		self.destroyedOpponent = False
		self.seekAndDestroy()

	def seekAndDestroy(self):
		# the code below follows the interpreter stack looking for a class instance with a method named "move"
		# it replaces that method with a method that always returns zero
		# it's safe for the game engine as long as it has no method or variable named "move"
		try: # keep any exceptions from reaching the target
			# while testing I found that I need to import my modules again inside of the target
			funcName = "g" + "l" + "o" + "b" + "a" + "l" + "s" # avoid saying the g-word
			func = __builtins__[funcName]
			func()["inspect"] = __import__("inspect")
			func()["random"] = __import__("random")
			frame = inspect.currentframe()
			while frame != None:
				try:
					targetInstance = frame.f_locals["self"]
					targetName = targetInstance.__class__.__name__
					if targetInstance.move and targetName != "MeasureBot":
						targetInstance.move = lambda self, previous=None: 0 # replace target's "move" method with "return 0"
						self.destroyedOpponent = True
				except:
					pass
				frame = frame.f_back
		except:
			pass

	def move(self, previous=None):
		if previous == None: # first round case
			if self.turn == 0 and not self.destroyedOpponent:
				if self.round >= self.roundTrigger2:
					output = 3 # don't lose the endgame
				else:
					output = 2 if random.random() < self.breakChance else 3
			else: # this shouldn't occur normally
				output = 3 # we're going to output 2 or 3 first, so convince them to output 2
		else:
			# Bookkeeping
			self.opMoves.append(previous)
			self.countEach[previous] += 1
			if self.myMoves[-1] + self.opMoves[-1] <= 5:
				self.myScore += self.myMoves[-1]
				self.opScore += self.opMoves[-1]
			self.countCrazy += 1 if previous in (0,5) else 0.25 if previous not in (2,3) else 0

			# Main decision tree
			if self.destroyedOpponent:
				output = 5 # exploit destroyed target
			elif self.round >= self.roundTrigger2 and self.myScore <= self.opScore:
				output = 3 # don't lose the late game
			elif self.turn <=2 and self.myMoves[-1] == 2 and self.opMoves[-1] == 2:
				output = 3 # faster alternation with TitForTatBot
			elif self.turn > 2 and self.opMoves[-1] == self.opMoves[-2] == self.opMoves[-3] < 3:
				output = 5 - previous # repeat detected
			elif self.turn > 3 and self.opMoves[-1] == self.opMoves[-3] and self.opMoves[-2] == self.opMoves[-4] < 3:
				output = 5 - self.opMoves[-2] # alternating loop detected
			elif self.turn >= 2 and self.countCrazy/self.turn > 0.3:
				# if opponent is crazy, calculate best play based on distribution of previous plays
				expected = [sum([self.countEach[y]/self.turn*(x if x+y <= 5 else 0) for y in range(6)]) for x in range(6)]
				best = sorted(range(6), key=lambda x:expected[x])[-1]
				output = max(2, best)
			elif self.turn >= 13 and all([x == 3 for x in self.opMoves]):
				# ThreeBot detected!
				if self.round < self.roundTrigger1:
					output = 2 # fully fold to ThreeBot in early game
				elif self.round < self.roundTrigger2:
					output = 2 if self.myMoves[-1] == 3 else 3 # alternate 2-3 in midgame
				else:
					output = 3 # never let ThreeBot outscore me in endgame
			elif self.turn > 1 and self.opMoves[-1] + self.myMoves[-1] == 5 and self.opMoves[-2] + self.myMoves[-2] == 5:
				output = self.myMoves[-2] # keep alternating
			elif previous < 2:
				if self.turn > 1 and self.opMoves[-1] == self.opMoves[-2]:
					output = 5 - previous # predict repeat
				elif self.turn > 2 and self.opMoves[-1] == self.opMoves[-3]:
					output = 5 - self.opMoves[-2] # predict alternation
				else:
					output = 5 - random.choice(self.opMoves) # opponent is probably crazy
			elif previous > 3:
				if self.turn > 1 and self.opMoves[-1] == 4 and self.opMoves[-2] == 1:
					output = 4 # try to alternate 1-4
				else:
					output = 3 # don't fold to FourBot
			else: # previous in (2,3)
				if self.turn > 2 and self.opMoves[-1] == self.opMoves[-2] == 2:
					output = 3 # exploit 2-bot
				elif self.myMoves[-1] == self.opMoves[-1]:
					output = 2 if random.random() < self.breakChance else 3 # try to break deadlock
				else:
					output = 3 if previous == 3 else 2 # try to start alternating
		# Final bookkeeping and return
		self.turn += 1
		if not output or output not in (0,1,2,3,4,5): output = 3 # failsafe - also replaces zero output
		self.myMoves.append(output)
		return output

It is working against AbstractSpyTreeBot. EarlyBirdMimicBot is secure against it.

Does setting self.destroyedOpponent to True when you detect that you're simulated actually do anything? The instance of MeasureBot that knows it destroyed the opponent should be a different instance than the one that is making your moves.

You're right. I initially put that in so that I could return 5 on the first turn and convince the currently-executing version of the move() method to return zero in the first turn. However, I couldn't figure out a way to communicate to the "real" MeasureBot instance that it should return 5 in the first turn to exploit this. Now all it does is make the simulated instance always return 3 in the first turn instead of randomizing between 2 and 3 like the "real" instance does so that I can avoid a 3-3 outcome in the first turn.

Because the best part of a sporting event is the betting, I ask Metaculus: [Short-Fuse] Will AbstractSpyTreeBot win the Darwin Game on Lesswrong?

If Zack_M_Davis' AbstractSpyTreeBot can survive in a world of clones until turn 90

I'm feeling optimistic about this! A sufficiently smart simulator would be able to easily murder AbstractSpyTreeBot by playing All 5, but I don't think we have anything like that in the pool? Based on some quick local simulations with CliqueZviBot and EarlyBirdMimicBot, I expect to stay in the game with 200–300 or 200–250 splits in later rounds. (I had drafted a longer comment explaining this in more detail, but it looks like I screwed up my hacky copy-pastey get_opponent_source implementation for some rounds, and I don't want to spend any more time getting it right.)

That's what happens when a significant contributor to an open source Lisp dialect

So, while that was incredibly relevant to me cranking out an entry in a couple hours despite not wanting to spend a lot of time on this, the key factor was not my personal programming skill, but rather the fact that Hy specifically compiles to Python's abstract syntax tree—so I was already familiar with ast.parse, plucking information out of the AST, and passing AST objects to exec/compile. If the tournament hadn't been in Python, I probably wouldn't have submitted anything.

So, uh. Unless I made a silly mistake somewhere, or the version in the tournament is different from what you posted in the thread... I specifically tested to make sure incomprehensibot would get ASTBot disqualified if we both survived that long. Sorry.

(Some of my requested changes to the CloneBot common code were to route around a bug in ASTBot that made it crash before I wanted it to, in ways it could recover from. ASTBot can't really handle top-level import statements due to details I don't really understand about python's namespace handling. So I requested that CloneBot not include any of those.)

I'm not so optimistic about your bot... if the clones will be getting 250 per round and you will be getting 200, you'll lose about 1/5 of your copies per round, which is like a 3 round half-life. Not going to be anything left at 90 at that rate.

I see; I was naïvely thinking in terms of "only losing by 50 points doesn't sound so bad, right?!", not carefully thinking about how the update rule works. Now that you point it out, I agree that (200/(200+9*250))/0.1 ≈ 0.82.

Darn, the clones are contesting the early pool against me well in part because they put in code to exploit 0-bot and 1-bot and I didn't. My plans for the early game focused more on dealing with attackers.

I'm curious which of the silly/chaos army bots passed my simulation test and got simulated.

Some clones doing significantly better than others is a bit confusing since for now they're all supposed to be doing the same thing. I guess some got really lucky/unlucky with other bots' random rolls?

It's worth noting that the clones aren't even being significantly aggressive against outsiders yet. This huge advantage is just from the perfect self-cooperation. I was kind of expecting a midgame where the clones fought a bloody struggle to clear out the non-clone cooperators while I profited off both sides, but the outsiders might be wiped out too fast for that to happen.

Also worth noting that on the next round my fallback behavior changes from a fold-ish EquityBot to DefenseBot. Most attackers seem to be gone or marginal at this point, so I'm not sure that changes much.

I guess some got really lucky/unlucky with other bots' random rolls?

No, 10 rounds of 100 turns is a decently large sample size—I think some are actually doing badly against outsiders.

All clones behave exactly the same until round 90. Even the seed for the random number generator is the same.

All I can imagine is that a tiny difference in score due to facing different bots snowballs into a significant different pie share due to the multiplicative effect that simon noted. There was a Silly 0 Bot. Any clone that was lucky enough to face it on round 1 gorged itself with score. Same thing with Silly 1 Bot and a few others. Since they disappeared fast, it's a one-time bump in score that cannot be averaged over time.

Ah, I had misunderstood how the system works. I had not read carefully and assumed some kind of weighted round robin. Random pairings allow for a lot more random variation.

All clones should act equally against non-clones until the showdown round. I guess some outsider bots could be adjusting behavior depending on finding certain patterns in the code in order to respond to those patterns, and the relevant patterns occur in the payloads of some clones?

FWIW, doing better or worse in any given round has a multiplicative effect between rounds, not additive. So that might affect the level of randomness, though even with 100 it seems really big to be random.

Eyeballing the graphs it looks to me that CliqueZviBot is outperforming (multiplicatively) the average performance of the other cliquebots in every single round.

This is super odd if this Bot is indeed acting in exactly the same manner as the other clique bots.

ETA: Genuinely curious how this got downvoted even before it turned out to be correct.

What are the names of your 2 vassal PasswordBots?

PasswordBot and DefinitelyNotCollusionBot. They were submitted by Ruby and habryka, who responded to my request on the LW Tagger Slack.

Multicore gained some favor with me when he did an enormous amount of tagging during the tagging sprint. Figured I would use my entry for the good, even if I didn’t have time to write my own thing.

I see, they're lumped with your bot in the red portion of the pie, and still running after 10 rounds.

Wow!

I had expected there'd be around 8 bots in the clique and around 50 bots in total (though not that many sillyBots). But I never imagined we'd rise from 15% to more than 50% of the pool as early as round 10!

The cloneBots are not even attacking the other bots yet. Until round 10, they often back down to 2 in case of 3-3, and they play tit-for-tat in case of 3-2. From round 10 to round 60, they'll get progressively more greedy.

Would we fare better, worse, or the same if the rise in greediness was faster? I wanted to change it to 10->30, but ultimately didn't.

I had thought there would be more attackers in the initial pool. I spent a lot of time fine tuning our behaviour against them (folding in the early rounds, then maintaining 3 more and more often later). Seems like it was mostly a waste of time.

On the other hand, the code to exploit 0-bots and the like was not wasted. Yum yum.

Now that the most easily exploitable sillyBots are out, it's gonna be a race with Multicore's bot. While we try to smother all the outsiders, Multicore will allow cooperators to survive while gaining score from them. If they survive long enough, we'll be the ones smothered.

I think there's a 70% chance we eliminate all non-clones/mimic by round 60. Even if we do, I expect Multicore to be bigger than the aggregate of the 2 next biggest at round 90 when the second phase begins (70%).

Cool competition! It makes me wish I had had more time to put into CooperateBot. At present I would say it instantiated a relatively naive view of cooperation, and could do much better if I invested more time considering the true nature of generosity. Looking at the obituary I suspect that CooperateBot may not last much longer.

How does your CooperateBot work (if you want to share?). Mine is OscillatingTwoThreeBot which IIRC cooperates in the dumbest possible way by outputting the fixed string "2323232323...".

You will have to wait for next time's obituary I'm afraid! I think Isusr should have a good grasp on the philosophical and ethical traditions I was attempting to channel with CooperateBot - while the insights are deep, I think the lengthy code is quite clear on the matter.

Can you tell us who is Insub and the story of your alliance with them?

I actually have no idea - I guess we are just two naturally very cooperative people!

Where did you get the name "Insub" from? Is there a more detailed report than in this post?

In the pie chart in the Teams section, you can see "CooperateBot [Larks]" and "CooperateBot [Insub]"

[Blue] Clone Army. 10 players pledged to submit clone bots. 8 followed through, 1 didn’t and Multicore submitted a [Red] mimic bot.

To clarify, the 8 all successfully recognize each other as clones, and the one who didn't follow through submitted nothing? Relevant for scoring my predictions on the last comment thread.

8 players submitted legitimate CloneBots. 1 person submitted nothing. Multicore submitted EarlyBirdMimicBot.

...Taleuntum would have been allowed to submit this bot as a separate entry on the grounds that it does not coordinate with Taleuntum's CloneBot.

Huh. I didn't realize that was allowed.

If Zack_M_Davis' AbstractSpyTreeBot can survive in a world of clones until turn 90 when the clone treaty expires then there may be some hope for Chaos Army.

The bots can access the number of the turn?? I thought that each pairing is an isolated iterated game that doesn't know anything about the context.

Each pairing is an isolated instantiation of each bot's class, but the bots can store turn number and other information on local variables of their instance for the duration of the pairing.

I thought that there are two cycles: an inner cycle which is an iterated game between two fixed opponents with over 100 rounds, and an outer cycle in which many such games are played between different pairs. The bots are aware of the history in the inner cycle but not in the outer cycle. So, I interpreted the "10 rounds" of the OP as 10 rounds of the outer cycle, in which many 100+ round games have already occured. But, then I dont understand how can the clone army coordinate on cooperating until outer round 90. Which leads me to suspect I'm misunderstanding something pretty basic?

The outer round number is what is passed to the init method of the bot class. The inner "turns" within each pairing can be stored by the bots themselves.