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

Biểu thị bằng wnwnw_n số lượng từ có độ dài nnn trong một ngôn ngữ không có ngữ cảnh (có thể mơ hồ). Những gì được biết về wnwnw_n ? Tôi chắc chắn rằng điều này đã được nghiên cứu rất nhiều, nhưng tôi không thể tìm thấy bất cứ …

20 fl.formal-languages  context-free 

Hãy để chúng tôi nói rằng một ngôn ngữ LLL là P -d mật độ gần nếu có một thuật toán thời gian đa thức quyết định chính xác trên hầu hết tất cả các đầu vào.LLL Nói cách khác, có một P , sao cho đang biến mất, có …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Wikipedia cung cấp các ví dụ về các vấn đề trong đó phiên bản đếm khó, trong khi phiên bản quyết định thì dễ. Một số trong số này đang đếm các kết hợp hoàn hảo, đếm số lượng giải pháp cho -SAT và số cách sắp xếp tôpô.222 Có …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

Sự khai thác dường như vô nghĩa của việc khai thác tiền điện tử đã đặt ra câu hỏi về các lựa chọn thay thế hữu ích, hãy xem những câu hỏi này trên Bitcoin , CST , MO . Tôi tự hỏi liệu có tồn tại một thuật toán …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Tôi có hai câu hỏi lịch sử: Ai là người đầu tiên mô tả tính toán không điều kiện? Tôi biết rằng Cook đã mô tả các vấn đề hoàn chỉnh NP và Edmonds đề xuất rằng thuật toán P là thuật toán "hiệu quả" hoặc "tốt". Tôi đã tìm …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Một móng vuốt là một . Một thuật toán tầm thường sẽ phát hiện một móng vuốt trong thời gian . Nó có thể được thực hiện trong , trong đó là số mũ của phép nhân ma trận nhanh, như sau: lấy biểu đồ con được tạo bởi cho …

20 graph-theory  graph-algorithms  graph-classes 

Người ta biết rằng palindromes có thể được nhận ra theo thời gian tuyến tính trên máy Turing -tape, nhưng không phải trên máy Turing băng đơn (trong trường hợp thời gian cần thiết là bậc hai). Thuật toán thời gian tuyến tính sử dụng một bản sao của đầu …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Làm thế nào nhanh chóng một thuật toán không xác định cho một vấn đề hoàn thành EXPTIME phải được ngụ ý ? Một thuật toán không xác định thời gian đa thức sẽ ngay lập tức ngụ ý điều này bởi vì nhưng không ai tin . Nếu tôi …

20 cc.complexity-theory 

Đưa ra các biểu thức chính quy , có bất kỳ giới hạn không tầm thường nào về kích thước của ngữ pháp không ngữ cảnh nhỏ nhất cho không?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Có một phép tính lambda được gõ trong đó logic tương ứng theo tương ứng Curry-Howard là nhất quán và ở đó có các biểu thức lambda có thể đánh máy cho mọi hàm tính toán? Đây được thừa nhận là một câu hỏi không chính xác, thiếu một định …

20 type-theory  lambda-calculus  typed-lambda-calculus  curry-howard 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 6 năm trước . (Câu hỏi này là một chút của "khảo sát".) …

20 cc.complexity-theory  reference-request  np-hardness 

Giả sử chúng ta có một vấn đề tính toán, ví dụ như 3-SAT, có một tập hợp các trường hợp vấn đề (đầu vào có thể) . Thông thường trong phân tích thuật toán hoặc lý thuyết độ phức tạp tính toán, chúng ta có một số bộ của …

20 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Cho một tập gia đình FF\mathcal{F} các tập con của một vũ trụ UUU . Hãy S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F và chúng tôi muốn trả lời là S1⊆S2S1⊆S2S_1 \subseteq S_2 . Tôi đang tìm kiếm một cấu trúc dữ liệu cho phép tôi nhanh chóng trả lời điều này. Ứng …

20 graph-algorithms  ds.data-structures  partial-order 

Biểu đồ đường của siêu đồ thị là đồ thị (đơn giản) có các cạnh của là các đỉnh có hai cạnh của liền kề nhau trong nếu chúng có giao điểm không trống. Siêu đồ thị là một siêu dữ liệu nếu mỗi cạnh của nó có nhiều nhất …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Tôi vừa đọc trên Wikipedia tiếng Đức rằng đồ thị vô hạn là đồ thị có số lượng nút vô hạn hoặc số cạnh vô hạn. Tôi chỉ biết các ứng dụng và thuật toán cho đồ thị hữu hạn. Đồ thị vô hạn tốt cho việc gì? Ứng dụng …

20 graph-theory  co.combinatorics