-
On the Confluence of Directed Graph Reductions Preserving Feedback Vertex Set Minimality
Authors:
Moussa Abdenbi,
Alexandre Blondin Massé,
Alain Goupil,
Odile Marcotte
Abstract:
In graph theory, the minimum directed feedback vertex set (FVS) problem consists in identifying the smallest subsets of vertices in a directed graph whose deletion renders the directed graph acyclic. Although being known as NP-hard since 1972, this problem can be solved in a reasonable time on small instances, or on instances having special combinatorial structure. In this paper we investigate gra…
▽ More
In graph theory, the minimum directed feedback vertex set (FVS) problem consists in identifying the smallest subsets of vertices in a directed graph whose deletion renders the directed graph acyclic. Although being known as NP-hard since 1972, this problem can be solved in a reasonable time on small instances, or on instances having special combinatorial structure. In this paper we investigate graph reductions preserving all or some minimum FVS and focus on their properties, especially the Church-Rosser property, also called confluence. The Church-Rosser property implies the irrelevance of reduction order, leading to a unique directed graph. The study seeks the largest subset of reductions with the Church-Rosser property and explores the adaptability of reductions to meet this criterion. Addressing these questions is crucial, as it may impact algorithmic implications, allowing for parallelization and speeding up sequential algorithms.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
The Leaf Function of Penrose P2 Graphs
Authors:
Carole Porrier,
Alexandre Blondin Massé,
Alain Goupil
Abstract:
We study a graph-theoretic problem in the Penrose P2-graphs which are the dual graphs of Penrose tilings by kites and darts. Using substitutions, local isomorphism and other properties of Penrose tilings, we construct a family of arbitrarily large induced subtrees of Penrose graphs with the largest possible number of leaves for a given number $n$ of vertices. These subtrees are called fully leafed…
▽ More
We study a graph-theoretic problem in the Penrose P2-graphs which are the dual graphs of Penrose tilings by kites and darts. Using substitutions, local isomorphism and other properties of Penrose tilings, we construct a family of arbitrarily large induced subtrees of Penrose graphs with the largest possible number of leaves for a given number $n$ of vertices. These subtrees are called fully leafed induced subtrees. We denote their number of leaves $L_{P2}(n)$ for any non-negative integer $n$, and the sequence $\left(L_{P2}(n)\right)_{n\in\mathbb{N}}$ is called the leaf function of Penrose P2-graphs. We present exact and recursive formulae for $L_{P2}(n)$, as well as an infinite sequence of fully leafed induced subtrees, which are caterpillar graphs. In particular, our proof relies on the construction of a finite graded poset of 3-internal-regular subtrees.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Towards a Transformer-Based Reverse Dictionary Model for Quality Estimation of Definitions
Authors:
Julien Guité-Vinet,
Alexandre Blondin Massé,
Fatiha Sadat
Abstract:
In the last years, several variants of transformers have emerged. In this paper, we compare different transformer-based models for solving the reverse dictionary task and explore their use in the context of a serious game called The Dictionary Game.
In the last years, several variants of transformers have emerged. In this paper, we compare different transformer-based models for solving the reverse dictionary task and explore their use in the context of a serious game called The Dictionary Game.
△ Less
Submitted 8 November, 2023; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Apprentissage de la pensée informatique : de la formation des enseignant$\cdot$e$\cdot$s à la formation de tou$\cdot$te$\cdot$s les citoyen$\cdot$ne$\cdot$s
Authors:
Corinne Atlan,
Jean-Pierre Archambault,
Olivier Banus,
Frédéric Bardeau,
Amélie Blandeau,
Antonin Cois,
Martine Courbin,
Gérard Giraudon,
Saint-Clair Lefèvre,
Valérie Letard,
Bastien Masse,
Florent Masseglia,
Benjamin Ninassi,
Sophie de Quatrebarbes,
Margarida Romero,
Didier Roy,
Thierry Vieville
Abstract:
In recent years, in France, computer learning (under the term of code) has entered the school curriculum, in primary and high school. This learning is also aimed at develo** computer thinking to enable students, girls and boys, to start master all aspects of the digital world (science, technology, industry, culture). However, neither teachers, nor parents are trained to teach or educate on these…
▽ More
In recent years, in France, computer learning (under the term of code) has entered the school curriculum, in primary and high school. This learning is also aimed at develo** computer thinking to enable students, girls and boys, to start master all aspects of the digital world (science, technology, industry, culture). However, neither teachers, nor parents are trained to teach or educate on these topics. Furthermore, if the educational system progresses progressively towards these objectives, in everyday life and in professional context there is also a need for lifelong training in computer thinking. Large-scale projects on coding initiation are now quite successful in supporting the training of professionals in education on these topics. However, they require an infrastructure of people and important resources to maintain their level of efficiency. In order to further develop the objectives ofhel** people to demystify IT thinking, we aim to question here the way by which it is possible to conceive a concrete and operational initiative that addresses this issue. A huge challenge: Let's share a proposal here and discuss it.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Extended Gaze Following: Detecting Objects in Videos Beyond the Camera Field of View
Authors:
Benoit Massé,
Stéphane Lathuilière,
Pablo Mesejo,
Radu Horaud
Abstract:
In this paper we address the problems of detecting objects of interest in a video and of estimating their locations, solely from the gaze directions of people present in the video. Objects can be indistinctly located inside or outside the camera field of view. We refer to this problem as extended gaze following. The contributions of the paper are the followings. First, we propose a novel spatial r…
▽ More
In this paper we address the problems of detecting objects of interest in a video and of estimating their locations, solely from the gaze directions of people present in the video. Objects can be indistinctly located inside or outside the camera field of view. We refer to this problem as extended gaze following. The contributions of the paper are the followings. First, we propose a novel spatial representation of the gaze directions adopting a top-view perspective. Second, we develop several convolutional encoder/decoder networks to predict object locations and compare them with heuristics and with classical learning-based approaches. Third, in order to train the proposed models, we generate a very large number of synthetic scenarios employing a probabilistic formulation. Finally, our methodology is empirically validated using a publicly available dataset.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Neural Network Based Reinforcement Learning for Audio-Visual Gaze Control in Human-Robot Interaction
Authors:
Stéphane Lathuilière,
Benoit Massé,
Pablo Mesejo,
Radu Horaud
Abstract:
This paper introduces a novel neural network-based reinforcement learning approach for robot gaze control. Our approach enables a robot to learn and to adapt its gaze control strategy for human-robot interaction neither with the use of external sensors nor with human supervision. The robot learns to focus its attention onto groups of people from its own audio-visual experiences, independently of t…
▽ More
This paper introduces a novel neural network-based reinforcement learning approach for robot gaze control. Our approach enables a robot to learn and to adapt its gaze control strategy for human-robot interaction neither with the use of external sensors nor with human supervision. The robot learns to focus its attention onto groups of people from its own audio-visual experiences, independently of the number of people, of their positions and of their physical appearances. In particular, we use a recurrent neural network architecture in combination with Q-learning to find an optimal action-selection policy; we pre-train the network using a simulated environment that mimics realistic scenarios that involve speaking/silent participants, thus avoiding the need of tedious sessions of a robot interacting with people. Our experimental evaluation suggests that the proposed method is robust against parameter estimation, i.e. the parameter values yielded by the method do not have a decisive impact on the performance. The best results are obtained when both audio and visual information is jointly used. Experiments with the Nao robot indicate that our framework is a step forward towards the autonomous learning of socially acceptable gaze behavior.
△ Less
Submitted 23 April, 2018; v1 submitted 18 November, 2017;
originally announced November 2017.
-
Fully leafed induced subtrees
Authors:
Alexandre Blondin Massé,
Julien de Carufel,
Alain Goupil,
Mélodie Lapointe,
Émile Nadeau,
Élise Vandomme
Abstract:
Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving tha…
▽ More
Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $Δ$, we provide a $\mathcal{O}(n^3Δ)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.
△ Less
Submitted 6 July, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Tracking Gaze and Visual Focus of Attention of People Involved in Social Interaction
Authors:
Benoît Massé,
Silèye Ba,
Radu Horaud
Abstract:
The visual focus of attention (VFOA) has been recognized as a prominent conversational cue. We are interested in estimating and tracking the VFOAs associated with multi-party social interactions. We note that in this type of situations the participants either look at each other or at an object of interest; therefore their eyes are not always visible. Consequently both gaze and VFOA estimation cann…
▽ More
The visual focus of attention (VFOA) has been recognized as a prominent conversational cue. We are interested in estimating and tracking the VFOAs associated with multi-party social interactions. We note that in this type of situations the participants either look at each other or at an object of interest; therefore their eyes are not always visible. Consequently both gaze and VFOA estimation cannot be based on eye detection and tracking. We propose a method that exploits the correlation between eye gaze and head movements. Both VFOA and gaze are modeled as latent variables in a Bayesian switching state-space model. The proposed formulation leads to a tractable learning procedure and to an efficient algorithm that simultaneously tracks gaze and visual focus. The method is tested and benchmarked using two publicly available datasets that contain typical multi-party human-robot and human-human interactions.
△ Less
Submitted 21 November, 2017; v1 submitted 14 March, 2017;
originally announced March 2017.
-
The Latent Structure of Dictionaries
Authors:
Philippe Vincent-Lamarre,
Alexandre Blondin Massé,
Marcos Lopes,
Mélanie Lord,
Odile Marcotte,
Stevan Harnad
Abstract:
How many words (and which ones) are sufficient to define all other words? When dictionaries are analyzed as directed graphs with links from defining words to defined words, they reveal a latent structure. Recursively removing all words that are reachable by definition but that do not define any further words reduces the dictionary to a Kernel of about 10%. This is still not the smallest number of…
▽ More
How many words (and which ones) are sufficient to define all other words? When dictionaries are analyzed as directed graphs with links from defining words to defined words, they reveal a latent structure. Recursively removing all words that are reachable by definition but that do not define any further words reduces the dictionary to a Kernel of about 10%. This is still not the smallest number of words that can define all the rest. About 75% of the Kernel turns out to be its Core, a Strongly Connected Subset of words with a definitional path to and from any pair of its words and no word's definition depending on a word outside the set. But the Core cannot define all the rest of the dictionary. The 25% of the Kernel surrounding the Core consists of small strongly connected subsets of words: the Satellites. The size of the smallest set of words that can define all the rest (the graph's Minimum Feedback Vertex Set or MinSet) is about 1% of the dictionary, 15% of the Kernel, and half-Core, half-Satellite. But every dictionary has a huge number of MinSets. The Core words are learned earlier, more frequent, and less concrete than the Satellites, which in turn are learned earlier and more frequent but more concrete than the rest of the Dictionary. In principle, only one MinSet's words would need to be grounded through the sensorimotor capacity to recognize and categorize their referents. In a dual-code sensorimotor-symbolic model of the mental lexicon, the symbolic code could do all the rest via re-combinatory definition.
△ Less
Submitted 22 January, 2016; v1 submitted 1 November, 2014;
originally announced November 2014.
-
How Is Meaning Grounded in Dictionary Definitions?
Authors:
A. Blondin Masse,
G. Chicoisne,
Y. Gargouri,
S. Harnad,
O. Picard,
O. Marcotte
Abstract:
Meaning cannot be based on dictionary definitions all the way down: at some point the circularity of definitions must be broken in some way, by grounding the meanings of certain words in sensorimotor categories learned from experience or shaped by evolution. This is the "symbol grounding problem." We introduce the concept of a reachable set -- a larger vocabulary whose meanings can be learned fr…
▽ More
Meaning cannot be based on dictionary definitions all the way down: at some point the circularity of definitions must be broken in some way, by grounding the meanings of certain words in sensorimotor categories learned from experience or shaped by evolution. This is the "symbol grounding problem." We introduce the concept of a reachable set -- a larger vocabulary whose meanings can be learned from a smaller vocabulary through definition alone, as long as the meanings of the smaller vocabulary are themselves already grounded. We provide simple algorithms to compute reachable sets for any given dictionary.
△ Less
Submitted 14 July, 2008; v1 submitted 23 June, 2008;
originally announced June 2008.