Các chọn lựa:
- Phịa ra cái gì đó hài hước dễ thương
- Phịa ra cái gì đó không hài hước dễ thương
- Không phịa ra gì hết
Định treo giải thưởng 100usd cho ai thiết kế logo áo thun cho blog KHMT đẹp nhất, sau đó đặt in áo thun blog KHMT và bán lấy tiền uống cà fê viết blog. Cà fê starbucks đắt đỏ, kinh tế khó khăn.
Định treo bảng chiêu hiền tổ chức nhóm tin tặc oánh nát cơ sở hạ tầng mạng của một nước lớn nào đó.
Định viết về giá cơ hội của việc viết blog.
Cuối cùng, quyết định ra tuyên bố về các topics sẽ viết trong vài tháng tới:
- Định lý bất khả thi của Arrow và computational social choice
- Phân tích các hàm boolean dùng giải tích Fourier
- Định lý PCP — định lý quan trọng nhất trong lý thuyết tính toán và thuật toán kể từ định lý Cook-Levin
- Chứng minh sự khó sấp xỉ của các bài toán
- Một bài báo kinh điển về inter-domain routing (lâu rồi không viết chuỗi bài báo kinh điển)
- Bài toán hôn nhân bền vững và các ứng dụng (stable marriage matching & applications)
- …
Nếu các bạn thích đề tài nào trong các đề tài trên, cho tôi biết thì tôi sẽ viết cái đó trước.
13 Comments
Em cũng vừa mới thấy một bài liên hệ giữa Arrow’s impossibility theorem và Fourier transform on Boolean functions trên blog của Noam Nisan. Nếu có thể thì anh Hưng viết thêm về đề tài này đi ạ
.
Khong biet anh Hung con hung viet tiep bai “Nhan ma tran, DFT va ly thuyet bieu dien” hay khong ? Bai nay moi o nguong cua, chua vao den muc hap dan, phai khong anh ?
Neu anh da thoi khong quan tam den van de nay thi em xin bai ve PCP vay.
Nhan chuyen Fool Day. Em bi ong Dick Lipton choi 1 vo hom nay. Ham ho lay giay but ra doc blog cua ong ta. May ma doc comment truoc. Ong Lipton claim co factoring algorithms trong polynomial time. Clever joke !
Bài toán hôn nhân bền vững và các ứng dụng (stable marriage matching & applications) <— mong đợi nhất là bài này
Phân tích các hàm boolean dùng giải tích Fourier << Viết cái này trước anh ạ. Mà nói chung cái nào trước cũng được, ngày 2 rồi, đừng lừa em nhé
hì hì, hết ngày 1/4 rồi nhưng mà bàn cho bài ngày 1/4 mà nên vẫn phải theo ý nghĩa ngày này há.
ví dụ như: làm cách nào tạo 1 mirror của blog này giống y như vào nhà cười đó, cũng hình đó nhưng dài hơn hoặc ngắn hơn hoặc méo hơn hoặc dễ thương hơn ( cái tiêu chí này chắc bất khả thi ), làm cách nào vừa lập trình vừa ngủ, hay robot có thể lập trình điều khiển bộ óc hay hành động của con người
nhiều lựa chọn quá bác Hưng hỏng biết theo yêu cầu của ai đây, chắc phải chọn cái yêu cầu cuối cùng “…”
“Nếu các bạn thích đề tài nào trong các đề tài trên, cho tôi biết thì tôi sẽ viết cái đó trước” nghĩa là viết trước sau khi viết xong những cái mà tui thích hả?
Ráng chờ đến 1/4 sang năm coi bài viết của bác
@colnaux: tôi có đọc bài đó của Noam Nisan; tôi thấy Noam viết khá confusing. Sẽ viết cái khác rõ ràng hơn.
@Sơn: đúng là bài đó vẫn ở ngưỡng cửa, và bài về computational learning theory nữa. Vấn đề là tôi đọc nhanh hơn tôi có thời gian để viết, cho nên nhiều khi đã đoc qua đề tài khác lâu rồi mà các bài viết cũ vẫn còn giang dở.
@Ngọc Hiếu: không biết bạn đùa hay bạn cho là tôi đùa hay cả hai
quả là có đề tài đó thật, và bài toán hôn nhân bền vững, thuật toán Gale-Shaply, rất quan trọng trong KHMT
@whatvn: để compromise, tôi sẽ viết về phân tích các hàm boolean dùng Fourier để chứng minh các định lý liên quan đến PCP và Arrow’s impossibility theorem
@uyen: chờ 1/4 sang năm
Mong som duoc doc bai viet cua anh ve Định lý PCP cung voi Chứng minh sự khó sấp xỉ của các bài toán
Em cũng mong bài này nhất –> stable marriage matching & applications.
Em cũng mong bài về PCP và inapproximability . Luôn tìm được cách nhìn mới trong các bài viết trực quan và dễ hiểu của anh Hưng
Em thích đề tài này: “Chứng minh sự khó sấp xỉ của các bài toán”.
Còn em chỉ mong được thiết kế áo thun cho blog KHMT thôi.
em nhớ mang máng có lần anh nói là 1 DNF với size O(n^k) thì learnable hay la almost learnable (in poly time). Nghe đồn proof có liên quan đến Fourier boolean, em cũng tò mò. Nếu anh viết về cái này thì tiện quá.
Tôi cũng mong được đọc “Phân tích các hàm Boolean dùng giải tích Fourier”