Skip to content

Commit

Permalink
devs clean up
Browse files Browse the repository at this point in the history
  • Loading branch information
@charlie-j
charlie-j committed Jul 17, 2019
1 parent d152f90 commit 8909f15
Show file tree
Hide file tree
Showing 22 changed files with 60 additions and 60 deletions.
8 changes: 4 additions & 4 deletions 901.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -94,10 +94,10 @@
\secdev

\begin{itemize}
\item \input{dev/tri_tas}
\item \input{dev/hachageparfait}
\item \input{dev/abroptimaux}
\item \input{dev/Arbres2-4}
\item[++] \input{dev/tri_tas}
\item[++] \input{dev/hachageparfait}
\item[+] \input{dev/abroptimaux}
\item[+] \input{dev/Arbres2-4}
\end{itemize}


Expand Down
8 changes: 4 additions & 4 deletions 903.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -111,10 +111,10 @@
\secdev

\begin{itemize}
\item \input{dev/tri_tas}
\item \input{dev/tri_rapide}
\item \input{dev/borne_inf_tri}
\item \input{dev/tri_bitonique}
\item[++] \input{dev/tri_tas}
\item[++] \input{dev/tri_rapide}
\item[++] \input{dev/borne_inf_tri}
\item[+] \input{dev/tri_bitonique}
\end{itemize}


Expand Down
8 changes: 4 additions & 4 deletions 907.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -98,10 +98,10 @@
\secdev

\begin{itemize}
\item \input{dev/autom_occur}
\item \input{dev/plsc}
\item \input{dev/Aho-Corasick}
\item \input{dev/DistanceEdition}
\item[++] \input{dev/autom_occur}
\item[++] \input{dev/plsc}
\item[++] \input{dev/Aho-Corasick}
\item[+] \input{dev/DistanceEdition}
% \item \temporary{CYK}
% \item \temporary{KMP}
\end{itemize}
Expand Down
12 changes: 6 additions & 6 deletions 909.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -119,12 +119,12 @@
\secdev
%% sketchy, to complete
\begin{itemize}
\item \input{dev/kleene}
\item \input{dev/presburger}
\item \input{dev/autom_occur}
\item \input{dev/nerode}
\item \input{dev/lemetoile}
\item \input{dev/Aho-Corasick}
\item[++] \input{dev/kleene}
\item[+] \input{dev/presburger}
\item[+] \input{dev/autom_occur}
\item[++] \input{dev/nerode}
\item[++] \input{dev/lemetoile}
\item[+] \input{dev/Aho-Corasick}

\end{itemize}

Expand Down
8 changes: 4 additions & 4 deletions 914.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -81,11 +81,11 @@
\secdev
%% sketchy, to complete
\begin{itemize}
\item \input{dev/arretrice}
\item \input{dev/indegram}
\item \input{dev/presburger}
\item[++] \input{dev/arretTM}
\item[+] \input{dev/indegram}
\item[+] \input{dev/presburger}
%\item \input{dev/olin}
\item \input{dev/peano}
\item[+] \input{dev/peano}

\end{itemize}

Expand Down
6 changes: 3 additions & 3 deletions 915.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -128,9 +128,9 @@
\secdev

\begin{itemize}
\item \input{dev/cook}
\item Preuve de complétude d'un problème au choix.
\item \input{dev/immerman}
\item[++] \input{dev/cook}
\item[++] Preuve de complétude d'un problème au choix.
\item[+] \input{dev/immerman}
% \item \temporary{Équivalence entre 2 bandes et k bandes}
% \item \temporary{Hiérarchie en temps et en espace}
% \item \temporary{Universalité d'un langage rationnel est PSPACE complet}
Expand Down
6 changes: 3 additions & 3 deletions 916.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -119,9 +119,9 @@
%% machine RAM}
% \item \temporary{Complétude de la résolution propositionnelle}

\item \input{dev/cook}
\item \input{dev/2SAT}
\item \input{dev/resolution}
\item[++] \input{dev/cook}
\item[++] \input{dev/2SAT}
\item[++] \input{dev/resolution}
\end{itemize}


Expand Down
4 changes: 2 additions & 2 deletions 918.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,8 +102,8 @@
\item Le théorème de \bsc{Herbrand } est hors-sujet, c'est de la sémantique.
\item L'unification est vraiment border line.
\item L'élimination des coupures est trop dur à faire passer dans le temps.
\item \input{dev/comp}
\item \input{dev/contraction}
\item[++] \input{dev/comp}
\item[++] \input{dev/contraction}
\item Développement d'un exemple de preuve en déduction naturelle ou en calcul des séquents.
\end{itemize}

Expand Down
4 changes: 2 additions & 2 deletions 924.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -131,8 +131,8 @@

\begin{itemize}
%\item \input{dev/olin}
\item \input{dev/peano}
\item \input{dev/presburger}
\item[++] \input{dev/peano}
\item[++] \input{dev/presburger}
\end{itemize}


Expand Down
6 changes: 3 additions & 3 deletions 925.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,9 @@
\secdev

\begin{itemize}
\item \input{dev/dijkstra}
\item \input{dev/primkruskal}
\item \input{dev/2SAT}
\item[++] \input{dev/dijkstra}
\item[++] \input{dev/primkruskal}
\item[-]\input{dev/2SAT}
\textit{Bien insister sur les algorithmes de graphes utilisés (Kosaraju par exemple), et bien justifier que le temps reste linéaire en la taille de la formule.}
\end{itemize}

