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

Những thuật toán / kỹ thuật toán học nào có sẵn cho chính xác / xấp xỉ số lượng các bộ độc lập? Là / Có một tài liệu tham khảo tốt / tài liệu tham khảo tốt về chủ đề này? Tôi quan tâm đến đồ thị thường xuyên.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Tôi đang cố gắng làm rõ sự hiểu biết của mình trong ví dụ được trình bày trong Phần 2.2 của Tự động lượng tử hữu hạn 1 chiều: Điểm mạnh Điểm yếu và khái quát hóa ( liên kết thay thế này cũng có thể hữu ích). Ví dụ …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Đây là một câu hỏi hơi chủ quan. Tôi quan tâm đến việc nghiên cứu tài liệu về các kết quả cắt dòng đa dòng, đặc biệt là kết quả 'dương' cho thấy dòng chảy là một xấp xỉ tốt để cắt (giả sử, trong một yếu tố không đổi …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow 

đây là một bản viết lại của một câu hỏi gần đây khác của tôi [1] không được nêu rõ (nó có một sự đơn giản hóa rõ ràng, mea culpa) nhưng tôi nghĩ vẫn còn một câu hỏi không cần thiết ở trung tâm của nó. đã thấy những …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Mặc dù rất phổ biến để thấy các nhạc sĩ, họa sĩ, tác giả và kiến ​​trúc sư thành công - tôi không quen thuộc với bất kỳ tự động nổi tiếng nào trong lĩnh vực TCS. Có bất kỳ ví dụ về một nhà khoa học máy tính lý …

8 soft-question 

Ý tưởng về MST bị giới hạn đường kính là bạn giữ tất cả các đỉnh được kết nối và trong một khoảng cách nhất định với nhau. Nhưng tất cả các giấy tờ tôi từng thấy đều yêu cầu bạn sản xuất một cây, khi cho phép các chu …

8 cc.complexity-theory  reference-request  graph-theory 

Tôi đã được một học sinh hỏi sau đây và không thể đưa ra câu trả lời hoàn chỉnh: Có thuộc tính đóng nào cho lớp ngôn ngữ không có ngữ cảnh không? Thật dễ dàng để tìm thấy các ví dụ cho thấy rằng nó không bị đóng dưới …

8 fl.formal-languages  context-free-languages 

Bổ đề cắt (aka tế bào phân hủy lemma) khẳng định rằng cho dòng trong mặt phẳng ta có thể phân chia nó thành O ( r 2 ) khu vực (kể cả hình tam giác) đối với bất kỳ 1 ≤ r ≤ n như vậy mà nội thất …

8 co.combinatorics  cg.comp-geom 

Giả sử có bên , mỗi bên có một bit . Tôi muốn tính phép nhân số lần nhân của số không, nghĩa là, .p j b j ∈ { 0 , 1 } R = ( ∑ b j ) × ( N - ∑ b j )N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Việc …

8 cr.crypto-security  security 

Người ta biết rằng đồ thị phẳng từ một gia đình khép kín với trẻ vị thành niên bị cấm K3 , 3,K5K3,3,K5K_{3,3}, K_{5}, đồ thị có treewidth giới hạn cũng là đồ thị gia đình đóng không có HkHkH_{k} là trẻ vị thành niên. Tôi giả sử rằng các …

8 graph-algorithms 

Alice muốn nhận được một tin nhắn cho một số lượng lớn người sống dưới một chính phủ hạnh phúc kiểm duyệt, được điều hành bởi Eve. Cách truyền thống để làm điều này là samizdat, nhưng quá trình đó đòi hỏi mỗi người truyền một thông điệp để có …

8 cr.crypto-security 

Chúng tôi đang nghiên cứu một bài báo trình bày một số thuật toán để tìm các hình tam giác và họa tiết mạng (sơ đồ con kích thước không đổi, còn được gọi là biểu đồ) trong một thiết lập phân tán. Chúng tôi mô tả sự đánh đổi …

8 reference-request  graph-theory  graph-algorithms 

Tôi đang cố gắng phát triển một số khái niệm về tính toán khác biệt giữa Máy Turing lý tưởng nổi tiếng được hình thành bởi một nhà phát triển (ví dụ: bất cứ thứ gì được nhà phát triển phần mềm dự định), gọi nó là và Máy đại …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Chỉnh sửa: Tôi nghĩ rằng tinh thần của câu hỏi là tốt, nhưng nó cần phải được cải thiện. Các giả định được thực hiện cho việc tung đồng xu đã khiến câu hỏi đó trở nên tầm thường, và cuộn chết vẫn chưa được xác định chính xác. Các …

8 ds.algorithms  cg.comp-geom 

Nhiều kết quả trong mật mã phụ thuộc vào kết quả / phỏng đoán bất khả thi trong lý thuyết phức tạp. Ví dụ, mật mã khóa công khai sử dụng RSA được cho là có thể do phỏng đoán về tính không khả thi của bao thanh toán (và …

8 cc.complexity-theory  cr.crypto-security  computability