Tôi phải tìm sự giúp đỡ với nghiên cứu / xuất bản ở đâu?

Tôi đã phát triển thuật toán SAT được một thời gian và đã đạt đến điểm mà tôi muốn chia sẻ nó. Tôi không biết nhiều người trong ngành khoa học máy tính và tôi không biết chính xác nơi nào để rẽ.

Tôi đang tự hỏi những tài nguyên nào có sẵn cho một người có thuật toán đang xem xét xuất bản. Tôi cũng cần trợ giúp để phân tích thời gian chạy và tính chính xác của thuật toán của tôi.

Vấn đề chính của tôi là trong việc phân tích thời gian chạy. Tôi cần giúp đỡ với một phân tích chi tiết về điều này. Tôi khá chắc chắn rằng thuật toán là chính xác, nhưng nó sẽ hữu ích nếu ai đó cũng xác minh điều này.

Vì vậy, có ai sẵn sàng phân tích thuật toán của tôi không? Ngoài ra, những tài nguyên nào có sẵn cho một nhiệm vụ như thế này?

Nếu thuật toán SAT của bạn có nghĩa là thiết thực, thì bạn nên chạy điểm chuẩn thi SAT trên nó. Cộng đồng giải SAT sẽ coi công việc của bạn nghiêm túc hơn nhiều nếu bạn có thể cho thấy cách tiếp cận của bạn cạnh tranh với những người giải quyết hiện có. Người giải quyết của bạn không cần phải nhanh hơn mọi người giải quyết, hoặc giải quyết nhiều trường hợp hơn, nhưng đó phải là một đối thủ cạnh tranh nghiêm trọng. Bạn không cần một cỗ máy rất nhanh hoặc mạnh để chạy điểm chuẩn; bạn chỉ có thể so sánh thời gian chạy với một trong những người giải SAT miễn phí như MiniSAT hoặc PicoSAT . Những người giải quyết này cũng sẽ cho phép bạn xem câu trả lời sẽ như thế nào.

Nếu bạn đang làm việc trên một bộ giải thực tế sử dụng các kỹ thuật mới và cách tiếp cận của bạn chưa cạnh tranh, tôi vẫn khuyên bạn nên thử các điểm chuẩn này. Họ sẽ giúp bạn hiểu các loại vấn đề mà bạn nên nhắm đến để giải quyết, và loại hiệu suất bạn nên hướng tới. Bạn cũng có thể muốn đọc một số chương chính của Sổ tay hài lòng hoặc khảo sát gần đây

• Hôn Pipatsrisawat và Adnan Darwiche, Về những người giải quyết vấn đề học tập hiện đại , Tạp chí lý luận tự động 44 277 Bút495, 2010 ( PDF )

để xem các loại đối số hỗ trợ người giải quyết chính. Nếu bạn có những ý tưởng mới chưa được tối ưu hóa để thực hiện cũng như những người giải quyết hàng đầu, bạn sẽ cần giải thích những lợi thế tiềm năng của cách tiếp cận của bạn với một người biết trình tự lý luận dài dẫn đến tập hợp "tốt nhất hiện nay" thực hành "quyết định thiết kế.

Nếu sự đóng góp của bạn hoàn toàn là lý thuyết, thì bạn cần lưu ý đến nhiều bài viết trong lĩnh vực này và giải thích trong bài viết của bạn tại sao cách tiếp cận của bạn tốt hơn theo cách nào đó. Có một cái nhìn về công việc gần đây, ví dụ Amin Coja-Oghlan hoặc Alan Frieze để cảm nhận về tình trạng của nghệ thuật và cho các gợi ý hữu ích cho các bài báo quan trọng.

Vì bây giờ bạn muốn chia sẻ thuật toán của mình, đề xuất cá nhân của tôi là như sau: xây dựng một trang web rất đơn giản. Trang web sẽ cung cấp 2 điều sau:

1. Mã nguồn của thuật toán.
2. Một tài liệu mô tả ngắn gọn cách tiếp cận của bạn. Cách tiếp cận của bạn là khác nhau? Đó là ý tưởng mới đằng sau nó? Tài liệu này không cần phải là một bài viết kỹ thuật được viết hoàn hảo, cũng không cần chứa bất kỳ bằng chứng chính thức nào: một bài thuyết trình về điểm mạnh sẽ đủ để "truyền tải" cốt lõi ý tưởng của bạn. Chỉ cần giải thích cho chúng tôi tại sao bạn nghĩ rằng thuật toán của bạn là khác nhau. Có lẽ nó là duy nhất, ai biết được.

1. Bạn có thể viết ý tưởng của bạn xuống ở định dạng giấy tiêu chuẩn.
2. Xuất bản nó trên ArXiv .
3. Chia sẻ mã nguồn trên github .
4. Dành thời gian học phân tích thời gian chạy và cập nhật giấy của bạn khi bạn hoàn thành.

ví dụ: Bạn có thể viết một bài khảo sát và cuối cùng đề xuất giải pháp của bạn như một cách tiếp cận đầy hứa hẹn mới. Nhưng không có bằng chứng về tính chính xác và phân tích thời gian chạy, không nhiều người sẽ coi trọng nó (nhưng một số sẽ).