Buchumschlag

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	van Brügge, Jan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computational Complexity I.2.3; F.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2024)

Supercritical Tradeoffs for Monotone Circuits
von: Göös, Mika, et al.
Veröffentlicht: (2024)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
von: Conneryd, Jonas, et al.
Veröffentlicht: (2025)

On bounded depth proofs for Tseitin formulas on the grid; revisited
von: Håstad, Johan, et al.
Veröffentlicht: (2022)

Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2026)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

Direct Sums for Parity Decision Trees
von: Besselman, Tyler, et al.
Veröffentlicht: (2024)

State Canonization and Early Pruning in Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2026)

On the Complexity of Determinations
von: Hellerstein, Joseph M.
Veröffentlicht: (2026)

Algorithmic Trading Strategy Development and Optimisation
von: Yuan, Owen Nyo Wei, et al.
Veröffentlicht: (2026)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
von: Yang, Ziyi, et al.
Veröffentlicht: (2026)

Anyone but Him: The Complexity of Precluding an Alternative
von: Hemaspaandra, Edith, et al.
Veröffentlicht: (2005)

Proving Unsatisfiability with Hitting Formulas
von: Filmus, Yuval, et al.
Veröffentlicht: (2023)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
von: Wang, Changjie, et al.
Veröffentlicht: (2025)

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations
von: Antonelli, Melissa, et al.
Veröffentlicht: (2025)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Search versus Search for Collapsing Electoral Control Types
von: Carleton, Benjamin, et al.
Veröffentlicht: (2022)

Logics for the Relational Syllogistic
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2008)

Certificate-Sensitive Subset Sum: Realizing Instance Complexity
von: Salas, Jesus
Veröffentlicht: (2025)

Lower Bounds for CSP Hierarchies Through Ideal Reduction
von: Conneryd, Jonas, et al.
Veröffentlicht: (2025)

Limitation of Quantum Walk Approach to the Maximum Matching Problem
von: Júnior, Alcides Gomes Andrade, et al.
Veröffentlicht: (2025)

On the Complexity of Neural Computation in Superposition
von: Adler, Micah, et al.
Veröffentlicht: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
von: Pu, Yewen, et al.
Veröffentlicht: (2023)

Artifical intelligence and inherent mathematical difficulty
von: Dean, Walter, et al.
Veröffentlicht: (2024)

Thin Tree Verification is coNP-Complete
von: Moayyedi, Alice
Veröffentlicht: (2025)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
von: Lotan, Raz, et al.
Veröffentlicht: (2024)

Fast Simulation of Cellular Automata by Self-Composition
von: Natal, Joseph, et al.
Veröffentlicht: (2024)

A Polynomial Time Algorithm for 3SAT
von: Quigley, Robert
Veröffentlicht: (2024)

NP-Completeness Proofs of Puzzles using the T-Metacell Framework
von: Kiatchaipipat, Nattapol, et al.
Veröffentlicht: (2025)

When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
von: Fritsch, Timo, et al.
Veröffentlicht: (2026)

Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs
von: Gupta, Chetan, et al.
Veröffentlicht: (2025)

Enhanced and Efficient Reasoning in Large Learning Models
von: Valiant, Leslie G.
Veröffentlicht: (2026)

Quantum Sabotage Complexity
von: Cornelissen, Arjan, et al.
Veröffentlicht: (2024)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
von: Arndt, Dörthe, et al.
Veröffentlicht: (2025)

An efficient algorithm to compute the minimum free energy of interacting nucleic acid strands
von: Shalaby, Ahmed, et al.
Veröffentlicht: (2024)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
von: Knop, Dušan, et al.
Veröffentlicht: (2017)

Complexity of Firefighting on Graphs
von: Althoetmar, Julius, et al.
Veröffentlicht: (2025)

Approximate all-pairs Hamming distances and 0-1 matrix multiplication
von: Kowaluk, Miroslaw, et al.
Veröffentlicht: (2025)