Expand Down
8 changes: 4 additions & 4 deletions 926.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,10 +86,10 @@
\secdev

\begin{itemize}
\item \input{dev/dijkstra}
\item \input{dev/tri_rapide}
\item \input{dev/Arbres2-4}
\item \input{dev/hachageparfait}
\item[+] \input{dev/dijkstra}
\item[++] \input{dev/tri_rapide}
\item[++] \input{dev/Arbres2-4}
\item[++] \input{dev/hachageparfait}
\end{itemize}


Expand Down
4 changes: 2 additions & 2 deletions 927.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -81,8 +81,8 @@
\secdev

\begin{itemize}
\item \input{dev/factorielhoare}
\item \input{dev/correctionalgo}
\item[++] \input{dev/factorielhoare}
\item [++]\input{dev/correctionalgo}
\end{itemize}


Expand Down
9 changes: 5 additions & 4 deletions 928.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -116,10 +116,11 @@
\secdev

\begin{itemize}
\item \input{dev/cook}
\item \input{dev/conjonctivesnpcomplet}
\item Preuve de \NP-complétude d'un problème au choix.
\item Algorithme polynomial d'approximation d'un problème NP-complet.
\item[++] \input{dev/cook}
\item[+] \input{dev/conjonctivesnpcomplet}
\item[+] Preuve de \NP-complétude d'un problème au choix.
\item[+] Algorithme polynomial d'approximation d'un problème
NP-complet.
\footnote{Attention, la preuve
du Cormen du facteur d'approximation pour
l'approximation du problème couverture de sommets est légèrement
Expand Down
2 changes: 1 addition & 1 deletion 929.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,7 @@
\secdev

\begin{itemize}
\item \input{dev/lambdaequivrecursive}
\item[++] \input{dev/lambdaequivrecursive}

\end{itemize}

Expand Down
10 changes: 5 additions & 5 deletions 931.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -110,11 +110,11 @@
\secdev

\begin{itemize}
\item \input{dev/plsc}
\item \input{dev/tri_rapide}
\item \input{dev/primkruskal}
\textit{\\Bien insister sur le caractère glouton dans cette leçon}
\item Exemple d'algorithme d'approximation utilisant une approche gloutonne.
\item[++] \input{dev/plsc}
\item[++] \input{dev/tri_rapide}
\item[+] \input{dev/primkruskal}
\textit{\\Bien insister sur le caractère glouton dans cette
leçon}
\end{itemize}


Expand Down
6 changes: 3 additions & 3 deletions 932.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -88,9 +88,9 @@
\secdev

\begin{itemize}
\item \input{dev/conjonctivesnpcomplet}
\item \input{dev/armstrong}
\item \input{dev/Arbres2-4}
\item[++] \input{dev/conjonctivesnpcomplet}
\item[++] \input{dev/armstrong}
\item[+] \input{dev/Arbres2-4}
\end{itemize}


Expand Down
2 changes: 1 addition & 1 deletion dev/arretTM.tex
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
\dev{Indécidabilité de l'arrêt et applications à quelques problèmes indécidables}{[Sip], p159,172}{}{912,913}{Ne faire Rice que si on sait bien le faire, qu'on le comprend, et qu'on sait l'appliquer.}
\dev{Indécidabilité de l'arrêt et applications à quelques problèmes indécidables}{[Sip], p159,172}{}{912,913}{Ne faire \bsc{Rice} que si on sait bien le faire, qu'on le comprend, et qu'on sait l'appliquer.}
1 change: 0 additions & 1 deletion dev/arretrice.tex
View file

This file was deleted.

2 changes: 1 addition & 1 deletion dev/cky.tex
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
\dev{Algorithme de Cocke-Kasami-Younger}{[Hopcroft, Ullman]}{Ch7.4.4, p298}{923}{Uniquement esquissé dans le Carton. Maitriser la mise en forme normale de Chomsky.}
\dev{Algorithme de Cocke-Kasami-Younger}{[Hopcroft, Ullman]}{Ch7.4.4, p298}{923}{Uniquement esquissé dans le Carton. Maitriser la mise en forme normale de \bsc{Chomsky}.}
2 changes: 1 addition & 1 deletion dev/equivdefTM.tex
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
\dev{Équivalence entre deux variantes des machines de Turing}{[Sip], p136}{}{912,913}{}
\dev{Équivalence entre deux variantes des machines de \bsc{Turing}}{[Sip], p136}{}{912,913}{}
2 changes: 1 addition & 1 deletion dev/immerman.tex
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
\dev{Immerman Szelepcseniy}{[Per]}{p. 121}{915}{Implique de maitriser parfaitement $NL$.}
\dev{Immerman \bsc{Szelepcsényi}}{[Per]}{p. 121}{915}{Implique de maitriser parfaitement $NL$.}

2 changes: 1 addition & 1 deletion dev/tri_rapide.tex
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
\dev{Complexité du tri rapide}{[Cor], [Bea]}{}{903,926,931}{Bien faire attention au proba du Cormen, aller voir Beauquier est pertinent. Avoir une idée de l'écart type des performances.}
\dev{Complexité du tri rapide}{[Cor], [Bea]}{}{903,926,931}{Bien faire attention au proba de [Cor], aller voir [Bea] est pertinent. Avoir une idée de l'écart type des performances.}

0 comments on commit 8909f15

Please sign in to comment.