PyFusion 0 - Task PyFusion 1 - 初步调研 PyFusion 2 - 安装记录 + 一些问题 PyFusion 3 - 初版 demo + 测试 PyFusion 4 - Superbenchmark 测试 nnfusion.jit config 设计 关于 nnfusion jit Decorator for class method + other details Others
3/24/2022Summary 语法初步调研 + 实现小 demo Details Decorators and/or with-statement with-statement with-statement 我理解不太合适。 with EXPR as VAR: BLOCK
2/9/2022姓名: 陈声发 学号:2019280355 Problem 1 We can maintain winning statistics of player 0 and a play terminates with a win for player 0 iff player 0 is declared a winner and the play is a win for player 1 iff it runs forever. The set Q of nodes of this game consists of nodes of the form $(a, p, \tilde{b})$ where $a$ is a node of the parity game, the player $p \in {\text{player 0}, \text{player 1}}$ moves next and $\tilde{b}$ represents the winning statistics of player 0. The number of elements of Q can be bounded by $O(n^4)$.
12/26/2021or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up