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

Động lực: Trong các thuật toán dòng tối đa đường dẫn tăng tiêu chuẩn, vòng lặp bên trong yêu cầu tìm đường dẫn từ nguồn đến chìm trong đồ thị có hướng, có trọng số. Về mặt lý thuyết, người ta biết rằng để thuật toán thậm chí chấm dứt …

10 ds.algorithms  graph-theory  graph-algorithms 

Graph automorphism là một hoán vị của các nút đồ thị mà gây ra một song ánh trên các cạnh bộ EEE . Chính thức, Nó là một hoán vị fff của các nút như vậy (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Xác định một cạnh bị vi phạm đối với …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

Tại SODA 2006, bài viết của Martin Grohe và D niel Marx "Giải quyết ràng buộc thông qua bìa cạnh phân đoạn" ( trích dẫn ACM ) cho thấy đối với lớp siêu dữ liệu có độ rộng siêu phân đoạn giới hạn, CSP ( ) .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Định …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Giả sử tôi có đồ thị có trọng số G = ( V, E, w )G=(V,E,w)G = (V,E,w) sao cho w : E→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] là hàm trọng số - lưu ý rằng trọng số âm được cho phép. Nói rằng f: 2V→ Rf:2V→Rf:2^V\rightarrow \mathbb{R} …

10 ds.algorithms  graph-theory  co.combinatorics 

Tôi muốn biết trạng thái hiện tại của quá trình chuyển pha cho k-sat ngẫu nhiên, với n biến và m mệnh đề, c = m / n được biết đến nhiều nhất cho giới hạn trên và dưới.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Những giấy tờ về xử lý lỗi trong các hệ thống phân tán mà bạn đề nghị?

10 reference-request  dc.distributed-comp 

Câu hỏi này đã xuất hiện trong đầu tôi sau khi đọc những đóng góp của András Salamon và Colin McQuillan cho câu hỏi trước đây của tôi Đếm các giải pháp của công thức Monotone-2CNF . EDIT 30 ngày tháng 3 năm 2011 gia tăng câu hỏi n ° …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Tôi đã tìm kiếm trên diễn đàn để xem điều này đã được hỏi trước đó chưa, và trong khi lý thuyết trò chơi thuật toán được thảo luận, tôi không thể tìm thấy vấn đề đặc biệt này. Tôi đang cố gắng tìm ra thuật toán nổi tiếng nhất …

10 ds.algorithms  gt.game-theory 

Tôi tự hỏi để biết rằng có ngôn ngữ thưa thớt (thậm chí được xây dựng bằng cách trì hoãn diagolanization) trong NPI với giả định rằng .P≠ NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Có bất kỳ lớp phức tạp nào có chứa các đối tác trực tuyến của các vấn đề tối ưu hóa không? Nếu không, làm thế nào lớp như vậy có thể được định nghĩa? Chúng tôi biết rằng nhiều vấn đề có phiên bản trực tuyến của họ: ví …

10 cc.complexity-theory  complexity-classes 

Máy phát điện bất khả xâm phạm được định nghĩa như sau: Đặt là quan hệ NP và M là máy chấp nhận L ( R ) . Không chính thức, một chương trình là một máy phát điện bất khả xâm phạm nếu, trên đầu vào 1 n , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Tôi đang tìm một hàm băm qua các bộ H (.) Và một mối quan hệ R (.,.) Để nếu A được bao gồm trong B thì R (H (A), H (B)). Tất nhiên, R (.,.) Phải dễ xác minh (thời gian không đổi) và H (A) nên được tính …

10 ds.algorithms  hash-function 

Giả sửP≠ NPP≠NPP \neq NP Hãy sử dụng ký hiệu sau cho phép tetration (nghĩa là ).Tôimộtimột{}^iaTôia = amột⋅⋅⋅mộttôi lầnia=aa⋅⋅⋅a⏟i lần{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | là kích thước của thể hiện x. Đặt L là ngôn ngữ,L |f( i ) ≤ | x | < g( tôi …

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

Stratego là ngôn ngữ chuyển đổi lập trình / Viết lại DSL. Anthony Sloane đã thực hiện một số công việc làm một thực hiện chạy trên Scala . Các giới hạn lý thuyết của Stratego như một ngôn ngữ chức năng là gì? (bất kể thực hiện). Người ta …

10 functional-programming 

Nhiều người ở đây có lẽ nhận thức được các giới hạn siêu tuyến tính gần đây của Alon cho -nets trong một thiết lập hình học tự nhiên [PDF] . Tôi muốn biết điều gì, nếu có bất cứ điều gì, giới hạn thấp hơn như vậy ngụ ý …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets