-
Maker-Breaker domination game
Authors:
Eric Duchêne,
Valentin Gledel,
Aline Parreau,
Gabriel Renault
Abstract:
We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker gam…
▽ More
We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker games, that is studied here in a combinatorial context. In this paper, we first prove that deciding the winner of the Maker-Breaker domination game is PSPACE-complete, even for bipartite graphs and split graphs. It is then showed that the problem is polynomial for cographs and trees. In particular, we define a strategy for Dominator that is derived from a variation of the dominating set problem, called the pairing dominating set problem.
△ Less
Submitted 18 September, 2018; v1 submitted 25 July, 2018;
originally announced July 2018.
-
Deterministic factoring with oracles
Authors:
Fran{\c c}ois Morain,
Gu{é}na{ë}l Renault,
Benjamin Smith
Abstract:
We revisit the problem of integer factorization with number-theoretic oracles, including a well-known problem: can we factor an integer $N$ unconditionally, in deterministic polynomial time, given the value of the Euler totient $$Φ$(N)…
▽ More
We revisit the problem of integer factorization with number-theoretic oracles, including a well-known problem: can we factor an integer $N$ unconditionally, in deterministic polynomial time, given the value of the Euler totient $$Φ$(N)$? We show that this can be done, under certain size conditions on the prime factors of N. The key technique is lattice basis reduction using the LLL algorithm. Among our results, we show for example that if $N$ is a squarefree integer with a prime factor $p > $\sqrt$ N$ , then we can recover p in deterministic polynomial time given $$Φ$(N)$. We also shed some light on the analogous problems for Carmichael's function, and the order oracle that is used in Shor's quantum factoring algorithm.
△ Less
Submitted 13 August, 2021; v1 submitted 23 February, 2018;
originally announced February 2018.
-
A Probabilistic Analysis on a Lattice Attack against DSA
Authors:
Domingo Gomez-Perez,
Guénaël Renault
Abstract:
Analyzing the security of cryptosystems under attacks based on the malicious modification of memory registers is a research topic of high importance. This type of attacks may affect the randomness of the secret parameters by forcing a limited number of bits to a certain value which can be unknown to the attacker. In this context, we revisit the attack on DSA presented by Faugère, Goyet and Renault…
▽ More
Analyzing the security of cryptosystems under attacks based on the malicious modification of memory registers is a research topic of high importance. This type of attacks may affect the randomness of the secret parameters by forcing a limited number of bits to a certain value which can be unknown to the attacker. In this context, we revisit the attack on DSA presented by Faugère, Goyet and Renault during the conference SAC 2012: we simplify their method and we provide a probabilistic approach in opposition to the heuristic proposed in the former to measure the limits of the attack. More precisely, the main problem is formulated as the search for a closest vector to a lattice, then we study the distribution of the vectors with bounded norms in a this family of lattices and we apply the result to predict the behavior of the attack. We validated this approach by computational experiments.
△ Less
Submitted 28 December, 2017;
originally announced December 2017.
-
On the p-adic stability of the FGLM algorithm
Authors:
Guénaël Renault,
Tristan Vaccon
Abstract:
Nowadays, many strategies to solve polynomial systems use the computation of a Gr{ö}bner basis for the graded reverse lexicographical ordering, followed by a change of ordering algorithm to obtain a Gr{ö}bner basis for the lexicographical ordering. The change of ordering algorithm is crucial for these strategies. We study the p-adic stability of the main change of ordering algorithm, FGLM. We show…
▽ More
Nowadays, many strategies to solve polynomial systems use the computation of a Gr{ö}bner basis for the graded reverse lexicographical ordering, followed by a change of ordering algorithm to obtain a Gr{ö}bner basis for the lexicographical ordering. The change of ordering algorithm is crucial for these strategies. We study the p-adic stability of the main change of ordering algorithm, FGLM. We show that FGLM is stable and give explicit upper bound on the loss of precision occuring in its execution. The variant of FGLM designed to pass from the grevlex ordering to a Gr{ö}bner basis in shape position is also stable. Our study relies on the application of Smith Normal Form computations for linear algebra.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Complexity of the Game Domination Problem
Authors:
Boštjan Brešar,
Paul Dorbec,
Sandi Klavžar,
Gašper Košmrlj,
Gabriel Renault
Abstract:
The game domination number is a graph invariant that arises from a game, which is related to graph domination in a similar way as the game chromatic number is related to graph coloring. In this paper we show that verifying whether the game domination number of a graph is bounded by a given integer is PSPACE-complete. This contrasts the situation of the game coloring problem whose complexity is sti…
▽ More
The game domination number is a graph invariant that arises from a game, which is related to graph domination in a similar way as the game chromatic number is related to graph coloring. In this paper we show that verifying whether the game domination number of a graph is bounded by a given integer is PSPACE-complete. This contrasts the situation of the game coloring problem whose complexity is still unknown.
△ Less
Submitted 17 June, 2016; v1 submitted 1 October, 2015;
originally announced October 2015.
-
Invertibility modulo dead-ending no-P-universes
Authors:
Gabriel Renault
Abstract:
In normal version of combinatorial game theory, all games are invertible, whereas only the empty game is invertible in misère version. For this reason, several restricted universes were earlier considered for their study, in which more games are invertible. We here study combinatorial games in misère version, in particular universes where no player would like to pass their turn In these universes,…
▽ More
In normal version of combinatorial game theory, all games are invertible, whereas only the empty game is invertible in misère version. For this reason, several restricted universes were earlier considered for their study, in which more games are invertible. We here study combinatorial games in misère version, in particular universes where no player would like to pass their turn In these universes, we prove that having one extra condition makes all games become invertible. We then focus our attention on a specific quotient, called Q_Z, and show that all sums of universes whose quotient is Q_Z also have Q_Z as their quotient.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
Quantitative Games under Failures
Authors:
Thomas Brihaye,
Gilles Geeraerts,
Axel Haddad,
Benjamin Monmege,
Guillermo A. Pérez,
Gabriel Renault
Abstract:
We study a generalisation of sabotage games, a model of dynamic network games introduced by van Benthem. The original definition of the game is inherently finite and therefore does not allow one to model infinite processes. We propose an extension of the sabotage games in which the first player (Runner) traverses an arena with dynamic weights determined by the second player (Saboteur). In our mode…
▽ More
We study a generalisation of sabotage games, a model of dynamic network games introduced by van Benthem. The original definition of the game is inherently finite and therefore does not allow one to model infinite processes. We propose an extension of the sabotage games in which the first player (Runner) traverses an arena with dynamic weights determined by the second player (Saboteur). In our model of quantitative sabotage games, Saboteur is now given a budget that he can distribute amongst the edges of the graph, whilst Runner attempts to minimise the quantity of budget witnessed while completing his task. We show that, on the one hand, for most of the classical cost functions considered in the literature, the problem of determining if Runner has a strategy to ensure a cost below some threshold is EXPTIME-complete. On the other hand, if the budget of Saboteur is fixed a priori, then the problem is in PTIME for most cost functions. Finally, we show that restricting the dynamics of the game also leads to better complexity.
△ Less
Submitted 15 July, 2015; v1 submitted 25 April, 2015;
originally announced April 2015.
-
On the Complexity of the Misère Version of Three Games Played on Graphs
Authors:
Gabriel Renault,
Simon Schmidt
Abstract:
We investigate the complexity of finding a winning strategy for the misère version of three games played on graphs : two variants of the game $\text{NimG}$, introduced by Stockmann in 2004 and the game $\text{Vertex Geography}$ on both directed and undirected graphs. We show that on general graphs those three games are $\text{PSPACE}$-Hard or Complete. For one $\text{PSPACE}$-Hard variant of…
▽ More
We investigate the complexity of finding a winning strategy for the misère version of three games played on graphs : two variants of the game $\text{NimG}$, introduced by Stockmann in 2004 and the game $\text{Vertex Geography}$ on both directed and undirected graphs. We show that on general graphs those three games are $\text{PSPACE}$-Hard or Complete. For one $\text{PSPACE}$-Hard variant of $\text{NimG}$, we find an algorithm to compute an effective winning strategy in time $\mathcal{O}(\sqrt{|V(G)|}.|E(G)|)$ when $G$ is a bipartite graph.
△ Less
Submitted 3 May, 2015; v1 submitted 2 January, 2014;
originally announced January 2014.
-
Polynomial Systems Solving by Fast Linear Algebra
Authors:
Jean-Charles Faugère,
Pierrick Gaudry,
Louise Huot,
Guénaël Renault
Abstract:
Polynomial system solving is a classical problem in mathematics with a wide range of applications. This makes its complexity a fundamental problem in computer science. Depending on the context, solving has different meanings. In order to stick to the most general case, we consider a representation of the solutions from which one can easily recover the exact solutions or a certified approximation o…
▽ More
Polynomial system solving is a classical problem in mathematics with a wide range of applications. This makes its complexity a fundamental problem in computer science. Depending on the context, solving has different meanings. In order to stick to the most general case, we consider a representation of the solutions from which one can easily recover the exact solutions or a certified approximation of them. Under generic assumption, such a representation is given by the lexicographical Gröbner basis of the system and consists of a set of univariate polynomials. The best known algorithm for computing the lexicographical Gröbner basis is in $\widetilde{O}(d^{3n})$ arithmetic operations where $n$ is the number of variables and $d$ is the maximal degree of the equations in the input system. The notation $\widetilde{O}$ means that we neglect polynomial factors in $n$. We show that this complexity can be decreased to $\widetilde{O}(d^{ωn})$ where $2 \leq ω< 2.3727$ is the exponent in the complexity of multiplying two dense matrices. Consequently, when the input polynomial system is either generic or reaches the Bézout bound, the complexity of solving a polynomial system is decreased from $\widetilde{O}(D^3)$ to $\widetilde{O}(D^ω)$ where $D$ is the number of solutions of the system. To achieve this result we propose new algorithms which rely on fast linear algebra. When the degree of the equations are bounded uniformly by a constant we propose a deterministic algorithm. In the unbounded case we present a Las Vegas algorithm.
△ Less
Submitted 12 July, 2013; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Vertex Nim played on graphs
Authors:
Eric Duchêne,
Gabriel Renault
Abstract:
Given a graph G with positive integer weights on the vertices, and a token placed on some current vertex u, two players alternately remove a positive integer weight from u and then move the token to a new current vertex adjacent to u. When the weight of a vertex is set to 0, it is removed and its neighborhood becomes a clique. The player making the last move wins. This adaptation of Nim on graphs…
▽ More
Given a graph G with positive integer weights on the vertices, and a token placed on some current vertex u, two players alternately remove a positive integer weight from u and then move the token to a new current vertex adjacent to u. When the weight of a vertex is set to 0, it is removed and its neighborhood becomes a clique. The player making the last move wins. This adaptation of Nim on graphs is called Vertexnim, and slightly differs from the game Vertex NimG introduced by Stockman in 2004. Vertexnim can be played on both directed or undirected graphs. In this paper, we study the complexity of deciding whether a given game position of Vertexnim is winning for the first or second player. In particular, we show that for undirected graphs, this problem can be solved in quadratic time. Our algorithm is also available for the game Vertex NimG, thus improving Stockman's exptime algorithm. In the directed case, we are able to compute the winning strategy in polynomial time for several instances, including circuits or digraphs with self loops.
△ Less
Submitted 3 August, 2012;
originally announced August 2012.
-
Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time
Authors:
Jean-Gabriel Kammerer,
Reynald Lercier,
Guénaël Renault
Abstract:
We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function.
We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function.
△ Less
Submitted 25 June, 2010; v1 submitted 10 May, 2010;
originally announced May 2010.