Khoa học máy tính lý thuyết

6

Chương trình đào tạo: Phương pháp hợp lý / chính thức trong bảo mật

Hiện tại tôi dạy một khóa học nhỏ (Bốn bài giảng hai giờ ở cấp độ Thạc sĩ) về Phương pháp logic trong bảo mật , mặc dù tiêu đề Phương thức chính thức trong bảo mật có thể thích hợp hơn. Nó bao gồm ngắn gọn các chủ đề …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

---

1

Phép nhân nhị phân và phép chẵn lẻ

Câu hỏi này là về mối quan hệ giữa phép nhân thông thường của số nhị phân và phép nhân đa thức mod 2. Để làm cho câu hỏi trở nên cụ thể, tôi muốn biết liệu có giải pháp nào tốt hơn cho câu hỏi từ Knuth vol. 2, …

22 ds.algorithms  reductions  time-complexity 

---

1

Cân nhắc năng lượng về tính toán

Để kiểm tra sự hiểu biết của tôi, tôi muốn chia sẻ một vài suy nghĩ về yêu cầu năng lượng của tính toán. Đây là phần tiếp theo câu hỏi trước đây của tôi và có thể liên quan đến câu hỏi của Vinay về luật bảo tồn . …

22 cc.complexity-theory  big-picture  physics 

---

2

Có thể bỏ qua chi phí của GC khi phân tích thời gian chạy của các cấu trúc dữ liệu trong trường hợp xấu nhất được chỉ định trong ngôn ngữ lập trình được thu gom rác không?

Tôi chỉ nhận ra rằng tôi đã giả sử câu trả lời cho câu hỏi của mình là "có" nhưng tôi không có lý do chính đáng. Tôi tưởng tượng rằng có thể có một người thu gom rác chỉ giới thiệu chậm lại trường hợp xấu nhất . Có …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

---

4

Lựa chọn xã hội, định lý mũi tên và các vấn đề mở?

Vài tháng trước, tôi bắt đầu tự giảng về lựa chọn xã hội, định lý mũi tên và các kết quả liên quan. Sau khi đọc về kết quả tinh dịch, tôi đã tự hỏi về những gì xảy ra với sở thích thứ tự một phần, câu trả lời …

22 co.combinatorics  gt.game-theory  boolean-functions  social-sciences 

---

2

Có thể sử dụng mã hóa đồng cấu hoàn toàn để thực thi mã không biết?

Sau khi đọc câu trả lời này một lúc trước, tôi đã quan tâm đến việc mã hóa hoàn toàn đồng cấu. Sau khi đọc phần giới thiệu của luận án Gentry, tôi bắt đầu tự hỏi liệu sơ đồ mã hóa của anh ta có thể được sử dụng …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

---

2

Phiên bản nhân của 3-SUM

Những gì được biết về độ phức tạp thời gian của vấn đề sau đây, mà chúng ta gọi là 3-MUL? Cho một tập SSS của nnn số nguyên, ở đó các yếu tố a,b,c∈Sa,b,c∈Sa,b,c\in S mà ab=cab=cab=c ? Bài toán này tương tự như bài toán 3-SUM, hỏi xem …

22 cc.complexity-theory  ds.algorithms  time-complexity 

---

7

Tìm đỉnh đôi trong đồ thị

Đặt là đồ thị. Đối với một đỉnh , xác định là (mở) khu phố của trong . Nghĩa là, . Xác định hai đỉnh trong là cặp song sinh nếu và có cùng tập hợp lân cận, nghĩa là, nếu .x ∈ V N ( x ) x G …

22 ds.algorithms  reference-request  graph-algorithms 

---

2

Có cực đại cục bộ về số lần di chuyển cần thiết để giải khối Rubik không?

Peter Shor đã đưa ra một điểm thú vị liên quan đến nỗ lực trả lời một câu hỏi trước đó về sự phức tạp của việc giải khối lập phương Rubiks . Tôi đã đăng một nỗ lực khá ngây thơ để cho thấy rằng nó phải được chứa …

22 co.combinatorics  puzzles 

---

6

Giới thiệu về lý thuyết đồ thị phổ

Các tài liệu tham khảo cơ bản là gì? Có cuộc khảo sát cấp cao nào về SGT và các ứng dụng của nó cho CS nói chung và học máy cụ thể hơn không?

22 reference-request  spectral-graph-theory 

---

1

Có sự phân tách tự nhiên trong hệ thống phân cấp thời gian không xác định?

Định lý phân cấp thời gian không phá hủy ban đầu là do Cook (liên kết là S. Cook, Một hệ thống phân cấp cho độ phức tạp thời gian không xác định , JCSS 7 343 Nott353, 1973). Các trạng thái lý rằng đối với bất kỳ số thực …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

---

2

Lý thuyết phức tạp thí nghiệm có phải là sử dụng để giải quyết các vấn đề mở không?

Scott Aaronson đã đề xuất một cuộc trò chuyện thú vị : chúng ta có thể sử dụng siêu máy tính ngày nay để giúp giải quyết các vấn đề CS giống như cách các nhà vật lý sử dụng máy va chạm hạt lớn không? Cụ thể hơn, đề …

22 cc.complexity-theory 

---

2

Các thuật toán xấp xỉ thời gian đa thức cho lập lịch máy: còn lại bao nhiêu vấn đề mở?

Năm 1999, Petra Schuurman và Gerhard J. Woeginger đã xuất bản bài báo "Thuật toán xấp xỉ thời gian đa thức cho lập lịch máy: Mười vấn đề mở" . Kể từ đó, theo hiểu biết tốt nhất của tôi, các bài đánh giá liên quan đến cùng một danh …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

---

8

Các loại phân tích thời gian chạy khác ngoài trường hợp xấu nhất, trường hợp trung bình, vv?

Dưới đây là một số cách để phân tích thời gian chạy của thuật toán: 1) Phân tích trường hợp xấu nhất: Thời gian chạy trong trường hợp xấu nhất. 2) Phân tích trường hợp trung bình: Thời gian chạy dự kiến ​​trên một trường hợp ngẫu nhiên. 3) Phân …

22 ds.algorithms 

---

7

Tại sao CNF được sử dụng cho SAT mà không phải là DNF?

Tôi hoàn toàn không hiểu tại sao hầu hết tất cả những người giải SAT đều sử dụng CNF thay vì DNF. Dường như với tôi, việc giải SAT dễ dàng hơn khi sử dụng DNF. Rốt cuộc, bạn chỉ cần quét qua bộ cấy ghép và kiểm tra xem …

22 ds.algorithms  sat 

---