diff --git a/.obsidian/plugins/lazy-plugins/data.json b/.obsidian/plugins/lazy-plugins/data.json index a595f6ac..2a516155 100644 --- a/.obsidian/plugins/lazy-plugins/data.json +++ b/.obsidian/plugins/lazy-plugins/data.json @@ -361,6 +361,9 @@ }, "obsidian-banners": { "startupType": "disabled" + }, + "github-sync": { + "startupType": "instant" } } } diff --git a/dragscroll.md b/dragscroll.md index 00a0ad27..6f6e21ca 100644 --- a/dragscroll.md +++ b/dragscroll.md @@ -16,6 +16,12 @@ tags: # Configuration +## Bouton de souris + +- `defaults write com.emreyolcu.DragScroll button -int 5` pour changer le numéro du bouton de souris +- 5 par défaut +- 0 pour désactiver les boutons de souris + ## modifieurs - un modifieur : `defaults write com.emreyolcu.DragScroll keys -array shift` - plusieurs modifieurs en même temps : `defaults write com.emreyolcu.DragScroll keys -array command shift` diff --git a/notations article meringer.md b/notations article meringer.md index ac98781e..09ae5462 100644 --- a/notations article meringer.md +++ b/notations article meringer.md @@ -7,6 +7,7 @@ up:: [[mémoire L3 maths]] - $\mathcal{G}_{n} := \{ 0, 1 \}^{X}$ ensemble des graphes étiquettés à $n$ sommets (fonctions de $X \to \{ 0, 1 \}$) - $\Gamma \in \mathcal{G}_{n}$ un graphe - $E := \{ e \in X \mid \Gamma(e) = 1 \}$ l'ensemble des arrêtes de $\Gamma$ + - on assimile un graphe à l'ensemble de ces arrête : $\Gamma = \{ e_1, \dots, e_{t} \}$ - $S_{n} \backslash \backslash \mathcal{G}_{n} = \mathfrak{S}_{n} \backslash \backslash \mathcal{G}_{n}$ l'ensemble des graphes simples à $n$ sommets (non-étiquettés, donc stables par permutation des sommet : les classes d'équivalences de $\mathcal{G}_{n}$ par isomorphisme) ## Graphes particuliers ### Graphes réguliers @@ -85,3 +86,10 @@ Chacune des propriétés définissant ces ensembles est invariante par isomorphi - # Critères d'existence des graphes réguliers +# Génération des graphes réguliers + +- $P(\Gamma) := \{ \Gamma \cup \{ e \} \mid e > \max\{ e' \in \Gamma \} \}$ + - = Si $\Gamma = \{ (1, 2), (1, 5), (4, 3) \}$ alors $P(\Gamma) = \{ \Gamma \cup \{ e \} | e > (4, 3) \} = \{ \Gamma \cup (4, 4), \Gamma \cup (4, 5), \Gamma \cup (5, 1), \Gamma \cup (5, 2), \Gamma \cup(5, 3), \Gamma \cup (5, 4), \Gamma \cup (5, 5) \}$ + - I les graphes que l'on peut obtenir à partir de $\Gamma$ en ajoutant un arrête **plus grande que toutes les autres** dans l'ordre lexicographique +- $P^{(n)}(\Gamma)$ : + - $P^{(1)}(\Gamma) = P(\Gamma)$ \ No newline at end of file