2018


Retour à la vue des calendrier
Mardi 6 Mars
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Two fast parallel GCD algorithms of many integers
Description: Sidi Mohamed Sedjelmaci
On montre que le calcul du PGCD de ???? integers de ????(????) bits peut se faire en parallèle en temps ????(???? / log ????) avec ????(????????^(1+????) ) processors, pour tout 2 ? ???? ? ????^(3/2) / log ????, c'est-à-dire que le temps de calcul en parallèle ne dépend pas dépend du nombre d'entiers m considéré dans cet intervalle.
Mardi 20 Mars
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the Interplay between Simple Mixed Integer Programs and Lot-Sizing
Description: Laurence A. Wolsey After introducing some of the most basic lot-sizing problems and their properties, we show how the study of tight MIP formulations for the convex hull of solutions of such problems has provided more general results for MIPs and vice versa. In particular we demonstrate the importance of compact extended formulations as well as the role of mixing sets, network dual MIPs and single node flow models.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On lattice polytopes, convex matroid optimization, and degree sequences of hypergraphs
Description: Antoine Deza We introduce a family of polytopes, called primitive zonotopes, which can be seen as a generalization of the permutahedron of type Bd. We discuss connections to the largest diameter of lattice polytopes and to the computational complexity of multicriteria matroidoptimization. Complexity results and open questions are also presented. In particular, we answer a question raised in 1986 by Colbourn, Kocay, and Stinson by showing that deciding whether a given sequence is the degree sequence of a 3-hypergraph is computationallyprohibitive. Based on joint works with Asaf Levin (Technion), George Manoussakis (Paris Sud), Shmuel Onn (Technion).
Vendredi 23 Mars
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Gdt Complexité suite
Description: Paulin de Naurois Suite du premier gdt
Mardi 27 Mars
Heure: 11:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Combinatorial bases of KZn
Description: Gleb Koshevoy TBA (discussion)
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Complexity of the cluster deletion problem on cographs and subclasses of chordal graphs
Description: Mario Valencia Pabon We consider the following vertex-partition problem on graphs,
known as the CLUSTER DELETION (CD) problem: given a graph with real
nonnegative edge weights, partition the vertices into clusters (in this
case, cliques) to minimize the total weight of edges outside the
clusters. The decision version of this
optimization problem is known to be NP-complete even for unweighted
graphs and has been studied extensively. In this talk, I will focus on
the complexity of the decision CD problem for the family of chordal
graphs, showing that it is NP-complete for weighted split graphs,
weighted interval graphs and unweighted chordal graphs. We will also see
that the problem is NP-complete for weighted cographs. Some
polynomial-time solvable cases of the optimization problem will be
identified, in particular CD for unweighted cographs, split graphs,
unweighted proper interval graphs and weighted block graphs.

