https://github.com/inaciovasquez2020/overlap-rigidity-counterexamples

Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.
https://github.com/inaciovasquez2020/overlap-rigidity-counterexamples

benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality theoretical-computer-science unified-rigidity-framework urf-admissible

Last synced: 24 days ago
JSON representation

Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.

• Host: GitHub
• URL: https://github.com/inaciovasquez2020/overlap-rigidity-counterexamples
• Owner: inaciovasquez2020
• License: mit
• Created: 2026-02-16T18:19:52.000Z (2 months ago)
• Default Branch: main
• Last Pushed: 2026-03-22T03:47:52.000Z (about 1 month ago)
• Last Synced: 2026-04-04T01:37:10.223Z (24 days ago)
• Topics: benchmarks, capacity-locality, complexity-theory, computational-complexity, cutstrings, entropy-depth, foundations-of-computation, information-theory, locality, theoretical-computer-science, unified-rigidity-framework, urf-admissible
• Language: Python
• Homepage: https://github.com/inaciovasquez2020/urf-core
• Size: 347 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

README

          
# Overlap Rigidity Counterexamples

This repository contains the counterexample constructions for **Overlap Rigidity**

used in the Final Wall program.

## Contents

- `*.tex` — LaTeX expositions of counterexamples

- `*.pdf` — compiled outputs (not tracked)

- `src/` — supporting source (if any)

### Build

To compile the LaTeX sources locally:

```bash

pdflatex .tex