리서치 / 출판에 대한 도움을 받으려면 어디서해야합니까?

나는 한동안 SAT 알고리즘을 개발해 왔으며 그것을 공유하고 싶은 시점에 도달했다. 나는 컴퓨터 과학 분야의 많은 사람들을 모른다. 정확히 어디로 돌릴 지 잘 모르겠다.

게시를 고려중인 알고리즘을 가진 사람이 사용할 수있는 리소스가 궁금합니다. 또한 알고리즘의 런타임 및 정확성을 분석하는 데 도움이 필요합니다.

내 주요 문제는 런타임 분석에 있습니다. 이에 대한 자세한 분석에 도움이 필요합니다. 알고리즘이 정확하다고 확신하지만 누군가가 이것을 확인하면 도움이 될 것입니다.

내 알고리즘을 기꺼이 분석 할 사람이 있습니까? 또한 이와 같은 작업에 어떤 리소스를 사용할 수 있습니까?

SAT 알고리즘이 실용적이라면 SAT 경쟁 벤치 마크를 실행해야 합니다. SAT 솔버 링 커뮤니티는 기존 솔버와의 접근 방식이 경쟁 우위에 있음을 보여 주면 작업을 훨씬 더 진지하게 받아 들일 것입니다. 솔버가 모든 솔버보다 빠르거나 더 많은 인스턴스를 해결할 필요는 없지만 심각한 경쟁자가되어야합니다. 벤치 마크를 실행하기 위해 매우 빠르고 강력한 머신이 필요하지 않습니다. MiniSAT 또는 PicoSAT 와 같은 무료 SAT 솔버 중 하나와 런타임을 간단히 비교할 수 있습니다 . 이 솔버를 사용하면 답변이 어떻게 표시되는지 확인할 수 있습니다.

새로운 기술을 사용하는 실용적인 솔버를 개발하고 있는데 아직 경쟁이 치열하지 않다면 여전히 이러한 벤치 마크를 시도해 보는 것이 좋습니다. 해결해야 할 문제의 종류와 목표로하는 성능의 종류를 이해하는 데 도움이됩니다. 또한 만족도 핸드북의 주요 장 또는 최근 설문 조사 를 읽고 싶을 수도 있습니다.

• Knot Pipatsrisawat와 Adnan Darwiche, 현대 조항 학습 만족도 해결 자, 자동화 된 추론 저널 44 277–301, 2010. ( PDF )

주요 솔버를 지원하는 논증의 종류를 볼 수 있습니다. 최고의 솔버뿐만 아니라 아직 수행하기에 최적화되지 않은 새로운 아이디어가 있다면, 현재의 "최고의"이론을 이끌어 낸 이론적 추론의 긴 순서를 알고있는 사람에게 접근의 잠재적 이점을 설명해야합니다. 연습 "디자인 결정.

당신의 기여가 순전히 이론적 인 것이라면,이 분야의 많은 논문들을 알고, 논문에서 당신의 접근 방식이 적어도 어떤면에서 더 나은 이유를 설명해야합니다. 예를 들어 Amin Coja-Oghlan 또는 Alan Frieze의 최신 작품을 살펴보고 최신 기술과 중요한 논문에 대한 유용한 정보를 얻으십시오.

알고리즘을 공유하고 싶기 때문에 제 개인적인 제안은 다음과 같습니다. 매우 간단한 웹 사이트를 구축하십시오. 이 사이트는 다음 두 가지를 제공해야합니다.

1. 알고리즘의 소스 코드입니다.
2. 접근 방식을 간략하게 설명하는 문서. 접근 방식이 다른 곳은? 그 뒤에 새로운 아이디어는 무엇입니까? 이 문서는 완벽하게 작성된 기술 문서 일 필요는 없으며 공식적인 증거를 포함 할 필요도 없습니다. 파워 포인트 프레젠테이션은 아이디어의 핵심을 "전달"하기에 충분합니다. 알고리즘이 다른 이유를 설명해주세요. 어쩌면 그것은 독특 할 것입니다.

1. 아이디어를 표준 용지 형식으로 기록 할 수 있습니다.
2. 에 게시 ArXiv .
3. github에서 소스 코드를 공유하십시오 .
4. 런타임 분석을 배우는 데 시간을 보내며 완료되면 논문을 업데이트하십시오.

예를 들어 설문지를 작성하면 새로운 유망한 접근 방식으로 솔루션을 제안 할 수 있습니다. 그러나 정확성과 런타임 분석의 증거가 없으면 많은 사람들이 그것을 심각하게 받아 들일 것입니다 (그러나 일부 의지).