#soffit

Follow to get notified about new posts with this tag

markgritter

8y

Worst-case matching in Soffit

Worst-case matching in Soffit

Testing with Hypothesis turned up some matches in Soffit that took a long time to run. Some optimization of constraint checking got the runtime down from 600ms to about 400ms, but now I'm kind of stuck.

$ 0.983

170

markgritter

8y

Prototyping a math puzzle with Soffit

Prototyping a math puzzle with Soffit

Can you find a path in the following graph that sums to 100? When you follow a blue edge, you add the number, and when you follow a red edge, you must subtract the number. So, starting at 13 and following

$ 0.217

17

markgritter

8y

Testing Graph Rewritting with Hypothesis

Testing Graph Rewritting with Hypothesis

I've continued work on Soffit, but more slowly in the past couple weeks. My focus had been getting better testing covering using Hypothesis. My first attempt was to generate graphs by their edges, like

markgritter

8y

Implementing the example graph grammar from "Procedural Generation in Game Design"

Implementing the example graph grammar from "Procedural Generation in Game Design"

Dr. Joris Dormans wrote a chapter in "Procedural Generation in Game Design" (Tanya X. Short and Tarn Adams, editors) about cyclic generation, and he included this short example of a graph grammar

acgalarza

14h

Claim the First 5 Minutes for Yourself

Claim the First 5 Minutes for Yourself

Your phone is usually the first thing you touch each morning when you wake up, and within seconds someone else's demands, someone else's emergency, someone else's agenda has already claimed the first minutes

markgritter

8y

Optimizing python-constraint with forward checking

Optimizing python-constraint with forward checking

For Soffit I implemented a few Constraint objects with the python-constraint library. These objects represent a particular restriction on the solution, and they can prune the search space either ahead

markgritter

8y

Visual representation of graph grammar

Visual representation of graph grammar

A lot of the existing packages for graph grammars seem to have GUIs for writing rules, and in some of them that seems to be your only option. Tonight I prototyped a way to export a graph grammar as a HTML

markgritter

8y

1-d cellular automaton in a graph grammar

1-d cellular automaton in a graph grammar

This is the first example I tried that really pushed my engine hard. It would be better broken up into multiple grammars, I think. I wanted to run Rule 30, a 1-d cellular automata, as a graph grammar in

markgritter

8y

Controlling graph grammar expansion with a countdown

Controlling graph grammar expansion with a countdown

Let's create a graph grammar with Soffit that generates a fixed-sized binary tree. How do we tell a graph grammar when to stop working? One option is to only run it for a fixed number of iterations, but

crespo43

5d

MI PRESENTACION EN HIVE./MY INTRODUCTION ON HIVE. (ES/EN).

MI PRESENTACION EN HIVE./MY INTRODUCTION ON HIVE. (ES/EN).

Hola familia de Hive! Esta es mi primera publicación y quiero hablarles un poco de mi para que me conozcan a modo de presentación a la comunidad. Naci en la provincia de las Tunas, en el oriente de Cuba,

markgritter

8y

A complicated Soffit example

A complicated Soffit example

Suppose we want to create a graph grammar that makes rectangular grids. A first cut at it would be something like "expand outwards from any edge that hasn't already been used", something like

homesteaddad

9y

I'm a Little Crazy

I'm a Little Crazy

There's something in my soffit, and this pool is starting to drive me nuts.