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

Trước hết, tôi xin lỗi trước cho bất kỳ sự ngu ngốc. Tôi không có nghĩa là một chuyên gia về lý thuyết phức tạp (xa nó! Tôi là một sinh viên học lớp đầu tiên của tôi về lý thuyết phức tạp) Đây là câu hỏi của tôi. Bây …

28 cc.complexity-theory  space-bounded 

Trong rất nhiều lĩnh vực, có những kỹ thuật kinh điển mà mọi người làm việc trong lĩnh vực này nên thành thạo. Ví dụ, đối với việc giảm logspace, "bit trick" cho thành phần bao gồm không xây dựng đầu ra đầy đủ của hàm tổng hợp, nhưng luôn …

28 cc.complexity-theory  oracles  relativization 

Một trong những điều tốt đẹp về việc tiến hóa trong vũ trụ với ba chiều không gian là chúng tôi đã phát triển các kỹ năng giải quyết vấn đề liên quan đến các vật thể trong không gian. Do đó, ví dụ, chúng ta có thể nghĩ một …

28 big-list  cg.comp-geom  big-picture 

Hãy xem xét một automata hữu hạn không xác định A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) và một hàm f(n)f(n)f(n) . Ngoài ra chúng tôi xác định Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Bây giờ hãy phân tích các tuyên bố sau: Nếu Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) …

28 automata-theory  fl.formal-languages  nondeterminism 

Hãy xem xét bài toán 3-SAT trên n biến. Số mệnh đề riêng biệt có thể là: C= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) …

28 cc.complexity-theory  sat 

Đặt lớp A biểu thị tất cả các đồ thị có kích thước có chu trình Hamilton. Thật dễ dàng để tạo một biểu đồ ngẫu nhiên từ lớp này - lấy n nút bị cô lập, thêm một chu kỳ Hamilton ngẫu nhiên và sau đó thêm các cạnh …

28 ds.algorithms  graph-theory 

Là một dự án phụ, tôi đang viết một ngôn ngữ bằng Python. Tôi đã bắt đầu bằng cách sử dụng một bản sao flex / bison có tên gọi là Ply, nhưng đang đi ngược lại với sức mạnh của những gì tôi có thể diễn đạt với phong …

28 fl.formal-languages  pl.programming-languages  grammars 

Các ISGCI danh sách hơn 1100 loại đồ thị. Đối với nhiều người trong số chúng tôi biết liệu THIẾT BỊ ĐỘC LẬP có thể được quyết định trong thời gian đa thức hay không; đôi khi chúng được gọi là các lớp dễ IS . Tôi muốn biên soạn …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

Đây là một câu đố tôi không thể giải được. Tôi muốn biết nếu vấn đề này đã được biết, hoặc có một giải pháp dễ dàng. Có thể định nghĩa một song ánh 3N≅5N3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} sử dụng các tính chất của loại khép kín bicartesian. Andrej Bauer …

28 puzzles  ct.category-theory  topology 

Tôi chỉ biết hai bằng chứng về bổ đề Schwartz Zippel của Schwartz. Bằng chứng đầu tiên (phổ biến hơn) được mô tả trong mục wikipedia . Bằng chứng thứ hai được phát hiện bởi Dana Moshkovitz. Có bằng chứng nào khác sử dụng những ý tưởng khác nhau đáng …

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Chỉnh sửa : Như Ravi Boppana đã chỉ ra một cách chính xác trong câu trả lời của anh ấy và Scott Aaronson cũng đã thêm một ví dụ khác trong câu trả lời của anh ấy , câu trả lời cho câu hỏi này hóa ra là vâng vâng …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Nếu chúng ta đi theo cuốn sách (hoặc bất kỳ phiên bản nào khác của đặc tả ngôn ngữ nếu bạn thích), thì việc triển khai C có thể có bao nhiêu sức mạnh tính toán? Lưu ý rằng việc triển khai của C C có một ý nghĩa kỹ …

28 computability  turing-machines  pl.programming-languages  recreational 

Trong cuốn sách của mình, Boolean Function Complexity, Stasys Jukna đã đề cập (trang 564) mà Kolmogorov tin rằng mọi ngôn ngữ trong P đều có các mạch có kích thước tuyến tính. Không có tài liệu tham khảo được đề cập và tôi không thể tìm thấy bất cứ …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Tại sao "phân loại tô pô" được gọi là "tô pô"? Có phải chỉ vì nó xác định một đơn đặt hàng mà không thay đổi bất kỳ đỉnh hoặc cạnh nào - như một chiếc bánh rán và tách cà phê là tương đương về mặt tôpô? Tại sao …

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

Giả sử tôi có một vị trí "S" và một vị từ đơn điệu "P" trên S. Tôi muốn tìm một hoặc tất cả các phần tử tối đa của S thỏa mãn P. EDIT : Tôi quan tâm đến việc giảm thiểu số lượng đánh giá của P . …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem