Jikka:解决竞争性编程问题的自动化解决方案 源码

吉卡 Jikka是解决竞争性编程问题的自动化解决方案。 在竞争性编程中,存在一些只能通过“重复公式转换”,“粘贴著名数据结构的摘要”等可以解决的问题。Jikka自动解决了这些问题。 Jikka接受这样的问题,例如以非常受限制的Python子集形式的程序形式输入,优化代码以降低计算复杂度以及以C ++的实现形式输出。 /竞技プログラミンミいて「ただ式変形をするだけで解ける」「ただデータ构造のライブラリを贴るだけで解ける」问题は実は少なくありません。Jikkaはそのような问题を自动で解きます。そのような问题をとても制限されたPythonのサブセット言语のコードの形で入力として受け取り,计算量を落