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

5

Tài liệu tham khảo tốt về hiểu biết học tập trực tuyến là gì?

Cụ thể, tôi đang yêu cầu các tài nguyên để tìm hiểu về các hệ thống máy học có thể cập nhật các mạng niềm tin tương ứng (hoặc tương đương) trong quá trình hoạt động. Tôi thậm chí đã chạy qua một vài, mặc dù tôi không đánh dấu …

10 reference-request machine-learning lg.learning ai.artificial-intel online-learning

4

Làm sao để biết X và Y có đồng tác giả không?

Có công cụ nào mà người ta có thể tìm ra nếu hai người có đồng tác giả hay không? Giống như công cụ mà người ta có thể tìm ra Erdos _number_ của ai đó .

10 soft-question

2

Mã hóa nhanh các vectơ cân bằng

Dễ dàng thấy rằng với mọi nnn tồn tại ánh xạ 1-1 FFF từ {0,1} n đến {0,1} n + O ( log n ) sao cho với mọi x thì vectơ F ( x ) là " cân bằng ", nghĩa là, nó có số lượng bằng 1 và …

10 ds.algorithms ds.data-structures encoding

2

Các biến thể NP-đầy đủ của các vấn đề không thể giải quyết?

Ví dụ về các biến thể -complete bị ràng buộc của các tập hợp không thể giải quyết được:NPNPNP Vấn đề giới hạn giới hạn = { | Máy NTM dừng lại và chấp nhận trong vòng bước}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ốp lát giới hạn …

10 cc.complexity-theory np-hardness

1

Loại ngôn ngữ nào được nhận dạng bởi automata trạng thái hữu hạn với đầu

Một DFA hoặc NFA đọc qua một chuỗi đầu vào với một đầu duy nhất, di chuyển từ trái sang phải. Có vẻ tự nhiên khi tự hỏi về các máy trạng thái hữu hạn có nhiều đầu , mỗi đầu di chuyển qua đầu vào từ trái sang phải, …

10 fl.formal-languages automata-theory regular-language nfa

1

Câu hỏi trực tuyến là gì mà lý thuyết ngôn ngữ lập trình đang cố gắng trả lời?

Tôi đã quan tâm đến nhiều chủ đề khác nhau như Logic kết hợp, Tính toán Lambda, Lập trình hàm trong một thời gian và đã nghiên cứu chúng. Tuy nhiên, không giống như "Lý thuyết tính toán" cố gắng trả lời câu hỏi về "khả năng tính toán", tức …

10 soft-question pl.programming-languages lambda-calculus big-picture combinatory-logic

1

Ứng cử viên tự nhiên cho NP-E và E-NP

Người ta đã biết từ đầu những năm 70 rằng và không bằng nhau (vì không bị đóng trong nhiều thời gian đa thức giảm một lần, ngược lại với ). Tuy nhiên, theo như tôi biết, vẫn còn mở cho dù một lớp là tập con của lớp kia …

10 cc.complexity-theory complexity-classes np-complete

1

Mối quan hệ được phỏng đoán giữa các ngôn ngữ P (PTime) và Loại 1 (nhạy cảm theo ngữ cảnh) là gì?

Không biết hay P ⊈ C S L , ở đâuP⊆ CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL là tập hợp tất cả các ngôn ngữ có thể quyết định theo thời gian đa thức trên máy Turing xác định vàPPP là lớp ngôn ngữ nhạy cảm theo ngữ cảnh, được biết là tương …

10 cc.complexity-theory fl.formal-languages polynomial-time

1

Là sự phức tạp Kolmogorov của các bảng chân lý của vấn đề tạm dừng được biết là không có triệu chứng?

Đặt biểu thị chuỗi có độ dài tương ứng với bảng chân lý của bài toán tạm dừng cho các đầu vào có độ dài .HALTnHALTnHALT_n2n2n2^nnnn Nếu chuỗi độ phức tạp Kolmogorov là , thì một trong những chuỗi lời khuyên sẽ được sử dụng vô cùng thường xuyên và …

10 cc.complexity-theory reference-request computability lower-bounds

1

Đánh giá mạch boolean trên lô đầu vào tương tự

Giả sử tôi có một mạch boolean tính toán một số hàm f : { 0 , 1 } n → { 0 , 1 } . Giả sử mạch bao gồm các cổng AND, OR và KHÔNG có quạt vào và ra nhiều nhất là 2.CCCf: { 0 , …

10 ds.algorithms circuit-complexity boolean-functions circuits

1

Hạt nhân đa thức cho -FLIP SAT trên công thức -CNF

Vấn đề tham số SAT k-FLIP được định nghĩa là: Đầu vào: công thức 3-CNF với biến và phép gán đúng Tham số: Câu hỏi: chúng ta có thể chuyển đổi phép gán thành phép gán bão hòa cho lật giá trị thật của tối đa biến?n σ : [ …

10 parameterized-complexity fixed-parameter-tractable

1

Liên kết sự thống nhất cho một lý thuyết về cateogries với khái niệm bộ xương

Nói rằng tôi làm việc trong lý thuyết loại đồng luân và các đối tượng nghiên cứu duy nhất của tôi là các thể loại thông thường. Sự tương đương ở đây được đưa ra bởi functor và cung cấp các loại tương đương . Tồn tại các đẳng cấu …

10 type-theory ct.category-theory dependent-type equivalence homotopy-type-theory

1

Tại sao sự chậm chạp bổ sung lại quan trọng?

Sự chậm chạp bổ sung (CS) thường được dạy khi nói về tính hai mặt. Nó thiết lập một mối quan hệ tốt đẹp giữa nguyên hàm và các ràng buộc / biến kép theo quan điểm toán học. Hai lý do chính để áp dụng CS (như được dạy …

10 ds.algorithms approximation-algorithms linear-programming primal-dual

1

Giảm thiểu DFA đa ngôn ngữ

Tôi quan tâm đến việc khái quát hóa một chút về DFA. Như thường lệ, chúng tôi có nhà bộ , hữu hạn bảng chữ cái Σ , một Σ * -Hành động xác định trên Q bởi δ : Q × Σ → Q , và ban đầu nhà …

10 automata-theory dfa

1

Học PAC đúng cách 2-DNF theo phân phối thống nhất

Trạng thái kết quả nghệ thuật về độ phức tạp truy vấn của công thức 2-DNF học PAC phù hợp với các truy vấn mẫu và theo phân phối thống nhất là gì? Hoặc bất kỳ ràng buộc không tầm thường trên nó? Bởi vì tôi hoàn toàn không quen …

10 reference-request lg.learning boolean-functions