This is a joint work with Flavia Bonomo and Guillermo Duràn (University
of Buenos Aires).
Heure: 14:00 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Cluster relations among Schur functions and a positivity conjecture
Description: Gleb Koshevoy Cluster algebras, invented by Sergey Fomin and Andrei Zelevinsky around 2000,
are commutative algebras whose generators and relations are constructed in a recursive manner.
Due to cluster recursion we obtain Laurent polynomials in the initial variables, so-called Laurent
phenomenon of cluster algebras. The coordinate ring of base affine space C[N_-SL_n] plays an important role in representation theory and is endowed with a cluster algebra structure. We show that under specialization of minors to Schur functions, Laurent polynomials of this cluster algebra turn into 'homogeneous' sums of Schur function. A positivity conjecture says that these sums have positive coefficients. This conjecture is true for finite cluster subalgebras.
Vendredi 30 Mars
Heure: 11:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Un calcul des séquents avec des types dépendants pour l'arithmétique classique
Description: Etienne MIQUEY En 2012, Hugo Herbelin définit dPA?, un langage typé qui fournit, dans un cadre compatible avec la logique classique, un terme de preuve pour l’axiome du choix dépendant, qui peut être vu comme une adaptation de la preuve constructive de l’axiome du choix en théorie des types de Martin-Löf ou une internalisation dans un système de preuve de l’approche en réalisabilité de Berardi, Bezem et Coquand. Malheureusement ce calcul ne dispose pas d'une preuve de normalisation, la difficulté d'une telle preuve est liée à la présence simultanée de types dépendants (pour la partie constructive du choix), d'opérateurs de contrôle (pour la logique classique), d'objets co-inductifs (pour "encoder" les fonctions de type N ? A par des streams (a?,a?,...)) et d'évaluation paresseuse avec partage (pour ces objets co-inductifs).
Durant cet exposé, nous verrons comment définir une variante de dPA? en calcul des séquents dont on pourra prouver la correction. Au passage, on montrera la normalisation du call-by-need classique (présenté comme une extension du ?µµ?-calcul avec des environnements partagés) en utilisant notamment des techniques de réalisabilité à la Krivine ; et l'on développera un calcul des séquents classique avec types dépendants, dont la correction est prouvable à l'aide d'une traduction CPS tenant compte des dépendances.
Jeudi 5 Avril
Heure: 12:15 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Apports de la Programmation Linéaire en Nombres Entiers pour la modélisation et l'extraction d'ensembles de motifs
Description: Abdelkader Ouali Un problème récurrent en extraction de motifs est la sélection de motifs pertinents parmi le grand ensemble de motifs découverts. Pour réduire le nombre de motifs extraits et donc de faciliter l'analyse du résultat de la fouille est l'extraction de motifs de plus haut niveau reposant sur des caractéristiques qui impliquent plusieurs motifs locaux. Ces motifs sont appelés ensembles de motifs ou pattern sets. Extraire le meilleur ensemble de motifs relativement à une mesure donnée permet de mieux cibler le processus d’extraction vers les meilleurs motifs mais rend la tâche plus ardue, notamment en raison de la taille importante de l'espace de recherche et le manque de techniques d'élagage efficaces pour ce type de problèmes. La plupart des approches existantes (souvent heuristiques) sacrifient la preuve d'optimalité au détriment de solutions approchées. Toutefois, la qualité de solutions obtenues par ces approches reste très variable.

La PLNE (Programmation Linéaire en Nombres Entiers) est un au cadre générique qui procure un haut niveau de flexibilité et d’expressivité pour composer différentes types de contraintes. L'utilisation de la PLNE pour la modélisation de tâches d’optimisation en fouille de données est un domaine qui a été très peu exploré. C'est dans ce cadre que s'inscrivaient mes travaux de thèse.

Dans cet exposé, je vais montrer comment la PLNE peut être utilisée pour modéliser différentes contraintes portant sur des ensembles de motifs. Outre le cadre général de l’extraction d'ensembles de motifs, je vais illustrer l’intérêt de mon approche sur deux problèmes bien connus en fouille de données : le clustering conceptuel et le problème de pavage (tiling). Enfin, je présenterai quelques résultats récents sur l'utilisation des moyennes ordonnées pondérées (communément appelées OWA pour Ordered Weighted) afin de trouver un équilibre optimal sur la taille des clusters du clustering conceptuel.
Vendredi 6 Avril
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Session-based concurrency, reactively
Description: Mauricio Cano This talk concerns formal models for the analysis of communication/centric software systems that feature declarative and reactive behaviors. We focus on session-based concurrency, the interaction model induced by session types, which uses (variants of) the pi-calculus as specification languages. While well-established, such process models are not expressive enough to specify declarative and reactive behaviors common in emerging communication-centric software systems.

