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

1

Tôi muốn biết liệu tính quyết định của đẳng thức của hai bằng chứng có thể quyết định của cùng một mệnh đề có thể được chứng minh mà không cần bất kỳ tiên đề bổ sung nào trong Tính toán các công trình quy nạp. Cụ thể, tôi muốn …

9 coq constructive-mathematics calculus-of-constructions

1

Là sự phức tạp của vấn đề con đường này được biết đến?

Sơ thẩm: Một đồ thị vô hướng có hai đỉnh phân biệt và một số nguyên .s ≠ t k ≥ 0GGGs ≠ ts≠ts\neq tk ≥ 0k≥0k\geq 0 Câu hỏi: Có tồn tại một đường trong , sao cho đường đó cắt nhau nhiều nhất là tam giác? (Đối với …

9 cc.complexity-theory graph-algorithms

4

Sách hay về lý thuyết phân tích cú pháp?

Một trong những dự án Java của tôi là một nhánh của parboiled và không giống như Antlr hoặc JavaCC, các trình phân tích cú pháp được tạo khi chạy. Các ngữ pháp được tạo ra là các ngữ pháp phân tích cú pháp hoặc PEG (tôi nghe một thuật …

9 research-practice books parsing

1

Thuật toán giao cắt DFA cho các trường hợp đặc biệt

Tôi quan tâm đến các thuật toán hiệu quả cho giao lộ DFA cho các trường hợp đặc biệt. Cụ thể, khi các DFA giao nhau tuân theo một cấu trúc nhất định và / hoặc hoạt động trên bảng chữ cái giới hạn. Có nguồn nào mà tôi có …

9 automata-theory time-complexity dfa

2

Hiểu đồ thị định lý nhỏ

Câu hỏi này có hai phần và chủ yếu hướng đến tham khảo: Có nơi nào mà các trực giác chính để chứng minh định lý đồ thị nhỏ được đưa ra, mà không đi sâu vào chi tiết không? Tôi biết bằng chứng là dài và khó, nhưng chắc …

9 reference-request graph-theory graph-minor

1

Là phức tạp Kolmogorov là một chức năng so sánh?

Chúng ta hãy sửa mã hóa máy Turing và máy Turing phổ dụng, U, trên đầu vào (T, x) xuất ra bất cứ thứ gì T xuất ra trên đầu vào x (có thể cả hai chạy mãi mãi). Xác định độ phức tạp Kolmogorov của x, K (x), là …

9 cc.complexity-theory universal-computation kolmogorov-complexity universal-turing-machines

2

Liệt kê các đồ thị phẳng của băng thông bị ràng buộc

Tôi đang tìm tài liệu tham khảo cho bài toán sau: các số nguyên và k đã cho , liệt kê tất cả các đồ thị phẳng không đẳng hình trên n đỉnh và treewidth ≤ k . Tôi quan tâm đến cả kết quả lý thuyết và thực tế, …

9 reference-request graph-theory graph-algorithms treewidth

2

Tại sao hầu hết mật mã phụ thuộc vào các cặp số nguyên tố lớn, trái ngược với các vấn đề khác?

Hầu hết các phương pháp mã hóa hiện tại phụ thuộc vào độ khó của bao thanh toán là sản phẩm của hai số nguyên tố lớn. Theo tôi hiểu, điều đó chỉ khó khi phương thức được sử dụng để tạo ra các số nguyên tố lớn không thể …

9 cr.crypto-security primes

2

Kết quả lý thuyết cho rừng ngẫu nhiên?

Rừng ngẫu nhiên có một danh tiếng trong số các học viên là một trong những kỹ thuật phân loại hiệu quả nhất. Tuy nhiên, chúng ta không bắt gặp chúng nhiều trong các tài liệu lý thuyết học tập, từ đó tôi cho rằng không có kết quả lý …

9 machine-learning lg.learning

1

Trọng lượng tối đa

Tôi quan tâm đến một biến thể của đối sánh trọng lượng tối đa trong biểu đồ, mà tôi gọi là "Kết hợp công bằng tối đa". Giả sử rằng đồ thị có đầy đủ (ví dụ: ), có số chẵn các đỉnh, và trọng lượng được đưa ra bởi …

9 ds.algorithms graph-algorithms np-hardness matching bipartite-graphs

1

Trường hợp tham số quan hệ trong các mô hình hyperdoctrine hoặc topos được khám phá ở đâu?

Reynold ban đầu đề xuất một ngữ nghĩa quan hệ cho phép tính lambda đa hình bậc hai [1]. Tuy nhiên, sau đó ông đã cho thấy [2] rằng cách tiếp cận này không phù hợp với lý thuyết tập hợp cổ điển. Các mô tả đã mô tả khuôn …

9 type-theory parametricity

1

Sự thỏa mãn đơn hàng đầu tiên không có mô hình hữu hạn

Chúng ta biết từ định lý của Church rằng việc xác định mức độ thỏa mãn của đơn hàng đầu tiên là không thể giải quyết được, nhưng có một số kỹ thuật chúng ta có thể sử dụng để xác định mức độ thỏa mãn của đơn hàng đầu …

9 reference-request lo.logic automated-theorem-proving

1

Một lời giải thích hoàn toàn theo lý thuyết đồ thị về việc giảm từ Bìa nhãn duy nhất xuống Max-Cut

Tôi đang nghiên cứu phỏng đoán trò chơi độc đáo và bản rút gọn nổi tiếng của Max-Cut of Khot et al. Từ bài báo của họ và các nơi khác trên internet, hầu hết các tác giả sử dụng (đối với tôi là gì) một sự tương đương ngầm …

9 cc.complexity-theory approximation-hardness pcp max-cut unique-games-conjecture

1

Vấn đề thành viên đối với một số loại ngữ pháp không hạn chế

Hãy xem xét một bối cảnh tự do tùy ý ngữ pháp trên bảng chữ cái { 0 , 1 , ¯ 0 , ¯ 1 } . Để các sản phẩm của ngữ pháp này, thêm hai cố định phi ngữ cảnh tự do sản xuất P : ¯ …

9 context-free decidability

2

Đồ thị đẳng cấu với quan hệ tương đương trên tập đỉnh

Một đồ thị màu có thể được mô tả là tuple ( G , c )(G,c)(G,c) trong đó GGG là đồ thị và c : V( G ) → Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} là màu. Hai đồ thị màu ( G , c )(G,c)(G,c) và ( H, d)(H,d)(H,d) được …

9 terminology graph-isomorphism equivalence