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

yyy31763 8 0 ZIP 2021-01-31 17:01:03

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

文件列表

Jikka-master.zip (预估有个91文件)

Jikka-master

docs

how-it-works.bib 3KB

DESIGN.md 10KB

language.md 9KB

how-it-works.tex 50KB

how-it-works.pdf 710KB

package.yaml 2KB

.github

workflows

docs.yml 563B

test.yml 607B

format.yml 693B

test

Jikka

Deserializer

OffsideRuleSpec.hs 3KB

Python

ParserSpec.hs 2KB

LexerSpec.hs 1KB

PythonSpec.hs 755B

ShuntingYardSpec.hs 2KB

Language

Core

BetaSpec.hs 1KB

Python

Typed

TypeInferSpec.hs 770B

Converter

Core

StrengthReductionSpec.hs 1KB

AlphaSpec.hs 928B

ValueAppsSpec.hs 780B

RemoveUnusedVarsSpec.hs 792B

MakeEagerSpec.hs 746B

Python

FromParsedSpec.hs 2KB

ToCoreSpec.hs 2KB

AlphaSpec.hs 6KB

TypeInferSpec.hs 7KB

CPlusPlus

FromCoreSpec.hs 2KB

Serializer

CPlusPlusSpec.hs 1KB

CoreSpec.hs 1KB

PythonSpec.hs 722B

Evaluator

CoreSpec.hs 2KB

Spec.hs 44B

stack.yaml 2KB

python

jikka

compat.py 3KB

__init__.py 0B

LICENSE 11KB

app

Main.hs 209B

CONTRIBUTING.md 1KB

src

Jikka

Common

Alpha.hs 961B

Deserializer

ShuntingYard.hs 2KB

Read.hs 206B

Python

Parser.y 12KB

Lexer.x 5KB

OffsideRule.hs 2KB

Python.hs 353B

Subcommand

Debug.hs 2KB

Convert.hs 952B

Execute.hs 1KB

Language

Core

Lint.hs 4KB

Vars.hs 2KB

Expr.hs 5KB

BuiltinPatterns.hs 4KB

Beta.hs 2KB

Common

Pos.hs 480B

Name.hs 547B

Python

Parsed

Stdlib.hs 2KB

Expr.hs 1KB

Typed

TypeInfer.hs 4KB

Stdlib.hs 5KB

Expr.hs 1KB

CPlusPlus

Expr.hs 3KB

Converter

Core

RemoveUnusedVars.hs 1KB

MakeEager.hs 1KB

Optimize.hs 730B

Alpha.hs 3KB

ValueApps.hs 3KB

StrengthReduction.hs 10KB

Python

TypeInfer.hs 14KB

ToCore.hs 7KB

FromParsed.hs 6KB

Alpha.hs 8KB

CPlusPlus

FromCore.hs 10KB

Main.hs 3KB

Serializer

CPlusPlus.hs 10KB

Show.hs 150B

AutoIndent.hs 935B

Python.hs 7KB

Core.hs 5KB

Evaluator

Core.hs 15KB

examples

fact.py 120B

haskell

StaticRangeSumTLE.hs 868B

PointAddRangeSumTLE.hs 1KB

StaticRangeSumAC.hs 765B

PointAddRangeSumAC.hs 3KB

abc134_c.py 315B

m_solutions2019_e.py 621B

.gitignore 8B

CHANGELOG.md 4KB

stack.yaml.lock 447B

doctests.hs 345B

README.md 3KB

.hlint.yaml 196B

用户评论

暂无评论

竞争性源码

特征 Este es un proyecto fruto del curso demaquetacióncss de Platzi, 建立HTML和CSS。最终结果与植物博客相关的博客和作品集 Cu

13 2021-02-18
数据结构算法竞争性编程问题和挑战的解决方案项目欧拉解决方案数据结构数据结构实现算法和面试问题源码

竞争性编程 :pushpin: :books: 解决竞争性编程问题和挑战,项目Euler解决方案,数据结构,数据结构实现,算法和面试问题。指数内容临时问题: 包含一些流行的临时问题。主题/问题

9 2021-05-04
竞争性编程竞争性编程的一站式资源源码

竞争性编程:竞争性编程的一站式资源

5 2021-02-09
江西省电网及调度自动化解决方案解析

江西省电网及调度自动化系统采用浪潮英信NC2000四路企业级双机服务器,使企业级双机系统覆盖全省77个县市,实现运行时的相互监控,在系统发生故障时自动切换,使系统具有在线恢复能力,从而使得网络用户的业

4 2020-09-21
罗克韦尔激光切割自动化解决方案.pdf

罗克韦尔激光切割自动化解决方案pdf,罗克韦尔激光切割自动化解决方案

10 2020-04-29
英维思·OffSites罐区自动化解决方案.pdf

英维思·Off-Sites罐区自动化解决方案pdf,英维思·Off-Sites罐区自动化解决方案

12 2020-01-26
施耐德Modicon Premium自动化解决方案建筑机械.pdf

施耐德ModiconPremium自动化解决方案-建筑机械pdf,施耐德ModiconPremium自动化解决方案-建筑机械行业

21 2019-10-03
从原始Bom表到整理BOM自动化解决方案

使用Protel99生成的原始Bom表，该自动化解决方案将BOM表整理为易于阅读的格式，并提供固定格式的输出，以便在生产过程中使用。仅需要基本计算机知识即可使用该解决方案，简化了BOM表整理的流程，减

75 2018-12-07
城市和工业污水处理自动化解决方案

城市和工业污水处理是一个非常重要的大工程,可以实现工业和生活污水再利用,可以保护我们生活环境,提高生活质量和是一件利国利民的大事,采用目前的先进技术,可以根据客户所委托项目的具体工艺和控制要求,采用现

7 2020-09-01
施耐德Modicon Premium自动化解决方案造纸机械.pdf

施耐德Modicon Premium自动化解决方案-造纸机械pdf,施耐德Modicon Premium自动化解决方案-造纸机械行业

13 2020-07-16

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

文件列表

用户评论

推荐下载

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