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

1

Có nhà nghiên cứu chỉ ra rằng việc xóa bit phải tiêu thụ năng lượng, bây giờ có nghiên cứu nào được thực hiện về mức tiêu thụ năng lượng trung bình của thuật toán với độ phức tạp tính toán không? Tôi đoán, độ phức tạp tính toán tương …

12 cc.complexity-theory reference-request it.information-theory quantum-information statistical-physics

1

Nguồn chính cho sự tương đương của thời gian đa thức không xác định và xác minh thời gian đa thức xác định

Ai là người đầu tiên cho thấy một ngôn ngữ nằm trong NP nếu chứng chỉ cho ngôn ngữ có thể được xác minh trong thời gian đa thức? Chúng ta có một bài báo chính thức chứng minh điều này? Khi nào thì cộng đồng TCS bắt đầu không …

12 reference-request

1

Có một cuộc khảo sát về lĩnh vực tự động lượng tử?

Tôi đang tìm một bài khảo sát về các khái niệm quan trọng trong lĩnh vực Quantum Automata. Tôi đã tìm thấy Lý thuyết lượng tử tự động - Một đánh giá của Hirvensalo, nhưng nghe có vẻ quá súc tích để nắm bắt chủ đề này. Có một cuộc …

12 reference-request quantum-computing automata-theory

2

Tham chiếu cho một lớp biểu đồ duy trì khoảng cách sơ đồ con khi được đặt hàng

Giả sử đồ thị có thuộc tính nếu các đỉnh của nó có thể được đặt hàng theo cách mà đồ thị tạo ra bởi các đỉnh có cho tất cả . Nói cách khác, việc thêm đỉnh tiếp theo trong thứ tự của chúng tôi không ảnh hưởng đến …

12 reference-request graph-theory

6

Cuốn sách để tự nghiên cứu các thuật toán trong lý thuyết nhóm

Tôi là một chuyên gia toán học quan tâm đến TCS. Tôi muốn tự nghiên cứu các thuật toán và độ phức tạp của chúng để giải các bài toán lý thuyết nhóm như tìm thứ tự các phần tử, liệt kê tập hợp, tìm trình tạo, kiểm tra nếu …

12 ds.algorithms reference-request gr.group-theory books

2

Độ phức tạp trường hợp xấu nhất của sàng trường số là gì?

Với hỗn hợp N∈ NN∈NN\in\Bbb N trường số chung rây tốt nhất là thuật toán thừa biết đối với số nguyên nhân tử của NNN . Nó là một thuật toán ngẫu nhiên và chúng tôi nhận được một phức tạp dự kiến của O ( e649√( nhật kýN)13( nhật …

12 reference-request derandomization factoring average-case-complexity worst-case

1

L / P / Không gian so với P / NP

vào năm 1979 Hopcroft / Ullman đã viết rằng L ⊆ P ⊆ NP ⊆ PSpace được biết đến nhưng L ⊊ PSpace là ngăn chặn thích hợp (& tầm thường) duy nhất được biết mặc dù tất cả đều được phỏng đoán là ngăn chặn thích hợp và "nơi …

12 cc.complexity-theory reference-request lower-bounds p-vs-np conditional-results

5

Ứng dụng tổ hợp phụ gia trong thiết kế thuật toán

Tôi đang đọc khảo sát của Trevisan và Lovett về các ứng dụng của tổ hợp phụ gia trong TCS. Phần lớn các ứng dụng này thuộc độ phức tạp tính toán , ví dụ: giới hạn dưới. Tôi tự hỏi nếu tổ hợp phụ gia cũng đã tìm thấy …

12 ds.algorithms reference-request co.combinatorics

2

Tìm kiếm nguồn văn học cho ý tưởng sau

Tôi khá chắc chắn rằng tôi không phải là người đầu tiên giải trí ý tưởng mà tôi sẽ trình bày. Tuy nhiên, sẽ rất hữu ích nếu tôi có thể tìm thấy bất kỳ tài liệu nào liên quan đến ý tưởng. Ý tưởng là xây dựng một Turing …

12 reference-request turing-machines p-vs-np

1

Phân loại so sánh ngẫu nhiên tối ưu

Vì vậy, tất cả chúng ta đều biết cây so sánh giới hạn dưới của về số lượng so sánh trong trường hợp xấu nhất được thực hiện bởi thuật toán sắp xếp so sánh (xác định). Nó không áp dụng cho sắp xếp so sánh ngẫu nhiên (nếu chúng …

12 ds.algorithms reference-request sorting

2

Chu kỳ Hamilton trên đồ thị không có chu kỳ nhỏ

Trong khi trả lời câu hỏi này trên cstheory , tôi (không chính thức) đã chứng minh một cách nhanh chóng định lý sau: Định lý : Đối với bất kỳ cố định nào, mẫu thử chu trình Hamilton vẫn hoàn thành NP ngay cả khi bị giới hạn ở …

12 reference-request np-hardness

1

Độ cứng APX ngụ ý không có QPTAS?

Vì vậy, một tìm kiếm nhanh trên web đã khiến tôi tin rằng "APXHardness ngụ ý rằng không có QPTAS nào tồn tại cho một vấn đề trừ khi [một số lớp phức tạp] được đưa vào một số [lớp phức tạp khác]" và nó cũng được biết đến! Dường …

12 cc.complexity-theory reference-request

2

Tham chiếu cho các ngôn ngữ Dyck là

Ngôn ngữ Dyck được xác định bởi ngữ pháp sau S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) trên tập các biểu tượng { ( 1 , ... , ( k , ) 1 , ... , ) k } . Ngôn ngữ Dyck trực giác là ngôn ngữ của dấu ngoặc đơn cân …

12 reference-request fl.formal-languages circuit-complexity ho.history-overview context-free

1

Danh mục nhỏ gọn đại số

Tôi đã đọc bài báo của Freyd "Danh mục hoàn chỉnh đại số" trong Como90 nổi tiếng và tôi có hai câu hỏi về khái niệm về tính đại số của đại số mà ông đã định nghĩa trong bài báo đó. (Nếu bạn không quen với định nghĩa, thì …

12 reference-request type-theory ct.category-theory

3

Chọn liên kết các mảng được sắp xếp: Đã biết?

Tôi đang tìm các tài liệu tham khảo thư mục cho thuật toán / vấn đề sau: Tôi đặt tên cho nó là "BiSelect" hoặc "t-ary Chọn" hoặc "Chọn trong Liên minh các mảng được sắp xếp", nhưng tôi đoán nó đã được giới thiệu trước dưới một tên khác? …

12 reference-request

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