Câu hỏi được gắn thẻ «reference-request»

1

Công thức nhỏ nhất được biết đến cho yếu tố quyết định

Công thức xác định nhỏ nhất cho định thức có kích thước theo văn hóa dân gian (hoặc theo Ran Raz trong công thức Đa tuyến tính cho Giấy vĩnh viễn và Xác định là Kích thước siêu đa thức ).nO (nhật kýn )nO(log⁡n)n^{\mathcal O(\log n)} Bạn có bất kỳ …

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

---

4

Phim tài liệu Alan Turing

Để kỷ niệm sinh nhật lần thứ 100 của Alan Turing, tôi muốn xem một bộ phim tài liệu về cuộc đời anh. Tuy nhiên, có một số phim tài liệu để lựa chọn. Tài liệu nào về Alan Turing là sở thích của bạn? Vui lòng chỉ bao gồm …

13 reference-request  soft-question  big-list  ho.history-overview 

---

1

Độ phức tạp của bài toán tập thống trị trong các lớp con cụ thể của đồ thị hợp âm

Tôi quan tâm đến sự phức tạp của vấn đề tập hợp thống trị (DSP) trong một số lớp biểu đồ cụ thể là các lớp con của biểu đồ hợp âm . Biểu đồ là một biểu đồ đường dẫn không có hướng nếu nó là biểu đồ giao …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

---

1

Đồ thị nhúng tối đa hóa góc tối thiểu

Với một đồ thị phẳng, người ta có thể nhúng nó trong thời gian tuyến tính tự do vào lưới . Tôi quan tâm liệu có bất kỳ thuật toán hiệu quả nào được biết là đường thẳng nhúng một đồ thị phẳng cắt chéo tự do vào lưới , …

13 reference-request  graph-theory  graph-drawing 

---

2

Áp dụng số Ramsey

Định nghĩa của các số Ramsey như sau: Đặt là một số dương sao cho mọi đồ thị có thứ tự ít nhất R ( a , b ) chứa một cụm trên một đỉnh hoặc một bộ ổn định trên bR ( a , b )R(một,b)R(a,b)R ( a , …

13 reference-request  co.combinatorics  ramsey-theory 

---

4

Mô hình hóa các đối tượng (OOP) trong lý thuyết loại phụ thuộc

Tôi quan tâm đến việc mô hình hóa các đối tượng, từ lập trình hướng đối tượng, trong lý thuyết loại phụ thuộc. Là một ứng dụng khả thi, tôi muốn có một mô hình nơi tôi có thể mô tả các tính năng khác nhau của các ngôn ngữ …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

---

1

SERF-giảm khả năng và các thuật toán phụ

Tôi có một câu hỏi liên quan đến khả năng giảm SERF của Impagliazzo , Paturi và Zane và các thuật toán phụ. Định nghĩa về khả năng giảm SERF đưa ra những điều sau đây: Nếu là Nông nô khử để và có O ( 2 ε n ) …

13 cc.complexity-theory  reference-request 

---

1

Giới hạn cơ bản về tham số trong khả năng lưu thông số cố định?

Trong định nghĩa về khả năng biến đổi tham số cố định (mạnh), giới hạn thời gian là một biểu thức có dạng trong đó thể hiện đầu vào là với tham số , là đa thức và là hàm tính toán .f( k ) . p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

---

1

Bài toán NP-đầy đủ cho hình học Euclide nhưng trong P cho hình học phi Euclide?

Có bất kỳ vấn đề nào là NP-đầy đủ khi sử dụng hình học Euclide nhưng được xác định rõ và có thể giải quyết được trong thời gian đa thức đối với một số hình học không phải là euclide?

13 reference-request  cg.comp-geom 

---

3

Áp dụng thành công các phương pháp phân nhánh và liên kết cho các bài toán NP-hard

Chi nhánh và ràng buộc là một heuristic hiệu quả cho các vấn đề tìm kiếm và Wikipedia liệt kê một số vấn đề khó khăn trong đó chi nhánh và liên kết đã được sử dụng. Tuy nhiên, tôi không thể tìm thấy tài liệu tham khảo để đề …

13 ds.algorithms  reference-request  optimization  heuristics 

---

3

Mã được triển khai để tính toán độ rộng đường dẫn (= Số tìm kiếm nút, số tách đỉnh, độ dày khoảng)

Tôi đang tìm kiếm một triển khai của một thuật toán để tính toán độ rộng đường dẫn của đồ thị. Người ta biết rằng tính toán độ rộng đường dẫn tương đương với tính toán số tìm kiếm nút, số tách đỉnh hoặc độ dày khoảng của biểu đồ. …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

---

2

Tài liệu tham khảo cho thuật toán bao thanh toán tối ưu của Levin?

Trong " Lời khuyên cho sinh viên mới tốt nghiệp " của Manuel Blum : LEONID LEVIN tin rằng tôi làm điều đó bất cứ câu trả lời nào cho P = NP? vấn đề, nó sẽ không giống như bất cứ điều gì bạn nghĩ nó nên được. Và …

13 ds.algorithms  reference-request  factoring 

---

1

Yêu cầu tham khảo: bằng chứng không có lý thuyết số cho thấy các nhóm ổn định tối đa xác định các trạng thái duy nhất

Bối cảnh. Tôi viết về các chủ đề như định lý Gottesman-Knill , sử dụng các nhóm ổn định Pauli, nhưng trong trường hợp của d qudits chiều - nơi d có thể có nhiều hơn một yếu tố quan trọng. (Tôi nhấn mạnh điều này vì đại đa số …

13 reference-request  quantum-computing 

---

2

Khảo sát các biến đổi liên quan đến việc sử dụng bộ giải SAT

Tôi đang bắt đầu nghiên cứu khả năng dựa vào bộ giải SAT để giải quyết vấn đề tối ưu hóa mà tôi quan tâm và hiện đang tìm kiếm một cuộc khảo sát có các ví dụ về các phép biến đổi "thông minh" thành các biến thể của …

13 ds.algorithms  reference-request  sat  optimization 

---

6

Bất kỳ vấn đề thuật toán có một sự phức tạp thời gian chi phối bằng cách đếm?

Điều tôi đề cập đến khi đếm là vấn đề bao gồm việc tìm số lượng giải pháp cho một hàm. Chính xác hơn, được cung cấp một hàm (không nhất thiết phải là hộp đen), gần đúng .f: N→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\}# { x ∈ N| …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

---