Here we propose the synchronous reactive programming paradigm (SRP) as a uniform foundation for session-based concurrency. We present correct encodings of session-based calculi into ReactiveML, a synchronous reactive programming language. Our encodings bridge the gap between process specifications and concurrent programs in which session-based concurrency seamlessly coexists with declarative, reactive, timed, and contextual behaviors.
Mardi 10 Avril
Heure: 10:30 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: CIP : Equations différetielles non commutatives (préparation)
Description: Gérard DUCHAMP
Mercredi 18 Avril
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Apprentissage et génération de représentations optimisées de données complexes
Description: Abdelkader Benyettou On propose une approche mimétique pour l’apprentissage et la génération de représentations
optimisées de données complexes à travers la sélection et la pondération simultanée des attributs
basée sur une hybridation entre une approche évolutionnaire et l’apprentissage sous contraintes des
machines à vecteurs de support. Cette technique a été expérimentée sur l’optimisation de la
classification des documents web ainsi que des images aériennes. Cependant, les représentations
usuelles des données complexes engendrent des matrices de très grandes dimensionnalités dont le
traitement par une approche mimétique peut s’avérer très lourd en temps de calcul lors de la phase
d’apprentissage. On propose une implémentation parallèle de l’algorithme proposé basée sur les
modèles d’îlots afin de palier à ce problème. Nos expériences sur plusieurs benchmarks : Reuters-
21578, 7Sectors, Webkb et UCMerced LandUse ont montré qu’on peut réduire significativement le
temps d’exécution ainsi que le nombre d’attributs avec une nette amélioration des performances en
classification.
Mardi 24 Avril
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: CIP : Théorie de Picard-Vessiot et équations différentielles non commutatives
Description: Hoang Ngoc Minh Attention : Horaire décalé à 11h00 vu les difficultés de transport.
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Facteurs cyclotomiques des polynômes de Serre
Description: Florian Luca https://lipn.fr/~cb/Seminaires/resume.php?L=1165
Mercredi 2 Mai
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Discrete convexity and applications to combinatorics and optimization
Description: Gleb Koshevoy I will explain theory convexity for lattices, free Abelian groups without torsion. I will show that a famous class of polytopes, polymatroids of combinatorial optimization, is related to one of classes of discrete convexity. Several instances of discretely convex functions related to combinatorics of Young tableaux will be demonstrated.
Vendredi 11 Mai
Heure: 13:30 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: complexité algébrique III
Description: Paulin
Lundi 14 Mai
Heure: 14:00 - 15:30
Lieu: Salle B407, bâtiment B, Université de Villetaneuse
Résumé: Immerman-Szelepcsenyi
Description: Damiano
Mardi 15 Mai
Heure: 11:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Phylogenetic trees modeled by increasing Schröder trees
Description: Mehdi Naima In biology a phylogenetic tree is a classical tool to represent the evolutionary relationship among
species. Our main frustration against the classical combinatorial models is related to the chrono-
logical aspect that seems not considered by the models. E. g. the Schröder trees do not take into
account the time evolution. We develop in this paper a model for phylogenetic trees satisfying
in priority two constraints: (1) to take into account the chronological evolution and (2) to be
efficient to simulate. Our model is based on some increasingly labeling of Schröder trees.
Heure: 12:00 - 13:30
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: logique catégorique I
Description: Damiano
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Strong and Cheap SDP and SOCP Hierarchies for Polynomi al Optimization
Description: Bissan Ghaddar In this talk, we propose alternative SDP and SOCP approximation hierarchies to obtain global bounds for general polynomial optimization problems (POP), by using SOS, and SDSOS polynomials to strengthen existing hierarchies for POPs. Specifically, we show that the resulting approximations are substantially more effective in finding solutions of certain POPs for which the more common hierarchies of SDP relaxations are known to perform poorly. Numerical results based on the proposed hierarchies are presented on non-convex instances form the literature as well as on instances from the GLOBAL Library.
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Hom-idempotent graphs, normal Cayley graphs and stable Kneser graphs
Description: Mario Valencia Pabon Dans cet exposé, on parlera de la notion de hom-idempotence dans l'ensemble de graphes : un graphe G est dit hom-idempotent s'il existe un homomorphisme entre le graphe produit cartésien G*G et G lui-même. Cette notion est fortement liée à une classe particulière de graphes de Cayley qu'on appelle les graphes de Cayley normaux. On montrera que les graphes de Kneser K(n,k) ne sont pas hom-idempotents. On montrera aussi que les graphes s-stables de Kneser K(n,k)_s ne sont pas hom-idempotents si s=2 mais, pour n=sk+1, K(n,k)_s est hom-idempotent. Finalement, on appliquera la notion de hom-idempotence à la k-tuple coloration de graphes : une k-tuple coloration de graphes consiste en affecter à chaque sommet un k-ensemble de couleurs de sorte que sommets adjacents reçoivent k-ensembles disjoints. On montrera que la différence entre le nombre chromatique du graphe produit cartésien de graphes de Kneser K(n,k)*K(n,k) et le nombre chromatique d'une 2-tuple coloration du même graphe K(n,k)*K(n,k) n'est pas bornée.
Mercredi 23 Mai
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Facteurs premiers de nombres remarquables
Description: Florian Luca Soit une suite de nombres entiers et considérons le produit des n premiers termes. Combien ce produit a-t-il de facteurs premiers ? Quel est le plus grand ? Nous présenterons différents résultats concernant des suites célèbres : les nombres de Fermat, de Fibonacci, ...
Heure: 15:00 - 16:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A New Branch-and-Price-and-Cut Algorithm for One-Dimensional Bin Packing Problems
Description: Roberto Baldacci In this work, a new branch-and-price-and-cut algorithm is proposed to solve the one-dimensional bin packing problem (1D-BPP). The 1D-BPP is one of the most fundamental problems in combinatorial optimization and has been extensively studied for decades. Recently, Delorme et al. (2016) proposed 500 new test instances for the 1D-BPP; the best exact algorithm proposed in the literature can optimally solve 167 of these new instances, with a time limit of one hour imposed to each execution of the algorithm.
The exact algorithm proposed in this paper is based on the classical set-partitioning model for the 1D-BPP and the subset-row inequalities proposed by Jepsen et al. (2008). We describe an ad-hoc label-setting algorithm to solve the pricing problem, dominance and fathoming rules to speedup its computation and a new primal heuristic. The exact algorithm can easily handle some practical constraints, like the incompatibility between the items, and therefore we also apply it to solve the 1D-BPP with conflicts (1D-BPPC).
The proposed method is tested on a large family of 1D-BPP and 1D-BPPC classes of instances. For the 1D-BPP, the proposed method can optimally solve 237 instances of the new set of difficult instances; the largest instance involves 1003 items and bins of capacity 80,000. For the 1D-BPPC, the experiments show that the method is highly competitive with state-of-the-art methods, and successfully closed several open 1D-BPPC instances.
Vendredi 25 Mai
Heure: 14:00 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: type-two polynomial time and restricted lookahead
Description: Florian Steinberg
Mardi 29 Mai
Heure: 11:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: (CIP) Discussion on graph rewriting systems (with examples and equations)
Description: Nicolas Behr Séminaire annulé à cause de difficultés de transport. Le séminaire de 14h00
est maintenu.
Heure: 14:00 - 16:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Combinatorics of chemical reaction systems
Description: Nicolas Behr Reporting on recent work with G.H.E. Duchamp and K.A. Penson (arXiv:1712.06575), I plan to present a formulation of chemical reaction systems in the so-called stochastic mechanics formalism. This approach allows to uncover some deep relationships between the combinatorial techniques of boson normal-ordering and the dynamics of chemical reaction networks: each semi-linear reaction type induces an evolution within a space of probability distributions that can be computed explicitly via our techniques. For the interesting remaining types of reactions, some results involving systems of Sobolev-Jacobi orthogonal polynomials will be presented.