Skip to content
TILens What matters today in tech v0.3.0
Theme

Daily edition · Algorithms

The daily ledger

TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.

07 Sep 2026 edition

35 articles · 3 sources · 35 papers ·

Top topics: Algorithms · AI

Algorithms

A characterization of efficiently compilable constraint languages

arXiv:2311.10040v3 Announce Type: replace-cross Abstract: A central task in knowledge compilation is to compile a CNF-SAT instance into a succinct representation format that allows efficient operations such as testing…

Source: arXiv cs.CC Christoph Berkholz, Stefan Mengel, Hermann Wilhelm
Algorithms

Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding

arXiv:2609.04931v1 Announce Type: cross Abstract: The widespread adoption of artificial intelligence (AI) within real-world applications has raised a lot of concerns regarding their trustworthiness, especially in…

Source: arXiv cs.CC Arthur Ledaguenel, Florent Capelli, Jean-Marie Lagniez
Algorithms

Symmetrization maps and minimal border rank Comon's conjecture

arXiv:2411.05721v2 Announce Type: replace-cross Abstract: One of the fundamental open problems in the field of tensors is the border Comon's conjecture: given a symmetric tensor $F\in(\mathbb{C}^n)^{\otimes d}$ for…

Source: arXiv cs.CC Tomasz Ma\'ndziuk, Emanuele Ventura
Algorithms

The fourth generalized Davenport constant of $C_5^3$

arXiv:2609.04950v1 Announce Type: new Abstract: For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$…

Source: arXiv cs.DM Sze Chun Yiu
Algorithms AI

An almost quadratic bound for the minimal excluded minors for a surface

arXiv:2604.02796v2 Announce Type: replace-cross Abstract: As part of the graph minor project, Robertson and Seymour showed in 1990 that the class of graphs embeddable in a given surface can be characterized by a finite…

Source: arXiv cs.DM Sarah Houdaigoui, Ken-ichi Kawarabayashi
Algorithms

On the Structure of $(\min,+)$ Convolution

arXiv:2608.13310v2 Announce Type: replace-cross Abstract: The $(\min,+)$ convolution is a central problem in fine-grained complexity, and it remains open whether it can be computed in truly subquadratic time. We study…

Source: arXiv cs.DM Huanyi Zhou
Algorithms

A Counterexample to Teschner's Bondage-Number Conjecture

arXiv:2609.04257v1 Announce Type: cross Abstract: For a finite simple graph $G$ with at least one edge, the bondage number $b(G)$ is the least number of edges whose deletion increases the domination number $\gamma(G)$.…

Source: arXiv cs.DM Yousof Yavari
Algorithms

Improved bounds for the lazy cops and robbers on generalized hypercubes

arXiv:2609.00720v2 Announce Type: replace-cross Abstract: In Lazy Cops and Robbers, at most one cop moves on each cop turn. We study the lazy cop number of the generalized hypercube $Q(n,m)$, whose vertex set is…

Source: arXiv cs.DM Anand Babu, Ashwin Jacob, Karunakaran Murali Krishnan, Reshma Roy, Sreekala S
Algorithms

Binary X-rays of doubly stochastic matrices

arXiv:2608.01442v2 Announce Type: replace-cross Abstract: The X-ray of a permutation is a sequence of sums along each diagonal of the associated permutation matrix. They satisfy certain necessary constraints on…

Source: arXiv cs.DM Bangzheng Li, Yuewei Liu, Yuan Yao
Algorithms

Determining a graph from its reconfiguration graph

arXiv:2504.19783v3 Announce Type: replace-cross Abstract: Given a graph $G$ and a natural number $k$, the $k$-recolouring graph $\mathcal{C}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and whose…

Source: arXiv cs.DM Ga\'etan Berthe, Caroline Brosse, Brian Hearn, Jan van den Heuvel, Pierre Hoppenot, Th\'eo Pierron
Algorithms

The Erd\H{o}s-P\'osa Property for Colorful Minors

arXiv:2609.04956v1 Announce Type: cross Abstract: A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and…

Source: arXiv cs.DM Evangelos Protopapas, Dimitrios M. Thilikos, Sebastian Wiederrecht
Algorithms

Trade-off between spread and width for tree decompositions

arXiv:2601.04040v3 Announce Type: replace-cross Abstract: The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. We study the trade-off between spread and width in tree…

Source: arXiv cs.DM Hans L. Bodlaender, Carla Groenland, Sergey Norin, Neil Rahman
Algorithms

A Polymatroidal Perspective on Random Contraction

arXiv:2609.04521v1 Announce Type: new Abstract: Karger's elegant random contraction algorithm for finding a global mincut in a graph has been highly influential. More recent work has obtained several different…

Source: arXiv cs.DS Karthekeyan Chandrasekaran, Chandra Chekuri, Weihao Zhu
Algorithms

The Popular Dimension of Matchings

arXiv:2509.25150v3 Announce Type: replace-cross Abstract: We study popular matchings in three classical settings: the house allocation problem, the marriage problem, and the roommates problem. In the popular matching…

Source: arXiv cs.DS Frank Connor, Louis-Roy Langevin, Ndiam\'e Ndiaye, Agn\`es Totschnig, Rohit Vasishta, Adrian Vetta

Showing 1 day · 35 items available