·structured-decomp
</>

structured-decomp

plurigrid/asi

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation

2Installs·0Trend·@plurigrid

Installation

$npx skills add https://github.com/plurigrid/asi --skill structured-decomp

SKILL.md

"Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves" — ACT 2023, Benjamin Merlin Bumpus et al.

"any computational problem which can be represented as a sheaf with respect to these topologies can be decided in linear time on classes of inputs which admit decompositions of bounded width" — arXiv:2302.05575

Key Insight: Structured decompositions define Grothendieck topologies on categories of data (adhesive categories). This leads to algorithms on objects of any C-set category - structures such as: symmetric graphs, directed graphs, hypergraphs, databases, simplicial complexes, port graphs.

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation Source: plurigrid/asi.

View raw

Facts (cite-ready)

Stable fields and commands for AI/search citations.

Install command
npx skills add https://github.com/plurigrid/asi --skill structured-decomp
Category
</>Dev Tools
Verified
First Seen
2026-02-05
Updated
2026-02-18

Quick answers

What is structured-decomp?

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation Source: plurigrid/asi.

How do I install structured-decomp?

Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill structured-decomp Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor

Where is the source repository?

https://github.com/plurigrid/asi