wiki_research

commit 670ab6c46bbb43e8d0033009dba7db61504fa9a6
parent e3a4a889dc5a6e9efe5e0835e4969a3dce7147c5
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed,  6 May 2026 17:46:19 +0200

commit with codex

Diffstat:
sharp_nfa
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/sharp_nfa b/sharp_nfa
@@ -9,6 +9,8 @@
 [computational_complexity]:
 - [sharpp]-hard
   - by reduction from [sharp_satisfiability_dnf]
+  - cf [angeliki2017complete] slide 34
+  - cf [irwin2022complexity]
 - [spanl]-complete
 - admits a [fpras]: [arenas2021nfa]