Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Li, Jiatu"'
We show that there is a constant $k$ such that Buss's intuitionistic theory $\mathsf{IS}^1_2$ does not prove that SAT requires co-nondeterministic circuits of size at least $n^k$. To our knowledge, this is the first unconditional unprovability result
Externí odkaz:
http://arxiv.org/abs/2404.11841
Autor:
Li, Jiatu, Oliveira, Igor Carboni
While there has been progress in establishing the unprovability of complexity statements in lower fragments of bounded arithmetic, understanding the limits of Je\v{r}\'abek's theory $APC_1$ (2007) and of higher levels of Buss's hierarchy $S^i_2$ (198
Externí odkaz:
http://arxiv.org/abs/2305.15235
Autor:
Li, Jiatu
As an experiment to the application of proof assistant for logic research, we formalize the model and proof system for multi-agent modal logic S5 with PAL-style dynamic modality in Lean theorem prover. We provide a formal proof for the reduction axio
Externí odkaz:
http://arxiv.org/abs/2012.09388
Autor:
Jin, Yongqiang, Wang, Yuchen, Zhang, Teng, Li, Jiatu, Wong, Tak Man, Cheung, Jason Pui Yin, Lu, William Weijia
Publikováno v:
In Journal of the Mechanical Behavior of Biomedical Materials December 2021 124
In a recent work, Fan, Li, and Yang (STOC 2022) constructed a family of almost-universal hash functions such that each function in the family is computable by (2n + o(n))-gate circuits of fan-in 2 over the B₂ basis. Applying this family, they estab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37b0b11fcb9e949c9450274674abc456
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.