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.

13 Aug 2026 edition

35 articles · 3 sources · 35 papers ·

Top topics: Algorithms

Algorithms

Measuring Decidability as Related to Busy Beaver Numbers

arXiv:2605.20215v2 Announce Type: replace Abstract: The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in…

Source: arXiv cs.CC Gurpreet Tandi, Josue Gonzalez-Hendrix, Jonathan Brown
Algorithms

An Exponential Separation between Deterministic CDCL and DPLL Solvers

arXiv:2603.16156v2 Announce Type: replace Abstract: We prove that there exists a deterministic configuration of Conflict Driven Clause Learning (CDCL) SAT solvers using a variant of the VSIDS branching heuristic that…

Source: arXiv cs.CC Sahil Samar, Marc Vinyals, Vijay Ganesh
Algorithms

An FKN Theorem for the Binary Grassmann Scheme

arXiv:2608.11320v1 Announce Type: new Abstract: A classical theorem due to Friedgut, Kalai and Naor asserts that if a function $f\colon \{0,1\}^n\to\{-1,1\}$ close to a degree $1$ function, then either $f$ or $-f$ is…

Source: arXiv cs.CC Yuval Filmus, Anqi Li, Dor Minzer
Algorithms

RevCRN: Reversible Analog Computation using Chemical Reaction Networks

arXiv:2608.11362v1 Announce Type: new Abstract: The computability of real numbers and functions using Turing Machines has been a central area of theoretical computer science since the mid-20th century. In the late 20th…

Source: arXiv cs.CC Saptarshi Biswas, James I. Lathrop, Rana D. Parshad
Algorithms

How Difficult Is It to Recognize CIS Graphs?

arXiv:2608.11289v1 Announce Type: new Abstract: A graph $G$ is called $CIS$ if each maximal clique intersects each maximal stable set of $G$, with maximality taken with respect to set inclusion. CIS graphs resemble…

Source: arXiv cs.DM Rongchuan Tao, Mengxi Yang, Wenan Zang
Algorithms

Structural Lemmas on Temporal Connectivity

arXiv:2606.15606v2 Announce Type: replace Abstract: This paper presents several lemmas on the structure of temporal connectivity in temporal graphs. Some of these lemmas are adapted from the literature on gossip from…

Source: arXiv cs.DM Daniele Carnevale, Arnaud Casteigts, David Schindl
Algorithms

Search and Rescue on the Plane

arXiv:2608.12039v1 Announce Type: new Abstract: We study a planar variant of the search and rescue problem whereby an agent starting at an arbitrary position $P_{\theta,r} = (r\cos\theta, r\sin\theta)$ in the plane must…

Source: arXiv cs.DM Jared Coleman, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce
Algorithms

Cops and robbers pebbling in graphs

arXiv:2301.00434v5 Announce Type: replace-cross Abstract: Here we merge the two fields of Cops and Robbers and Graph Pebbling to introduce the new topic of Cops and Robbers Pebbling. Both paradigms can be described by…

Source: arXiv cs.DM Nancy Clarke, Joshua Forkin, Glenn Hurlbert
Algorithms

Greedy approaches for Gold Grabbing on subclasses of split graphs

arXiv:2608.12053v1 Announce Type: new Abstract: The Gold Grabbing Game is a combinatorial game on vertex-weighted graphs in which two players alternately remove vertices while maintaining graph connectivity, aiming to…

Source: arXiv cs.DM Heitor Melo de Lucas Brand\~ao, Hebert Coelho da Silva, Julliano Rosa Nascimento
Algorithms

Complexity and algorithms for proper conflict-free coloring in graphs

arXiv:2608.10874v2 Announce Type: replace Abstract: A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every…

Source: arXiv cs.DM Dinabandhu Pradhan, Vaishali Sharma
Algorithms

Faster Exponential Algorithms for Multi-Machine Scheduling Problems

arXiv:2608.12224v1 Announce Type: new Abstract: Minimizing the weighted completion times ($P \mid \mid \Sigma w_j C_j$) and weighted number of tardy jobs ($P \mid \mid \Sigma w_j U_j$) on multiple identical machines are…

Source: arXiv cs.DS Anubhav Dhar, Anita D\"urr, Ahmed Ghazy, Jakob Greilhuber, Karol W\k{e}grzycki
Algorithms

Learning Nearest-Neighbor Maps from Adaptive Queries

arXiv:2608.07352v2 Announce Type: replace Abstract: We study the problem of learning nearest-neighbor maps from adaptive queries, which is equivalent to the following problem of reconstructing a hidden set $H$ via a…

Source: arXiv cs.DS Hadley Black, Geelon So
Algorithms

EF(X) Orientations: A Parameterized Complexity Perspective

arXiv:2512.25033v3 Announce Type: replace Abstract: The concept of fair orientations in graphs was introduced by Christodoulou, Fiat, Koutsoupias, and Sgouritsa in 2023, naturally modeling fair division scenarios in…

Source: arXiv cs.DS Sotiris Kanellopoulos, Edouard Nemery, Christos Pergaminelis, Minas Marios Sotiriou, Manolis Vasilakis
Algorithms

Hardness, Tractability and Density Thresholds of finite Pinwheel Scheduling Variants

arXiv:2604.16030v5 Announce Type: replace Abstract: The k-Visits problem is a recently introduced finite version of Pinwheel Scheduling [Kanellopoulos et al., SODA 2026]. Given the deadlines of n tasks, the problem asks…

Source: arXiv cs.DS Sotiris Kanellopoulos, Giorgos Mitropoulos, Christos Pergaminelis, Thanos Tolias

Showing 1 day · 35 items available