search

kkdai / blog

This is blog comment repo for https://www.evanlin.com/
0 stars 0 forks source link

moocs-coursera-automata-note6-2/ #58

Open kkdai opened 3 years ago

kkdai commented 3 years ago

[Coursera][Automata] 自動機理論-Automata筆記-第六週(下): Intractable Problems and NP-completeness

http://www.evanlin.com/moocs-coursera-automata-note6-2/

kkdai commented 3 years ago

comment written by Dboy Liao, created at 08 Nov 15 16:00 UTC,

哈~
期末我沒有考很好~
很多東西以為懂了~
一考發現還是不熟~
再加油~

我想實戰一次 comiler 應該會更有 fu ~
明年再挑戰一次~XDDD

kkdai commented 3 years ago

comment written by Wei-Lun Tsai, created at 10 Mar 20 03:17 UTC,

您好，我想請問一下 SAT 和 3SAT 的轉換那邊是不是寫反了？因為根據印象應該是 簡單的題目轉到困難的題目 才叫做 reduction (符號是小於等於，右下角加個 P)，所以應該是已經先知道 SAT 是 NPC，才能說 3SAT 是 NPC？有錯請指正～