ฉันจะขอความช่วยเหลือเกี่ยวกับการวิจัย / การเผยแพร่ได้ที่ไหน

ฉันพัฒนาอัลกอริทึม SAT มาระยะหนึ่งแล้วและได้มาถึงจุดที่ฉันต้องการแชร์ ฉันไม่รู้จักคนจำนวนมากในสาขาวิทยาศาสตร์คอมพิวเตอร์และฉันไม่แน่ใจว่าจะหันไปทางไหน

ฉันสงสัยว่าทรัพยากรใดบ้างที่มีให้สำหรับบางคนที่มีอัลกอริทึมที่กำลังพิจารณาการเผยแพร่ ฉันต้องการความช่วยเหลือในการวิเคราะห์รันไทม์และความถูกต้องของอัลกอริทึมของฉัน

ปัญหาหลักของฉันคือการวิเคราะห์รันไทม์ ฉันต้องการความช่วยเหลือในการวิเคราะห์รายละเอียดของสิ่งนี้ ฉันค่อนข้างแน่ใจว่าอัลกอริทึมนั้นถูกต้อง แต่มันจะมีประโยชน์หากใครบางคนจะตรวจสอบเรื่องนี้ด้วย

มีใครบ้างที่ยินดีจะวิเคราะห์อัลกอริทึมของฉัน นอกจากนี้ทรัพยากรใดบ้างที่มีให้สำหรับงานเช่นนี้

หากอัลกอริทึม SAT ของคุณนั้นใช้งานได้จริงคุณควรใช้เกณฑ์มาตรฐานการแข่งขัน SATในนั้น ชุมชนการแก้ SAT จะดำเนินงานของคุณอย่างจริงจังมากขึ้นหากคุณแสดงให้เห็นว่าวิธีการของคุณแข่งขันกับนักแก้ปัญหาที่มีอยู่ นักแก้ปัญหาของคุณไม่จำเป็นต้องเร็วกว่าตัวแก้ปัญหาทุกตัวหรือแก้ไขตัวอย่างเพิ่มเติม แต่ควรเป็นคู่แข่งที่จริงจัง คุณไม่ต้องการเครื่องจักรที่เร็วหรือทรงพลังมากนักในการรันการวัดประสิทธิภาพ คุณก็สามารถเปรียบเทียบการรันไทม์กับหนึ่งในนักแก้ SAT ฟรีเช่นMiniSATหรือPicoSAT นักแก้ปัญหาเหล่านี้จะช่วยให้คุณเห็นว่าคำตอบควรมีลักษณะอย่างไร

หากคุณกำลังทำงานกับนักแก้ปัญหาที่ใช้งานได้จริงซึ่งใช้เทคนิคใหม่และวิธีการของคุณยังไม่สามารถแข่งขันได้ฉันขอแนะนำให้ลองใช้การวัดประสิทธิภาพเหล่านี้ พวกเขาจะช่วยให้คุณเข้าใจชนิดของปัญหาที่คุณควรตั้งเป้าหมายที่จะแก้ปัญหาและประสิทธิภาพที่คุณควรจะตั้งเป้าหมายไว้ คุณอาจต้องการอ่านบทที่สำคัญบางส่วนของคู่มือความพึงพอใจหรือแบบสำรวจล่าสุด

• Knot Pipatsrisawat และ Adnan Darwiche เกี่ยวกับการแก้ปัญหาความพึงพอใจในการเรียนการสอนที่ทันสมัย , วารสารการใช้เหตุผลอัตโนมัติ44 277–301, 2010 ( PDF )

เพื่อดูประเภทของข้อโต้แย้งที่สนับสนุนนักแก้ปัญหาหลัก หากคุณมีความคิดใหม่ ๆ ที่ยังไม่ได้รับการปรับแต่งเพื่อให้ทำงานได้ดีที่สุดและเป็นนักแก้ปัญหาอันดับต้น ๆ คุณจะต้องอธิบายข้อดีที่เป็นไปได้ของวิธีการของคุณกับคนที่รู้ลำดับเหตุผลเชิงทฤษฎีที่ยาวนานซึ่งนำไปสู่ ฝึกปฏิบัติ "การตัดสินใจออกแบบ

หากการสนับสนุนของคุณเป็นไปตามทฤษฎีล้วนๆคุณต้องระวังเอกสารจำนวนมากในพื้นที่นี้และอธิบายในบทความของคุณว่าทำไมแนวทางของคุณถึงดีกว่าอย่างน้อย ลองดูงานล่าสุดโดย Amin Coja-Oghlan หรือ Alan Frieze เพื่อทำความเข้าใจกับสถานะของงานศิลปะและสำหรับตัวชี้ที่เป็นประโยชน์ต่อเอกสารสำคัญ

เมื่อคุณต้องการแบ่งปันอัลกอริทึมของคุณคำแนะนำส่วนตัวของฉันมีดังต่อไปนี้: สร้างเว็บไซต์ที่ง่ายมาก ไซต์ควรทำให้พร้อมใช้งาน 2 สิ่งต่อไปนี้:

1. รหัสที่มาของอัลกอริทึม
2. เอกสารอธิบายแนวทางของคุณโดยย่อ แนวทางของคุณแตกต่างที่ไหน? แนวคิดใหม่ที่อยู่เบื้องหลังมันคืออะไร? เอกสารนี้ไม่จำเป็นต้องเป็นเอกสารทางเทคนิคที่เขียนได้อย่างสมบูรณ์และไม่จำเป็นต้องมีหลักฐานที่เป็นทางการใด ๆ : การนำเสนอจุดไฟจะเพียงพอที่จะ "ถ่ายทอด" แก่นความคิดของคุณ เพียงอธิบายให้เราทราบว่าทำไมคุณคิดว่าอัลกอริทึมของคุณแตกต่าง อาจจะเป็นเอกลักษณ์ใครจะรู้

1. คุณสามารถเขียนความคิดของคุณลงในรูปแบบกระดาษมาตรฐาน
2. เผยแพร่บนarXiv
3. รหัสที่มาแบ่งปันบนGitHub
4. ใช้เวลาในการเรียนรู้การวิเคราะห์เวลาทำงานและอัพเดทรายงานของคุณเมื่อเสร็จแล้ว

เช่นคุณสามารถเขียนรายงานการสำรวจและท้ายที่สุดแนะนำวิธีการแก้ปัญหาของคุณเป็นแนวทางใหม่ที่มีแนวโน้ม แต่ถ้าไม่มีข้อพิสูจน์ความถูกต้องและการวิเคราะห์เวลาก็มีไม่มากที่คนจะจริงจัง