J

John Tromp

Thông tin cơ bản

Trò chơi trên bàn cờ và Trí tuệ nhân tạo, Thuật toán, Độ phức tạp, Lý thuyết thông tin thuật toán, Điện toán phân tán, Sinh học điện toán, v.v. Gần đây, tôi đang thiết kế một hệ thống Proof-of-Work mới có tên là Cuckoo Cycle. Ít nghiên cứu gần đây hơn đã tập trung vào Tổ hợp cờ vây, cụ thể là đếm số lượng các vị trí pháp lý. Tôi đã chơi với một mô hình máy tính cực kỳ đơn giản dựa trên Giải tích Lambda . Số Erdös của tôi là 2, được sự cho phép của Jeffrey Shallit, giảng viên CS yêu thích của tôi, người đồng tác giả các bài báo với cả tôi và Erdös. Cách đây một thời gian, tôi đã nghiên cứu về độ phức tạp của OriMazes.