From 2bd42acce82c1b830eed8da612b74b7f2883191c Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 8 Oct 2025 16:59:19 +0200
Subject: [PATCH] eduroam-prg-hf-1-7-38.net.univ-paris-diderot.fr
 2025-10-8:16:59:19

---
 classes de complexité.md                               |  5 +++++
 ...tre complexité temporelle et complexité spatiale.md | 10 ++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 lien entre complexité temporelle et complexité spatiale.md

diff --git a/classes de complexité.md b/classes de complexité.md
index 2b16545c..dba340ae 100644
--- a/classes de complexité.md	
+++ b/classes de complexité.md	
@@ -5,6 +5,8 @@ tags:
   - s/informatique/algorithmie
 aliases:
 ---
+![[langage décidable en temps déterministe]]
+# Complexité temporelle
 
 > [!definition] $P$ (ou $PTIME$)
 > $\displaystyle P = \bigcup _{c >0} \operatorname{DTIME}(n \mapsto n ^{c})$
@@ -15,3 +17,6 @@ aliases:
 > [!definition] $LOGTIME$ (ou $L$)
 > $LOGTIME = \operatorname{DTIME}(n \mapsto \log n)$
 
+# Complexité spatiale
+
+
diff --git a/lien entre complexité temporelle et complexité spatiale.md b/lien entre complexité temporelle et complexité spatiale.md
new file mode 100644
index 00000000..33ba7220
--- /dev/null
+++ b/lien entre complexité temporelle et complexité spatiale.md	
@@ -0,0 +1,10 @@
+---
+up:
+  - "[[complexité algorithmique]]"
+tags:
+  - s/informatique/algorithmie
+aliases:
+---
+
+> [!proposition]+ 
+> $\forall f \in \mathbb{N}^{\mathbb{N}},\quad \operatorname{DTIME}(f) \subseteq \operatorname{DSPACE}(f)$
\ No newline at end of file