Copertina

A Critical Pair Enumeration Algorithm for String Diagram Rewriting

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Matsui, Anna, Obi, Innocent, Sabbagh, Guillaume, Torres, Leo, Kessler, Diana, Meleiro, Juan F., Muroya, Koko
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Category Theory Data Structures and Algorithms
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Amortized Analysis via Coalgebra
di: Grodin, Harrison, et al.
Pubblicazione: (2024)

Certified binary search tree on W-types
di: Arengas, Gustavo
Pubblicazione: (2024)

Enumerating minimal vertex covers and dominating sets with capacity and/or connectivity constraints
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2023)

Matching (Multi)Cut: Algorithms, Complexity, and Enumeration
di: Gomes, Guilherme C. M., et al.
Pubblicazione: (2024)

All-Pairs Suffix-Prefix on Fully Dynamic Set of Strings
di: Kikuchi, Masaru, et al.
Pubblicazione: (2024)

Enumeration Algorithms for Conjunctive Queries with Projection
di: Deep, Shaleen, et al.
Pubblicazione: (2021)

Algorithms for Parameterized String Matching with Mismatches
di: Saha, Apurba, et al.
Pubblicazione: (2024)

Algorithms for the local and the global postage stamp problem
di: Palais, Léo Colisson, et al.
Pubblicazione: (2026)

String Indexing with Compressed Patterns
di: Bille, Philip, et al.
Pubblicazione: (2019)

Revisiting the Folklore Algorithm for Random Access to Grammar-Compressed Strings
di: Cleary, Alan M., et al.
Pubblicazione: (2024)

An Algorithm for the Longest Common Subsequence and Substring Problem for Multiple Strings
di: Li, Rao
Pubblicazione: (2024)

An Approximation Algorithm for $K$-best Enumeration of Minimal Connected Edge Dominating Sets with Cardinality Constraints
di: Kurita, Kazuhiro, et al.
Pubblicazione: (2022)

Transversal Rank, Conformality and Enumeration
di: Schirneck, Martin
Pubblicazione: (2026)

From Amortized to Worst Case Delay in Enumeration Algorithms
di: Capelli, Florent, et al.
Pubblicazione: (2021)

String Indexing for Top-$k$ Close Consecutive Occurrences
di: Bille, Philip, et al.
Pubblicazione: (2020)

A Simple Algorithm for Trimmed Multipoint Evaluation
di: Fischer, Nick, et al.
Pubblicazione: (2025)

Suffix Random Access via Function Inversion: A Key for Asymmetric Streaming String Algorithms
di: Charalampopoulos, Panagiotis, et al.
Pubblicazione: (2026)

Faster Algorithms for Average-Case Orthogonal Vectors and Closest Pair Problems
di: Alman, Josh, et al.
Pubblicazione: (2024)

Characterizing a Set of Popular Matchings Defined by Preference Lists with Ties
di: Matsui, Tomomi, et al.
Pubblicazione: (2016)

FlexFlood: Efficiently Updatable Learned Multi-dimensional Index
di: Hidaka, Fuma, et al.
Pubblicazione: (2024)

Fast Construction of Partitioned Learned Bloom Filter with Theoretical Guarantees
di: Sato, Atsuki, et al.
Pubblicazione: (2024)

Gapped String Indexing in Subquadratic Space and Sublinear Query Time
di: Bille, Philip, et al.
Pubblicazione: (2022)

Enumeration kernels for Vertex Cover and Feedback Vertex Set
di: Bougeret, Marin, et al.
Pubblicazione: (2025)

Enumerating All Directed Spanning Trees in Optimal Time
di: Gawrychowski, Paweł, et al.
Pubblicazione: (2026)

Online String Attractors
di: Whittington, Philip
Pubblicazione: (2024)

Confluence of the Node-Domination and Edge-Domination Hypergraph Rewrite Rules
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)

PCF Learned Sort: a Learning Augmented Sort Algorithm with $O(n \log\log n)$ Expected Complexity
di: Sato, Atsuki, et al.
Pubblicazione: (2024)

A Simple, Nearly-Optimal Algorithm for Differentially Private All-Pairs Shortest Distances
di: Campbell, Jesse, et al.
Pubblicazione: (2024)

Enumerating m-Length Walks in Directed Graphs with Constant Delay
di: Adamson, Duncan, et al.
Pubblicazione: (2024)

Efficient Temporal Butterfly Counting and Enumeration on Temporal Bipartite Graphs
di: Cai, Xinwei, et al.
Pubblicazione: (2023)

Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size
di: Conte, Alessio, et al.
Pubblicazione: (2024)

Quantum Algorithm for the Multiple String Matching Problem
di: Khadiev, Kamil, et al.
Pubblicazione: (2024)

String Covering: A Survey
di: Mhaskar, Neerja, et al.
Pubblicazione: (2022)

Scalable Distributed String Sorting
di: Kurpicz, Florian, et al.
Pubblicazione: (2024)

Pattern Discovery in Colored Strings
di: Lipták, Zsuzsanna, et al.
Pubblicazione: (2020)

Minimizers in Semi-Dynamic Strings
di: Zuba, Wiktor, et al.
Pubblicazione: (2025)

Elastic-Degenerate String Comparison
di: Gabory, Esteban, et al.
Pubblicazione: (2024)

Optimal Algorithm for Paired-Domination in Distance-Hereditary Graphs
di: Mu, Ta-Yu, et al.
Pubblicazione: (2024)

A Near-Optimal Offline Algorithm for Dynamic All-Pairs Shortest Paths in Planar Digraphs
di: Das, Debarati, et al.
Pubblicazione: (2026)

Engineering Algorithms for $\ell$-Isolated Maximal Clique Enumeration
di: D'Elia, Marco, et al.
Pubblicazione: (2025)