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

Hãy là một bảng chữ cái kích thước 2 , và xem xét DFAs tối thiểu có kích thước được bao bọc bởi ít nhất m . Đặt f ( m ) biểu thị số lượng DFA tối thiểu khác nhau như vậy.ΣΣ\Sigma222mmmf( m )f(m)f(m) Chúng ta có thể tìm …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Bài báo SODA 2 trang của Kalai đưa ra thuật toán đơn giản và hiệu quả để khớp mẫu với không quan tâm (ký tự đại diện khớp với một ký tự). Về bản chất, nó dễ như tích chập. Nhưng điều gì xảy ra nếu chúng ta đang tìm …

9 ds.algorithms  reference-request  string-matching 

Hãy L⊆A∗L⊆Một*L \subseteq A^* là một ngôn ngữ, và xác định fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} bởi fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 khi và chỉ khi x⋅y∈Lx⋅y∈Lx\cdot y \in L . Tôi đang tìm kiếm một tài liệu tham khảo cho: Dự luật. LLL là iff thường xuyên, độ …

9 reference-request  communication-complexity  regular-language 

Logic affine sơ cấp là một hệ thống kiểu nắm bắt lớp các thuật ngữ có thể giảm trong thời gian sơ cấp. Hơn nữa, các thuật ngữ có thể đánh máy EAL có thể được giảm bằng cách sử dụng đoạn trừu tượng của thuật toán Lamping, điều này …

9 type-theory 

Đặt là phân phối đồng đều trên bit và gọi là phân phối trên bit trong đó các bit độc lập và mỗi bit là với xác suất . Có đúng là khoảng cách thống kê giữa và là , khi ?n D n 1 1 / 2 - ε …

9 pr.probability 

Có một bài báo hay từ năm 1991 chứa ba sơ đồ về các họ đồ thị khác nhau cho thấy những gì đã biết về độ cứng của việc xác định chỉ số màu cho chúng. Có bất kỳ tin tức kể từ đó về những điều này? Tôi …

9 graph-theory  np-hardness  graph-colouring 

Tôi là một nhà lý thuyết đồng luân, quan tâm đến khoa học máy tính. Tôi muốn hỏi một số ứng dụng thú vị của đại số đồng âm (loại mô hình, loại vô cực, loại đơn giản, vv) trong khoa học máy tính lý thuyết là gì?

9 big-list  algebraic-topology 

Đây là một cách tiếp theo để tăng tốc độ không xác định của tính toán xác định . Có hợp lý không khi thuyết không điều kiện (hay nói chung là xen kẽ) sẽ cho phép tăng tốc bậc hai chung của tính toán xác định? Hoặc có bất …

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Tôi đã cố gắng thực hiện thuật toán nhân số nguyên Schönhage, nhưng đã gặp phải một vấp ngã trong bước đệ quy. Tôi có một giá trị với bit và tôi muốn tính x ^ 2 \ pmod {2 ^ n + 1} . Ban đầu tôi nghĩ ý …

9 ds.algorithms 

Wikipedia [1] nói rằng giới hạn dưới được biết đến nhiều nhất về kích thước của bằng chứng Frege là bậc hai, và không có giới hạn siêu tuyến nào được biết đến cho số lượng bằng chứng Frege. Câu hỏi: 1) Giới hạn dưới được biết đến nhiều nhất …

9 proof-complexity 

Các hàm đệ quy nguyên thủy được xác định trên các số tự nhiên. Tuy nhiên, có vẻ như khái niệm này nên khái quát hóa cho các loại dữ liệu khác, cho phép người ta nói về các hàm đệ quy nguyên thủy mà ánh xạ liệt kê thành …

9 computability 

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường? Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với …

9 automata-theory  turing-machines  regular-language  space-bounded 

Cho một đồ thị có hướng cố định (sơ đồ) , bài toán quyết định D -COLORING hỏi xem một sơ đồ đầu vào G có đồng cấu với D không . (Phép đồng hình của G đến D là ánh xạ f của V ( G ) đến V …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Một mặt, Định lý bất toàn thứ hai của Gôdel nói rằng bất kỳ lý thuyết chính thức nhất quán nào đủ mạnh để diễn đạt bất kỳ tuyên bố số học cơ bản nào cũng không thể chứng minh tính nhất quán của chính nó. Mặt khác, tài sản …

9 lo.logic  type-theory  lambda-calculus 

Thuật toán của Brzozowski để chuyển đổi DFA thành DFA ở trạng thái tối thiểu tương đương rất đơn giản: nếu biểu thị NFA được hình thành bằng cách đảo ngược tất cả các cạnh trong DFA , biến trạng thái bắt đầu cũ thành trạng thái chấp nhận cũ …

9 automata-theory  minimization