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

1

Đồ thị phẳng là -free. Các biểu đồ như vậy có thể được phân tách thành các thành phần ba kết nối, được biết đến là các thành phần phẳng hoặc . K 5K3 , 3K3,3K_{3,3}K5K5K_5 Có một sự phân rã "tốt đẹp" của đồ thị của một chi không? …

15 graph-theory co.combinatorics planar-graphs graph-minor

2

Các ví dụ đáng chú ý của ý tưởng căn bậc hai trong phân tích phức tạp

Có một số thuật toán và cấu trúc dữ liệu khai thác ý tưởng rằng có giá trị tối thiểu tại k = \ sqrt n . Ví dụ phổ biến bao gồm k = √max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n Thuật toán bước khổng lồ cho bước để tính toán logarit …

15 ds.algorithms ds.data-structures big-list teaching

1

Độ cứng của máy tính nhãn Weisfeiler-Lehman

Các thuật toán Weisfeiler-Lehman 1-dim (WL) thường được gọi là nhãn kinh điển hay thuật toán tinh màu. Nó hoạt động như sau: Màu ban đầu là đồng nhất, cho tất cả các đỉnh .C0C0C_0C0( v ) = 1C0(v)= =1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in …

15 cc.complexity-theory graph-theory graph-isomorphism logspace

1

Đại số boolean có thể được thể hiện bằng cách gõ lambda caclulus đơn giản?

Đại số Boolean có thể được biểu thị bằng phép tính lambda chưa được xử lý theo (ví dụ) theo cách này. true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x …

15 lo.logic type-theory lambda-calculus

1

Kế thừa khác với phân nhóm như thế nào?

Trong quan điểm ngôn ngữ lập trình, ý nghĩa của việc phân nhóm là gì? Tôi nghe nói rằng "Thừa kế không phải là Subtyping". Vậy thì sự khác biệt giữa thừa kế và phân nhóm là gì?

15 pl.programming-languages type-theory type-systems object-oriented

1

Có yêu cầu tính duy nhất của câu trả lời hợp lệ cho Merlin giới hạn sức mạnh của các giao thức Arthur-Merlin không?

Lời mở đầu. Lớp phức tạp AM là những vấn đề có thể được giải quyết bằng hệ thống chứng minh tương tác hai vòng giữa một người hoạt ngôn "Merlin" và người xác minh "Arthur". Một vấn đề - kiểm tra một số thuộc tính của đối tượng X …

15 cc.complexity-theory interactive-proofs unique-solution

5

Gói phần mềm phân hủy mạch lượng tử

Có gói phần mềm nào cho phép phân tách các phần tử từ thành các mạch lượng tử qua một bộ cổng phổ quát được xác định trước không?Bạn( 2n)Bạn(2n)U(2^n)

15 quantum-computing software

3

Khi nào chúng ta có thể nói rằng hai chương trình là khác nhau?

Q1. Khi nào chúng ta có thể nói rằng hai chương trình (được viết bằng một số ngôn ngữ lập trình như C ++) là khác nhau? Cực đoan đầu tiên là nói rằng hai chương trình tương đương với nhau nếu chúng giống hệt nhau. Một thái cực khác …

15 pl.programming-languages semantics equivalence

1

Giải phương trình tuyến tính diophantine

Hãy xem xét vấn đề sau: Input : a siêu phẳng H = { y ∈ R n : một T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , được đưa ra bởi một vector một ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n và b ∈ Zb∈Zb …

15 cc.complexity-theory optimization linear-algebra integer-lattice

4

Định nghĩa của ma trận nhân số mũ

Thông tục, định nghĩa của ma trận-nhân mũ ωω\omega là giá trị nhỏ nhất mà có một tiếng nωnωn^{\omega} thuật toán ma trận-nhân. Điều này không được chấp nhận như một định nghĩa toán học chính thức, vì vậy tôi đoán định nghĩa kỹ thuật là một cái gì đó …

15 ds.algorithms linear-algebra

10

Một số vấn đề mà chúng ta biết chúng ta có một thuật toán tối ưu là gì?

Một số vấn đề không tầm thường mà chúng ta biết thuật toán hiện tại chúng ta có là một vấn đề tối ưu không có triệu chứng? (Đối với máy turing) Và điều này được chứng minh như thế nào?

15 cc.complexity-theory ds.algorithms complexity-classes

1

Xếp hạng độ khó của NP Các vấn đề khó trong thực tế

Câu hỏi này liên quan chặt chẽ đến một bài khác: Chuyển pha trong các vấn đề khó khăn của NP nhưng nó hơi khác một chút. Trong khi câu hỏi đó là về độ cứng của các trường hợp cụ thể của các vấn đề NP, thì đây là …

15 cc.complexity-theory np-hardness sat

2

Cấu trúc dữ liệu liên tục nào cho một tập hợp các phần tử được sắp xếp một phần?

Tôi cần lưu trữ các bộ phần tử loại a. Gõ được ra lệnh một phần, vì vậy so sánh và có thể trở lại nhỏ hơn, lớn hơn, bằng hoặc không thể so sánh.một1một1a_1một2một2a_2 Một vấn đề với hashtables là hai phần tử bằng nhau có thể được biểu …

15 ds.data-structures functional-programming sorting

2

Chứng minh lý thuyết về lưỡng tính?

Một loại có biproducts khi các đối tượng cùng là cả các sản phẩm và coproducts. Có ai đã nghiên cứu lý thuyết bằng chứng của các loại với lưỡng sản? Có lẽ ví dụ nổi tiếng nhất là loại không gian vectơ, trong đó các cấu trúc sản phẩm …

15 reference-request lo.logic pl.programming-languages type-theory ct.category-theory

1

Duy trì thứ tự trong một danh sách trong trong thời gian

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity