10 papers
Straight-line programs for the solutions of Pell's equation
Bogdan Dumitru, Mihai Prunescu
For nonsquare , we construct fixed straight-line programs for the least non-trivial solution of , using addition, truncated subtraction, multiplicat…
Towards a more structured search for Erdős-Gyárfás counter-examples
Guillaume Ducoffe, Bogdan Dumitru
The Erdős-Gyárfás conjecture posits that every graph with minimum degree at least three contains a cycle of length some power of two. We prove a few simple structural properties fo…
Sunflower-Free Uniform Families: Recursive Constructions and Explicit Bounds
Edward Axante, Cristian Budala, David Chitic +2
Let be the maximum size of a -uniform family containing no sunflower with petals. We introduce a recursive construction for sunflower-free families and use it to ob…
Short arithmetic terms for the cardinality of elliptic curves over rings of remainder classes and over finite fields
Bogdan Dumitru, Mihai Prunescu
Arithmetic terms are fixed finite compositions of addition, truncated subtraction, multiplication, integer division and exponentiation on natural numbers. We construct such terms f…
An Exhaustive Census of Main-Diagonal Symmetric Costas Arrays of Orders 37-42
Bogdan Dumitru, Cristian Budala
We determine by exhaustive enumeration all main-diagonal symmetric Costas arrays of orders 37 through 42. There are 4 arrays of order 37, none of order 38, 16 of order 39, 2 of ord…
Alternating Extremes in Graceful Labelings of Full Binary Trees and Spider Trees
Bogdan Dumitru, Mihai Nacu
We study a pinned form of graceful labeling. For full binary trees, we ask whether some deepest root-to-leaf path can carry the alternating extreme pattern . Suc…
Notes on the 33-point Erdős--Szekeres problem
Bogdan Dumitru
The determination of is the first open case of the planar Erdős--Szekeres problem, where the general conjecture predicts . We present a SAT encoding for the 33-po…
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
Bogdan Dumitru, Mihai Prunescu
A celebrated but non-effective theorem of Tibor Gallai states that for any finite set of and for any finite number of colors there is a minimal such that no colo…
A Sharper Upper Bound for the Separating Words Problem
Bogdan C. Dumitru
We show that for any two distinct words over an arbitrary alphabets, there exists a deterministic finite automaton with states that accepts and…
Notes on the Finiteness of Powers of Two with All Even Digits
Bogdan C. Dumitru
We study the problem of finding positive integers such that all the decimal digits of are even, i.e., belong to . Computational checks up to $n = 10^{1…