Khoa học máy tính

1

Chỉnh sửa khoảng cách của danh sách với các yếu tố độc đáo

Levenshtein - Khoảng cách chỉnh sửa khoảng cách giữa các danh sách là một vấn đề được nghiên cứu kỹ lưỡng. Nhưng tôi không thể tìm thấy nhiều về các cải tiến có thể nếu biết rằng không có yếu tố nào xảy ra nhiều hơn một lần trong mỗi …

12 algorithms strings string-metrics edit-distance

1

Đổ đầy thùng với cặp bóng

Một thùng được gọi là đầy đủ nếu nó chứa ít nhất quả bóng. Mục tiêu của chúng tôi là làm cho càng nhiều thùng càng tốt.kkk Trong kịch bản đơn giản nhất, chúng tôi được cung cấp bóng và có thể sắp xếp chúng tùy ý. Trong trường hợp …

12 combinatorics balls-and-bins

1

Có bất kỳ vấn đề AM-Complete nào đã biết / AM-Complete có được xác định rõ không?

Tôi tò mò về việc liệu có bất kỳ vấn đề hoàn chỉnh nào trong lớp phức tạp Arthur-Merlin không. Đồ thị không đẳng cấu (GNI) dường như là ví dụ điển hình cho một vấn đề trong AM, nhưng có lẽ nó không phải là một vấn đề hoàn …

12 complexity-theory reductions complexity-classes interactive-proof-systems

2

Cấu trúc dữ liệu snapshottable tốt cho chỉ mục trong bộ nhớ

Tôi đang thiết kế một cơ sở dữ liệu đối tượng trong bộ nhớ cho trường hợp sử dụng rất cụ thể. Nó là nhà văn duy nhất, nhưng phải hỗ trợ đọc đồng thời hiệu quả. Đọc phải được cách ly. Không có ngôn ngữ truy vấn, cơ sở …

12 data-structures concurrency databases

1

Việc sử dụng tìm số lượng đường thẳng tối thiểu để bao gồm một tập hợp các điểm là gì?

Có một vấn đề phổ biến [1] [2] trong khoa học máy tính là tìm ra số lượng đường thẳng tối thiểu bao gồm một tập hợp các điểm nhất định trong 2D. Mặc dù tôi đã quét nhiều bài báo, nhưng không ai trong số họ có động lực …

12 reference-request computational-geometry applied-theory

2

XOR-SAT tổng quát có thể giải quyết hiệu quả không?

Tôi đã thấy XOR-3-SAT có thể giải quyết một cách hiệu quả như thế nào (ví dụ, xem phần "Mức độ thỏa mãn XOR" trong mục Wikipedia về vấn đề thỏa mãn Boolean ). Tôi đang tự hỏi một câu hỏi cơ bản: XOR-k-SAT có thể giải quyết một cách …

12 complexity-theory satisfiability

2

Tại sao định lý Schaefer không chứng minh rằng P = NP?

Đây có lẽ là một câu hỏi ngu ngốc, nhưng tôi không hiểu. Trong một câu hỏi khác, họ đã đưa ra định lý phân đôi của Schaefer . Đối với tôi có vẻ như nó chứng minh rằng mọi vấn đề CSP đều ở P hoặc hoàn thành NP, …

12 np-complete satisfiability p-vs-np

3

Liệu bằng chứng về tính không ổn định của vấn đề Ngừng gian lận bằng cách đảo ngược kết quả?

Tôi gặp khó khăn trong việc hiểu vấn đề tạm dừng của Turing. Bằng chứng của anh ta giả định rằng có tồn tại một cỗ máy ma thuật có thể xác định liệu một máy tính sẽ dừng lại hay lặp lại mãi mãi cho một đầu vào nhất …

12 computability halting-problem

4

Những lợi thế của băm cuckoo so với băm hoàn hảo năng động là gì?

Các bảng băm hoàn hảo động và các bảng băm cuckoo là hai cấu trúc dữ liệu khác nhau hỗ trợ tra cứu trường hợp xấu nhất O (1) và các lần chèn và xóa thời gian O (1) dự kiến. Cả hai đều yêu cầu không gian phụ trợ …

12 data-structures hash-tables

3

Làm cách nào để tạo DFA từ biểu thức chính quy mà không sử dụng NFA?

Mục tiêu là tạo DFA từ một biểu thức thông thường và sử dụng "exp thông thường> NFA> chuyển đổi DFA" không phải là một tùy chọn. Làm thế nào một người nên đi về làm điều đó? Tôi đã hỏi câu hỏi này với giáo sư của chúng tôi …

12 automata finite-automata regular-expressions simulation

2

Nhóm đẳng cấu với đồ thị đẳng cấu

Khi đọc một số blog về độ phức tạp tính toán (ví dụ ở đây ), tôi đã đồng hóa khái niệm rằng việc quyết định nếu hai nhóm là đẳng cấu thì dễ hơn so với kiểm tra hai biểu đồ cho đẳng cấu. Ví dụ, trên trang đã …

12 complexity-theory graph-isomorphism group-theory

1

Tại sao chúng ta không nghiên cứu nhiều hơn về việc đảm bảo thời gian biên dịch?

Tôi yêu tất cả thời gian biên dịch và tôi thích ý tưởng rằng một khi bạn biên dịch một chương trình, rất nhiều đảm bảo được thực hiện về việc thực thi. Nói chung, một hệ thống kiểu tĩnh (Haskell, C ++, ...) dường như mang lại sự đảm …

12 programming-languages type-theory type-checking software-verification

1

Vấn đề NP-Complete nào có thuật toán được biết đến nhanh nhất?

Xét về thời gian chạy tiệm cận trong trường hợp xấu nhất, bài toán hoàn thành NP nào có thuật toán (chính xác) được biết đến nhanh nhất và thuật toán là gì? Có cái gì được biết là nhanh hơn không?Ô ( n2* 2n)Ôi(n2*2n)O(n^2*2^n)

12 algorithms reference-request np-complete

1

Nghiên cứu về Lý thuyết đồ thị so với thuật toán đồ thị

Tôi có một câu hỏi rất chung chung để hỏi. Nó có liên quan đến nghiên cứu. Tôi quan tâm đến lý thuyết đồ thị. Tôi đã thực hiện một khóa học trong đó. Tôi đã thực hiện một số chủ đề liên quan đến cả lý thuyết đồ thị …

12 graph-theory graphs

3

Làm thế nào để một NFA sử dụng chuyển tiếp epsilon?

Trong hình bên dưới, tôi đang cố gắng tìm hiểu chính xác NFA này đang chấp nhận điều gì. Có gì khó hiểu cho tôi là ϵϵ\epsilon nhảy tại .q0q0q_0 Nếu nhập , hệ thống có chuyển sang cả và (trạng thái chấp nhận) không?000q0q0q_0 q1q1q_1 Nếu nhập , hệ …

12 automata finite-automata nondeterminism