Blog Khoa Học Máy Tính

Tại vì sắp đi chỗ này:

Bãi biển Ipanema

Chuyên mục: Thông báo | Bình luận (1) »

http://www.youtube.com/watch?v=9lp0IWv8QZY

Mấy hôm trước xem CNN thấy bảo Simon Cowell khóc, và có nghe trích đoạn Susan Boyle hát. Nhưng quả thật xem toàn bộ performance truyền cảm hơn.

Chuyên mục: Âm Nhạc | Bình luận »

Xưa nay vẫn dùng Latexrender, nhưng có vẻ chất lượng images và khả năng thay đổi cấu hình không tốt bằng wp-latex. Do đó, tôi mới đổi sang wp-latex. Để gõ ký hiệu toán trên blog KHMT, bây giờ các bạn gõ

$latex e^{\pi i} + 1 = 0, \pi \Pi \Sigma \tau$

hoặc

[latex] e^{\pi i} + 1 = 0, \pi \Pi \Sigma \tau [/latex]

sẽ cho ra kết quả

Chuyên mục: Thông báo | Bình luận (13) »

… không biết phản ứng thế nào với sự phát triển chóng mặt của công nghệ.

Đầu tiên, các mô hình báo giấy đang chết dần chết mòn. Thỉnh thoảng lại có một tờ “lão thành” đi tong, như tờ CS Monitor, Chicago Sun Times, vân vân. Off-line ad revenue của họ không thể nuôi báo được. On-line ad thì họ chưa biết làm thế nào để thật sự kiếm tiền từ nó, khi mà các news aggregators như Google News chiếm hết ad revenues.

Này nhé, nếu bạn là một công ty muốn quảng cáo sản phẩm thì bạn trả tiền cho tờ Times, tờ Post, tờ blah blah blah riêng biệt, hay là trả luôn cho Google news? Đa số users đã và sẽ dùng news portals chứ chẳng ai vào thẳng website của news papers nữa. Đó là chưa kể, về mặt sophistication thì online ad algorithms của Google, Yahoo đã phát triển vượt xa khả năng ngồi đặt ad “bằng tay” của các “lão” báo chí. Yahoo có cả một research group (do Raghavan lãnh đạo) chuyên nghiên cứu về kinh tế của online ad và social networking với gazillions tấn dữ liệu. Tờ Times, tờ Post có thể có các nhà báo tuyệt vời, nhưng vấn đề ad revenue nằm ngoài chuyên môn của họ.

Thế. Giải pháp là gì? Một số tổ chức báo chí như Associated Press, Guardian, v.v. bắt đầu một chiến dịch cho thấy sự tuyệt vọng bằng cách … kiện Google và các cty tương tự. Kiện cái gì? Kiện là Google “lấy” nội dung mà không trả tiền. Các vụ kiện cáo này nực cười về nhất nhiều mặt:

• Google hoàn toàn không phạm luật, theo Fair Use doctrine trong luật Copyright.
• Muốn Google không aggregate nội dung của bạn thì thật là dễ dàng, chỉ tốn 5 phút: bỏ một cái robots.txt vào website là xong. Thuê luật sư rất là tốn tiền, mà kết quả không đi đến đâu.
• Vụ này nghe giống vụ SBC CEO trả lời phỏng vấn năm nào: ông ta muốn các công ty như Google/Yahoo chia revenue với các ISPs.
• Qua vụ kiện này, các tổ chức báo chí như A.P. có vẻ như muốn Google vẫn aggregate nội dung và trả tiền cho họ. Chẳng phải chiều … ngược lại cũng có lý: muốn được aggregate nội dung thì phải trả tiền cho Google.

Eric Schmidt (CEO của Google) đã trả miếng: các bác đừng làm độc giả giận, phiền lắm đấy, hãy cố học công nghệ mớ và đưa tin tức vào thẳng các thiết bị cầm tay của bạn đọc luôn đi.

Tờ Guardian tổng kết song đề nhức đầu của họ:

The Guardian says content providers are faced with a catch-22: they can’t afford to withhold content from search engines, yet can’t feasibly charge consumers for it either, “not least because of the presence of the BBC and the vast quantities of free content it publishes on bbc.co.uk.”

While The Guardian stops short of suggesting Google and others should be forced to pay for content, it does suggest the exploration of new models that “require fair acknowledgement of the value that our content creates, both on our own site (through advertising) and ‘at the edges’ in the world of search and aggregation.”

Thế chúng ta là khách hàng thì làm gì trong cuộc chiến này? Trước hết, chúng ta hưởng lợi từ technology. Chỉ độ chục năm trước thì đừng hòng mà có thể đọc báo miễn phí. Bây giờ thì tràn lan, off your finger tips. Kế đến, tôi nghĩ các bạn nên bắt đầu một chiến dịch yêu cầu ai đó phải trả tiền cho bạn khi bạn đọc một bài báo, click một cái link

Chuyên mục: Ảnh hưởng của CNTT | Bình luận (1) »

1. Phi lộ

Sau định lý Cook-Levin về sự tồn tại của các bài toán NP-complete (và Karp cho biết có rất nhiều các bài toán tự nhiên cũng NP-complete), thì định lý PCP là đỉnh cao thứ hai của lý thuyết tính toán. Lịch sử các kết quả dẫn đến định lý PCP cực kỳ hấp dẫn, đi từ interactive proofs, zero knowledge proof, inapproximability, đến expanders và algorithmic coding theory. Tôi sẽ không viết lại lịch sử này, mà chỉ đưa các liên kết (như trên) để các bạn tự tham khảo lấy. Tuy nhiên, tôi hy vọng rằng trong quá trình thảo luận các bài báo và ý tưởng cơ bản trong lịch sử sẽ “lộ ra” từ từ.

Chuỗi bài này có thể xem là chuỗi bài giảng bằng tiếng Việt của tôi về đề tài này. Năm qua — mùa Thu 2008 và mùa Xuân 2009 — tôi và một đồng nghiệp đã tổ chức một năm seminar về định lý này và các kỹ thuật liên quan như expanders, property testing, và hardness of approximation. Mấy năm trước tôi cũng đã làm seminars về expanders và PCP, nhưng các bài giảng đó không được đầy đủ và không liên kết chặt chẽ như lần này.

Viết các bài kiểu này bằng tiếng Việt thật sự là rất khó khăn vì nhiều từ tôi không biết dịch, và nếu cố dịch ra thì nghe chói tai và mất thời gian. Vì thế tôi sẽ để nguyên tiếng Anh và do đó các bài viết sẽ bị trộn lẫn Anh Việt. Đành chịu. Ngôn ngữ chỉ là phương tiện để truyền tải ý tưởng. “Sự trong sáng của tiếng Việt” sẽ hy sinh cho “sự minh bạch Toán Học”.

Khi phải chọn giữa trực quan và sự chính xác về mặt ký hiệu, tôi sẽ chọn trực quan, “hoa tay múa chân” thay vì ném ra một đống ký hiệu toán học.

Đọc tiếp toàn bài »

Chuyên mục: Lý thuyết tính toán & Thuật Toán | Bình luận (60) »

Mới biết là bác Nguyễn Tiến Dũng cũng viết blog (hay cái gì đó tương tự như blog). Trong đó có 2 bài mới:

• Điều gì sẽ xảy ra nếu một kẻ lừa đảo trở thành Hiệu trưởng Đại học Quốc gia?
• Chân dung “viện sĩ” PGS TSKH Nguyễn Đình Đức

Chuyên mục: Chính trị trong ngành & Dành cho du học sinh | Bình luận (4) »

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.

Chuyên mục: Thông báo | Bình luận (13) »