jorenchik
|
b33790252d
|
addition in NP defn
|
2025-06-15 09:57:15 +03:00 |
|
jorenchik
|
914c91fab4
|
fix in ind-set <=p clique
|
2025-06-15 09:56:47 +03:00 |
|
jorenchik
|
7590c1eab0
|
log in derivation tab.; derivation rules; exponentiation rules
|
2025-06-15 09:56:36 +03:00 |
|
|
|
cd0a512d39
|
fixup! refactor: redraw images using fletcher
|
2025-06-15 02:43:09 +03:00 |
|
|
|
e67ff9fdaf
|
docs: add readme
|
2025-06-15 02:39:40 +03:00 |
|
|
|
16c21da5cd
|
refactor: redraw images using fletcher
|
2025-06-15 02:38:11 +03:00 |
|
|
|
18dd44645a
|
minor changes
|
2025-06-15 00:53:00 +03:00 |
|
|
|
1681f7fe8e
|
Create LICENSE
|
2025-06-15 00:27:00 +03:00 |
|
|
|
ca14d60179
|
Merge pull request #1 from jorenchik/main
|
2025-06-15 00:26:41 +03:00 |
|
jorenchik
|
56718280ef
|
better reduction notation in some headings
|
2025-06-14 20:46:36 +03:00 |
|
jorenchik
|
7eda2fb26e
|
0.2.0 version
|
2025-06-14 20:44:14 +03:00 |
|
jorenchik
|
26a502099d
|
added me to authors
|
2025-06-14 20:08:33 +03:00 |
|
jorenchik
|
a6dfc6d879
|
first version before review??
|
2025-06-14 20:07:47 +03:00 |
|
jorenchik
|
e7abda0d1a
|
some reordering / corrections
|
2025-06-14 16:00:35 +03:00 |
|
jorenchik
|
a5b5c5732d
|
many additions; some critical corrections
|
2025-06-14 14:43:06 +03:00 |
|
|
|
258c077aa0
|
ci: update typst action version
|
2025-06-13 23:23:14 +03:00 |
|
|
|
5de88d65ea
|
feat: add log properties
|
2025-06-13 23:21:15 +03:00 |
|
|
|
5d18cf1e27
|
refactor: translate en to lv
|
2025-06-13 22:59:26 +03:00 |
|
|
|
6563944111
|
feat: add complexity classes
|
2025-06-13 22:23:45 +03:00 |
|
|
|
3ca4ede8ac
|
feat: add NP
|
2025-06-13 21:55:52 +03:00 |
|
|
|
d89393bef8
|
feat: add TM runtime
|
2025-06-13 20:00:04 +03:00 |
|
|
|
2c0b0785a2
|
feat: add algorithmic countability
|
2025-06-13 19:48:44 +03:00 |
|
|
|
c22c75649b
|
feat: add partial undecidability
|
2025-06-13 19:34:38 +03:00 |
|
|
|
eb904d5483
|
feat: add reduction
|
2025-06-13 19:26:43 +03:00 |
|
|
|
bb63f218aa
|
feat: add countables
|
2025-06-13 19:10:24 +03:00 |
|
|
|
bab28812d0
|
feat: add big/small O
|
2025-06-13 18:03:05 +03:00 |
|
|
|
4c93fb2963
|
feat: add TM
|
2025-06-13 17:41:37 +03:00 |
|
|
|
ac415766a8
|
Initial commit
|
2025-06-13 16:48:23 +03:00 |
|
|
|
c0122a03fb
|
Initial commit
|
2025-06-13 16:31:58 +03:00 |
|