• Aucun résultat trouvé

Quelle IA pour les données

N/A
N/A
Protected

Academic year: 2022

Partager "Quelle IA pour les données"

Copied!
27
0
0

Texte intégral

(1)

Quelle IA pour les données structurées ?

Graph Kernels

Romain Raveaux

[email protected] Maître de conférences

Université de Tours

Laboratoire d’informatique (LIFAT) Equipe RFAI

1

(2)

Outline

• Graph kernel

Definition

Kernel trick

Examples of graph kernels:

Simple

Random walk kernels

Application

2

(3)

Previous episode

• Graph Neural Networks

http://romain.raveaux.free.fr/document/graph%20neural%20networks%20ro main%20raveaux.pdf

3

(4)

Graph kernel

Taxonomy:

Graph embedding

Explicit embedding Implicit embedding

Graph kernel Graph space

4

(5)

A kernel

(6)

Kernel Trick

9

(7)

Kernel Trick

10

(8)

Kernel Trick

11

(9)

Kernel Trick

12

(10)

Graph kernel : theoretical issues

• To design a kernel taking the whole graph structure into account

amounts to build a complete graph kernel that distinguishes between 2 graphs only if they are not isomorphic

Complete graph kernel design is theoretically possible … but practically infeasible (NP-hard)

13

(11)

Graph Kernel Families

• Diffusion kernels (from similarity matrix)

• Convolution kernel

• Walk kernel (from adjacency matrix)

14

(12)

Graph embedding

15

(13)

16

(14)

17

𝑘𝑥 𝐺, 𝐺 = ෍

𝑖,𝑗=1

|𝑉𝑥|

[ ෍

𝑘=0

𝜆𝑘𝐴𝑘𝑥]

𝑖𝑗

(15)

18

(16)

19

(17)

20

(18)

21

(19)

22

(20)

23

(21)

24

(22)

25

(23)

26

(24)

Some experiments

• Comparison between graph kernels and graph neural networks.

• Taken from :

How Powerful are Graph Neural Networks? (2018)

Keyulu Xu, Weihua Hu, Jure Leskovec, Stefanie Jegelka

27

(25)

28

(26)

29

(27)

Summary on graph kernels

• Comparing paths of two different graphs is polynomial

• Comparing subgraphs of two different graphs optimally is not guaranteed in polynomial time.

• Kernels that take into account numeric attributes are more challenging.

30

Références

Documents relatifs

Given a parallelized loop nest, we determine which parallel loops should be distributed to processors, and the best alignment and distribution of arrays to minimize

Whereas classical unifiers can be viewed as acyclic TBoxes, hybrid unifiers are cyclic TBoxes, which are interpreted together with the ontology of the input using a hybrid

Strictly montone functions are the easiest imaginable testbed for hillclimbers: The function f always prefers one-bits over zero-bits, so there are always short and clearly

Centre de recherche INRIA Paris – Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex Centre de recherche INRIA Rennes – Bretagne Atlantique :

L’identification de Streptococcus agalactiae dans les prélèvements vaginaux nous a permis de mesurer la prévalence de portage chez les femmes enceintes, et de faire

By lemma 6, we constructed a polynomial reduction of 3-SAT to Less than k-edge- colored maximum matching on a tree. Since 3-SAT is NP-hard (since it is NP-C), Less than

In these three problems we ask whether it is possible to choose the right order in which the intersection of several automata must be performed in order to minimize the number

It is strongly NP -hard to compute a minimizer for the problem (k-CoSP p ), even under the input data restric- tions specified in Theorem 1.. Clearly, if a minimizer was known, we