English
Related papers

Related papers: Determinacy and \Delta^1_3-degrees

200 papers

Which classes can be learned properly in the online model? -- that is, by an algorithm that at each round uses a predictor from the concept class. While there are simple and natural cases where improper learning is necessary, it is natural…

Machine Learning · Computer Science 2021-02-03 Steve Hanneke , Roi Livni , Shay Moran

We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current…

Computational Complexity · Computer Science 2012-02-06 Urban Larsson , Johan Wästlund

The total domination game is a two-person competitive optimization game, where the players, Dominator and Staller, alternately select vertices of an isolate-free graph $G$. Each vertex chosen must strictly increase the number of vertices…

Combinatorics · Mathematics 2017-06-06 Csilla Bujtás

An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was…

Discrete Mathematics · Computer Science 2012-09-24 Florent Foucaud , Guillem Perarnau

For integers $n, D, q$ we define a two player perfect information game with no chance moves called the Waiter-Client Maximum Degree game. In this game, two players (Waiter and Client) play on the edges of $K_n$ as follows: in each round,…

Combinatorics · Mathematics 2018-07-31 Michael Krivelevich , Nadav Trumer

Let \(G\) be a finite group, and let \(\Delta(G)\) denote the \emph{prime graph} built on the set of degrees of the irreducible complex characters of \(G\). It is well known that, whenever \(\Delta(G)\) is connected, the diameter of…

Group Theory · Mathematics 2016-07-19 Carlo Casolo , Silvio Dolfi , Emanuele Pacifici , Lucia Sanus

Answering an open question from 2007, we construct infinite $k$-crossing-critical families of graphs that contain vertices of any prescribed odd degree, for any sufficiently large~$k$. To answer this question, we introduce several…

Combinatorics · Mathematics 2019-03-19 Drago Bokal , Mojca Bračič , Marek Derňár , Petr Hliněný

We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on…

Combinatorics · Mathematics 2014-08-01 M. Aaghabali , S. Akbari , S. Friedland , K. Markstrom , Z. Tajfirouz

It is proved that there exist graphs of bounded degree with arbitrarily large queue-number. In particular, for all $\Delta\geq3$ and for all sufficiently large $n$, there is a simple $\Delta$-regular $n$-vertex graph with queue-number at…

Combinatorics · Mathematics 2008-09-09 David R. Wood

Reed conjectured that for every epsilon>0 and Delta there exists g such that the fractional total chromatic number of a graph with maximum degree Delta and girth at least g is at most Delta+1+epsilon. We prove the conjecture for Delta=3 and…

Combinatorics · Mathematics 2010-09-30 Tomas Kaiser , Andrew King , Daniel Kral

We consider straight-line outerplanar drawings of outerplanar graphs in which a small number of distinct edge slopes are used, that is, the segments representing edges are parallel to a small number of directions. We prove that $\Delta-1$…

Computational Geometry · Computer Science 2014-04-11 Kolja Knauer , Piotr Micek , Bartosz Walczak

We prove that for each $D\ge 2$ there exists $c>0$ such that whenever $b\le c\big(\tfrac{n}{\log n}\big)^{1/D}$, in the $(1:b)$ Maker-Breaker game played on $E(K_n)$, Maker has a strategy to guarantee claiming a graph $G$ containing copies…

Combinatorics · Mathematics 2017-11-16 Peter Allen , Julia Böttcher , Yoshiharu Kohayakawa , Humberto Naves , Yury Person

Let $r\geq 3$ be an integer and $G$ be a graph. Let $\delta(G), \Delta(G)$, $\alpha(G)$ and $\mu(G)$ denotes minimum degree, maximum degree, independence number and matching number of $G$, respectively. Recently, Caro, Davila and Pepper…

Combinatorics · Mathematics 2020-01-08 Hongliang Lu , Xixuan yang

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

Logic · Mathematics 2026-02-24 Anupam Das , Tikhon Pshenitsyn

We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erd\H{o}s-Hooley $\Delta$-function by $\Delta(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $\Delta(n) \geq (\log…

Number Theory · Mathematics 2023-11-01 Kevin Ford , Ben Green , Dimitris Koukoulopoulos

Let $n>1$ and $k>0$ be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix with $m$ rows is called reducible if we can delete $j$ rows, $0<j<m$, so that the remaining matrix is level. We ask if…

Combinatorics · Mathematics 2014-01-24 George Seelinger , Papa Sissokho , Larry Spence , Charles Vanden Eynden

For many types of graphs, criteria have been discovered that give necessary and sufficient conditions for an integer sequence to be the degree sequence of such a graph. These criteria tend to take the form of a set of inequalities, and in…

Combinatorics · Mathematics 2013-01-15 Jeffrey W. Miller

For every integer $r\ge3$ and every $\eps>0$ we construct a graph with maximum degree $r-1$ whose circular total chromatic number is in the interval $(r,r+\eps)$. This proves that (i) every integer $r\ge3$ is an accumulation point of the…

Combinatorics · Mathematics 2013-02-14 Mohammad Ghebleh

We consider a class of zero-sum stopper vs. singular-controller games in which the controller can only act on a subset $d_0<d$ of the $d$ coordinates of a controlled diffusion. Due to the constraint on the control directions these games…

Optimization and Control · Mathematics 2024-02-02 Andrea Bovo , Tiziano De Angelis , Jan Palczewski

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…

Logic in Computer Science · Computer Science 2012-10-15 Vincent Padovani